Pavel Moravec

other persons with the same name:

• Pavel Moravec

	2008
9		Pavel Moravec: Approximations of state spaces reduced by partial order reduction. SOFSEM (2) 2008: 78-90
8		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
7		Pavlína Vareková, Pavel Moravec, Ivana Cerná, Barbora Zimmerova: Effective verification of systems with a dynamic number of components. SAVCBS 2007: 3-13
	2006
6		Jiri Barnat, Lubos Brim, Ivana Cerná, Pavel Moravec, Petr Rockai, Pavel Simecek: DiVinE - A Tool for Distributed Verification. CAV 2006: 278-281
5		Jiri Barnat, Pavel Moravec: Parallel Algorithms for Finding SCCs in Implicitly Given Graphs. FMICS/PDMC 2006: 316-330
4		Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa: On Combining Partial Order Reduction with Fairness Assumptions. FMICS/PDMC 2006: 84-99
3		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)
	2005
2		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
1		Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa: Accepting Predecessors Are Better than Back Edges in Distributed LTL Model-Checking. FMCAD 2004: 352-366

Coauthor Index

1	Jiri Barnat	[5] [6]
2	Lubos Brim	[1] [2] [3] [4] [6]
3	Ivana Cerná (Ivana Cerna)	[1] [2] [3] [4] [6] [7] [8]
4	Petr Rockai	[6]
5	Pavel Simecek	[6]
6	Jirí Simsa	[1] [2] [3] [4]
7	Pavlína Vareková	[7] [8]
8	Barbora Zimmerova	[7] [8]