Ivana Cerná

Ivana Cerna

2009
33	EE	Nikola Benes, Lubos Brim, Ivana Cerná, Jiri Sochor, Pavlína Vareková, Barbora Zimmerova: Partial Order Reduction for State/Event LTL. IFM 2009: 307-321
2008
32	EE	Pavlína Vareková, Ivana Cerná: Model Checking of Control-User Component-Based Parametrised Systems. CBSE 2008: 146-162
31	EE	Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova: ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems. QEST 2008: 77-78
30	EE	Jiri Barnat, Lubos Brim, Ivana Cerná, S. Drazan, David Safránek: Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE. Electr. Notes Theor. Comput. Sci. 194(3): 35-50 (2008)
29	EE	Ivana Cerná, Boudewijn R. Haverkort: Preface. Electr. Notes Theor. Comput. Sci. 198(1): 1-2 (2008)
28	EE	Ivana Cerná, Gerald Lüttgen: Preface. Electr. Notes Theor. Comput. Sci. 220(2): 1-2 (2008)
27	EE	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)
2007
26	EE	Barbora Zimmerova, Pavlína Vareková, Nikola Benes, Ivana Cerná, Lubos Brim, Jiri Sochor: Component-Interaction Automata Approach (CoIn). CoCoME 2007: 146-176
25	EE	Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova: ProbDiVinE: A Parallel Qualitative LTL Model Checker. QEST 2007: 215-216
24	EE	Pavlína Vareková, Pavel Moravec, Ivana Cerná, Barbora Zimmerova: Effective verification of systems with a dynamic number of components. SAVCBS 2007: 3-13
23	EE	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)
22	EE	Ivana Cerná, Pavlína Vareková, Barbora Zimmerova: Component Substitutability via Equivalencies of Component-Interaction Automata. Electr. Notes Theor. Comput. Sci. 182: 39-55 (2007)
2006
21	EE	Jiri Barnat, Lubos Brim, Ivana Cerná, Pavel Moravec, Petr Rockai, Pavel Simecek: DiVinE - A Tool for Distributed Verification. CAV 2006: 278-281
20	EE	Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa: On Combining Partial Order Reduction with Fairness Assumptions. FMICS/PDMC 2006: 84-99
19	EE	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)
18		Tomás Brázdil, Ivana Cerná: Model Checking of RegCTL. Computers and Artificial Intelligence 25(1): (2006)
17	EE	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)
16	EE	Jiri Barnat, Ivana Cerná: Distributed breadth-first search LTL model checking. Formal Methods in System Design 29(2): 117-134 (2006)
2005
15	EE	Jiri Barnat, Lubos Brim, Ivana Cerná: Cluster-Based LTL Model Checking of Large Systems. FMCO 2005: 259-279
14	EE	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)
2004
13	EE	Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa: Accepting Predecessors Are Better than Back Edges in Distributed LTL Model-Checking. FMCAD 2004: 352-366
2003
12	EE	Ivana Cerná, Radek Pelánek: Relating Hierarchy of Temporal Properties to Model Checking. MFCS 2003: 318-327
11		Lubos Brim, Ivana Cerná, Lukás Hejtmánek: Distributed Negative Cycle Detection Algorithms. PARCO 2003: 297-304
10	EE	Ivana Cerná, Radek Pelánek: Distributed Explicit Fair Cycle Detection (Set Based Approach). SPIN 2003: 49-73
2002
9	EE	Tomás Brázdil, Ivana Cerná: Local Distributed Model Checking of RegCTL. Electr. Notes Theor. Comput. Sci. 68(4): (2002)
8	EE	Jitka Stríbrná, Ivana Cerná: Modifications of Expansion Trees for Weak Bisimulation in BPA. Electr. Notes Theor. Comput. Sci. 68(6): (2002)
2001
7	EE	Lubos Brim, Ivana Cerná, Pavel Krcál, Radek Pelánek: Distributed LTL Model Checking Based on Negative Cycle Detection. FSTTCS 2001: 96-107
6	EE	Lubos Brim, Ivana Cerná, Martin Necesal: Randomization Helps in LTL Model Checking. PAPM-PROBMIV 2001: 105-119
5	EE	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
1999
4	EE	Ivana Cerná, Ondrej Klíma, Jirí Srba: Pattern Equations and Equations with Stuttering. SOFSEM 1999: 369-378
3	EE	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)
1996
2	EE	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: (1996)
1990
1		Ivana Cerná: Some Properties of Zerotesting Bounded One-Way Multicounter Machines. MFCS 1990: 195-201

Coauthor Index

1	Jiri Barnat	[15] [16] [21] [25] [30] [31]
2	Nikola Benes	[26] [27] [33]
3	Guido Boella	[23]
4	Tomás Brázdil	[9] [18]
5	Lubos Brim	[5] [6] [7] [11] [13] [14] [15] [17] [19] [20] [21] [25] [26] [30] [31] [33]
6	Milan Ceska	[25] [31]
7	Mehdi Dastani	[23]
8	S. Drazan	[30]
9	Boudewijn R. Haverkort	[29]
10	Lukás Hejtmánek	[11]
11	Ondrej Klíma	[4]
12	Pavel Krcál	[5] [7]
13	Mojmír Kretínský	[2] [3]
14	Antonín Kucera	[2] [3]
15	Isabelle Linden	[23]
16	Gerald Lüttgen	[28]
17	Pavel Moravec	[13] [14] [17] [20] [21] [24]
18	Martin Necesal	[6]
19	Andrea Omicini	[23]
20	Radek Pelánek	[5] [7] [10] [12]
21	Petr Rockai	[21]
22	David Safránek	[30]
23	Pavel Simecek	[21]
24	Jirí Simsa	[13] [14] [17] [20]
25	Jiri Sochor	[26] [27] [33]
26	Jirí Srba	[4]
27	Jitka Stríbrná	[8]
28	Leendert W. N. van der Torre (Leendert van der Torre)	[23]
29	Jana Tumova	[25] [31]
30	Pavlína Vareková	[19] [22] [24] [26] [27] [32] [33]
31	Barbora Zimmerova	[19] [22] [24] [26] [27] [33]

Colors in the list of coauthors