|
|
|
Small Projects
- A Hierarchical Coordination Language for Interacting Real-Time Tasks
Arkadeb Ghosal, Christoph Kirsch, Daniel Iercan, Alberto L. Sangiovanni-Vincentelli and Thomas A. Henzinger
- A Platform-Based Approach to the Design of a Bioinformatic System
Douglas Michael Densmore, Alberto L. Sangiovanni-Vincentelli and Christopher Voigt
- Architecture Model Refinement Verification in System Level Design
Douglas Michael Densmore and Alberto L. Sangiovanni-Vincentelli
- Fault Tolerance and Specification Coverage
Sanjit A. Seshia, Wenchao Li and Orna Kupferman
- Monetary Cost Evaluation for the Design of Automotive Electrical Architectures
Arkadeb Ghosal, Sri Kanajan, Randall Urbance and Alberto L. Sangiovanni-Vincentelli
- Parallel SMT Solver
Rhishikesh Shrikant Limaye and Sanjit A. Seshia
- Platform-based System Level Optimization for Mixed Systems
Alberto L. Sangiovanni-Vincentelli and Xuening Sun
- Separate Compilation of Hierarchical Real-Time Programs into Linear-Bounded Embedded Machine Code
Arkadeb Ghosal, Daniel Iercan, Christoph Kirsch, Thomas A. Henzinger and Alberto L. Sangiovanni-Vincentelli
- Verification-Guided Error Resilience
Wenchao Li and Sanjit A. Seshia
- Word-Level Verification of Hardware Designs Using Selective Term-Level Abstraction
Sanjit A. Seshia and Bryan Brady
|
|
|
