Ivana Cerná

Publication Activity (10 Years)

Years Active: 1990-2023
Publications (10 Years): 20

Top Topics

Unsatisfiable Cores

Formal Analysis

Top Venues

Publications

Jan Mrázek, Patrick Ondika, Ivana Cerná, Jiri Barnat
Tentacle-Based Shape Shifting of Metamorphic Robots Using Fast Inverse Kinematics. ICRA (2023)
Jaroslav Bendík, Ahmet Sencan, Ebru Aydin Gol, Ivana Cerná
Timed Automata Robustness Analysis via Model Checking. Log. Methods Comput. Sci. 18 (3) (2022)
Jaroslav Bendík, Ahmet Sencan, Ebru Aydin Gol, Ivana Cerná
Timed Automata Relaxation for Reachability. TACAS (1) (2021)
Jaroslav Bendík, Ahmet Sencan, Ebru Aydin Gol, Ivana Cerná
Timed Automata Robustness Analysis via Model Checking. CoRR (2021)
Jaroslav Bendík, Ivana Cerná
MUST: Minimal Unsatisfiable Subsets Enumeration Tool. TACAS (1) (2020)
Jaroslav Bendík, Ivana Cerná
Replication-Guided Enumeration of Minimal Unsatisfiable Subsets. CP (2020)
Peter Bezdek, Nikola Benes, Ivana Cerná, Jiri Barnat
On clock-aware LTL parameter synthesis of timed automata. J. Log. Algebraic Methods Program. 99 (2018)
Petr Rockai, Vladimír Still, Ivana Cerná, Jiri Barnat
DiVM: Model checking with LLVM and graph memory. J. Syst. Softw. 143 (2018)
Jaroslav Bendík, Elaheh Ghassabani, Michael W. Whalen, Ivana Cerná
Online Enumeration of All Minimal Inductive Validity Cores. SEFM (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)
Petr Rockai, Ivana Cerná, Jiri Barnat
DiVM: Model Checking with LLVM and Graph Memory. CoRR (2017)
Eva Tesarova, María Svorenová, Jiri Barnat, Ivana Cerná
Optimal Observation Mode Scheduling for Systems under Temporal Constraints. CoRR (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)
Jaroslav Bendík, Nikola Benes, Ivana Cerná, Jiri Barnat
Tunable Online MUS/MSS Enumeration. FSTTCS (2016)
Jiri Barnat, Ivana Cerná, Petr Rockai, Vladimír Still, Kristína Zákopcanová
On verifying C++ programs with probabilities. SAC (2016)
Peter Bezdek, Nikola Benes, Jiri Barnat, Ivana Cerná
LTL Parameter Synthesis of Parametric Timed Automata. SEFM (2016)
Jaroslav Bendík, Nikola Benes, Ivana Cerná, Jiri Barnat
Tunable Online MUS/MSS Enumeration. CoRR (2016)
María Svorenová, Martin Chmelik, Kevin Leahy, Hasan Ferit Eniser, Krishnendu Chatterjee, Ivana Cerná, Calin Belta
Temporal logic motion planning using POMDPs with parity objectives: case study paper. HSCC (2015)
María Svorenová, Jan Kretínský, Martin Chmelik, Krishnendu Chatterjee, Ivana Cerná, Calin Belta
Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. HSCC (2015)
María Svorenová, Jan Kretínský, Martin Chmelik, Krishnendu Chatterjee, Ivana Cerná, Calin Belta
Temporal Logic Control for Stochastic Linear Systems using Abstraction Refinement of Probabilistic Games. CoRR (2014)
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)
María Svorenová, Ivana Cerná, Calin Belta
Optimal receding horizon control for finite deterministic systems with temporal logic constraints. ACC (2013)
María Svorenová, Ivana Cerná, Calin Belta
Optimal Receding Horizon Control for Finite Deterministic Systems with Temporal Logic Constraints CoRR (2013)
Jiri Barnat, Nikola Benes, Ivana Cerná, Zuzana Petruchová
DCCL: verification of component systems with ensembles. CBSE (2013)
Boyan Yordanov, Jana Tumova, Ivana Cerná, Jiri Barnat, Calin Belta
Formal analysis of piecewise affine systems through formula-guided refinement. Autom. 49 (1) (2013)
Zdenek Kotásek, Lukás Sekanina, Tomás Vojnar, Jan Bouda, Ivana Cerná
pecial CAI Section Devoted to MEMICS '11: Preface. Comput. Informatics 31 (3) (2012)
Nikola Benes, Ivana Cerná, Filip Stefanak
Factorization for Component-Interaction Automata. SOFSEM (2012)
Jiri Barnat, Ivana Cerná, Jana Tumova
Verification of Systems with Degradation. Comput. Informatics 31 (3) (2012)
Ivana Cerná, Boudewijn R. Haverkort
Parallel and Distributed Methods in Verification. J. Log. Comput. 21 (1) (2011)
Jiri Barnat, Ivana Cerná, Jana Tumova
Timed Automata Approach to Verification of Systems with Degradation. MEMICS (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)
Pavlína Vareková, I. Vareková, Ivana Cerná
Automated Computing of the Maximal Number of Handled Clients for Client-Server Systems. Electron. Notes Theor. Comput. Sci. 260 (2010)
Jiri Barnat, Lubos Brim, Ivana Cerná, Sven Drazan, Jana Fabriková, David Safránek
On algorithmic analysis of transcriptional regulation by LTL model checking. Theor. Comput. Sci. 410 (33-34) (2009)
Jiri Barnat, Lubos Brim, Ivana Cerná, Sven Drazan, Jana Fabriková, Jan Láník, David Safránek, Hongwu Ma
BioDiVinE: A Framework for Parallel Analysis of Biological Models COMPMOD (2009)
Nikola Benes, Lubos Brim, Ivana Cerná, Jiri Sochor, Pavlína Vareková, Barbora Zimmerova
Partial Order Reduction for State/Event LTL. IFM (2009)
Jiri Barnat, Ivana Cerná, Jana Tumova
Quantitative Model Checking of Systems with Degradation. QEST (2009)
Ivana Cerná, Boudewijn R. Haverkort
Preface. Electron. Notes Theor. Comput. Sci. 198 (1) (2008)
Ivana Cerná, Gerald Lüttgen
Preface. Electron. Notes Theor. Comput. Sci. 220 (2) (2008)
Jiri Barnat, Lubos Brim, Ivana Cerná, Sven Drazan, David Safránek
Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE. Electron. Notes Theor. Comput. Sci. 194 (3) (2008)
Pavlína Vareková, Ivana Cerná
Model Checking of Control-User Component-Based Parametrised Systems. CBSE (2008)
Pavlína Vareková, Barbora Zimmerova, Pavel Moravec, Ivana Cerná
Formal verification of systems with an unlimited number of components. IET Softw. 2 (6) (2008)
Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova
Local Quantitative LTL Model Checking. FMICS (2008)
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)
Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova
ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems. QEST (2008)
Ivana Cerná, Pavlína Vareková, Barbora Zimmerova
Component Substitutability via Equivalencies of Component-Interaction Automata. Electron. Notes Theor. Comput. Sci. 182 (2007)
Pavlína Vareková, Pavel Moravec, Ivana Cerná, Barbora Zimmerova
Effective verification of systems with a dynamic number of components. SAVCBS (2007)
Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova
ProbDiVinE: A Parallel Qualitative LTL Model Checker. QEST (2007)
Barbora Zimmerova, Pavlína Vareková, Nikola Benes, Ivana Cerná, Lubos Brim, Jiri Sochor
Component-Interaction Automata Approach (CoIn). CoCoME (2007)
Lubos Brim, Ivana Cerná, Pavlína Vareková, Barbora Zimmerova
Component-interaction automata as a verification-oriented component-based system specification. ACM SIGSOFT Softw. Eng. Notes 31 (2) (2006)
Tomás Brázdil, Ivana Cerná
Model Checking of RegCTL. Comput. Artif. Intell. 25 (1) (2006)
Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa
How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors. Electron. Notes Theor. Comput. Sci. 135 (2) (2006)
Jiri Barnat, Ivana Cerná
Distributed breadth-first search LTL model checking. Formal Methods Syst. Des. 29 (2) (2006)
Jiri Barnat, Lubos Brim, Ivana Cerná, Pavel Moravec, Petr Rockai, Pavel Simecek
DiVinE - A Tool for Distributed Verification. CAV (2006)
Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa
On Combining Partial Order Reduction with Fairness Assumptions. FMICS/PDMC (2006)
Radek Pelánek, Tomás Hanzl, Ivana Cerná, Lubos Brim
Enhancing random walk state space exploration. FMICS (2005)
Lubos Brim, Ivana Cerná, Pavlína Vareková, Barbora Zimmerova
Component-interaction automata as a verification-oriented component-based system specification. SAVCBS@ESEC/FSE (2005)
Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa
Distributed Partial Order Reduction of State Spaces. Electron. Notes Theor. Comput. Sci. 128 (3) (2005)
Jiri Barnat, Lubos Brim, Ivana Cerná
Cluster-Based LTL Model Checking of Large Systems. FMCO (2005)
Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa
Accepting Predecessors Are Better than Back Edges in Distributed LTL Model-Checking. FMCAD (2004)
Ivana Cerná, Radek Pelánek
Relating Hierarchy of Temporal Properties to Model Checking. MFCS (2003)
Ivana Cerná, Radek Pelánek
Distributed Explicit Fair Cycle Detection (Set Based Approach). SPIN (2003)
Lubos Brim, Ivana Cerná, Lukás Hejtmánek
Distributed Negative Cycle Detection Algorithms. PARCO (2003)
Tomás Brázdil, Ivana Cerná
Local Distributed Model Checking of RegCTL. Electron. Notes Theor. Comput. Sci. 68 (4) (2002)
Jitka Stríbrná, Ivana Cerná
Modifications of Expansion Trees for Weak Bisimulation in BPA. INFINITY (2002)
Lubos Brim, Ivana Cerná, Pavel Krcál, Radek Pelánek
Distributed LTL Model Checking Based on Negative Cycle Detection. FSTTCS (2001)
Lubos Brim, Ivana Cerná, Pavel Krcál, Radek Pelánek
How to Employ Reverse Search in Distributed Single Source Shortest Paths. SOFSEM (2001)
Lubos Brim, Ivana Cerná, Martin Necesal
Randomization Helps in LTL Model Checking. PAPM-PROBMIV (2001)
Ivana Cerná, Ondrej Klíma, Jirí Srba
Pattern Equations and Equations with Stuttering. SOFSEM (1999)
Ivana Cerná, Mojmír Kretínský, Antonín Kucera
Comparing Expressibility of Normed BPA and Normed BPP Processes. Acta Informatica 36 (3) (1999)
Ivana Cerná, Mojmír Kretínský, Antonín Kucera
Bisimilarity is decidable in the union of normed BPA and normed BPP processes. INFINITY (1996)
Ivana Cerná
Some Properties of Zerotesting Bounded One-Way Multicounter Machines. MFCS (1990)