dblp.uni-trier.dewww.uni-trier.de

Pavel Moravec

List of publications from the DBLP Bibliography Server - FAQ

other persons with the same name:


Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

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

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)