Ivana Cerná Vis

Ivana Cerna

*	2009
37	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
36	EE	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 CoRR abs/0910.0928: (2009)
35	EE	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)
	2008
34	EE	Pavlína Vareková, Ivana Cerná: Model Checking of Control-User Component-Based Parametrised Systems. CBSE 2008: 146-162
33	EE	Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova: Local Quantitative LTL Model Checking. FMICS 2008: 53-68
32	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
31	EE	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)
30	EE	Ivana Cerná, Boudewijn R. Haverkort: Preface. Electr. Notes Theor. Comput. Sci. 198(1): 1-2 (2008)
29	EE	Ivana Cerná, Gerald Lüttgen: Preface. Electr. Notes Theor. Comput. Sci. 220(2): 1-2 (2008)
28	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)
27	EE	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)
	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	EE	Ivana Cerná: Some Properties of Zerotesting Bounded One-Way Multicounter Machines. MFCS 1990: 195-201

Coauthor Index

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

Colors in the list of coauthors