Ivana Cerná

According to our database1, Ivana Cerná
  • authored at least 73 papers between 1990 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
DiVM: Model Checking with LLVM and Graph Memory.
CoRR, 2017

2016
Optimal Observation Mode Scheduling for Systems under Temporal Constraints.
CoRR, 2016

Tunable Online MUS/MSS Enumeration.
CoRR, 2016

LTL Parameter Synthesis of Parametric Timed Automata.
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.
Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 2016

On verifying C++ programs with probabilities.
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Tunable Online MUS/MSS Enumeration.
Proceedings of the 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2016

2015
Optimal Temporal Logic Control for Deterministic Transition Systems With Probabilistic Penalties.
IEEE Trans. Automat. Contr., 2015

Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games.
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.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

2014
Temporal Logic Control for Stochastic Linear Systems using Abstraction Refinement of Probabilistic Games.
CoRR, 2014

LTL Model Checking of Parametric Timed Automata.
CoRR, 2014

On Clock-Aware LTL Properties of Timed Automata.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

2013
Optimal Receding Horizon Control for Finite Deterministic Systems with Temporal Logic Constraints
CoRR, 2013

Optimal Control of MDPs with Temporal Logic Constraints
CoRR, 2013

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

Towards Verification of Ensemble-Based Component Systems.
Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013

Optimal control of MDPs with temporal logic constraints.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

DCCL: verification of component systems with ensembles.
Proceedings of the CBSE'13, 2013

Optimal receding horizon control for finite deterministic systems with temporal logic constraints.
Proceedings of the American Control Conference, 2013

2012
Temporal Logic Control of Discrete-Time Piecewise Affine Systems.
IEEE Trans. Automat. Contr., 2012

Attraction-Based Receding Horizon Path Planning with Temporal Logic Constraints
CoRR, 2012

pecial CAI Section Devoted to MEMICS '11: Preface.
Computing and Informatics, 2012

Verification of Systems with Degradation.
Computing and Informatics, 2012

Factorization for Component-Interaction Automata.
Proceedings of the SOFSEM 2012: Theory and Practice of Computer Science, 2012

Attraction-based receding horizon path planning with temporal logic constraints.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Reliability analysis in component-based development via probabilistic model checking.
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.
Sci. Comput. Program., 2011

Parallel and Distributed Methods in Verification.
J. Log. Comput., 2011

CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems
Proceedings of the Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, 2011

Timed Automata Approach to Verification of Systems with Degradation.
Proceedings of the Mathematical and Engineering Methods in Computer Science, 2011

Modal Transition Systems: Composition and LTL Model Checking.
Proceedings of the Automated Technology for Verification and Analysis, 2011

2010
Automated Computing of the Maximal Number of Handled Clients for Client-Server Systems.
Electr. Notes Theor. Comput. Sci., 2010

Formal analysis of piecewise affine systems through formula-guided refinement.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

A symbolic approach to controlling piecewise affine systems.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

2009
On algorithmic analysis of transcriptional regulation by LTL model checking.
Theor. Comput. Sci., 2009

BioDiVinE: A Framework for Parallel Analysis of Biological Models
Proceedings of the Proceedings Second International Workshop on Computational Models for Cell Processes, 2009

Quantitative Model Checking of Systems with Degradation.
Proceedings of the QEST 2009, 2009

Partial Order Reduction for State/Event LTL.
Proceedings of the Integrated Formal Methods, 7th International Conference, 2009

2008
Formal verification of systems with an unlimited number of components.
IET Software, 2008

Preface.
Electr. Notes Theor. Comput. Sci., 2008

Preface.
Electr. Notes Theor. Comput. Sci., 2008

A Case Study in Parallel Verification of Component-Based Systems.
Electr. Notes Theor. Comput. Sci., 2008

Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE.
Electr. Notes Theor. Comput. Sci., 2008

ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems.
Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

Local Quantitative LTL Model Checking.
Proceedings of the Formal Methods for Industrial Critical Systems, 2008

Model Checking of Control-User Component-Based Parametrised Systems.
Proceedings of the Component-Based Software Engineering, 11th International Symposium, 2008

2007
Component Substitutability via Equivalencies of Component-Interaction Automata.
Electr. Notes Theor. Comput. Sci., 2007

Preface.
Electr. Notes Theor. Comput. Sci., 2007

Effective verification of systems with a dynamic number of components.
Proceedings of the 2007 Conference Specification and Verification of Component-Based Systems, 2007

ProbDiVinE: A Parallel Qualitative LTL Model Checker.
Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007

Component-Interaction Automata Approach (CoIn).
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.
ACM SIGSOFT Software Engineering Notes, 2006

Distributed breadth-first search LTL model checking.
Formal Methods in System Design, 2006

How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors.
Electr. Notes Theor. Comput. Sci., 2006

Model Checking of RegCTL.
Computers and Artificial Intelligence, 2006

On Combining Partial Order Reduction with Fairness Assumptions.
Proceedings of the Formal Methods: Applications and Technology, 2006

DiVinE - A Tool for Distributed Verification.
Proceedings of the Computer Aided Verification, 18th International Conference, 2006

2005
Distributed Partial Order Reduction of State Spaces.
Electr. Notes Theor. Comput. Sci., 2005

Cluster-Based LTL Model Checking of Large Systems.
Proceedings of the Formal Methods for Components and Objects, 4th International Symposium, 2005

2004
Accepting Predecessors Are Better than Back Edges in Distributed LTL Model-Checking.
Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004

2003
Distributed Explicit Fair Cycle Detection (Set Based Approach).
Proceedings of the Model Checking Software, 2003

Distributed Negative Cycle Detection Algorithms.
Proceedings of the Parallel Computing: Software Technology, 2003

Relating Hierarchy of Temporal Properties to Model Checking.
Proceedings of the Mathematical Foundations of Computer Science 2003, 2003

2002
Modifications of Expansion Trees for Weak Bisimulation in BPA.
Electr. Notes Theor. Comput. Sci., 2002

Local Distributed Model Checking of RegCTL.
Electr. Notes Theor. Comput. Sci., 2002

2001
How to Employ Reverse Search in Distributed Single Source Shortest Paths.
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.
Proceedings of the Process Algebra and Probabilistic Methods, 2001

Distributed LTL Model Checking Based on Negative Cycle Detection.
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.
Acta Inf., 1999

Pattern Equations and Equations with Stuttering.
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.
Electr. Notes Theor. Comput. Sci., 1996

1990
Some Properties of Zerotesting Bounded One-Way Multicounter Machines.
Proceedings of the Mathematical Foundations of Computer Science 1990, 1990


  Loading...