`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: Benes:Nikola

### Contributed to:

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