skip to main content
Department of Computer Science University of Colorado Boulder
cu: home | engineering | mycuinfo | about | cu a-z | search cu | contact cu cs: about | calendar | directory | catalog | schedules | mobile | contact cs
home · events · colloquia · 2011-2012 · 

Colloquium - Zuliani

ECCR 265

Verification of Stochastic Systems by Statistical Model Checking
Carnegie Mellon University

Statistical model checking is a simulation-based approach for verifying temporal logic properties of complex stochastic systems. Traditional model checking techniques work by searching efficiently the entire state space of the system. However, many interesting systems (e.g., cyber-physical systems) have exceedingly large, or even infinite, state spaces. This makes techniques based on exhaustive search unfeasible. Statistical model checking is instead based on sampling and system simulation, and thereby scales better with system size. We present a statistical model checking approach based on Bayesian statistics, and we apply it to biological pathway models and embedded systems. We conclude by discussing the strength and weaknesses of the approach and possible directions for future research.

Dr. Paolo Zuliani is the Technical Coordinator of the NSF project "CMACS - Computational Modeling and Analysis for Complex Systems" at the Department of Computer Science, Carnegie Mellon University. Dr. Zuliani's expertise lies largely in formal methods for reasoning about computing systems, with an emphasis on probabilistic and quantum systems. In the past few years he has become interested in applied formal methods for stochastic systems and model checking. He is in particular interested in the verification of embedded systems and biological systems. Dr. Zuliani received his Laurea degree in computer science from Università degli Studi di Milano, Italy, and his DPhil in computer science from the University of Oxford, UK. After receiving his DPhil, he taught at the University of Bolzano, Italy, for two years. He was then awarded a Marie Curie Fellowship from the European Commission, which he spent at Princeton University and Oxford.

This talk is sponsored by the Department of Electrical, Computer and Energy Engineering.

The Department holds colloquia throughout the Fall and Spring semesters. These colloquia, open to the public, are typically held on Thursday afternoons, but sometimes occur at other times as well. If you would like to receive email notification of upcoming colloquia, subscribe to our Colloquia Mailing List. If you would like to schedule a colloquium, see Colloquium Scheduling.

Sign language interpreters are available upon request. Please contact Stephanie Morris at least five days prior to the colloquium.

See also:
Department of Computer Science
College of Engineering and Applied Science
University of Colorado Boulder
Boulder, CO 80309-0430 USA
Send email to

Engineering Center Office Tower
ECOT 717
FAX +1-303-492-2844
XHTML 1.0/CSS2 ©2012 Regents of the University of Colorado
Privacy · Legal · Trademarks
May 5, 2012 (13:29)