Nikola Benes

According to our database, Nikola Benes authored at least 54 papers between 2007 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Boolean network sketches: a unifying framework for logical model inference.

Nikola Benes, Lubos Brim, Ondrej Huvar, Samuel Pastva, David Safránek

Bioinform., April, 2023

Phenotype Control of Partially Specified Boolean Networks.

Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek, Eva Smijáková

Proceedings of the Computational Methods in Systems Biology, 2023

2022

AEON.py: Python library for attractor analysis in asynchronous Boolean networks.

Nikola Benes, Lubos Brim, Ondrej Huvar, Samuel Pastva, David Safránek, Eva Smijáková

Bioinform., October, 2022

BDD-Based Algorithm for SCC Decomposition of Edge-Coloured Graphs.

Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek

Log. Methods Comput. Sci., 2022

Exploring attractor bifurcations in Boolean networks.

Nikola Benes, Lubos Brim, Jakub Kadlecaj, Samuel Pastva, David Safránek

BMC Bioinform., 2022

2021

Symbolic Coloured SCC Decomposition.

Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

Aeon 2021: Bifurcation Decision Trees in Boolean Networks.

Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek

Proceedings of the Computational Methods in Systems Biology, 2021

Computing Bottom SCCs Symbolically Using Transition Guided Reduction.

Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Parallel parameter synthesis algorithm for hybrid CTL.

Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek

Sci. Comput. Program., 2020

Digital Bifurcation Analysis of Internet Congestion Control Protocols.

Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek

Int. J. Bifurc. Chaos, 2020

Logical vs. behavioural specifications.

Nikola Benes, Uli Fahrenberg, Jan Kretínský, Axel Legay, Louis-Marie Traonouez

Inf. Comput., 2020

AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks.

Nikola Benes, Lubos Brim, Jakub Kadlecaj, Samuel Pastva, David Safránek

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

Model Checking Approach to the Analysis of Biological Systems.

Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek

Proceedings of the Automated Reasoning for Systems Biology and Medicine, 2019

Digital Bifurcation Analysis of TCP Dynamics.

Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Accelerating Parameter Synthesis Using Semi-algebraic Constraints.

Nikola Benes, Lubos Brim, Martin Geletka, Samuel Pastva, David Safránek

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

Formal Analysis of Qualitative Long-Term Behaviour in Parametrised Boolean Networks.

Nikola Benes, Lubos Brim, Samuel Pastva, Jakub Polácek, David Safránek

Proceedings of the Formal Methods and Software Engineering, 2019

Facetal abstraction for non-linear dynamical systems based on δ-decidable SMT.

Nikola Benes, Lubos Brim, Jana Drazanová, Samuel Pastva, David Safránek

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

2018

On clock-aware LTL parameter synthesis of timed automata.

Peter Bezdek, Nikola Benes, Ivana Cerná, Jiri Barnat

J. Log. Algebraic Methods Program., 2018

Finding Regressions in Projects under Version Control Systems.

Jaroslav Bendík, Nikola Benes, Ivana Cerná

Proceedings of the 13th International Conference on Software Technologies, 2018

Recursive Online Enumeration of All Minimal Unsatisfiable Subsets.

Jaroslav Bendík, Ivana Cerná, Nikola Benes

Proceedings of the Automated Technology for Verification and Analysis, 2018

2017

Detecting Attractors in Biological Models with Uncertain Parameters.

Jiri Barnat, Nikola Benes, Lubos Brim, Martin Demko, Matej Hajnal, Samuel Pastva, David Safránek

Proceedings of the Computational Methods in Systems Biology, 2017

Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-affine Dynamical Systems.

Nikola Benes, Lubos Brim, Martin Demko, Samuel Pastva, David Safránek

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

Analysing sanity of requirements for avionics systems.

Jiri Barnat, Petr Bauch, Nikola Benes, Lubos Brim, Jan Beran, Tomas Kratochvila

Formal Aspects Comput., 2016

LTL Parameter Synthesis of Parametric Timed Automata.

Peter Bezdek, Nikola Benes, Jiri Barnat, Ivana Cerná

Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 2016

Finding Boundary Elements in Ordered Sets with Application to Safety and Requirements Analysis.

Jaroslav Bendík, Nikola Benes, Jiri Barnat, Ivana Cerná

Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 2016

Tunable Online MUS/MSS Enumeration.

Jaroslav Bendík, Nikola Benes, Ivana Cerná, Jiri Barnat

Proceedings of the 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2016

A Model Checking Approach to Discrete Bifurcation Analysis.

Nikola Benes, Lubos Brim, Martin Demko, Samuel Pastva, David Safránek

Proceedings of the FM 2016: Formal Methods, 2016

High-Performance Symbolic Parameter Synthesis of Biological Models: A Case Study.

Martin Demko, Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek

Proceedings of the Computational Methods in Systems Biology, 2016

Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-affine Systems.

Nikola Benes, Lubos Brim, Martin Demko, Samuel Pastva, David Safránek

