Ivana Cerná

Boyan Yordanov, Jana Tumova, Ivana Cerná, Jiri Barnat, Calin Belta: Formal analysis of piecewise affine systems through formula-guided refinement. Automatica 49(1): 261-266 (2013)

Maria Svorenova, Ivana Cerna, Calin Belta: Optimal Control of MDPs with Temporal Logic Constraints. CoRR abs/1303.1942 (2013)

Maria Svorenova, Ivana Cerná, Calin Belta: Optimal Receding Horizon Control for Finite Deterministic Systems with Temporal Logic Constraints. CoRR abs/1303.3533 (2013)

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

Jiri Barnat, Ivana Cerná, Jana Tumova: Verification of Systems with Degradation. Computing and Informatics 31(3): 507- (2012)

Boyan Yordanov, Jana Tumova, Ivana Cerna, Jiri Barnat, Calin Belta: Temporal Logic Control of Discrete-Time Piecewise Affine Systems. IEEE Trans. Automat. Contr. 57(6): 1491-1504 (2012)

Nikola Benes, Barbora Buhnova, Ivana Cerna, Radek Oslejsek: Reliability analysis in component-based development via probabilistic model checking. CBSE 2012: 83-92

Maria Svorenova, Jana Tumova, Jiri Barnat, Ivana Cerna: Attraction-based receding horizon path planning with temporal logic constraints. CDC 2012: 6749-6754

Nikola Benes, Ivana Cerná, Filip Stefanak: Factorization for Component-Interaction Automata. SOFSEM 2012: 554-565

Zdenek Kotásek, Jan Bouda, Ivana Cerná, Lukás Sekanina, Tomás Vojnar, David Antos (Eds.): Mathematical and Engineering Methods in Computer Science - 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7119, Springer 2012, isbn 978-3-642-25928-9

Maria Svorenova, Jana Tumova, Jiri Barnat, Ivana Cerna: Attraction-Based Receding Horizon Path Planning with Temporal Logic Constraints. CoRR abs/1208.5855 (2012)

Ivana Cerná, Boudewijn R. Haverkort: Parallel and Distributed Methods in Verification. J. Log. Comput. 21(1): 1-3 (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): 877-890 (2011)

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

Jiri Barnat, Ivana Cerná, Jana Tumova: Timed Automata Approach to Verification of Systems with Degradation. MEMICS 2011: 84-93

Nikola Benes, Ivana Cerná, Milan Krivánek: CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems. PDMC 2011: 63-67

Ivana Cerná, Tibor Gyimóthy, Juraj Hromkovic, Keith G. Jeffery, Rastislav Královic, Marko Vukolic, Stefan Wolf (Eds.): SOFSEM 2011: Theory and Practice of Computer Science - 37th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 22-28, 2011. Proceedings. Lecture Notes in Computer Science 6543, Springer 2011, isbn 978-3-642-18380-5

Pavlína Vareková, I. Vareková, Ivana Cerná: Automated Computing of the Maximal Number of Handled Clients for Client-Server Systems. Electr. Notes Theor. Comput. Sci. 260: 243-259 (2010)

Jana Tumova, Boyan Yordanov, Calin Belta, Ivana Cerna, Jiri Barnat: A symbolic approach to controlling piecewise affine systems. CDC 2010: 4230-4235

Boyan Yordanov, Jana Tumova, Calin Belta, Ivana Cerna, Jiri Barnat: Formal analysis of piecewise affine systems through formula-guided refinement. CDC 2010: 5899-5904

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): 3128-3148 (2009)

Nikola Benes, Lubos Brim, Ivana Cerná, Jiri Sochor, Pavlína Vareková, Barbora Zimmerova: Partial Order Reduction for State/Event LTL. IFM 2009: 307-321

Jiri Barnat, Ivana Cerná, Jana Tumova: Quantitative Model Checking of Systems with Degradation. QEST 2009: 21-30

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: 31-45

Jiri Barnat, Lubos Brim, Ivana Cerná, Sven Drazan, David Safránek: Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE. Electr. Notes Theor. Comput. Sci. 194(3): 35-50 (2008)

Ivana Cerná, Boudewijn R. Haverkort: Preface. Electr. Notes Theor. Comput. Sci. 198(1): 1-2 (2008)

