ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
David Safranek

Registered user since Thu 15 Mar 2018

Name:David Safranek
Country:Czech Republic
Affiliation:Masaryk University
Research interests:formal methods; systems biology; parameter synthesis; dynamical systems; cyber-physical and cyber-biological systems; formal verification


ETAPS 2019 Publications Chair in Organizing Committee
HSB 2019 Data-informed parameter synthesis for population Markov chains
Session Chair of VII (part of HSB)
Poster flash: Comprehensive Modelling Platform
Committee Member in Program Committee within the HSB-track
TACAS 2019 Digital Bifurcation Analysis of TCP Dynamics
Show activities from other conferences

ETAPS 2019-profile
View general profile