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

BRIM, Luboš; Martin DEMKO; Samuel PASTVA a 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.

Základní údaje

Originální název

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

Název česky

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

Autoři

BRIM, Luboš; Martin DEMKO ORCID; Samuel PASTVA ORCID a David ŠAFRÁNEK

Vydání

Verification of Engineered Molecular Devices and Programs, 2015

---

Další údaje

Jazyk

angličtina

Typ výsledku

Konferenční abstrakt

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Česká republika

Utajení

není předmětem státního či obchodního tajemství

Odkazy

URL

Označené pro přenos do RIV

Ano

Kód RIV

RIV/00216224:14330/15:00080984

Organizační jednotka

Fakulta informatiky

Klíčová slova anglicky

parameter synthesis; model checking; systems biology

Příznaky

Mezinárodní význam

---

Anotace

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.

---

Návaznosti

GA15-11089S, projekt VaV	Název: Získávání parametrů biologických modelů pomocí techniky ověřování modelů Investor: Grantová agentura ČR, Získávání parametrů biologických modelů pomocí techniky ověřování modelů
MUNI/A/0897/2016, interní kód MU	Název: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace VI. Investor: Masarykova univerzita, Rozsáhlé výpočetní systémy: modely, aplikace a verifikace VI., DO R. 2020_Kategorie A - Specifický výzkum - Studentské výzkumné projekty
MUNI/A/1159/2014, interní kód MU	Název: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace IV. Investor: Masarykova univerzita, Rozsáhlé výpočetní systémy: modely, aplikace a verifikace IV., DO R. 2020_Kategorie A - Specifický výzkum - Studentské výzkumné projekty
MUNI/A/1206/2014, interní kód MU	Název: Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity (Akronym: SKOMU) Investor: Masarykova univerzita, Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity, DO R. 2020_Kategorie A - Specifický výzkum - Studentské výzkumné projekty