Ivana Cerná, Gerald Lüttgen: Preface. Electr. Notes Theor. Comput. Sci. 220(2): 1-2 (2008)

Nikola Benes, Ivana Cerná, Jiri Sochor, Pavlína Vareková, Barbora Zimmerova: A Case Study in Parallel Verification of Component-Based Systems. Electr. Notes Theor. Comput. Sci. 220(2): 67-83 (2008)

Pavlína Vareková, Barbora Zimmerova, Pavel Moravec, Ivana Cerná: Formal verification of systems with an unlimited number of components. IET Software 2(6): 532-546 (2008)

Pavlína Vareková, Ivana Cerná: Model Checking of Control-User Component-Based Parametrised Systems. CBSE 2008: 146-162

Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova: Local Quantitative LTL Model Checking. FMICS 2008: 53-68

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

Guido Boella, Mehdi Dastani, Andrea Omicini, Leendert W. N. van der Torre, Ivana Cerna, Isabelle Linden: Preface. Electr. Notes Theor. Comput. Sci. 181: 1-3 (2007)

Ivana Cerná, Pavlína Vareková, Barbora Zimmerova: Component Substitutability via Equivalencies of Component-Interaction Automata. Electr. Notes Theor. Comput. Sci. 182: 39-55 (2007)

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

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

Pavlína Vareková, Pavel Moravec, Ivana Cerná, Barbora Zimmerova: Effective verification of systems with a dynamic number of components. SAVCBS 2007: 3-13

Tomás Brázdil, Ivana Cerná: Model Checking of RegCTL. Computers and Artificial Intelligence 25(1): 81-97 (2006)

Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa: How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors. Electr. Notes Theor. Comput. Sci. 135(2): 3-18 (2006)

Jiri Barnat, Ivana Cerná: Distributed breadth-first search LTL model checking. Formal Methods in System Design 29(2): 117-134 (2006)

Lubos Brim, Ivana Cerná, Pavlína Vareková, Barbora Zimmerova: Component-interaction automata as a verification-oriented component-based system specification. ACM SIGSOFT Software Engineering Notes 31(2) (2006)

Jiri Barnat, Lubos Brim, Ivana Cerná, Pavel Moravec, Petr Rockai, Pavel Simecek: DiVinE - A Tool for Distributed Verification. CAV 2006: 278-281

Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa: On Combining Partial Order Reduction with Fairness Assumptions. FMICS/PDMC 2006: 84-99

Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa: Distributed Partial Order Reduction of State Spaces. Electr. Notes Theor. Comput. Sci. 128(3): 63-74 (2005)

Jiri Barnat, Lubos Brim, Ivana Cerná: Cluster-Based LTL Model Checking of Large Systems. FMCO 2005: 259-279

Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa: Accepting Predecessors Are Better than Back Edges in Distributed LTL Model-Checking. FMCAD 2004: 352-366

Ivana Cerná, Radek Pelánek: Relating Hierarchy of Temporal Properties to Model Checking. MFCS 2003: 318-327

Lubos Brim, Ivana Cerná, Lukás Hejtmánek: Distributed Negative Cycle Detection Algorithms. PARCO 2003: 297-304

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

Tomás Brázdil, Ivana Cerná: Local Distributed Model Checking of RegCTL. Electr. Notes Theor. Comput. Sci. 68(4): 575-588 (2002)

Jitka Stríbrná, Ivana Cerná: Modifications of Expansion Trees for Weak Bisimulation in BPA. Electr. Notes Theor. Comput. Sci. 68(6): 19-39 (2002)

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

Lubos Brim, Ivana Cerná, Martin Necesal: Randomization Helps in LTL Model Checking. PAPM-PROBMIV 2001: 105-119

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

Ivana Cerná, Mojmír Kretínský, Antonín Kucera: Comparing Expressibility of Normed BPA and Normed BPP Processes. Acta Inf. 36(3): 233-256 (1999)

Ivana Cerná, Ondrej Klíma, Jirí Srba: Pattern Equations and Equations with Stuttering. SOFSEM 1999: 369-378

Ivana Cerná, Mojmír Kretínský, Antonín Kucera: Bisimilarity is decidable in the union of normed BPA and normed BPP processes. Electr. Notes Theor. Comput. Sci. 5: 14 (1996)

Ivana Cerná: Some Properties of Zerotesting Bounded One-Way Multicounter Machines. MFCS 1990: 195-201