Ivana Cerná

According to our database, Ivana Cerná authored at least 80 papers between 1990 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Tentacle-Based Shape Shifting of Metamorphic Robots Using Fast Inverse Kinematics.

Jan Mrázek, Patrick Ondika, Ivana Cerná, Jiri Barnat

Proceedings of the IEEE International Conference on Robotics and Automation, 2023

2022

Timed Automata Robustness Analysis via Model Checking.

Jaroslav Bendík, Ahmet Sencan, Ebru Aydin Gol, Ivana Cerná

Log. Methods Comput. Sci., 2022

2021

Timed Automata Relaxation for Reachability.

Jaroslav Bendík, Ahmet Sencan, Ebru Aydin Gol, Ivana Cerná

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

2020

MUST: Minimal Unsatisfiable Subsets Enumeration Tool.

Jaroslav Bendík, Ivana Cerná

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Rotation Based MSS/MCS Enumeration.

Jaroslav Bendík, Ivana Cerna

Proceedings of the LPAR 2020: 23rd International Conference on Logic for Programming, 2020

Replication-Guided Enumeration of Minimal Unsatisfiable Subsets.

Jaroslav Bendík, Ivana Cerná

Proceedings of the Principles and Practice of Constraint Programming, 2020

2018

DiVM: Model checking with LLVM and graph memory.

Petr Rockai, Vladimír Still, Ivana Cerná, Jiri Barnat

J. Syst. Softw., 2018

On clock-aware LTL parameter synthesis of timed automata.

Peter Bezdek, Nikola Benes, Ivana Cerná, Jiri Barnat

J. Log. Algebraic Methods Program., 2018

Online Enumeration of All Minimal Inductive Validity Cores.

Jaroslav Bendík, Elaheh Ghassabani, Michael W. Whalen, Ivana Cerná

Proceedings of the Software Engineering and Formal Methods - 16th International Conference, 2018

Evaluation of Domain Agnostic Approaches for Enumeration of Minimal Unsatisfiable Subsets.

Jaroslav Bendík, Ivana Cerna

Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

Finding Regressions in Projects under Version Control Systems.

Jaroslav Bendík, Nikola Benes, Ivana Cerná

Proceedings of the 13th International Conference on Software Technologies, 2018

Recursive Online Enumeration of All Minimal Unsatisfiable Subsets.

Jaroslav Bendík, Ivana Cerná, Nikola Benes

Proceedings of the Automated Technology for Verification and Analysis, 2018

2017

DiVM: Model Checking with LLVM and Graph Memory.

Petr Rockai, Ivana Cerná, Jiri Barnat

CoRR, 2017

2016

LTL Parameter Synthesis of Parametric Timed Automata.

Peter Bezdek, Nikola Benes, Jiri Barnat, Ivana Cerná

Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 2016

Finding Boundary Elements in Ordered Sets with Application to Safety and Requirements Analysis.

Jaroslav Bendík, Nikola Benes, Jiri Barnat, Ivana Cerná

Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 2016

On verifying C++ programs with probabilities.

Jiri Barnat, Ivana Cerná, Petr Rockai, Vladimír Still, Kristína Zákopcanová

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Tunable Online MUS/MSS Enumeration.

Jaroslav Bendík, Nikola Benes, Ivana Cerná, Jiri Barnat

Proceedings of the 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2016

Optimal observation mode scheduling for systems under temporal constraints.

Eva Tesarova, María Svorenová, Jiri Barnat, Ivana Cerna

Proceedings of the 2016 American Control Conference, 2016

2015

Optimal Temporal Logic Control for Deterministic Transition Systems With Probabilistic Penalties.

María Svorenová, Ivana Cerna, Calin Belta

IEEE Trans. Autom. Control., 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

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Temporal logic motion planning using POMDPs with parity objectives: case study paper.

María Svorenová, Martin Chmelik, Kevin Leahy, Hasan Ferit Eniser, Krishnendu Chatterjee, Ivana Cerná, Calin Belta

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

2014

LTL Model Checking of Parametric Timed Automata.

Peter Bezdek, Nikola Benes, Vojtech Havel, Jiri Barnat, Ivana Cerná

CoRR, 2014

On Clock-Aware LTL Properties of Timed Automata.

Peter Bezdek, Nikola Benes, Vojtech Havel, Jiri Barnat, Ivana Cerná

Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

2013

Formal analysis of piecewise affine systems through formula-guided refinement.

Boyan Yordanov, Jana Tumova, Ivana Cerná, Jiri Barnat, Calin Belta

Autom., 2013

Towards Verification of Ensemble-Based Component Systems.

Jiri Barnat, Nikola Benes, Tomás Bures, Ivana Cerná, Jaroslav Keznikl, Frantisek Plásil

Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013

