Detailed Information on Publication Record
2015
Coloured Model Checking Approach to Parameter Synthesis for Executable Models in Synthetic Biology
BRIM, Luboš, Martin DEMKO, Samuel PASTVA and David ŠAFRÁNEKBasic information
Original name
Coloured Model Checking Approach to Parameter Synthesis for Executable Models in Synthetic Biology
Name in Czech
Coloured Model Checking Approach to Parameter Synthesis for Executable Models in Synthetic Biology
Authors
BRIM, Luboš (203 Czech Republic, belonging to the institution), Martin DEMKO (703 Slovakia, belonging to the institution), Samuel PASTVA (703 Slovakia, belonging to the institution) and David ŠAFRÁNEK (203 Czech Republic, guarantor, belonging to the institution)
Edition
Verification of Engineered Molecular Devices and Programs, 2015
Other information
Language
English
Type of outcome
Konferenční abstrakt
Field of Study
10201 Computer sciences, information science, bioinformatics
Country of publisher
Czech Republic
Confidentiality degree
není předmětem státního či obchodního tajemství
References:
RIV identification code
RIV/00216224:14330/15:00080984
Organization unit
Faculty of Informatics
Keywords in English
parameter synthesis; model checking; systems biology
Tags
International impact
Změněno: 27/1/2018 20:05, prof. RNDr. Luboš Brim, CSc.
Abstract
V originále
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.
Links
GA15-11089S, research and development project |
| ||
MUNI/A/0897/2016, interní kód MU |
| ||
MUNI/A/1159/2014, interní kód MU |
| ||
MUNI/A/1206/2014, interní kód MU |
|