We aim to gain fundamental new insights into the emergent behavior of complex biological and embedded systems through the use of revolutionary, highly scalable and fully automated modeling and analysis techniques.
|Research Highlights||Seminars||News and Events|
Gerard Holzmann's paper featured in Feb. issue of Communications of the ACM January 29, 2014. This article discusses some of the precautions the JPL flight software team took to improve the reliability of the Curiosity rover on Mars.
Bud Mishra featured on cover of Royal Society Interface November 25, 2013.
Dr. Natasa Miskov-Zivanov and Dr. James Faeder are featured in the current issue of Science Signaling for their research on – "The Duration of T Cell Stimulation Is a Critical Determinant of Cell Fate and Plasticity." November 20, 2013. (Podcast is available here)
Metalibm: a code generator for parametrized mathematical functions PDF
What can be formally addressed for industrial control systems? PDF
Advanced Analysis for Industrial Embedded Control Designs PDF
On the complexity of minimizing probabilistic and quantum automata PDF
Tricks with PRISM: Probabilistic Model Checking on Structured Models PDF
Diversely Enumerating Solutions to Synthesis Problems PDF
Specification Mining for Controller Verification and Synthesis PDF
UFO: From Under-approximations to Over-approximations and Back PDF
Ed Clarke receives Franklin Institute's Bower Award for 2014 April 24, 2013Facebook page
New undergraduate course, Foundations of Cyber-Physical Systems, Fall 2013
2014 NSF-CMACS Undergraduate Workshop on Cellular Signaling Pathways. Writeup and Photos from January 24, 2014
Patrick and Radhia Cousot receive the ACM SIGPLAN Achievement Award November 25, 2013
CMACS/AVACS Workshop & PI Meeting will take place at Carnegie Mellon University, November 20-22, 2013
The Technology that Could Save Robotic Surgery Millions: Software diagnostic research debugs robotic surgical systems by Henry Lenard for Robotic Business Review, May 3, 2013