Coloured Model Checking Approach to Parameter Synthesis for Executable Models in Synthetic Biology

BRIM, Luboš, Martin DEMKO, Samuel PASTVA and David ŠAFRÁNEK. Coloured Model Checking Approach to Parameter Synthesis for Executable Models in Synthetic Biology. In Verification of Engineered Molecular Devices and Programs. 2015.

Basic 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

• Original language: English
• Type of outcome: Conference abstract
• Field of Study: 10201 Computer sciences, information science, bioinformatics
• Country of publisher: Czech Republic
• Confidentiality degree: is not subject to a state or trade secret
• WWW: URL
• 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

Abstract

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: Name: Získávání parametrů biologických modelů pomocí techniky ověřování modelů

Investor: Czech Science Foundation

• MUNI/A/0897/2016, interní kód MU: Name: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace VI.

Investor: Masaryk University, Category A

• MUNI/A/1159/2014, interní kód MU: Name: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace IV.

Investor: Masaryk University, Category A

• MUNI/A/1206/2014, interní kód MU: Name: Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity (Acronym: SKOMU)

Investor: Masaryk University, Category A