N. Benes

Most-cited papers

Language Emptiness of Continuous-Time Parametric Timed Automata
N. Benes, Peter Bezdek, K. Larsen, Jiri Srba
2015International Colloquium on Automata, Languages and Programming53 citations Open access
Semantic Scholar
On determinism in modal transition systems
N. Benes, Jan Křetínský, K. Larsen, Jiri Srba
2009Theoretical Computer Science47 citations Open access
Semantic Scholar
Parametric Modal Transition Systems
N. Benes, Jan Křetínský, K. Larsen, Mikael H. Møller +1 more
2011Automated Technology for Verification and Analysis41 citations
Semantic Scholar
Modal Transition Systems: Composition and LTL Model Checking
N. Benes, I. Černá, Jan Křetínský
2011Automated Technology for Verification and Analysis37 citations
Semantic Scholar
Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete
N. Benes, Jan Křetínský, K. Larsen, Jiri Srba
2009International Colloquium on Theoretical Aspects of Computing36 citations
Semantic Scholar
Recursive Online Enumeration of All Minimal Unsatisfiable Subsets
Jaroslav Bendík, I. Černá, N. Benes
2017Automated Technology for Verification and Analysis33 citations Open access
Semantic Scholar
Analysing sanity of requirements for avionics systems
J. Barnat, Petr Bauch, N. Benes, L. Brim +2 more
2016Formal Aspects of Computing29 citations Open access
Semantic Scholar
AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks
N. Benes, L. Brim, Jakub Kadlecaj, Samuel Pastva +1 more
2020International Conference on Computer Aided Verification28 citations Open access
Semantic Scholar
AEON.py: Python library for attractor analysis in asynchronous Boolean networks
N. Benes, L. Brim, Ondrej Huvar, Samuel Pastva +2 more
2022Bioinform.25 citations
Semantic Scholar
Repository of logically consistent real-world Boolean network models
Samuel Pastva, David Šafránek, N. Benes, L. Brim +1 more
2023bioRxiv23 citations Open access
Semantic Scholar
Boolean network sketches: a unifying framework for logical model inference
N. Benes, L. Brim, Ondrej Huvar, Samuel Pastva +1 more
2023Bioinform.22 citations Open access
Semantic Scholar
Tunable Online MUS/MSS Enumeration
Jaroslav Bendík, N. Benes, I. Černá, J. Barnat
2016Foundations of Software Technology and Theoretical Computer Science22 citations
Semantic Scholar
Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory
N. Benes, Benoît Delahaye, U. Fahrenberg, Jan Křetínský +1 more
2013International Conference on Concurrency Theory22 citations Open access
Semantic Scholar
Component-Interaction Automata Approach (CoIn)
B. Zimmerová, Pavlína Vareková, N. Benes, I. Černá +2 more
2007CoCoME19 citations
Semantic Scholar
Complete composition operators for ioco-testing theory
N. Benes, Przemysław Daca, T. Henzinger, Jan Křetínský +1 more
2015International Symposium on Component-Based Software Engineering17 citations
Semantic Scholar
LTL Parameter Synthesis of Parametric Timed Automata
Peter Bezdek, N. Benes, J. Barnat, I. Černá
2014IEEE International Conference on Software Engineering and Formal Methods17 citations Open access
Semantic Scholar
Dual-Priced Modal Transition Systems with Time Durations
N. Benes, Jan Křetínský, K. Larsen, Mikael H. Møller +1 more
2012Logic Programming and Automated Reasoning16 citations
Semantic Scholar
Computing Bottom SCCs Symbolically Using Transition Guided Reduction
N. Benes, L. Brim, Samuel Pastva, David Šafránek
2021International Conference on Computer Aided Verification14 citations Open access
Semantic Scholar
Process Algebra for Modal Transition Systemses
N. Benes, Jan Křetínský
2010Doctoral Workshop on Mathematical and Engineering Methods in Computer Science14 citations
Semantic Scholar
Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-affine Systems
N. Benes, L. Brim, M. Demko, Samuel Pastva +1 more
2016Automated Technology for Verification and Analysis13 citations
Semantic Scholar
A Model Checking Approach to Discrete Bifurcation Analysis
N. Benes, L. Brim, M. Demko, Samuel Pastva +1 more
2016World Congress on Formal Methods12 citations
Semantic Scholar
Partial Order Reduction for State/Event LTL
N. Benes, L. Brim, I. Černá, Jirí Sochor +2 more
2009International Conference on Integrated Formal Methods11 citations
Semantic Scholar
Detecting Attractors in Biological Models with Uncertain Parameters
J. Barnat, N. Benes, L. Brim, M. Demko +3 more
2017Computational Methods in Systems Biology10 citations
Semantic Scholar
Refinement checking on parametric modal transition systems
N. Benes, Jan Křetínský, K. Larsen, Mikael H. Møller +2 more
2015Acta Informatica10 citations Open access
Semantic Scholar
Formal Analysis of Qualitative Long-Term Behaviour in Parametrised Boolean Networks
N. Benes, L. Brim, Samuel Pastva, Jakub Polácek +1 more
2019IEEE International Conference on Formal Engineering Methods9 citations Open access
Semantic Scholar
Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-affine Dynamical Systems
N. Benes, L. Brim, M. Demko, Samuel Pastva +1 more
2017International Conference on Computer Aided Verification9 citations
Semantic Scholar
A Case Study in Parallel Verification of Component-Based Systems
N. Benes, I. Černá, Jirí Sochor, Pavlína Vareková +1 more
2008PDMC@ETAPS9 citations Open access
Semantic Scholar
EXPTIME-completeness of thorough refinement on modal transition systems
N. Benes, Jan Křetínský, K. Larsen, Jiri Srba
2012Information and Computation8 citations Open access
Semantic Scholar
Exploring attractor bifurcations in Boolean networks
N. Benes, L. Brim, Jakub Kadlecaj, Samuel Pastva +1 more
2022BMC Bioinformatics7 citations Open access
Semantic Scholar
Parallel parameter synthesis algorithm for hybrid CTL
N. Benes, L. Brim, Samuel Pastva, David Šafránek
2020Science of Computer Programming7 citations Open access
Semantic Scholar
Reliability analysis in component-based development via probabilistic model checking
N. Benes, B. Buhnova, I. Černá, R. Ošlejšek
2012International Symposium on Component-Based Software Engineering7 citations
Semantic Scholar
Disjunctive Modal Transition Systems and Generalized LTL Model Checking
N. Benes, I. Černá
20107 citations
Semantic Scholar
Model Checking Approach to the Analysis of Biological Systems
N. Benes, L. Brim, Samuel Pastva, David Šafránek
2019Automated Reasoning for Systems Biology and Medicine6 citations
Semantic Scholar
High-Performance Symbolic Parameter Synthesis of Biological Models: A Case Study
M. Demko, N. Benes, L. Brim, Samuel Pastva +1 more
2016Computational Methods in Systems Biology6 citations
Semantic Scholar
Towards Verification of Ensemble-Based Component Systems
J. Barnat, N. Benes, T. Bures, I. Černá +2 more
2013International Workshop on Formal Aspects of Component Software6 citations
Semantic Scholar
Partial order reduction for state/event LTL with application to component-interaction automata
N. Benes, L. Brim, B. Buhnova, I. Černá +2 more
2011Science of Computer Programming6 citations Open access
Semantic Scholar
The CoIn Tool: Modelling and Verification of Interactions inComponent-Based Systems
N. Benes, L. Brim, I. Černá, Jirí Sochor +2 more
20086 citations
Semantic Scholar
Phenotype Control of Partially Specified Boolean Networks
N. Benes, L. Brim, Samuel Pastva, David Šafránek +1 more
2023Computational Methods in Systems Biology5 citations
Semantic Scholar
Finding Boundary Elements in Ordered Sets with Application to Safety and Requirements Analysis
Jaroslav Bendík, N. Benes, J. Barnat, I. Černá
2016IEEE International Conference on Software Engineering and Formal Methods5 citations
Semantic Scholar
On clock-aware LTL parameter synthesis of timed automata
Peter Bezdek, N. Benes, I. Černá, J. Barnat
2018J. Log. Algebraic Methods Program.4 citations Open access
Semantic Scholar
On Clock-Aware LTL Properties of Timed Automata
Peter Bezdek, N. Benes, Vojtech Havel, J. Barnat +1 more
2014International Colloquium on Theoretical Aspects of Computing4 citations
Semantic Scholar
Modal Process Rewrite Systems
N. Benes, Jan Křetínský
2012International Colloquium on Theoretical Aspects of Computing4 citations
Semantic Scholar
Factorization for Component-Interaction Automata
N. Benes, I. Černá, Filip Stefanak
2012Conference on Current Trends in Theory and Practice of Informatics4 citations
Semantic Scholar
BNClassifier: Classifying Boolean Models by Dynamic Properties
N. Benes, L. Brim, Ondrej Huvar, Samuel Pastva +1 more
2024Computational Methods in Systems Biology3 citations
Semantic Scholar
Symbolic Coloured SCC Decomposition
N. Benes, L. Brim, Samuel Pastva, David Šafránek
2021International Conference on Tools and Algorithms for Construction and Analysis of Systems3 citations Open access
Semantic Scholar
Logical vs. behavioural specifications
N. Benes, U. Fahrenberg, Jan Křetínský, Axel Legay +1 more
2020Information and Computation3 citations Open access
Semantic Scholar
Digital Bifurcation Analysis of TCP Dynamics
N. Benes, L. Brim, Samuel Pastva, David Šafránek
2019International Conference on Tools and Algorithms for Construction and Analysis of Systems3 citations Open access
Semantic Scholar
Fully Automated Attractor Analysis of Cyanobacteria Models
N. Benes, L. Brim, Samuel Pastva, David Šafránek +3 more
2018International Conference on System Theory, Control and Computing3 citations
Semantic Scholar
Refinement checking on parametric modal transition systems
N. Benes, Jan Křetínský, K. Larsen, Mikael H. Møller +2 more
2015Acta Informatica3 citations Open access
Semantic Scholar
Disjunctive Modal Transition Systems
N. Benes
20123 citations
Semantic Scholar