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

Personal website:

Research interests: formal methods; systems biology; parameter synthesis; dynamical systems; cyber-physical and cyber-biological systems; formal verification


HSB 2019Committee Member in Program Committee within the HSB-track
TACAS 2019Author of Digital Bifurcation Analysis of TCP Dynamics within the TACAS 2019-track
ETAPS 2019Publications Chair in Organizing Committee
Show activities from other conferences

Using general profile