Nikola Benes

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 32

Top Topics

Unsatisfiable Cores

Requirements Analysis

Boolean Networks

Dynamical Systems

Top Venues

Publications

Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek, Eva Smijáková
Phenotype Control of Partially Specified Boolean Networks. CMSB (2023)
Nikola Benes, Lubos Brim, Ondrej Huvar, Samuel Pastva, David Safránek
Boolean network sketches: a unifying framework for logical model inference. Bioinform. 39 (4) (2023)
Nikola Benes, Lubos Brim, Ondrej Huvar, Samuel Pastva, David Safránek, Eva Smijáková
AEON.py: Python library for attractor analysis in asynchronous Boolean networks. Bioinform. 38 (21) (2022)
Nikola Benes, Lubos Brim, Jakub Kadlecaj, Samuel Pastva, David Safránek
Exploring attractor bifurcations in Boolean networks. BMC Bioinform. 23 (1) (2022)
Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek
BDD-Based Algorithm for SCC Decomposition of Edge-Coloured Graphs. Log. Methods Comput. Sci. 18 (1) (2022)
Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek
Aeon 2021: Bifurcation Decision Trees in Boolean Networks. CMSB (2021)
Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek
BDD-Based Algorithm for SCC Decomposition of Edge-Coloured Graphs. CoRR (2021)
Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek
Symbolic Coloured SCC Decomposition. TACAS (2) (2021)
Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek
Computing Bottom SCCs Symbolically Using Transition Guided Reduction. CAV (1) (2021)
Nikola Benes, Uli Fahrenberg, Jan Kretínský, Axel Legay, Louis-Marie Traonouez
Logical vs. behavioural specifications. Inf. Comput. 271 (2020)
Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek
Digital Bifurcation Analysis of Internet Congestion Control Protocols. Int. J. Bifurc. Chaos 30 (13) (2020)
Nikola Benes, Lubos Brim, Jakub Kadlecaj, Samuel Pastva, David Safránek
AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks. CAV (1) (2020)
Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek
Parallel parameter synthesis algorithm for hybrid CTL. Sci. Comput. Program. 185 (2020)
Nikola Benes, Lubos Brim, Martin Geletka, Samuel Pastva, David Safránek
Accelerating Parameter Synthesis Using Semi-algebraic Constraints. IFM (2019)
Nikola Benes, Lubos Brim, Samuel Pastva, Jakub Polácek, David Safránek
Formal Analysis of Qualitative Long-Term Behaviour in Parametrised Boolean Networks. ICFEM (2019)
Nikola Benes, Lubos Brim, Jana Drazanová, Samuel Pastva, David Safránek
Facetal abstraction for non-linear dynamical systems based on δ-decidable SMT. HSCC (2019)
Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek
Digital Bifurcation Analysis of TCP Dynamics. TACAS (2) (2019)
Peter Bezdek, Nikola Benes, Ivana Cerná, Jiri Barnat
On clock-aware LTL parameter synthesis of timed automata. J. Log. Algebraic Methods Program. 99 (2018)
Jaroslav Bendík, Nikola Benes, Ivana Cerná
Finding Regressions in Projects under Version Control Systems. ICSOFT (2018)
Jaroslav Bendík, Ivana Cerná, Nikola Benes
Recursive Online Enumeration of All Minimal Unsatisfiable Subsets. ATVA (2018)
Jaroslav Bendík, Nikola Benes, Ivana Cerna
Finding Regressions in Projects under Version Control Systems. CoRR (2017)
Jaroslav Bendík, Nikola Benes, Ivana Cerna
Recursive Online Enumeration of All Minimal Unsatisfiable Subsets. CoRR (2017)
Nikola Benes, Lubos Brim, Martin Demko, Samuel Pastva, David Safránek
Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-affine Dynamical Systems. CAV (1) (2017)
Jiri Barnat, Nikola Benes, Lubos Brim, Martin Demko, Matej Hajnal, Samuel Pastva, David Safránek
Detecting Attractors in Biological Models with Uncertain Parameters. CMSB (2017)
Nikola Benes, Lubos Brim, Martin Demko, Samuel Pastva, David Safránek
A Model Checking Approach to Discrete Bifurcation Analysis. FM (2016)
Nikola Benes, Lubos Brim, Martin Demko, Samuel Pastva, David Safránek
Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-affine Systems. ATVA (2016)
Jaroslav Bendík, Nikola Benes, Jiri Barnat, Ivana Cerná
Finding Boundary Elements in Ordered Sets with Application to Safety and Requirements Analysis. SEFM (2016)
Jiri Barnat, Petr Bauch, Nikola Benes, Lubos Brim, Jan Beran, Tomas Kratochvila
Analysing sanity of requirements for avionics systems. Formal Aspects Comput. 28 (1) (2016)
Jaroslav Bendík, Nikola Benes, Ivana Cerná, Jiri Barnat
Tunable Online MUS/MSS Enumeration. FSTTCS (2016)
Peter Bezdek, Nikola Benes, Jiri Barnat, Ivana Cerná
LTL Parameter Synthesis of Parametric Timed Automata. SEFM (2016)
Martin Demko, Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek
High-Performance Symbolic Parameter Synthesis of Biological Models: A Case Study. CMSB (2016)
Jaroslav Bendík, Nikola Benes, Ivana Cerná, Jiri Barnat
Tunable Online MUS/MSS Enumeration. CoRR (2016)
Nikola Benes, Peter Bezdek, Kim Guldstrand Larsen, Jirí Srba
Language Emptiness of Continuous-Time Parametric Timed Automata. ICALP (2) (2015)
Nikola Benes, Jan Kretínský, Kim G. Larsen, Mikael H. Møller, Salomon Sickert, Jirí Srba
Refinement checking on parametric modal transition systems. Acta Informatica 52 (2-3) (2015)
Nikola Benes, Peter Bezdek, Kim G. Larsen, Jirí Srba
Language Emptiness of Continuous-Time Parametric Timed Automata. CoRR (2015)
Jiri Barnat, Petr Bauch, Nikola Benes, Lubos Brim, Jan Beran, Tomas Kratochvila
Analysing Sanity of Requirements for Avionics Systems (Preliminary Version). CoRR (2015)
Nikola Benes, Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Dejan Nickovic
Complete Composition Operators for IOCO-Testing Theory. CBSE (2015)
Peter Bezdek, Nikola Benes, Vojtech Havel, Jiri Barnat, Ivana Cerná
On Clock-Aware LTL Properties of Timed Automata. ICTAC (2014)
Peter Bezdek, Nikola Benes, Vojtech Havel, Jiri Barnat, Ivana Cerná
LTL Model Checking of Parametric Timed Automata. CoRR (2014)
Jiri Barnat, Nikola Benes, Tomás Bures, Ivana Cerná, Jaroslav Keznikl, Frantisek Plasil
Towards Verification of Ensemble-Based Component Systems. FACS (2013)
Nikola Benes, Benoît Delahaye, Uli Fahrenberg, Jan Kretínský, Axel Legay
Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory. CONCUR (2013)
Nikola Benes, Benoît Delahaye, Uli Fahrenberg, Jan Kretínský, Axel Legay
Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory. CoRR (2013)
Jiri Barnat, Nikola Benes, Ivana Cerná, Zuzana Petruchová
DCCL: verification of component systems with ensembles. CBSE (2013)
Nikola Benes, Jan Kretínský, Kim G. Larsen, Jirí Srba
EXPTIME-completeness of thorough refinement on modal transition systems. Inf. Comput. 218 (2012)
Nikola Benes, Jan Kretínský
Modal Process Rewrite Systems. ICTAC (2012)
Nikola Benes, Barbora Buhnova, Ivana Cerna, Radek Oslejsek
Reliability analysis in component-based development via probabilistic model checking. CBSE (2012)
Nikola Benes, Ivana Cerná, Filip Stefanak
Factorization for Component-Interaction Automata. SOFSEM (2012)
Nikola Benes, Jan Kretínský, Kim Guldstrand Larsen, Mikael H. Møller, Jirí Srba
Dual-Priced Modal Transition Systems with Time Durations. LPAR (2012)
Nikola Benes, Jan Kretínský, Kim G. Larsen, Mikael H. Møller, Jirí Srba
Parametric Modal Transition Systems. ATVA (2011)
Nikola Benes, Ivana Cerná, Jan Kretínský
Modal Transition Systems: Composition and LTL Model Checking. ATVA (2011)
Nikola Benes, Lubos Brim, Barbora Buhnova, Ivana Cerná, Jiri Sochor, Pavlína Vareková
Partial order reduction for state/event LTL with application to component-interaction automata. Sci. Comput. Program. 76 (10) (2011)
Nikola Benes, Ivana Cerná, Milan Krivánek
CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems PDMC (2011)
Nikola Benes, Jan Kretínský
Process Algebra for Modal Transition Systemses. MEMICS (2010)
Nikola Benes, Lubos Brim, Ivana Cerná, Jiri Sochor, Pavlína Vareková, Barbora Zimmerova
Partial Order Reduction for State/Event LTL. IFM (2009)
Nikola Benes, Milan Krivánek, Filip Stefanak
Space Effective Model Checking for Component-Interaction Automata. MEMICS (2009)
Nikola Benes, Jan Kretínský, Kim Guldstrand Larsen, Jirí Srba
Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete. ICTAC (2009)
Nikola Benes, Jan Kretínský, Kim Guldstrand Larsen, Jirí Srba
On determinism in modal transition systems. Theor. Comput. Sci. 410 (41) (2009)
Nikola Benes, Ivana Cerná, Jiri Sochor, Pavlína Vareková, Barbora Zimmerova
A Case Study in Parallel Verification of Component-Based Systems. Electron. Notes Theor. Comput. Sci. 220 (2) (2008)
Barbora Zimmerova, Pavlína Vareková, Nikola Benes, Ivana Cerná, Lubos Brim, Jiri Sochor
Component-Interaction Automata Approach (CoIn). CoCoME (2007)