Other formats:
BibTeX
LaTeX
RIS
@proceedings{1309616, author = {Brim, Luboš and Demko, Martin and Pastva, Samuel and Šafránek, David}, booktitle = {Verification of Engineered Molecular Devices and Programs}, keywords = {parameter synthesis; model checking; systems biology}, language = {eng}, title = {Coloured Model Checking Approach to Parameter Synthesis for Executable Models in Synthetic Biology}, url = {http://dna.caltech.edu/vemdp2015/program/}, year = {2015} }
TY - CONF ID - 1309616 AU - Brim, Luboš - Demko, Martin - Pastva, Samuel - Šafránek, David PY - 2015 TI - Coloured Model Checking Approach to Parameter Synthesis for Executable Models in Synthetic Biology KW - parameter synthesis KW - model checking KW - systems biology UR - http://dna.caltech.edu/vemdp2015/program/ N2 - In this presentation, we aim to give an overview of coloured model checking algorithms in the context of synthetic biology and to summarise experiences from our recently accomplished case studies (bistable switches, oscillators). An update on fresh results to appear in conferences and journals will be also mentioned. ER -
BRIM, Luboš, Martin DEMKO, Samuel PASTVA and David ŠAFRÁNEK. Coloured Model Checking Approach to Parameter Synthesis for Executable Models in Synthetic Biology. In \textit{Verification of Engineered Molecular Devices and Programs}. 2015.
|