ŠAFRÁNEK, David. From Formal Methods to Systems Biology. In Modeling and Simulation Seminar, Saarland University. 2014.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název From Formal Methods to Systems Biology
Autoři ŠAFRÁNEK, David (203 Česká republika, garant, domácí).
Vydání Modeling and Simulation Seminar, Saarland University, 2014.
Další údaje
Originální jazyk angličtina
Typ výsledku Vyžádané přednášky
Obor 10201 Computer sciences, information science, bioinformatics
Stát vydavatele Česká republika
Utajení není předmětem státního či obchodního tajemství
Kód RIV RIV/00216224:14330/14:00084284
Organizační jednotka Fakulta informatiky
Klíčová slova anglicky model checking; formal methods; parameter synthesis; parametric uniformisation
Změnil Změnil: doc. RNDr. David Šafránek, Ph.D., učo 3159. Změněno: 19. 10. 2015 12:41.
Anotace
Model checking together with other formal methods and techniques is being adapted for applications to biological systems. We present a selection of approaches used for modelling biological systems and formalising their interesting properties in temporal logics. Special intention will be given to parameter exploration methods based on model checking. We will cover both deterministic and stochastic modelling paradigms. We also give a brief account of currently solved case studies to demonstrate the real problems and to rise the challenges. The primary aim of the talk is to give a brief overview of our research.
VytisknoutZobrazeno: 25. 4. 2024 14:03