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.

CMACS Researchers Developed a New Framework for Verifying Hybrid Systems. October 15, 2012

CMACS Researchers Directly Involved in the Development of the Complex Software for the Curiosity Rover. August 30, 2012

CMACS Researchers Co-Author Nature Paper on Low-Energy Control of Electrical Turbulence in the Heart. July 25, 2011

CMACS Researchers Perform First Automated Formal Analysis of Realistic Cardiac Cell Model. January 26, 2011

Hot off the press:
Logical Analysis
of Hybrid Systems
by CMACS researcher André Platzer

Specification Mining for Controller Verification and Synthesis PDF
Sanjit Seshia, Dept. of EECS, Univ. of California, Berkeley
5/22/2013, 4:00pm, GHC 8102

UFO: From Under-approximations to Over-approximations and Back PDF
Arie Gurfinkel, Carnegie Mellon University, Software Engineering Institute
5/13/2013, 2:00pm, GHC 6115

From Simulation to Verification of Hybrid and Distributed Systems PDF
Sayan Mitra, Univ. of Illinois at Urbana-Champaign, Dept. of Electrical and Computer Engineering
5/10/2013, 3:30pm, GHC 8102

Static Analysis by Abstract Interpretation of Numerical Programs and Systems, and FLUCTUAT. PDF
Eric Goubault & Sylvie Putot, CEA LIST Institute/ Ecole Polytechnique
4/3/2013, 1:00pm, GHC 7501

Role for intestine-bone signaling pathways in regulating osteoporosis PDF
Laura R. McCabe, Michigan State University, Dept. of Physiology.
1/14/2013, 2pm, GHC 9115

Probabilistic Approximation Techniques for Biopathway Modeling PDF
Bing Liu, Carnegie Mellon University, Dept. of Computer Science.
11/12/2012, 11am, GHC 8102

More Seminars

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

CMACS PI Gerard Holzmann Awarded 2012 NASA Exceptional Engineering Achievement Medal.

CMACS Fall 2012 PI Meeting will take place at Stony Brook University, October 18-19, 2012

Richard DeFrancisco awarded a 2012 National Aeronautics and Space Administration (NASA) Space Technology Research Fellowship (NSTRF)

Edmund M. Clarke Featured at Turing 100 Celebration

Workshop on Systems Biology and Formals Methods (SBFM'12)

Edmund M. Clarke to be awarded an Honorary Doctorate from the Vienna University of Technology on January 26, 2012. For more information, including pictures to be posted after the event, see www.vcla.at

Clarke Inducted Into AAAS; Presenting Keynote Addresses in Asia SCS News, October 12, 2011

CMACS Industry Workshop on Verification of Embedded Control Systems Carnegie Mellon University, October 20, 2011.

Edmund M. Clarke to deliver keynote talk at the Computing in the 21st Century Conference in Beijing, China.

CMACS researchers receive Best Paper Award at the 2nd International Conference on Runtime Verification.

More News