Format for Printing from Your Browser, MS-Word, LaTeX, rich LaTeX

Curriculum vitae

Person Identification
  • Moravec Pavel, born 1980 in Zlín (CZE), single
Workplace
  • Faculty of Informatics
    Masaryk University
    Botanicka 68a
    602 00 Brno
    Czech Republic
Employment Position
  • PhD student
Education and Academic Qualifications
  • 2004: Mgr. (master's degree) in computer science, Faculty of Informatics, Masaryk University, Brno, Czech Republic. Theses: `Distributed Algorithm for LTL Model Checking' (in Czech).
Pedagogical Activities
  • IB001 Introduction to Programming (FI autumn 2002)
    IB005 Formal Languages and Automata I (FI spring 2003, spring 2004)
    IB102 Automata and Grammars (FI autumn 2003, fall 2004)
Scientific and Research Activities
  • distributed LTL model checking
University Activities
  • 2002-2004: Disciplinary Commission Member of FI
    2003-: member of laboratory ParaDiSe (www.fi.muni.cz/paradise)
Selected Publications
  • MORAVEC, Pavel and 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, p. 140-147. ISBN 978-80-7355-077-6. info
  • BRIM, Luboš, Ivana ČERNÁ, Pavel MORAVEC and 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, p. 1-16. ISBN 978-3-540-70951-0. info
  • BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Pavel MORAVEC, Petr ROČKAI and Pavel ŠIMEČEK. DiVinE -- A Tool for Distributed Verification. In Computer Aided Verification. Berlin: Springer Verlag, 2006, p. 278-281. ISBN 978-3-540-37406-0. info
  • BARNAT, Jiří and 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, p. 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, p. 129-136. info
  • BRIM, Luboš, Ivana ČERNÁ, Pavel MORAVEC and 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, p. 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, p. 186-192. URL info

2004/09/23

Curriculum vitae: Mgr. Pavel Moravec (učo 39589), version: English(1), last update: 2004/09/23 14:42, P. Moravec

Another Variant: Czech(1)