Ellen Sentovich

Publication Activity (10 Years)

Years Active: 1991-2009
Publications (10 Years): 0

Publications

Noah Ollikainen, Ellen Sentovich, Carlos Coelho, Andreas Kuehlmann, Tanja Kortemme
SAT-based protein design. ICCAD (2009)
Ellen Sentovich, Raul Camposano, Jim Douglas, Aurangzeb Khan
Business models in IP, software licensing, and services. DAC (2004)
Ellen Sentovich, Jaswinder Ahuja, Paul Lippe, Bernie Rosenthal
Competitive strategies for the electronics industry. DAC (2004)
Kaushik Ravindran, Andreas Kuehlmann, Ellen Sentovich
Multi-Domain Clock Skew Scheduling. ICCAD (2003)
Marco Antoniotti, Alberto Ferrari, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Ellen Sentovich
Embedded system design specification: merging reactive control and data computation. CDC (2001)
Gérard Berry, Ellen Sentovich
Multiclock Esterel. CHARME (2001)
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 Syst. Des. 17 (2) (2000)
Gérard Berry, Ellen Sentovich
An Implementation of Constructive Synchronous Programs in POLIS. Formal Methods Syst. Des. 17 (2) (2000)
Olivier Coudert, Igor L. Markov, Christoph Meinel, Ellen Sentovich
Web-based frameworks to enable CAD RD (abstract). DAC (2000)
Ellen Sentovich, David L. Dill, Serdar Tasiran
Formal verification meets simulation (tutorial abstract). ICCAD (1999)
Luciano Lavagno, Ellen Sentovich
ECL: A Specification Environment for System-Level Design. DAC (1999)
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. Comput. Aided Des. Integr. Circuits Syst. 18 (6) (1999)
Youpyo Hong, Peter A. Beerel, Luciano Lavagno, Ellen Sentovich
Don't Care-Based BDD Minimization for Embedded Software. DAC (1998)
Ellen Sentovich, Horia Toma, Gérard Berry
Efficient Latch Optimization Using Exclusive Sets. DAC (1997)
Ellen Sentovich
Quick Conservative Causality Analysis. ISSS (1997)
Ellen Sentovich, Horia Toma, Gérard Berry
Latch optimization in circuits generated from high-level descriptions. ICCAD (1996)
Gianpiero Cabodi, Paolo Camurati, Luciano Lavagno, Stefano Quer, Robert K. Brayton, Ellen Sentovich
Incremental re-encoding for symbolic traversal of product machines. EURO-DAC (1996)
Gianpiero Cabodi, Luciano Lavagno, Enrico Macii, Massimo Poncino, Stefano Quer, Paolo Camurati, Ellen Sentovich
Enhancing FSM Traversal by Temporary Re-Encoding. ICCD (1996)
Ellen Sentovich
A Brief Study of BDD Package Performance. FMCAD (1996)
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)
Ellen Sentovich, Robert K. Brayton
An Exact Optimization of Two-Level Acyclic Sequential Circuits. ICCD (1994)
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)
Ellen Sentovich, Robert K. Brayton
Preserving Don't Care Conditions During Retiming. VLSI (1991)