Some Properties of Zerotesting Bounded One-Way Multicounter Machines. - Ivana Cerná (MFCS, 1990)

Bisimilarity is decidable in the union of normed BPA and normed BPP processes. - Ivana Cerná; Mojmír Kretínský; Antonín Kucera 001 (INFINITY, 1996)

Pattern Equations and Equations with Stuttering. - Ivana Cerná; Ondrej Klíma 001; Jirí Srba (SOFSEM, 1999)

Comparing Expressibility of Normed BPA and Normed BPP Processes. - Ivana Cerná; Mojmír Kretínský; Antonín Kucera 001 (Acta Informatica, 1999)

Distributed LTL Model Checking Based on Negative Cycle Detection. - Lubos Brim; Ivana Cerná; Pavel Krcál; Radek Pelánek (FSTTCS, 2001)

Randomization Helps in LTL Model Checking. - Lubos Brim; Ivana Cerná; Martin Necesal (PAPM-PROBMIV, 2001)

How to Employ Reverse Search in Distributed Single Source Shortest Paths. - Lubos Brim; Ivana Cerná; Pavel Krcál; Radek Pelánek (SOFSEM, 2001)

Local Distributed Model Checking of RegCTL. - Tomás Brázdil; Ivana Cerná (PDMC@CONCUR, 2002)

Modifications of Expansion Trees for Weak Bisimulation in BPA. - Jitka Stríbrná; Ivana Cerná (INFINITY, 2002)

Relating Hierarchy of Temporal Properties to Model Checking. - Ivana Cerná; Radek Pelánek (MFCS, 2003)

Distributed Negative Cycle Detection Algorithms. - Lubos Brim; Ivana Cerná; Lukás Hejtmánek (PARCO, 2003)

Distributed Explicit Fair Cycle Detection (Set Based Approach). - Ivana Cerná; Radek Pelánek (SPIN, 2003)

Accepting Predecessors Are Better than Back Edges in Distributed LTL Model-Checking. - Lubos Brim; Ivana Cerná; Pavel Moravec 002; Jirí Simsa (FMCAD, 2004)

Distributed Partial Order Reduction of State Spaces. - Lubos Brim; Ivana Cerná; Pavel Moravec 002; Jirí Simsa (PDMC, 2004)

Cluster-Based LTL Model Checking of Large Systems. - Jiri Barnat; Lubos Brim; Ivana Cerná (FMCO, 2005)

Enhancing random walk state space exploration. - Radek Pelánek; Tomás Hanzl; Ivana Cerná; Lubos Brim (FMICS, 2005)

How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors. - Lubos Brim; Ivana Cerná; Pavel Moravec 002; Jirí Simsa (PDMC@ICALP, 2005)

DiVinE - A Tool for Distributed Verification. - Jiri Barnat; Lubos Brim; Ivana Cerná; Pavel Moravec 002; Petr Rockai; Pavel Simecek (CAV, 2006)

On Combining Partial Order Reduction with Fairness Assumptions. - Lubos Brim; Ivana Cerná; Pavel Moravec 002; Jirí Simsa (FMICS/PDMC, 2006)

Model Checking of RegCTL. - Tomás Brázdil; Ivana Cerná (Comput. Artif. Intell., 2006)

Preface. - Guido Boella; Mehdi Dastani; Andrea Omicini; Leendert W. N. van der Torre; Ivana Cerna; Isabelle Linden (CoOrg/MTCoord@COORDINATION, 2006)

Component Substitutability via Equivalencies of Component-Interaction Automata. - Ivana Cerná; Pavlína Vareková; Barbora Zimmerová (FACS, 2006)

Distributed breadth-first search LTL model checking. - Jiri Barnat; Ivana Cerná (Formal Methods Syst. Des., 2006)

Component-interaction automata as a verification-oriented component-based system specification. - Lubos Brim; Ivana Cerná; Pavlína Vareková; Barbora Zimmerová (ACM SIGSOFT Softw. Eng. Notes, 2006)

Component-Interaction Automata Approach (CoIn). - Barbora Zimmerová; Pavlína Vareková; Nikola Benes; Ivana Cerná; Lubos Brim; Jiri Sochor (CoCoME, 2007)

ProbDiVinE: A Parallel Qualitative LTL Model Checker. - Jiri Barnat; Lubos Brim; Ivana Cerná; Milan Ceska 002; Jana Tumova (QEST, 2007)