Optimal control of MDPs with temporal logic constraints.

María Svorenová, Ivana Cerna, Calin Belta

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

DCCL: verification of component systems with ensembles.

Jiri Barnat, Nikola Benes, Ivana Cerná, Zuzana Petruchová

Proceedings of the CBSE'13, 2013

Optimal receding horizon control for finite deterministic systems with temporal logic constraints.

María Svorenová, Ivana Cerná, Calin Belta

Proceedings of the American Control Conference, 2013

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

pecial CAI Section Devoted to MEMICS '11: Preface.

Zdenek Kotásek, Lukás Sekanina, Tomás Vojnar, Jan Bouda, Ivana Cerná

Comput. Informatics, 2012

Verification of Systems with Degradation.

Jiri Barnat, Ivana Cerná, Jana Tumova

Comput. Informatics, 2012

Factorization for Component-Interaction Automata.

Nikola Benes, Ivana Cerná, Filip Stefanak

Proceedings of the SOFSEM 2012: Theory and Practice of Computer Science, 2012

Attraction-based receding horizon path planning with temporal logic constraints.

María Svorenová, Jana Tumova, Jiri Barnat, Ivana Cerna

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Reliability analysis in component-based development via probabilistic model checking.

Nikola Benes, Barbora Buhnova, Ivana Cerna, Radek Oslejsek

Proceedings of the 15th ACM SIGSOFT Symposium on Component Based Software Engineering, 2012

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

Parallel and Distributed Methods in Verification.

Ivana Cerná, Boudewijn R. Haverkort

J. Log. Comput., 2011

CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems

Nikola Benes, Ivana Cerná, Milan Krivánek

Proceedings of the Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, 2011

Timed Automata Approach to Verification of Systems with Degradation.

Jiri Barnat, Ivana Cerná, Jana Tumova

Proceedings of the Mathematical and Engineering Methods in Computer Science, 2011

Modal Transition Systems: Composition and LTL Model Checking.

Nikola Benes, Ivana Cerná, Jan Kretínský

Proceedings of the Automated Technology for Verification and Analysis, 2011

2010

A symbolic approach to controlling piecewise affine systems.

Jana Tumova, Boyan Yordanov, Calin Belta, Ivana Cerna, Jiri Barnat

Proceedings of the 49th IEEE Conference on Decision and Control, 2010

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

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

Proceedings of the Proceedings Second International Workshop on Computational Models for Cell Processes, 2009

Quantitative Model Checking of Systems with Degradation.

Jiri Barnat, Ivana Cerná, Jana Tumova

Proceedings of the QEST 2009, 2009

Partial Order Reduction for State/Event LTL.

Nikola Benes, Lubos Brim, Ivana Cerná, Jiri Sochor, Pavlína Vareková, Barbora Zimmerová

Proceedings of the Integrated Formal Methods, 7th International Conference, 2009

2008

Formal verification of systems with an unlimited number of components.

Pavlína Vareková, Barbora Zimmerová, Pavel Moravec, Ivana Cerná

IET Softw., 2008

Automated Computing of the Maximal Number of Handled Clients for Client-Server Systems.

Pavlína Vareková, I. Vareková, Ivana Cerná

Proceedings of the 5th International Workshop on Formal Aspects of Component Software, 2008

Preface.

Ivana Cerná, Gerald Lüttgen

Proceedings of the 7th International Workshop on Parallel and Distributed Methods in verifiCation, 2008

A Case Study in Parallel Verification of Component-Based Systems.

Nikola Benes, Ivana Cerná, Jiri Sochor, Pavlína Vareková, Barbora Zimmerová

Proceedings of the 7th International Workshop on Parallel and Distributed Methods in verifiCation, 2008

ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems.

Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova

Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

Local Quantitative LTL Model Checking.

Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova

Proceedings of the Formal Methods for Industrial Critical Systems, 2008

Model Checking of Control-User Component-Based Parametrised Systems.

Pavlína Vareková, Ivana Cerná

Proceedings of the Component-Based Software Engineering, 11th International Symposium, 2008

2007

Preface.

Ivana Cerná, Boudewijn R. Haverkort

Proceedings of the 6th International Workshop on Parallel and Distributed Methods in verifiCation, 2007

Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE.

Jiri Barnat, Lubos Brim, Ivana Cerná, Sven Drazan, David Safránek

Proceedings of the First Workshop "From Biology To Concurrency and back", 2007

Effective verification of systems with a dynamic number of components.

Pavlína Vareková, Pavel Moravec, Ivana Cerná, Barbora Zimmerová

Proceedings of the 2007 Conference Specification and Verification of Component-Based Systems, 2007

ProbDiVinE: A Parallel Qualitative LTL Model Checker.

Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova

Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007

