other persons with the same name:
2008 | ||
---|---|---|
8 | Pavel Moravec: Approximations of state spaces reduced by partial order reduction. SOFSEM (2) 2008: 78-90 | |
2007 | ||
7 | EE | 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 | EE | Jiri Barnat, Lubos Brim, Ivana Cerná, Pavel Moravec, Petr Rockai, Pavel Simecek: DiVinE - A Tool for Distributed Verification. CAV 2006: 278-281 |
5 | EE | Jiri Barnat, Pavel Moravec: Parallel Algorithms for Finding SCCs in Implicitly Given Graphs. FMICS/PDMC 2006: 316-330 |
4 | EE | Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa: On Combining Partial Order Reduction with Fairness Assumptions. FMICS/PDMC 2006: 84-99 |
3 | 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) |
2005 | ||
2 | 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 | ||
1 | 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 |
1 | Jiri Barnat | [5] [6] |
2 | Lubos Brim | [1] [2] [3] [4] [6] |
3 | Ivana Cerná (Ivana Cerna) | [1] [2] [3] [4] [6] [7] |
4 | Petr Rockai | [6] |
5 | Pavel Simecek | [6] |
6 | Jirí Simsa | [1] [2] [3] [4] |
7 | Pavlína Vareková | [7] |
8 | Barbora Zimmerova | [7] |