Effective verification of systems with a dynamic number of components. - Pavlína Vareková; Pavel Moravec 002; Ivana Cerná; Barbora Zimmerová (SAVCBS, 2007)

Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE. - Jiri Barnat; Lubos Brim; Ivana Cerná; Sven Drazan; David Safránek (FBTC@CONCUR, 2007)

Preface. - Ivana Cerná; Boudewijn R. Haverkort (PDMC@CAV, 2007)

Model Checking of Control-User Component-Based Parametrised Systems. - Pavlína Vareková; Ivana Cerná (CBSE, 2008)

Local Quantitative LTL Model Checking. - Jiri Barnat; Lubos Brim; Ivana Cerná; Milan Ceska 002; Jana Tumova (FMICS, 2008)

ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems. - Jiri Barnat; Lubos Brim; Ivana Cerná; Milan Ceska 002; Jana Tumova (QEST, 2008)

A Case Study in Parallel Verification of Component-Based Systems. - Nikola Benes; Ivana Cerná; Jiri Sochor; Pavlína Vareková; Barbora Zimmerová (PDMC@ETAPS, 2008)

Preface. - Ivana Cerná; Gerald Lüttgen (PDMC@ETAPS, 2008)

Automated Computing of the Maximal Number of Handled Clients for Client-Server Systems. - Pavlína Vareková; I. Vareková; Ivana Cerná (FACS, 2008)

Formal verification of systems with an unlimited number of components. - Pavlína Vareková; Barbora Zimmerová; Pavel Moravec 002; Ivana Cerná (IET Softw., 2008)

Partial Order Reduction for State/Event LTL. - Nikola Benes; Lubos Brim; Ivana Cerná; Jiri Sochor; Pavlína Vareková; Barbora Zimmerová (IFM, 2009)

Quantitative Model Checking of Systems with Degradation. - Jiri Barnat; Ivana Cerná; Jana Tumova (QEST, 2009)

BioDiVinE: A Framework for Parallel Analysis of Biological Models - Jiri Barnat; Lubos Brim; Ivana Cerná; Sven Drazan; Jana Fabriková; Jan Láník; David Safránek; Hongwu Ma (COMPMOD, 2009)

On algorithmic analysis of transcriptional regulation by LTL model checking. - Jiri Barnat; Lubos Brim; Ivana Cerná; Sven Drazan; Jana Fabriková; David Safránek (Theor. Comput. Sci., 2009)

A symbolic approach to controlling piecewise affine systems. - Jana Tumova; Boyan Yordanov; Calin Belta; Ivana Cerna; Jiri Barnat (CDC, 2010)

Modal Transition Systems: Composition and LTL Model Checking. - Nikola Benes; Ivana Cerná; Jan Kretínský (ATVA, 2011)

Timed Automata Approach to Verification of Systems with Degradation. - Jiri Barnat; Ivana Cerná; Jana Tumova (MEMICS, 2011)

CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems - Nikola Benes; Ivana Cerná; Milan Krivánek (PDMC, 2011)

Parallel and Distributed Methods in Verification. - Ivana Cerná; Boudewijn R. Haverkort (J. Log. Comput., 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)

Reliability analysis in component-based development via probabilistic model checking. - Nikola Benes; Barbora Buhnova; Ivana Cerna; Radek Oslejsek (CBSE, 2012)

Attraction-based receding horizon path planning with temporal logic constraints. - María Svorenová; Jana Tumova; Jiri Barnat; Ivana Cerna (CDC, 2012)

Factorization for Component-Interaction Automata. - Nikola Benes; Ivana Cerná; Filip Stefanak (SOFSEM, 2012)

Verification of Systems with Degradation. - Jiri Barnat; Ivana Cerná; Jana Tumova (Comput. Informatics, 2012)

pecial CAI Section Devoted to MEMICS '11: Preface. - Zdenek Kotásek; Lukás Sekanina; Tomás Vojnar; Jan Bouda; Ivana Cerná (Comput. Informatics, 2012)

Temporal Logic Control of Discrete-Time Piecewise Affine Systems. - Boyan Yordanov; Jana Tumova; Ivana Cerna; Jiri Barnat; Calin Belta (IEEE Trans. Autom. Control., 2012)

Optimal receding horizon control for finite deterministic systems with temporal logic constraints. - María Svorenová; Ivana Cerná; Calin Belta (ACC, 2013)

DCCL: verification of component systems with ensembles. - Jiri Barnat; Nikola Benes; Ivana Cerná; Zuzana Petruchová (CBSE, 2013)

Optimal control of MDPs with temporal logic constraints. - María Svorenová; Ivana Cerna; Calin Belta (CDC, 2013)