Component-Interaction Automata Approach (CoIn).

Barbora Zimmerová, Pavlína Vareková, Nikola Benes, Ivana Cerná, Lubos Brim, Jiri Sochor

Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007

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

Distributed breadth-first search LTL model checking.

Jiri Barnat, Ivana Cerná

Formal Methods Syst. Des., 2006

Component Substitutability via Equivalencies of Component-Interaction Automata.

Ivana Cerná, Pavlína Vareková, Barbora Zimmerová

Proceedings of the Third International Workshop on Formal Aspects of Component Software, 2006

Preface.

Guido Boella, Mehdi Dastani, Andrea Omicini, Leendert W. N. van der Torre, Ivana Cerna, Isabelle Linden

Proceedings of the Combined Proceedings of the Second International Workshop on Coordination and Organization (CoOrg 2006) and the Second International Workshop on Methods and Tools for Coordinating Concurrent, 2006

Model Checking of RegCTL.

Tomás Brázdil, Ivana Cerná

Comput. Artif. Intell., 2006

On Combining Partial Order Reduction with Fairness Assumptions.

Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa

Proceedings of the Formal Methods: Applications and Technology, 2006

DiVinE - A Tool for Distributed Verification.

Jiri Barnat, Lubos Brim, Ivana Cerná, Pavel Moravec, Petr Rockai, Pavel Simecek

Proceedings of the Computer Aided Verification, 18th International Conference, 2006

2005

How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors.

Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa

Proceedings of the 4th International Workshop on Parallel and Distributed Methods in Verification, 2005

Enhancing random walk state space exploration.

Radek Pelánek, Tomás Hanzl, Ivana Cerná, Lubos Brim

Proceedings of the 10th international workshop on Formal methods for industrial critical systems, 2005

Cluster-Based LTL Model Checking of Large Systems.

Jiri Barnat, Lubos Brim, Ivana Cerná

Proceedings of the Formal Methods for Components and Objects, 4th International Symposium, 2005

2004

Distributed Partial Order Reduction of State Spaces.

Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa

Proceedings of the 3rd International Workshop on Parallel and Distributed Methods in Verification, 2004

Accepting Predecessors Are Better than Back Edges in Distributed LTL Model-Checking.

Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa

Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004

2003

Distributed Explicit Fair Cycle Detection (Set Based Approach).

Ivana Cerná, Radek Pelánek

Proceedings of the Model Checking Software, 2003

Distributed Negative Cycle Detection Algorithms.

Lubos Brim, Ivana Cerná, Lukás Hejtmánek

Proceedings of the Parallel Computing: Software Technology, 2003

Relating Hierarchy of Temporal Properties to Model Checking.

Ivana Cerná, Radek Pelánek

Proceedings of the Mathematical Foundations of Computer Science 2003, 2003

2002

Modifications of Expansion Trees for Weak Bisimulation in BPA.

Jitka Stríbrná, Ivana Cerná

Proceedings of the 4th International Workshop on Verification of Infinite-State Systems (CONCUR 2002 Satellite Workshop), 2002

Local Distributed Model Checking of RegCTL.

Tomás Brázdil, Ivana Cerná

Proceedings of the Parallel and Distributed Model Checking, 2002

2001

How to Employ Reverse Search in Distributed Single Source Shortest Paths.

Lubos Brim, Ivana Cerná, Pavel Krcál, Radek Pelánek

Proceedings of the SOFSEM 2001: Theory and Practice of Informatics, 28th Conference on Current Trends in Theory and Practice of Informatics Piestany, Slovak Republic, November 24, 2001

Randomization Helps in LTL Model Checking.

Lubos Brim, Ivana Cerná, Martin Necesal

Proceedings of the Process Algebra and Probabilistic Methods, 2001

Distributed LTL Model Checking Based on Negative Cycle Detection.

Lubos Brim, Ivana Cerná, Pavel Krcál, Radek Pelánek

Proceedings of the FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science, 2001

1999

Comparing Expressibility of Normed BPA and Normed BPP Processes.

Ivana Cerná, Mojmír Kretínský, Antonín Kucera

Acta Informatica, 1999

Pattern Equations and Equations with Stuttering.

Ivana Cerná, Ondrej Klíma, Jirí Srba

Proceedings of the SOFSEM '99, Theory and Practice of Informatics, 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27, 1999

1996

Bisimilarity is decidable in the union of normed BPA and normed BPP processes.

Ivana Cerná, Mojmír Kretínský, Antonín Kucera

Proceedings of the First International Workshop on Verification of Infinite State Systems, 1996

1990

Some Properties of Zerotesting Bounded One-Way Multicounter Machines.

Ivana Cerná

Proceedings of the Mathematical Foundations of Computer Science 1990, 1990