|
Search the dblp DataBase
Pavel Moravec 0002:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Jiri Barnat, Lubos Brim, Ivana Cerná, Pavel Moravec 0002, Petr Rockai, Pavel Simecek
DiVinE - A Tool for Distributed Verification. [Citation Graph (0, 0)][DBLP] CAV, 2006, pp:278-281 [Conf]
- Lubos Brim, Ivana Cerná, Pavel Moravec 0002, Jirí Simsa
Accepting Predecessors Are Better than Back Edges in Distributed LTL Model-Checking. [Citation Graph (0, 0)][DBLP] FMCAD, 2004, pp:352-366 [Conf]
- Lubos Brim, Ivana Cerná, Pavel Moravec 0002, Jirí Simsa
Distributed Partial Order Reduction of State Spaces. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:128, n:3, pp:63-74 [Journal]
- Lubos Brim, Ivana Cerná, Pavel Moravec 0002, Jirí Simsa
How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:135, n:2, pp:3-18 [Journal]
- Lubos Brim, Ivana Cerná, Pavel Moravec 0002, Jirí Simsa
On Combining Partial Order Reduction with Fairness Assumptions. [Citation Graph (0, 0)][DBLP] FMICS/PDMC, 2006, pp:84-99 [Conf]
- Jiri Barnat, Pavel Moravec 0002
Parallel Algorithms for Finding SCCs in Implicitly Given Graphs. [Citation Graph (0, 0)][DBLP] FMICS/PDMC, 2006, pp:316-330 [Conf]
Effective verification of systems with a dynamic number of components. [Citation Graph (, )][DBLP]
Approximations of state spaces reduced by partial order reduction. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.002secs
|