Životopis

Životopis

Identifikace osoby

• Moravec Pavel, nar. 1980 ve Zlíně, svobodný

Pracoviště

• Fakulta informatiky
  Masarykova Universita
  Botanická 68a
  602 00 Brno
  

Funkce na pracovišti

• PhD student

Vzdělání a akademická kvalifikace

• 2004: Mgr. v informatice, Fakulta informatiky, Masarykova Universita Brno. Diplomová práce: `Distribuovaný algoritmus pro ověřování LTL vlastností modelu'

Pedagogická činnost

• IB001 Úvod do programování (FI podzim 2002)
  IB005 Formální jazyky a automaty I (FI jaro 2003, jaro 2004)
  IB102 Automaty a gramatiky (FI podzim 2003, podzim 2004)

Vědeckovýzkumná činnost

• distribuovaný LTL model checking

Universitní aktivity

• 2002-2004: člen disciplinární komise Fakulty informatiky
  2003-: člen laboratoře ParaDiSe (www.fi.muni.cz/paradise)

Vybrané publikace

• MORAVEC, Pavel a Jiří ŠIMŠA. Relaxed Cycle Condition Improves Partial Order Reduction. In 3rd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2007). Znojmo, Czech Republic: FI MU, FIT VUT, 2007, s. 140-147. ISBN 978-80-7355-077-6. info
• BRIM, Luboš, Ivana ČERNÁ, Pavel MORAVEC a Jiří ŠIMŠA. On Combining Partial Order Reduction with Fairness Assumptions. In Proceedings of the 11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2006). Bonn, Germany: University Bonn, 2006, s. 1-16. ISBN 978-3-540-70951-0. info
• BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Pavel MORAVEC, Petr ROČKAI a Pavel ŠIMEČEK. DiVinE -- A Tool for Distributed Verification. In Computer Aided Verification. Berlin: Springer Verlag, 2006, s. 278-281. ISBN 978-3-540-37406-0. info
• BARNAT, Jiří a Pavel MORAVEC. Parallel Algorithms for Finding SCCs in Implicitly Given Graphs. In Proceedings of the 5th International Workshop on Proceedings of 5th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2006). Bonn, Germany: University Bonn, 2006, s. 20-34. info
• MORAVEC, Pavel. Experimental Comparison of Algorithms Checking Proviso for Partial Order Reduction. In 2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2006). Mikulov, Czech Republic: FI MU Report Series, 2006, s. 129-136. info
• BRIM, Luboš, Ivana ČERNÁ, Pavel MORAVEC a Jiří ŠIMŠA. How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors. In Proceedings of the 4th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2005). Lisboa, Portugal: TU Munchen, 2005, s. 1-12. info
• MORAVEC, Pavel. How to Cope with Higher Dependency in Partial Order Reduction for LTL Model Checking. In 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2005). Znojmo, Czech Republic: FI MU Report Series, 2005, s. 186-192. URL info

23. 9. 2004

Další varianta: angličtina(1)