BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Safr=aacute=nek:David

Contributed to:

CAV 20132013
SFM 20132013
ASE 20032003
CAV (1) 20172017

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.