|
|
|
Large Projects
- 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
- Actor Model-to-C Embedded Programming
Man-Kit Leung, Gang Zhou, Teale Fristoe, Christopher Brooks and Edward A. Lee
- Analysis and Transformation of Actor Models
Thomas Huining Feng and Edward A. Lee
- Compositional Dataflow
Eleftherios Matsikoudis and Edward A. Lee
- 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
- Verification of a Heterogeneous Model with Temporal Properties
Chihhong Patrick Cheng and Edward A. Lee
- Viptos: A Graphical Development and Simulation Environment for TinyOS-based Wireless Sensor Networks
Elaine Cheong, Yang Zhao, Christopher Brooks and Edward A. Lee
|
|
|
