The Ptolemy Projects
- Research Projects - listed by student, which includes many of the projects below.
- ActionWebs, Cyber-Physical Systems, funded by The NSF
- Center for Hybrid and Embedded Software Systems (CHESS) industrial interactions (Bosch, National Instruments, Thales, Toyota)
- Cyber Physical Systems (CPS) seedling, funded by the NSF.
- Kepler - Scientific workflows
- PRET - Precision timed machines, funded by the NSF.
- PTIDES - Programming Temporally Integrated Distributed Embedded Systems
- DDoSoS - The Disciplined Design of Systems of Systems, funded by the US Army Research Laboratory