Seguir
Nikola Beneš
Nikola Beneš
Assistant Professor, Faculty of Informatics, Masaryk University
Dirección de correo verificada de fi.muni.cz
Título
Citado por
Citado por
Año
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
672015
On determinism in modal transition systems
N Beneš, J Křetínský, KG Larsen, J Srba
Theoretical Computer Science 410 (41), 4026-4043, 2009
532009
AEON: attractor bifurcation analysis of parametrised Boolean networks
N Beneš, L Brim, J Kadlecaj, S Pastva, D Šafránek
Computer Aided Verification: 32nd International Conference, CAV 2020, Los …, 2020
412020
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, 45-63, 2016
412016
Parametric modal transition systems
N Beneš, J Křetínský, KG Larsen, MH Møller, J Srba
Automated Technology for Verification and Analysis: 9th International …, 2011
412011
Component-interaction automata approach (CoIn)
B Zimmerova, P Vařeková, N Beneš, I Černá, L Brim, J Sochor
The common component modeling example: comparing software component models …, 2008
38*2008
Checking thorough refinement on modal transition systems is EXPTIME-complete
N Beneš, J Křetínský, KG Larsen, J Srba
Theoretical Aspects of Computing-ICTAC 2009: 6th International Colloquium …, 2009
372009
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
362011
Recursive online enumeration of all minimal unsatisfiable subsets
J Bendík, I Černá, N Beneš
Automated Technology for Verification and Analysis: 16th International …, 2018
302018
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
282013
A model checking approach to discrete bifurcation analysis
N Beneš, L Brim, M Demko, S Pastva, D Šafránek
FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus …, 2016
232016
Parallel SMT-based parameter synthesis with application to piecewise multi-affine systems
N Beneš, L Brim, M Demko, S Pastva, D Šafránek
Automated Technology for Verification and Analysis: 14th International …, 2016
222016
LTL parameter synthesis of parametric timed automata
P Bezděk, N Beneš, J Barnat, I Černá
Software Engineering and Formal Methods: 14th International Conference, SEFM …, 2016
222016
Tunable online MUS/MSS enumeration
J Bendík, N Benes, I Cerná, J Barnat
arXiv preprint arXiv:1606.03289, 2016
212016
Complete composition operators for IOCO-testing theory
N Beneš, P Daca, TA Henzinger, J Křetínský, D Ničković
Proceedings of the 18th International ACM SIGSOFT Symposium on Component …, 2015
192015
Formal analysis of qualitative long-term behaviour in parametrised boolean networks
N Beneš, L Brim, S Pastva, J Poláček, D Šafránek
Formal Methods and Software Engineering: 21st International Conference on …, 2019
182019
Detecting attractors in biological models with uncertain parameters
J Barnat, N Beneš, L Brim, M Demko, M Hajnal, S Pastva, D Šafránek
Computational Methods in Systems Biology: 15th International Conference …, 2017
182017
Partial order reduction for state/event LTL
N Beneš, L Brim, I Černá, J Sochor, P Vařeková, B Zimmerova
Integrated Formal Methods: 7th International Conference, IFM 2009 …, 2009
182009
Pithya: a parallel tool for parameter synthesis of piecewise multi-affine dynamical systems
N Beneš, L Brim, M Demko, S Pastva, D Šafránek
Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017
172017
Process algebra for modal transition systemses
N Benes, J Kretinsky
Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer …, 2011
172011
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20