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. Online. In Verification of Engineered Molecular Devices and Programs. 2015, [citováno 2024-04-23]

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š (203 Česká republika, domácí), Martin DEMKO (703 Slovensko, domácí), Samuel PASTVA (703 Slovensko, domácí) a David ŠAFRÁNEK (203 Česká republika, garant, domácí)
• Vydání: Verification of Engineered Molecular Devices and Programs, 2015.

Další údaje

• Originální 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í
• WWW: URL
• 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

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