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		Ellen Sentovich, Raul Camposano, Jim Douglas, Aurangzeb Khan: Business models in IP, software licensing, and services. DAC 2004: 264
22		Ellen Sentovich, Jaswinder Ahuja, Paul Lippe, Bernie Rosenthal: Competitive strategies for the electronics industry. DAC 2004: 264
	2003
21		Kaushik Ravindran, Andreas Kuehlmann, Ellen Sentovich: Multi-Domain Clock Skew Scheduling. ICCAD 2003: 801-808
	2001
20		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		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		Luciano Lavagno, Ellen Sentovich: ECL: A Specification Environment for System-Level Design. DAC 1999: 511-516
13		Ellen Sentovich, David L. Dill, Serdar Tasiran: Formal verification meets simulation (tutorial abstract). ICCAD 1999: 221
12		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		Youpyo Hong, Peter A. Beerel, Luciano Lavagno, Ellen Sentovich: Don't Care-Based BDD Minimization for Embedded Software. DAC 1998: 506-509
	1997
10		Ellen Sentovich, Horia Toma, Gérard Berry: Efficient Latch Optimization Using Exclusive Sets. DAC 1997: 8-11
9		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		Ellen Sentovich, Horia Toma, Gérard Berry: Latch optimization in circuits generated from high-level descriptions. ICCAD 1996: 428-435
6		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		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		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