Ellen Sentovich

Ellen M. Sentovich

2006
24		Ellen Sentovich: Proceedings of the 43rd Design Automation Conference, DAC 2006, San Francisco, CA, USA, July 24-28, 2006 ACM 2006
2004
23	EE	Ellen Sentovich, Raul Camposano, Jim Douglas, Aurangzeb Khan: Business models in IP, software licensing, and services. DAC 2004: 264
22	EE	Ellen Sentovich, Jaswinder Ahuja, Paul Lippe, Bernie Rosenthal: Competitive strategies for the electronics industry. DAC 2004: 264
2003
21	EE	Kaushik Ravindran, Andreas Kuehlmann, Ellen Sentovich: Multi-Domain Clock Skew Scheduling. ICCAD 2003: 801-808
2001
20	EE	Gérard Berry, Ellen Sentovich: Multiclock Esterel. CHARME 2001: 110-125
2000
19		Ellen Sentovich: Proceedings of the 2000 IEEE/ACM International Conference on Computer-Aided Design, 2000, San Jose, California, USA, November 5-9, 2000 IEEE 2000
18	EE	Olivier Coudert, Igor L. Markov, Christoph Meinel, Ellen Sentovich: Web-based frameworks to enable CAD RD (abstract). DAC 2000: 711
17		Stefano Quer, Gianpiero Cabodi, Paolo Camurati, Luciano Lavagno, Ellen Sentovich, Robert K. Brayton: Verification of Similar FSMs by Mixing Incremental Re-encoding, Reachability Analysis, and Combinational Checks. Formal Methods in System Design 17(2): 107-134 (2000)
16		Gérard Berry, Ellen Sentovich: An Implementation of Constructive Synchronous Programs in POLIS. Formal Methods in System Design 17(2): 135-161 (2000)
1999
15		Jacob K. White, Ellen Sentovich: Proceedings of the 1999 IEEE/ACM International Conference on Computer-Aided Design, 1999, San Jose, California, USA, November 7-11, 1999 IEEE 1999
14	EE	Luciano Lavagno, Ellen Sentovich: ECL: A Specification Environment for System-Level Design. DAC 1999: 511-516
13	EE	Ellen Sentovich, David L. Dill, Serdar Tasiran: Formal verification meets simulation (tutorial abstract). ICCAD 1999: 221
12	EE	Felice Balarin, Massimiliano Chiodo, Paolo Giusto, Harry Hsieh, Attila Jurecska, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Ellen Sentovich, Kei Suzuki: Synthesis of software programs for embedded control applications. IEEE Trans. on CAD of Integrated Circuits and Systems 18(6): 834-849 (1999)
1998
11	EE	Youpyo Hong, Peter A. Beerel, Luciano Lavagno, Ellen Sentovich: Don't Care-Based BDD Minimization for Embedded Software. DAC 1998: 506-509
1997
10	EE	Ellen Sentovich, Horia Toma, Gérard Berry: Efficient Latch Optimization Using Exclusive Sets. DAC 1997: 8-11
9	EE	Ellen Sentovich: Quick Conservative Causality Analysis. ISSS 1997: 2-8
1996
8		Ellen Sentovich: A Brief Study of BDD Package Performance. FMCAD 1996: 389-403
7	EE	Ellen Sentovich, Horia Toma, Gérard Berry: Latch optimization in circuits generated from high-level descriptions. ICCAD 1996: 428-435
6	EE	Gianpiero Cabodi, Luciano Lavagno, Enrico Macii, Massimo Poncino, Stefano Quer, Paolo Camurati, Ellen Sentovich: Enhancing FSM Traversal by Temporary Re-Encoding. ICCD 1996: 6-11
1995
5	EE	Massimiliano Chiodo, Paolo Giusto, Attila Jurecska, Luciano Lavagno, Harry Hsieh, Kei Suzuki, Alberto L. Sangiovanni-Vincentelli, Ellen Sentovich: Synthesis of Software Programs for Embedded Control Applications. DAC 1995: 587-592
1994
4		Ellen Sentovich, Robert K. Brayton: An Exact Optimization of Two-Level Acyclic Sequential Circuits. ICCD 1994: 242-249
1992
3		Ellen Sentovich, Kanwar Jit Singh, Cho W. Moon, Hamid Savoj, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Sequential Circuit Design Using Synthesis and Optimization. ICCD 1992: 328-333
1991
2		Ellen Sentovich, Robert K. Brayton: Preserving Don't Care Conditions During Retiming. VLSI 1991: 461-470
1	EE	Sharad Malik, Ellen M. Sentovich, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Retiming and resynthesis: optimizing sequential networks with combinational techniques. IEEE Trans. on CAD of Integrated Circuits and Systems 10(1): 74-84 (1991)

Coauthor Index

1	Jaswinder Ahuja	[22]
2	Felice Balarin	[12]
3	Peter A. Beerel	[11]
4	Gérard Berry	[7] [10] [16] [20]
5	Robert K. Brayton	[1] [2] [3] [4] [17]
6	Gianpiero Cabodi	[6] [17]
7	Raul Camposano	[23]
8	Paolo Camurati	[6] [17]
9	Massimiliano Chiodo	[5] [12]
10	Olivier Coudert	[18]
11	David L. Dill	[13]
12	Jim Douglas	[23]
13	Paolo Giusto	[5] [12]
14	Youpyo Hong	[11]
15	Harry Hsieh	[5] [12]
16	Attila Jurecska	[5] [12]
17	Aurangzeb Khan	[23]
18	Andreas Kuehlmann	[21]
19	Luciano Lavagno	[5] [6] [11] [12] [14] [17]
20	Paul Lippe	[22]
21	Enrico Macii	[6]
22	Sharad Malik	[1]
23	Igor L. Markov	[18]
24	Christoph Meinel	[18]
25	Cho W. Moon	[3]
26	Massimo Poncino	[6]
27	Stefano Quer	[6] [17]
28	Kaushik Ravindran	[21]
29	Bernie Rosenthal	[22]
30	Alberto L. Sangiovanni-Vincentelli	[1] [3] [5] [12]
31	Hamid Savoj	[3]
32	Kanwar Jit Singh	[3]
33	Kei Suzuki	[5] [12]
34	Serdar Tasiran	[13]
35	Horia Toma	[7] [10]
36	Jacob K. White (Jacob White)	[15]

Colors in the list of coauthors