Towards Verification of Ensemble-Based Component Systems. - Jiri Barnat; Nikola Benes; Tomás Bures; Ivana Cerná; Jaroslav Keznikl; Frantisek Plásil (FACS, 2013)

Formal analysis of piecewise affine systems through formula-guided refinement. - Boyan Yordanov; Jana Tumova; Ivana Cerná; Jiri Barnat; Calin Belta (Autom., 2013)

On Clock-Aware LTL Properties of Timed Automata. - Peter Bezdek; Nikola Benes; Vojtech Havel; Jiri Barnat; Ivana Cerná (ICTAC, 2014)

LTL Model Checking of Parametric Timed Automata. - Peter Bezdek; Nikola Benes; Vojtech Havel; Jiri Barnat; Ivana Cerná (CoRR, 2014)

Temporal logic motion planning using POMDPs with parity objectives: case study paper. - María Svorenová; Martin Chmelik; Kevin Leahy 001; Hasan Ferit Eniser; Krishnendu Chatterjee; Ivana Cerná; Calin Belta (HSCC, 2015)

Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. - María Svorenová; Jan Kretínský; Martin Chmelik; Krishnendu Chatterjee; Ivana Cerná; Calin Belta (HSCC, 2015)

Optimal Temporal Logic Control for Deterministic Transition Systems With Probabilistic Penalties. - María Svorenová; Ivana Cerna; Calin Belta (IEEE Trans. Autom. Control., 2015)

Optimal observation mode scheduling for systems under temporal constraints. - Eva Tesarova; María Svorenová; Jiri Barnat; Ivana Cerna (ACC, 2016)

Tunable Online MUS/MSS Enumeration. - Jaroslav Bendík; Nikola Benes; Ivana Cerná; Jiri Barnat (FSTTCS, 2016)

On verifying C++ programs with probabilities. - Jiri Barnat; Ivana Cerná; Petr Rockai; Vladimír Still; Kristína Zákopcanová (SAC, 2016)

Finding Boundary Elements in Ordered Sets with Application to Safety and Requirements Analysis. - Jaroslav Bendík; Nikola Benes; Jiri Barnat; Ivana Cerná (SEFM, 2016)

LTL Parameter Synthesis of Parametric Timed Automata. - Peter Bezdek; Nikola Benes; Jiri Barnat; Ivana Cerná (SEFM, 2016)

DiVM: Model Checking with LLVM and Graph Memory. - Petr Rockai; Ivana Cerná; Jiri Barnat (CoRR, 2017)

Recursive Online Enumeration of All Minimal Unsatisfiable Subsets. - Jaroslav Bendík; Ivana Cerná; Nikola Benes (ATVA, 2018)

Finding Regressions in Projects under Version Control Systems. - Jaroslav Bendík; Nikola Benes; Ivana Cerná (ICSOFT, 2018)

Evaluation of Domain Agnostic Approaches for Enumeration of Minimal Unsatisfiable Subsets. - Jaroslav Bendík; Ivana Cerna (LPAR, 2018)

Online Enumeration of All Minimal Inductive Validity Cores. - Jaroslav Bendík; Elaheh Ghassabani; Michael W. Whalen; Ivana Cerná (SEFM, 2018)

On clock-aware LTL parameter synthesis of timed automata. - Peter Bezdek; Nikola Benes; Ivana Cerná; Jiri Barnat (J. Log. Algebraic Methods Program., 2018)

DiVM: Model checking with LLVM and graph memory. - Petr Rockai; Vladimír Still; Ivana Cerná; Jiri Barnat (J. Syst. Softw., 2018)

Replication-Guided Enumeration of Minimal Unsatisfiable Subsets. - Jaroslav Bendík; Ivana Cerná (CP, 2020)

Rotation Based MSS/MCS Enumeration. - Jaroslav Bendík; Ivana Cerna (LPAR, 2020)

MUST: Minimal Unsatisfiable Subsets Enumeration Tool. - Jaroslav Bendík; Ivana Cerná (TACAS (1), 2020)

Timed Automata Relaxation for Reachability. - Jaroslav Bendík; Ahmet Sencan; Ebru Aydin Gol; Ivana Cerná (TACAS (1), 2021)

Timed Automata Robustness Analysis via Model Checking. - Jaroslav Bendík; Ahmet Sencan; Ebru Aydin Gol; Ivana Cerná (Log. Methods Comput. Sci., 2022)

Tentacle-Based Shape Shifting of Metamorphic Robots Using Fast Inverse Kinematics. - Jan Mrázek; Patrick Ondika; Ivana Cerná; Jiri Barnat (ICRA, 2023)