Ivana Cerná

Ivana Cerna

	2012
49		Zdenek Kotásek, Jan Bouda, Ivana Cerná, Lukás Sekanina, Tomás Vojnar, David Antos: Mathematical and Engineering Methods in Computer Science - 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers Springer 2012
48		Nikola Benes, Ivana Cerná, Filip Stefanak: Factorization for Component-Interaction Automata. SOFSEM 2012: 554-565
	2011
47		Ivana Cerná, Tibor Gyimóthy, Juraj Hromkovic, Keith G. Jeffery, Rastislav Královic, Marko Vukolic, Stefan Wolf: 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 Springer 2011
46		Nikola Benes, Ivana Cerná, Jan Kretínský: Modal Transition Systems: Composition and LTL Model Checking. ATVA 2011: 228-242
45		Jiri Barnat, Ivana Cerná, Jana Tumova: Timed Automata Approach to Verification of Systems with Degradation. MEMICS 2011: 84-93
44		Nikola Benes, Ivana Cerná, Milan Krivánek: CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems PDMC 2011: 63-67
43		Ivana Cerná, Boudewijn R. Haverkort: Parallel and Distributed Methods in Verification. J. Log. Comput. 21(1): 1-3 (2011)
42		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)
	2010
41		Jana Tumova, Boyan Yordanov, Calin Belta, Ivana Cerna, Jiri Barnat: A symbolic approach to controlling piecewise affine systems. CDC 2010: 4230-4235
40		Boyan Yordanov, Jana Tumova, Calin Belta, Ivana Cerna, Jiri Barnat: Formal analysis of piecewise affine systems through formula-guided refinement. CDC 2010: 5899-5904
39		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)
	2009
38		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
37		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		Jiri Barnat, Ivana Cerná, Jana Tumova: Quantitative Model Checking of Systems with Degradation. QEST 2009: 21-30
35		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		Pavlína Vareková, Ivana Cerná: Model Checking of Control-User Component-Based Parametrised Systems. CBSE 2008: 146-162
33		Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova: Local Quantitative LTL Model Checking. FMICS 2008: 53-68
32		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		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		Ivana Cerná, Boudewijn R. Haverkort: Preface. Electr. Notes Theor. Comput. Sci. 198(1): 1-2 (2008)
29		Ivana Cerná, Gerald Lüttgen: Preface. Electr. Notes Theor. Comput. Sci. 220(2): 1-2 (2008)
28		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		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		Barbora Zimmerova, Pavlína Vareková, Nikola Benes, Ivana Cerná, Lubos Brim, Jiri Sochor: Component-Interaction Automata Approach (CoIn). CoCoME 2007: 146-176
25		Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova: ProbDiVinE: A Parallel Qualitative LTL Model Checker. QEST 2007: 215-216
24		Pavlína Vareková, Pavel Moravec, Ivana Cerná, Barbora Zimmerova: Effective verification of systems with a dynamic number of components. SAVCBS 2007: 3-13
23		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		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		Jiri Barnat, Lubos Brim, Ivana Cerná, Pavel Moravec, Petr Rockai, Pavel Simecek: DiVinE - A Tool for Distributed Verification. CAV 2006: 278-281
20		Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa: On Combining Partial Order Reduction with Fairness Assumptions. FMICS/PDMC 2006: 84-99
19		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): 81-97 (2006)
17		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		Jiri Barnat, Ivana Cerná: Distributed breadth-first search LTL model checking. Formal Methods in System Design 29(2): 117-134 (2006)
	2005
15		Jiri Barnat, Lubos Brim, Ivana Cerná: Cluster-Based LTL Model Checking of Large Systems. FMCO 2005: 259-279
14		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		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		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		Ivana Cerná, Radek Pelánek: Distributed Explicit Fair Cycle Detection (Set Based Approach). SPIN 2003: 49-73
	2002
9		Tomás Brázdil, Ivana Cerná: Local Distributed Model Checking of RegCTL. Electr. Notes Theor. Comput. Sci. 68(4): 575-588 (2002)
8		Jitka Stríbrná, Ivana Cerná: Modifications of Expansion Trees for Weak Bisimulation in BPA. Electr. Notes Theor. Comput. Sci. 68(6): 19-39 (2002)
	2001
7		Lubos Brim, Ivana Cerná, Pavel Krcál, Radek Pelánek: Distributed LTL Model Checking Based on Negative Cycle Detection. FSTTCS 2001: 96-107
6		Lubos Brim, Ivana Cerná, Martin Necesal: Randomization Helps in LTL Model Checking. PAPM-PROBMIV 2001: 105-119
5		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		Ivana Cerná, Ondrej Klíma, Jirí Srba: Pattern Equations and Equations with Stuttering. SOFSEM 1999: 369-378
3		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		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)
	1990
1		Ivana Cerná: Some Properties of Zerotesting Bounded One-Way Multicounter Machines. MFCS 1990: 195-201

Coauthor Index

1	David Antos	[49]
2	Jiri Barnat	[15] [16] [21] [25] [31] [32] [33] [35] [36] [38] [40] [41] [45]
3	Calin Belta	[40] [41]
4	Nikola Benes	[26] [28] [37] [42] [44] [46] [48]
5	Guido Boella	[23]
6	Jan Bouda	[49]
7	Tomás Brázdil	[9] [18]
8	Lubos Brim	[5] [6] [7] [11] [13] [14] [15] [17] [19] [20] [21] [25] [26] [31] [32] [33] [35] [37] [38] [42]
9	Barbora Buhnova (Barbora Zimmerova)	[19] [22] [24] [26] [27] [28] [37] [42]
10	Milan Ceska	[25] [32] [33]
11	Mehdi Dastani	[23]
12	Sven Drazan	[31] [35] [38]
13	Jana Fabriková	[35] [38]
14	Tibor Gyimóthy	[47]
15	Boudewijn R. Haverkort	[30] [43]
16	Lukás Hejtmánek	[11]
17	Juraj Hromkovic	[47]
18	Keith G. Jeffery	[47]
19	Ondrej Klíma	[4]
20	Zdenek Kotásek	[49]
21	Rastislav Kralovic (Rastislav Královic)	[47]
22	Pavel Krcál	[5] [7]
23	Jan Kretínský	[46]
24	Mojmír Kretínský	[2] [3]
25	Milan Krivánek	[44]
26	Antonín Kucera	[2] [3]
27	Jan Láník	[38]
28	Isabelle Linden	[23]
29	Gerald Lüttgen	[29]
30	Hongwu Ma	[38]
31	Pavel Moravec	[13] [14] [17] [20] [21] [24] [27]
32	Martin Necesal	[6]
33	Andrea Omicini	[23]
34	Radek Pelánek	[5] [7] [10] [12]
35	Petr Rockai	[21]
36	David Safránek	[31] [35] [38]
37	Lukás Sekanina	[49]
38	Pavel Simecek	[21]
39	Jirí Simsa	[13] [14] [17] [20]
40	Jiri Sochor	[26] [28] [37] [42]
41	Jirí Srba	[4]
42	Filip Stefanak	[48]
43	Jitka Stríbrná	[8]
44	Leendert W. N. van der Torre (Leendert van der Torre, Leon van der Torre)	[23]
45	Jana Tumova	[25] [32] [33] [36] [40] [41] [45]
46	I. Vareková	[39]
47	Pavlína Vareková	[19] [22] [24] [26] [27] [28] [34] [37] [39] [42]
48	Tomás Vojnar	[49]
49	Marko Vukolic	[47]
50	Stefan Wolf	[47]
51	Boyan Yordanov	[40] [41]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page