| 2023 | ICRA | Tentacle-Based Shape Shifting of Metamorphic Robots Using Fast Inverse Kinematics. | Jan Mrzek, Patrick Ondika, Ivana Cern, Jiri Barnat |
| 2021 | TACAS | Timed Automata Relaxation for Reachability. | Jaroslav Bendk, Ahmet Sencan, Ebru Aydin Gol, Ivana Cern |
| 2020 | CP | Replication-Guided Enumeration of Minimal Unsatisfiable Subsets. | Jaroslav Bendk, Ivana Cern |
| 2020 | TACAS | MUST: Minimal Unsatisfiable Subsets Enumeration Tool. | Jaroslav Bendk, Ivana Cern |
| 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 |
| 2018 | SEFM | Online Enumeration of All Minimal Inductive Validity Cores. | Jaroslav Bendk, Elaheh Ghassabani, Michael W. Whalen, Ivana Cern |
| 2016 | SAC | On verifying C++ programs with probabilities. | Jiri Barnat, Ivana Cern, Petr Rockai, Vladimr Still, Kristna Zkopcanov |
| 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 |
| 2014 | ICTAC | On Clock-Aware LTL Properties of Timed Automata. | Peter Bezdek, Nikola Benes, Vojtech Havel, Jiri Barnat, Ivana Cern |
| 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 |
| 2009 | IFM | Partial Order Reduction for State/Event LTL. | Nikola Benes, Lubos Brim, Ivana Cern, Jiri Sochor, Pavlna Varekov, Barbora Zimmerov |
| 2008 | FMICS | Local Quantitative LTL Model Checking. | Jiri Barnat, Lubos Brim, Ivana Cern, Milan Ceska, Jana Tumova |
| 2006 | CAV | DiVinE - A Tool for Distributed Verification. | Jiri Barnat, Lubos Brim, Ivana Cern, Pavel Moravec, Petr Rockai, Pavel Simecek |
| 2006 | FMICS | On Combining Partial Order Reduction with Fairness Assumptions. | Lubos Brim, Ivana Cern, Pavel Moravec, Jir Simsa |
| 2005 | FMICS | Enhancing random walk state space exploration. | Radek Pelnek, Toms Hanzl, Ivana Cern, Lubos Brim |
| 2004 | FMCAD | Accepting Predecessors Are Better than Back Edges in Distributed LTL Model-Checking. | Lubos Brim, Ivana Cern, Pavel Moravec, Jir Simsa |
| 2003 | MFCS | Relating Hierarchy of Temporal Properties to Model Checking. | Ivana Cern, Radek Pelnek |
| 2001 | SOFSEM | How to Employ Reverse Search in Distributed Single Source Shortest Paths. | Lubos Brim, Ivana Cern, Pavel Krcl, Radek Pelnek |
| 1999 | SOFSEM | Pattern Equations and Equations with Stuttering. | Ivana Cern, Ondrej Klma, Jir Srba |
| 1990 | MFCS | Some Properties of Zerotesting Bounded One-Way Multicounter Machines. | Ivana Cern |