Travelled to:1 × Canada
1 × Italy
1 × Russia
Collaborated with:L.Brim M.Ceska ∅ S.Drazan N.Benes M.Demko S.Pastva
Talks about:system (4) paramet (2) model (2) check (2) synthesi (1) stochast (1) piecewis (1) parallel (1) quantit (1) concurr (1)
Person: David Safránek
DBLP: Safr=aacute=nek:David
Contributed to:
2013
2013
20032017Wrote 4 papers:
- CAV-2013-BrimCDS #model checking #parametricity #probability #using
- Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking (LB, MC, SD, DS), pp. 107–123.
- SFM-2013-BrimCS #biology #model checking
- Model Checking of Biological Systems (LB, MC, DS), pp. 63–112.
- ASE-2003-Safranek #concurrent #specification #visual notation
- Visual Specification of Concurrent Systems (DS), pp. 369–372.
- CAV-2017-BenesBDPS #named #parallel #parametricity #synthesis
- Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-affine Dynamical Systems (NB, LB, MD, SP, DS), pp. 591–598.