|
|
|
Large Projects
- Probabilistic Reachability for Stochastic Hybrid Systems
Alessandro Abate, S. Shankar Sastry, Maria Prandini, John Lygeros and Saurabh Amin
- Ptolemy Project
Edward A. Lee, Hugo Andrade, Christine Avanessians, Christopher Brooks, Dai Bui, Elaine Cheong, Thomas Huining Feng, Shanna-Shaye Forbes, Ben Lickly, Isaac Liu, Thomas Mandl, Eleftherios Matsikoudis, Slobodan Matic, Hwa-yong Oh, Hiren Patel, Mary Stewart, Min Van Ly, Yang Zhao, Gang Zhou and Jia Zou
Small Projects
- A Reachability Algorithm for Biologically Inspired Piecewise-Affine Hybrid Systems
Anil Jayanti Aswani and Claire Tomlin
- Actor Model-to-C Embedded Programming
Man-Kit Leung, Gang Zhou, Teale Fristoe, Christopher Brooks and Edward A. Lee
- An Interface Algebra for Task Graphs
Slobodan Matic and Thomas A. Henzinger
- Analysis and Transformation of Actor Models
Thomas Huining Feng and Edward A. Lee
- Composition of Dynamical Systems for Identification of Human Body Dynamics
Sumitra Ganesh, Aaron Ames and Ruzena Bajcsy
- Compositional Dataflow
Eleftherios Matsikoudis and Edward A. Lee
- Interchange Semantics for Hybrid System Models
Alessandro Pinto, Luca Carloni, Roberto Passerone and Alberto L. Sangiovanni-Vincentelli
- Logical Reliability of Interacting Real-Time Tasks
Arkadeb Ghosal, Krishnendu Chatterjee, Thomas A. Henzinger, Daniel Iercan, Christoph Kirsch, Claudio Pinello and Alberto L. Sangiovanni-Vincentelli
- Model-Based Membrane Computing
Chihhong Patrick Cheng and Edward A. Lee
- Partial Evaluation for Optimized Compilation of Actor-Oriented Models
Man-Kit Leung, Gang Zhou, Christopher Brooks and Edward A. Lee
- Precision Timed (PRET) Machines
Hiren D. Patel, Shanna-Shaye Forbes, Dai Bui, Isaac Liu and Edward A. Lee
- Ptalon, A Language for Higher Order Component Composition
Elaine Cheong, Thomas Huining Feng and Edward A. Lee
- PTIDES: Programming Temporally Integrated Distributed Embedded Systems
Yang Zhao, Slobodan Matic, Thomas Huining Feng, Jia Zou, Ben Lickly and Edward A. Lee
- Ptolemy II--Heterogeneous Concurrent Modeling and Design in Java
Christine Avanessians, Elaine Cheong, Thomas Huining Feng, Man-Kit Leung, Ben Lickly, Isaac Liu, Gang Zhou, Jia Zou, Christopher Brooks and Edward A. Lee
- Semantic Interpretation of Timed Discrete-Event Systems
Eleftherios Matsikoudis and Edward A. Lee
- Stochastic Games
Thomas A. Henzinger and Krishnendu Chatterjee
- Verification of a Heterogeneous Model with Temporal Properties
Chihhong Patrick Cheng and Edward A. Lee
- Verification of Lazy Hybrid Automata
Susmit Kumar Jha, Sanjit A. Seshia and Bryan Brady
- Web Service Interfaces (CHIC)
Dirk Beyer, Arindam Chakrabarti, Thomas A. Henzinger and Sanjit A. Seshia
|
|
|
