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)