| 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 |
| 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 |
| 2013 | CAV | Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking. | Lubos Brim, Milan Ceska, Sven Drazan, David Safrnek |
| 2006 | FMICS | Verifying VHDL Designs with Multiple Clocks in SMV. | Ales Smrcka, Vojtech Rehk, Toms Vojnar, David Safrnek, Petr Matousek, Z. Rehk |
| 2005 | SOFSEM | VCD: A Visual Formalism for Specification of Heterogeneous Software Architectures. | David Safrnek, Jir Simsa |