| 2024 | ATVA | Symbolic Model Checking of Hybrid CTL on Coloured Kripke Structures. | Nikola Benes, Lubos Brim, Ondrej Huvar, Samuel Pastva, David Safrnek |
| 2021 | CAV | Computing Bottom SCCs Symbolically Using Transition Guided Reduction. | Nikola Benes, Lubos Brim, Samuel Pastva, David Safrnek |
| 2021 | TACAS | Symbolic Coloured SCC Decomposition. | Nikola Benes, Lubos Brim, Samuel Pastva, David Safrnek |
| 2020 | CAV | AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks. | Nikola Benes, Lubos Brim, Jakub Kadlecaj, Samuel Pastva, David Safrnek |
| 2019 | ICFEM | Formal Analysis of Qualitative Long-Term Behaviour in Parametrised Boolean Networks. | Nikola Benes, Lubos Brim, Samuel Pastva, Jakub Polcek, David Safrnek |
| 2019 | IFM | Accelerating Parameter Synthesis Using Semi-algebraic Constraints. | Nikola Benes, Lubos Brim, Martin Geletka, Samuel Pastva, David Safrnek |
| 2019 | TACAS | Digital Bifurcation Analysis of TCP Dynamics. | Nikola Benes, Lubos Brim, Samuel Pastva, David Safrnek |
| 2018 | ATVA | Recursive Online Enumeration of All Minimal Unsatisfiable Subsets. | Jaroslav Bendk, Ivana Cern, Nikola Benes |
| 2018 | ICSoft | Finding Regressions in Projects under Version Control Systems. | Jaroslav Bendk, Nikola Benes, Ivana Cern |
| 2017 | CAV | Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-affine Dynamical Systems. | Nikola Benes, Lubos Brim, Martin Demko, Samuel Pastva, David Safrnek |
| 2016 | ATVA | Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-affine Systems. | Nikola Benes, Lubos Brim, Martin Demko, Samuel Pastva, David Safrnek |
| 2016 | FM | A Model Checking Approach to Discrete Bifurcation Analysis. | Nikola Benes, Lubos Brim, Martin Demko, Samuel Pastva, David Safrnek |
| 2016 | SEFM | Finding Boundary Elements in Ordered Sets with Application to Safety and Requirements Analysis. | Jaroslav Bendk, Nikola Benes, Jiri Barnat, Ivana Cern |
| 2016 | SEFM | LTL Parameter Synthesis of Parametric Timed Automata. | Peter Bezdek, Nikola Benes, Jiri Barnat, Ivana Cern |
| 2015 | ICALP | Language Emptiness of Continuous-Time Parametric Timed Automata. | Nikola Benes, Peter Bezdek, Kim Guldstrand Larsen, Jir Srba |
| 2014 | ICTAC | On Clock-Aware LTL Properties of Timed Automata. | Peter Bezdek, Nikola Benes, Vojtech Havel, Jiri Barnat, Ivana Cern |
| 2013 | CONCUR | Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory. | Nikola Benes, Benot Delahaye, Uli Fahrenberg, Jan Kretnsk, Axel Legay |
| 2012 | ICTAC | Modal Process Rewrite Systems. | Nikola Benes, Jan Kretnsk |
| 2012 | LPAR | Dual-Priced Modal Transition Systems with Time Durations. | Nikola Benes, Jan Kretnsk, Kim Guldstrand Larsen, Mikael H. Mller, Jir Srba |
| 2012 | SOFSEM | Factorization for Component-Interaction Automata. | Nikola Benes, Ivana Cern, Filip Stefanak |
| 2011 | ATVA | Modal Transition Systems: Composition and LTL Model Checking. | Nikola Benes, Ivana Cern, Jan Kretnsk |
| 2011 | ATVA | Parametric Modal Transition Systems. | Nikola Benes, Jan Kretnsk, Kim G. Larsen, Mikael H. Mller, Jir Srba |
| 2009 | ICTAC | Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete. | Nikola Benes, Jan Kretnsk, Kim Guldstrand Larsen, Jir Srba |
| 2009 | IFM | Partial Order Reduction for State/Event LTL. | Nikola Benes, Lubos Brim, Ivana Cern, Jiri Sochor, Pavlna Varekov, Barbora Zimmerov |