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 × Germany
1 × Italy
1 × Japan
2 × Canada
Collaborated with:
I.Cerná L.Brim B.Buhnova J.Sochor P.Vareková P.Bezdek K.G.Larsen J.Srba J.Barnat Z.Petruchová R.Oslejsek P.Daca T.A.Henzinger J.Kretínský D.Nickovic M.Demko S.Pastva D.Safránek B.Zimmerova
Talks about:
compon (3) automata (2) partial (2) system (2) reduct (2) state (2) order (2) event (2) time (2) ltl (2)

Person: Nikola Benes

DBLP DBLP: Benes:Nikola

Contributed to:

CBSE 20152015
ICALP (2) 20152015
CBSE 20132013
CBSE 20122012
IFM 20092009
IFM 20092011
CAV (1) 20172017

Wrote 7 papers:

CBSE-2015-BenesDHKN #composition #testing
Complete Composition Operators for IOCO — Testing Theory (NB, PD, TAH, JK, DN), pp. 101–110.
ICALP-v2-2015-BenesBLS #automaton #parametricity
Language Emptiness of Continuous-Time Parametric Timed Automata (NB, PB, KGL, JS), pp. 69–81.
CBSE-2013-BarnatBCP #component #named #verification
DCCL: verification of component systems with ensembles (JB, NB, IC, ZP), pp. 43–52.
CBSE-2012-BenesBCO #analysis #component #development #model checking #probability #reliability
Reliability analysis in component-based development via probabilistic model checking (NB, BB, IC, RO), pp. 83–92.
IFM-2009-BenesBCSVZ #ltl #partial order #reduction
Partial Order Reduction for State/Event LTL (NB, LB, IC, JS, PV, BZ), pp. 307–321.
IFM-J-2009-BenesBBCSV11 #automaton #component #ltl #partial order #reduction
Partial order reduction for state/event LTL with application to component-interaction automata (NB, LB, BB, IC, JS, PV), pp. 877–890.
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.