Nikola Beneš
Nikola Beneš
Assistant Professor, Faculty of Informatics, Masaryk University
E-mailová adresa ověřena na: fi.muni.cz
Název
Citace
Citace
Rok
On determinism in modal transition systems
N Beneš, J Křetínský, KG Larsen, J Srba
Theoretical Computer Science 410 (41), 4026-4043, 2009
492009
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
452015
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
382009
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
372011
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
342011
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
252016
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
242013
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
192016
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
182016
Process algebra for modal transition systemses
N Benes, J Kretinsky
Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer …, 2011
172011
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
132015
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
132012
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
132009
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
132008
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
112017
High-performance symbolic parameter synthesis of biological models: A case study
M Demko, N Beneš, L Brim, S Pastva, D Šafránek
International Conference on Computational Methods in Systems Biology, 82-97, 2016
102016
Tunable online MUS/MSS enumeration
J Bendík, N Benes, I Cerná, J Barnat
arXiv preprint arXiv:1606.03289, 2016
102016
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
10*2011
Disjunctive modal transition systems and generalized LTL model checking
N Beneš, I Cerna, J Kretınský
Technical report FIMU-RS-2010-12, Faculty of Informatics, Masaryk University …, 2010
102010
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–20