|
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 |