a 2015

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

BRIM, Luboš, Martin DEMKO, Samuel PASTVA and David ŠAFRÁNEK

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

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
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