Masaryk University

Publication Records

česky | in English

Filter publications

    2008

    1. Complementarity of Error Detection Techniques
      PELÁNEK, Radek, Václav ROSECKÝ and Pavel MORAVEC. Complementarity of Error Detection Techniques. In Parallel and Distributed Methods in verifiCation (PDMC 2008). Nizozemsko: Elsevier, 2008, 14 pp. ISSN 1571-0661.
      Name in Czech: Komplementarita technik pro detekci chyb
      RIV/00216224:14330/08:00025027 Proceedings paper. Informatics. English. Netherlands.
      Pelánek, Radek (203 Czech Republic, guarantor) -- Rosecký, Václav (203 Czech Republic) -- Moravec, Pavel (203 Czech Republic)
      Keywords in English: model checking; evaluation; error detection
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Changed: 30/3/2010 09:57.
      More: https://is.muni.cz/publication/792712/en
    2. Formal verification of systems with an unlimited number of components
      VAŘEKOVÁ, Pavlína, Barbora ZIMMEROVÁ, Pavel MORAVEC and Ivana ČERNÁ. Formal verification of systems with an unlimited number of components. IET Software journal. Inst. of Engeneering and Technology, 2008, Volume 2, Isuue 6, p. p. 532-546, 15 pp. ISSN 1751-8806.
      URL
      Name in Czech: Automatická verifikace systémů s neomezeným počtem komponent
      RIV/00216224:14330/08:00024358 Article in a journal. Informatics. English. United States of America.
      Vařeková, Pavlína (203 Czech Republic, belonging to the institution) -- Zimmerová, Barbora (203 Czech Republic, belonging to the institution) -- Moravec, Pavel (203 Czech Republic) -- Černá, Ivana (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: Component-based systems; dynamic number of components; infinite-state systems; formal verification
      International impact: yes
      Reviewed: yes
      Changed by: doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394. Changed: 4/11/2012 15:52.
      More: https://is.muni.cz/publication/800041/en

    2007

    1. Effective verification of systems with a dynamic number of components
      VAŘEKOVÁ, Pavlína, Pavel MORAVEC, Ivana ČERNÁ and Barbora ZIMMEROVÁ. Effective verification of systems with a dynamic number of components. In Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering. New York, NY, USA: ACM Press, 2007, p. 3-13. ISBN 978-1-59593-721-6.
      URL
      Name in Czech: Efektivní verifikace systémů s dynamickým počtem komponent
      RIV/00216224:14330/07:00019481 Proceedings paper. Informatics. English. United States of America.
      Vařeková, Pavlína (203 Czech Republic, belonging to the institution) -- Moravec, Pavel (203 Czech Republic, belonging to the institution) -- Černá, Ivana (203 Czech Republic, guarantor, belonging to the institution) -- Zimmerová, Barbora (203 Czech Republic, belonging to the institution)
      Keywords in English: Component-based systems; dynamic number of components; finite-state systems; formal verification
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394. Changed: 4/11/2012 15:30.
      More: https://is.muni.cz/publication/726163/en
    2. Parallel Algorithms for Finding SCCs in Implicitly Given Graphs
      BARNAT, Jiří and Pavel MORAVEC. Parallel Algorithms for Finding SCCs in Implicitly Given Graphs. In Formal Methods: Applications and Technology. Berlin, Heidelberg: Springer-Verlag, 2007, p. 316-330. ISBN 978-3-540-70951-0.
      Name in Czech: Paralelní algoritmy pro hledání silně souvislých komponent v implicitně zadaných grafech
      Name (in English): Parallel Algorithms for Finding SCCs in Implicitly Given Graphs
      RIV/00216224:14330/07:00019374 Proceedings paper. Informatics. English. Germany.
      Barnat, Jiří (203 Czech Republic, guarantor) -- Moravec, Pavel (203 Czech Republic)
      Keywords in English: distributed verification; SCCs
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Changed: 23/6/2009 10:21.
      More: https://is.muni.cz/publication/716579/en
    3. Relaxed Cycle Condition Improves Partial Order Reduction
      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.
      Name in Czech: Oslabení podmínky na cykly zlepšující redukci pomocí reprezentantů
      Name (in English): Relaxed Cycle Condition Improves Partial Order Reduction
      RIV/00216224:14330/07:00019497 Proceedings paper. Informatics. English. Czech Republic.
      Moravec, Pavel (203 Czech Republic, guarantor) -- Šimša, Jiří (203 Czech Republic)
      Keywords in English: model checking; partial order reduction; proviso checking
      Changed by: Mgr. Pavel Moravec, učo 39589. Changed: 28/11/2007 10:10.
      More: https://is.muni.cz/publication/727871/en

    2006

    1. DiVinE -- A Tool for Distributed Verification
      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.
      Name in Czech: DiVinE -- nástroj na distribuovanou verifikaci
      Name (in English): DiVinE -- A Tool for Distributed Verification
      RIV/00216224:14330/06:00015443 Proceedings paper. Informatics. English. United States of America.
      Barnat, Jiří (203 Czech Republic, guarantor) -- Brim, Luboš (203 Czech Republic) -- Černá, Ivana (203 Czech Republic) -- Moravec, Pavel (203 Czech Republic) -- Ročkai, Petr (703 Slovakia) -- Šimeček, Pavel (203 Czech Republic)
      Keywords in English: distributed verification; LTL model checking
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Changed: 2/6/2009 10:51.
      More: https://is.muni.cz/publication/702305/en
    2. DiVinE Library (software)
      BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Pavel MORAVEC, Pavel ŠIMEČEK and Jakub CHALOUPKA. DiVinE Library. 2006.
      URL
      Name in Czech: Knihovna DiVinE
      Name (in English): DiVinE Library
      RIV/00216224:14330/06:00024474 Software. Informatics. English. Czech Republic.
      Barnat, Jiří (203 Czech Republic) -- Brim, Luboš (203 Czech Republic, guarantor) -- Černá, Ivana (203 Czech Republic) -- Moravec, Pavel (203 Czech Republic) -- Šimeček, Pavel (203 Czech Republic) -- Chaloupka, Jakub (203 Czech Republic)
      Keywords in English: parallel verification; LTL model-checking
      International impact: yes
      Changed by: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Changed: 2/6/2009 11:35.
      More: https://is.muni.cz/publication/834420/en
    3. Experimental Comparison of Algorithms Checking Proviso for Partial Order Reduction
      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.
      Name in Czech: Experimentální porovnání algoritmů ověřujících proviso pro redukci pomocí reprezentantů
      Name (in English): Experimental Comparison of Algorithms Checking Proviso for Partial Order Reduction
      RIV/00216224:14330/06:00015445 Proceedings paper. Informatics. English. Czech Republic.
      Moravec, Pavel (203 Czech Republic, guarantor)
      Keywords in English: model checking; partial order reduction; proviso checking
      Changed by: Mgr. Pavel Moravec, učo 39589. Changed: 4/12/2006 15:24.
      More: https://is.muni.cz/publication/702313/en
    4. How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors
      BRIM, Luboš, Ivana ČERNÁ, Pavel MORAVEC and Jiří ŠIMŠA. How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors. Electronic Notes in Theoretical Computer Science. Nizozemsko: Elsevier, 2006, vol. 135, No 2, p. 3-18, 15 pp. ISSN 1571-0661.
      Name in Czech: Uspořádání vrcholů pro distribuované ověřování LTL vlastností modelu založené na akceptujících předchůdcích
      Name (in English): How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors
      RIV/00216224:14330/06:00015453 Article in a journal. Informatics. English. Portugal.
      Brim, Luboš (203 Czech Republic, guarantor) -- Černá, Ivana (203 Czech Republic) -- Moravec, Pavel (203 Czech Republic) -- Šimša, Jiří (203 Czech Republic)
      Keywords in English: accepting predecessors; LTL model checking
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Luboš Brim, CSc., učo 197. Changed: 23/11/2006 07:56.
      More: https://is.muni.cz/publication/702503/en
    5. On Combining Partial Order Reduction with Fairness Assumptions
      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.
      Name in Czech: Kombinace redukce pomocí reprezentantů s fairness předpoklady
      Name (in English): On Combining Partial Order Reduction with Fairness Assumptions
      RIV/00216224:14330/06:00015442 Proceedings paper. Informatics. English. Germany.
      Brim, Luboš (203 Czech Republic, guarantor) -- Černá, Ivana (203 Czech Republic) -- Moravec, Pavel (203 Czech Republic) -- Šimša, Jiří (203 Czech Republic)
      Keywords in English: partial order reduction; fairness; LTL model checking
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Ivana Černá, CSc., učo 1419. Changed: 31/3/2010 15:40.
      More: https://is.muni.cz/publication/702298/en
    6. Parallel Algorithms for Finding SCCs in Implicitly Given Graphs
      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.
      Name in Czech: Paralelní algoritmy pro hledání silně souvislých komponent v implicitně zadaných grafech
      Name (in English): Parallel Algorithms for Finding SCCs in Implicitly Given Graphs
      Informatics. English. Germany.
      Keywords in English: distributed verification; SCCs
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Changed: 6/12/2006 11:35.
      More: https://is.muni.cz/publication/702310/en

    2005

    1. Distributed Partial Order Reduction of State Spaces
      BRIM, Luboš, Ivana ČERNÁ, Pavel MORAVEC and Jiří ŠIMŠA. Distributed Partial Order Reduction of State Spaces. Electronic Notes on Theoretical Computer Science. Elsevier, 2005, vol. 128, No 3, p. 63-74. ISSN 1571-0661.
      Name in Czech: Distribuovaná redukce stavového prostoru
      Name (in English): Distributed Partial Order Reduction of State Spaces
      RIV/00216224:14330/05:00012369 Article in a journal. Informatics. English. Netherlands.
      Brim, Luboš (203 Czech Republic, guarantor) -- Černá, Ivana (203 Czech Republic) -- Moravec, Pavel (203 Czech Republic) -- Šimša, Jiří (203 Czech Republic)
      Keywords in English: partial order reduction
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Luboš Brim, CSc., učo 197. Changed: 22/11/2006 08:32.
      More: https://is.muni.cz/publication/565939/en
    2. How to Cope with Higher Dependency in Partial Order Reduction for LTL Model Checking
      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
      Name in Czech: Jak se vypořádat s vyšší závislostí v partial order reduction při ověřování LTL vlastností modelu
      Name (in English): How to Cope with Higher Dependency in Partial Order Reduction for LTL Model Checking
      RIV/00216224:14330/05:00012706 Proceedings paper. Informatics. English. Czech Republic.
      Moravec, Pavel (203 Czech Republic, guarantor)
      Keywords in English: model checking; partial order reduction; ample sets
      Changed by: Mgr. Pavel Moravec, učo 39589. Changed: 4/1/2007 12:22.
      More: https://is.muni.cz/publication/583903/en
    3. How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors
      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.
      Name in Czech: Uspořádání vrcholů pro distribuované ověřování LTL vlastností modelu založené na akceptujících předchůdcích
      Name (in English): How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors
      RIV/00216224:14330/05:00012461 Proceedings paper. Informatics. English. Portugal.
      Brim, Luboš (203 Czech Republic, guarantor) -- Černá, Ivana (203 Czech Republic) -- Moravec, Pavel (203 Czech Republic) -- Šimša, Jiří (203 Czech Republic)
      Keywords in English: accepting predecessors; LTL model checking
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Luboš Brim, CSc., učo 197. Changed: 22/11/2006 08:32.
      More: https://is.muni.cz/publication/571233/en
    4. Under-Approximation Generation using Partial Order Reduction
      BRIM, Luboš, Ivana ČERNÁ, Pavel MORAVEC and Jiří ŠIMŠA. Under-Approximation Generation using Partial Order Reduction. Brno: Faculty of Informatics, 2005, 21 pp. Technical Reports, FIMU-RS-2005-04.
      URL
      Name in Czech: Generování stavového prostoru s použitím under-aproximace a partial order reduction
      Name (in English): Under-Approximation Generation using Partial Order Reduction
      RIV/00216224:14330/05:00012458 Book on a specialized topic. Informatics. English. Czech Republic.
      Brim, Luboš (203 Czech Republic, guarantor) -- Černá, Ivana (203 Czech Republic) -- Moravec, Pavel (203 Czech Republic) -- Šimša, Jiří (203 Czech Republic)
      Keywords in English: under-aproximation; state space generation; partial order reduction
      International impact: yes
      Changed by: prof. RNDr. Luboš Brim, CSc., učo 197. Changed: 19/12/2006 13:19.
      More: https://is.muni.cz/publication/571173/en

    2004

    1. Accepting Predecessors are Better than Back Edges in Distributed LTL Model-Checking.
      BRIM, Luboš, Ivana ČERNÁ, Pavel MORAVEC and Jiří ŠIMŠA. Accepting Predecessors are Better than Back Edges in Distributed LTL Model-Checking. Brno: Faculty of Informatics, 2004, 22 pp. Technical Reports, FIMU-RS-2004-09.
      URL
      Name in Czech: Akceptující předchůdci v distrubuovaném LTL ověřování modelů
      Name (in English): Accepting Predecessors are Better than Back Edges in Distributed LTL Model-Checking.
      RIV/00216224:14330/04:00010740 Book on a specialized topic. Informatics. English. Czech Republic.
      Brim, Luboš (203 Czech Republic, guarantor) -- Černá, Ivana (203 Czech Republic) -- Moravec, Pavel (203 Czech Republic) -- Šimša, Jiří (203 Czech Republic)
      Keywords in English: distributed - memory LTL model checking; accepting predecessors
      Changed by: Mgr. Pavel Moravec, učo 39589. Changed: 14/2/2005 10:48.
      More: https://is.muni.cz/publication/563169/en
    2. Accepting Predecessors are Better than Back Edges in Distributed LTL Model-Checking.
      BRIM, Luboš, Ivana ČERNÁ, Pavel MORAVEC and Jiří ŠIMŠA. Accepting Predecessors are Better than Back Edges in Distributed LTL Model-Checking. In Formal Methods in Computer-Aided Design (FMCAD). Neuveden: Springer-Verlag, LNCS 3312, 2004, p. 352-366, 24 pp. ISBN 3-540-23738-0.
      Name in Czech: Akceptující předchůdci v distrubuovaném LTL ověřování modelů
      Name (in English): Accepting Predecessors are Better than Back Edges in Distributed LTL Model-Checking.
      RIV/00216224:14330/04:00010529 Proceedings paper. Informatics. English. Czech Republic.
      Brim, Luboš (203 Czech Republic, guarantor) -- Černá, Ivana (203 Czech Republic) -- Moravec, Pavel (203 Czech Republic) -- Šimša, Jiří (203 Czech Republic)
      Keywords in English: distributed - memory LTL model checking; graph predecessors
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Ivana Černá, CSc., učo 1419. Changed: 8/6/2009 16:08.
      More: https://is.muni.cz/publication/561310/en
    3. Distributed Partial Order Reduction of State Spaces
      BRIM, Luboš, Ivana ČERNÁ, Pavel MORAVEC and Jiří ŠIMŠA. Distributed Partial Order Reduction of State Spaces. In Proceedings of the 3rd International Workshop on Parallel and Distributed Verifationic (PDMC 2004). London, U.K.: Imperial College London, 2004, p. 3-18, 15 pp.
      Name in Czech: Distribuovaná redukce stavového prostoru
      Name (in English): Distributed Partial Order Reduction of State Spaces
      RIV/00216224:14330/04:00011102 Proceedings paper. Informatics. English. United Kingdom of Great Britain and Northern Ireland.
      Brim, Luboš (203 Czech Republic, guarantor) -- Černá, Ivana (203 Czech Republic) -- Moravec, Pavel (203 Czech Republic) -- Šimša, Jiří (203 Czech Republic)
      Keywords in English: partial order reduction
      Changed by: Mgr. Pavel Moravec, učo 39589. Changed: 3/2/2006 15:12.
      More: https://is.muni.cz/publication/571355/en
    4. Using Accepting Predecessors in Distributed LTL Model-Checking
      MORAVEC, Pavel. Using Accepting Predecessors in Distributed LTL Model-Checking. In MOVEP'04: 6th school on MOdeling and VErifying parallel Processes. Bruxelles, Belgium: Universite Libre de Bruxelles, 2004, p. 122-129, 7 pp.
      Name in Czech: Použití akceptujících předchůdců u distribuovaného ověřování LTL vlastností modelu
      RIV/00216224:14330/04:00011071 Proceedings paper. Informatics. English. Belgium.
      Moravec, Pavel (203 Czech Republic, guarantor)
      Keywords in English: LTL model checking; distributed algorithm
      Changed by: Mgr. Pavel Moravec, učo 39589. Changed: 1/4/2005 09:08.
      More: https://is.muni.cz/publication/569568/en
Displayed: 22/5/2024 10:10