Workshop will take place July 19, 2015.
Chris J. Myers
Stochastic Model Checking of Genetic Circuits
Lubos Brim, Martin Demko, Samuel Pastva and David Šafránek.
Coloured Model Checking Approach to Parameter Synthesis for Executable Models in Synthetic Biology
Modular verification of chemical reaction networks via serializability analysis
Joseph Berleant, Christopher Berlind, Joseph Schaeffer, Niranjan Srinivas, Chris Thachuk and Erik Winfree
Automated Sequence Analysis for Domain-Level DSD Systems
Satisfiability modulo theories (SMT)-based analysis and design of biochemical systems
|17:50||Adjourn for dinner|