List of Abstracts for Alberto L. Sangiovanni-Vincentelli

The EECS Research Summary for 2003

Interaction Between Heterogeneous Models: A Formal Approach	Roberto Passerone Alessandro Pinto
CAMA: A Multi-Valued Satisfiability Solver	Cong Liu Andreas Kuehlmann Matthew W. Moskewicz
Low Power Network Discovery Methods for Sensor Networks	Abhijit Davare David Nguyen Farinaz Koushanfar
Simulation Techniques for Electromagnetic Interference (EMI) and Signal Integrity (SI) in High-Speed Electronic Circuits	Luca Daniel Jacob White
Active Watermarking of Data and Information in Wireless Ad Hoc Sensor Networks	Farinaz Koushanfar Miodrag Potkonjak
Efficient Localized Network Discovery for Wireless Ad Hoc Sensor Networks	Farinaz Koushanfar Miodrag Potkonjak
Statistical Scaling Analysis of Localized Algorithms in Wireless Ad Hoc Sensor Networks	Farinaz Koushanfar Miodrag Potkonjak
Analog Platforms for Analog System-level Design	Fernando De Bernardinis
Metropolis SystemC-based Simulator	Guang Yang Daniele Gasperini Douglas Densmore John Moondanos Yosinori Watanabe
The Theory of Latency Insensitive Design	Luca Carloni Kenneth L. McMillan
Coping with Latency in System-on-a-Chip Design	Luca Carloni
Constraint-driven Synthesis of System-on-a-Chip Communication Architectures	Luca Carloni Alessandro Pinto
Path Categorization Criteria for Static Timing Analysis	Alessandra Nardi Luca Carloni
Upper Bound Estimation for the Noise Current Spectrum of Digital Circuit Blocks	Alessandra Nardi Luca Daniel
DRAFTS: Distributed Real-Time Applications Fault Tolerant Scheduling	Claudio Pinello
Synthesis of Robust Control Systems with Computation Constraints	Luigi Palopoli Claudio Pinello Antonio Bicchi
The Fault Tolerant Data Flow platform in Metropolis	Claudio Pinello Yosinori Watanabe
Semantic Foundations for Heterogeneous Systems	Roberto Passerone Jerry Burch
Interface Synthesis and Verification	Roberto Passerone Jerry Burch Luca de Alfaro
Ulysses: Protocol Synthesis from Scenario-based Specifications	Alvise Bonivento Marco Sgroi
Communication-driven Hardware Synthesis: A New Processor Design Methodology	Trevor Meyerowitz
Communication-based Analog Design	Yanmei Li Fernando De Bernardinis

(22 abstracts total)