CMSB 2015 - Sciencesconf.org

Opening of the Conference

Marta KWIATKOWSKA

Estimation and Verification of Hybrid Heart Models for Personalised Medical and Wearable Devices

SReach: A Probabilistic Bounded ẟ-Reachability Analyzer for Stochastic Hybrid Systems

Qinsi Wang, Paolo Zuliani, Soonho Kong, Sicun Gao and Edmund Clarke

Experimental design for inference over the A. thaliana circadian clock network

Daniel Trejo Banos, Guido Sanguinetti and Andrew J. Millar

Coffee break

Efficient stochastic simulation of systems with multiple time scales via statistical abstraction

Luca Bortolussi, Dimitrios Milios and Guido Sanguinetti

Approximate Bayesian Computation for Stochastic Single-Cell Time-Lapse Data Using Multivariate Test Statistics

Carolin Loos, Carsten Marr, Fabian Theis and Jan Hasenauer

Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation

Luca Laurenti, Luca Cardelli and Marta Kwiatkowska

Adaptive moment closure for parameter inference of biochemical reaction networks

Sergiy Bogomolov, Thomas A. Henzinger, Andreas Podelski, Jakob Ruess and Christian Schilling

Programme