| Language emptiness of continuous-time parametric timed automata N Beneš, P Bezděk, KG Larsen, J Srba International Colloquium on Automata, Languages, and Programming, 69-81, 2015 | 50 | 2015 |
| On determinism in modal transition systems N Beneš, J Křetínský, KG Larsen, J Srba Theoretical Computer Science 410 (41), 4026-4043, 2009 | 50 | 2009 |
| Checking thorough refinement on modal transition systems is EXPTIME-complete N Beneš, J Křetínský, KG Larsen, J Srba International Colloquium on Theoretical Aspects of Computing, 112-126, 2009 | 38 | 2009 |
| Parametric modal transition systems N Beneš, J Křetínský, KG Larsen, MH Mřller, J Srba International Symposium on Automated Technology for Verification and …, 2011 | 37 | 2011 |
| Modal transition systems: Composition and LTL model checking N Beneš, I Černá, J Křetínský International Symposium on Automated Technology for Verification and …, 2011 | 36 | 2011 |
| Component-interaction automata approach (CoIn) B Zimmerova, P Vařeková, N Beneš, I Černá, L Brim, J Sochor The Common Component Modeling Example, 146-176, 2008 | 34* | 2008 |
| Analysing sanity of requirements for avionics systems J Barnat, P Bauch, N Beneš, L Brim, J Beran, T Kratochvíla Formal Aspects of Computing 28 (1), 45-63, 2016 | 28 | 2016 |
| Hennessy-Milner logic with greatest fixed points as a complete behavioural specification theory N Beneš, B Delahaye, U Fahrenberg, J Křetínský, A Legay International Conference on Concurrency Theory, 76-90, 2013 | 24 | 2013 |
| Parallel SMT-based parameter synthesis with application to piecewise multi-affine systems N Beneš, L Brim, M Demko, S Pastva, D Šafránek International Symposium on Automated Technology for Verification and …, 2016 | 20 | 2016 |
| A model checking approach to discrete bifurcation analysis N Beneš, L Brim, M Demko, S Pastva, D Šafránek International Symposium on Formal Methods, 85-101, 2016 | 19 | 2016 |
| Process algebra for modal transition systemses N Benes, J Kretinsky Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer …, 2011 | 17 | 2011 |
| Partial order reduction for state/event LTL N Beneš, L Brim, I Černá, J Sochor, P Vařeková, B Zimmerova International Conference on Integrated Formal Methods, 307-321, 2009 | 14 | 2009 |
| Complete composition operators for IOCO-testing theory N Benes, P Daca, TA Henzinger, J Kretinsky, D Nickovic 2015 18th International ACM SIGSOFT Symposium on Component-Based Software …, 2015 | 13 | 2015 |
| Dual-priced modal transition systems with time durations N Beneš, J Křetínský, KG Larsen, MH Mřller, J Srba International Conference on Logic for Programming Artificial Intelligence …, 2012 | 13 | 2012 |
| Recursive online enumeration of all minimal unsatisfiable subsets J Bendík, I Černá, N Beneš International symposium on automated technology for verification and …, 2018 | 12 | 2018 |
| Pithya: a parallel tool for parameter synthesis of piecewise multi-affine dynamical systems N Beneš, L Brim, M Demko, S Pastva, D Šafránek International Conference on Computer Aided Verification, 591-598, 2017 | 12 | 2017 |
| A case study in parallel verification of component-based systems N Beneš, I Černá, J Sochor, P Vařeková, B Zimmerova Electronic Notes in Theoretical Computer Science 220 (2), 67-83, 2008 | 12 | 2008 |
| Tunable online MUS/MSS enumeration J Bendík, N Benes, I Cerná, J Barnat arXiv preprint arXiv:1606.03289, 2016 | 11 | 2016 |
| Partial order reduction for state/event LTL with application to component-interaction automata N Beneš, L Brim, B Buhnova, I Černá, J Sochor, P Vařeková Science of Computer Programming 76 (10), 877-890, 2011 | 11* | 2011 |
| Detecting attractors in biological models with uncertain parameters J Barnat, N Beneš, L Brim, M Demko, M Hajnal, S Pastva, D Šafránek International Conference on Computational Methods in Systems Biology, 40-56, 2017 | 10 | 2017 |
Luboš BrimMasaryk university, Faculty of InformaticsVerified email at fi.muni.cz