Proceedings of the Automated Technology for Verification and Analysis, 2016

2015

Analysing Sanity of Requirements for Avionics Systems (Preliminary Version).

Jiri Barnat, Petr Bauch, Nikola Benes, Lubos Brim, Jan Beran, Tomas Kratochvila

CoRR, 2015

Refinement checking on parametric modal transition systems.

Nikola Benes, Jan Kretínský, Kim G. Larsen, Mikael H. Møller, Salomon Sickert, Jirí Srba

Acta Informatica, 2015

Language Emptiness of Continuous-Time Parametric Timed Automata.

Nikola Benes, Peter Bezdek, Kim Guldstrand Larsen, Jirí Srba

Proceedings of the Automata, Languages, and Programming - 42nd International Colloquium, 2015

Complete Composition Operators for IOCO-Testing Theory.

Nikola Benes, Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Dejan Nickovic

Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, 2015

2014

LTL Model Checking of Parametric Timed Automata.

Peter Bezdek, Nikola Benes, Vojtech Havel, Jiri Barnat, Ivana Cerná

CoRR, 2014

On Clock-Aware LTL Properties of Timed Automata.

Peter Bezdek, Nikola Benes, Vojtech Havel, Jiri Barnat, Ivana Cerná

Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

2013

Towards Verification of Ensemble-Based Component Systems.

Jiri Barnat, Nikola Benes, Tomás Bures, Ivana Cerná, Jaroslav Keznikl, Frantisek Plásil

Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013

Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory.

Nikola Benes, Benoît Delahaye, Uli Fahrenberg, Jan Kretínský, Axel Legay

Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

DCCL: verification of component systems with ensembles.

Jiri Barnat, Nikola Benes, Ivana Cerná, Zuzana Petruchová

Proceedings of the CBSE'13, 2013

2012

EXPTIME-completeness of thorough refinement on modal transition systems.

Nikola Benes, Jan Kretínský, Kim G. Larsen, Jirí Srba

Inf. Comput., 2012

Factorization for Component-Interaction Automata.

Nikola Benes, Ivana Cerná, Filip Stefanak

Proceedings of the SOFSEM 2012: Theory and Practice of Computer Science, 2012

Dual-Priced Modal Transition Systems with Time Durations.

Nikola Benes, Jan Kretínský, Kim Guldstrand Larsen, Mikael H. Møller, Jirí Srba

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012

Modal Process Rewrite Systems.

Nikola Benes, Jan Kretínský

Proceedings of the Theoretical Aspects of Computing - ICTAC 2012, 2012

Reliability analysis in component-based development via probabilistic model checking.

Nikola Benes, Barbora Buhnova, Ivana Cerna, Radek Oslejsek

Proceedings of the 15th ACM SIGSOFT Symposium on Component Based Software Engineering, 2012

2011

Partial order reduction for state/event LTL with application to component-interaction automata.

Nikola Benes, Lubos Brim, Barbora Buhnova, Ivana Cerná, Jiri Sochor, Pavlína Vareková

Sci. Comput. Program., 2011

CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems

Nikola Benes, Ivana Cerná, Milan Krivánek

Proceedings of the Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, 2011

Parametric Modal Transition Systems.

Nikola Benes, Jan Kretínský, Kim G. Larsen, Mikael H. Møller, Jirí Srba

Proceedings of the Automated Technology for Verification and Analysis, 2011

Modal Transition Systems: Composition and LTL Model Checking.

Nikola Benes, Ivana Cerná, Jan Kretínský

Proceedings of the Automated Technology for Verification and Analysis, 2011

2010

Process Algebra for Modal Transition Systemses.

Nikola Benes, Jan Kretínský

Proceedings of the Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, 2010

2009

On determinism in modal transition systems.

Nikola Benes, Jan Kretínský, Kim Guldstrand Larsen, Jirí Srba

Theor. Comput. Sci., 2009

Space Effective Model Checking for Component-Interaction Automata.

Nikola Benes, Milan Krivánek, Filip Stefanak

Proceedings of the Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, 2009

Partial Order Reduction for State/Event LTL.

Nikola Benes, Lubos Brim, Ivana Cerná, Jiri Sochor, Pavlína Vareková, Barbora Zimmerová

Proceedings of the Integrated Formal Methods, 7th International Conference, 2009

Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete.

Nikola Benes, Jan Kretínský, Kim Guldstrand Larsen, Jirí Srba

Proceedings of the Theoretical Aspects of Computing, 2009

2008

A Case Study in Parallel Verification of Component-Based Systems.

Nikola Benes, Ivana Cerná, Jiri Sochor, Pavlína Vareková, Barbora Zimmerová

Proceedings of the 7th International Workshop on Parallel and Distributed Methods in verifiCation, 2008

2007

Component-Interaction Automata Approach (CoIn).

Barbora Zimmerová, Pavlína Vareková, Nikola Benes, Ivana Cerná, Lubos Brim, Jiri Sochor

Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007