Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2008

    1. Complementarity of Error Detection Techniques
      PELÁNEK, Radek, Václav ROSECKÝ a Pavel MORAVEC. Complementarity of Error Detection Techniques. In Parallel and Distributed Methods in verifiCation (PDMC 2008). Nizozemsko: Elsevier, 2008, 14 s. ISSN 1571-0661.
      Název česky: Komplementarita technik pro detekci chyb
      RIV/00216224:14330/08:00025027 Stať ve sborníku. Informatika. angličtina. Nizozemské království.
      Pelánek, Radek (203 Česká republika, garant) -- Rosecký, Václav (203 Česká republika) -- Moravec, Pavel (203 Česká republika)
      Klíčová slova anglicky: model checking; evaluation; error detection
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 30. 3. 2010 09:57.
      Podrobněji: https://is.muni.cz/publication/792712/cs
    2. Formal verification of systems with an unlimited number of components
      VAŘEKOVÁ, Pavlína, Barbora ZIMMEROVÁ, Pavel MORAVEC a 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, s. p. 532-546, 15 s. ISSN 1751-8806.
      URL
      Název česky: Automatická verifikace systémů s neomezeným počtem komponent
      RIV/00216224:14330/08:00024358 Článek v odborném periodiku. Informatika. angličtina. Spojené státy.
      Vařeková, Pavlína (203 Česká republika, domácí) -- Zimmerová, Barbora (203 Česká republika, domácí) -- Moravec, Pavel (203 Česká republika) -- Černá, Ivana (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Component-based systems; dynamic number of components; infinite-state systems; formal verification
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnila: doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394. Změněno: 4. 11. 2012 15:52.
      Podrobněji: https://is.muni.cz/publication/800041/cs

    2007

    1. Effective verification of systems with a dynamic number of components
      VAŘEKOVÁ, Pavlína, Pavel MORAVEC, Ivana ČERNÁ a 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, s. 3-13. ISBN 978-1-59593-721-6.
      URL
      Název česky: Efektivní verifikace systémů s dynamickým počtem komponent
      RIV/00216224:14330/07:00019481 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Vařeková, Pavlína (203 Česká republika, domácí) -- Moravec, Pavel (203 Česká republika, domácí) -- Černá, Ivana (203 Česká republika, garant, domácí) -- Zimmerová, Barbora (203 Česká republika, domácí)
      Klíčová slova anglicky: Component-based systems; dynamic number of components; finite-state systems; formal verification
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnila: doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394. Změněno: 4. 11. 2012 15:30.
      Podrobněji: https://is.muni.cz/publication/726163/cs
    2. Parallel Algorithms for Finding SCCs in Implicitly Given Graphs
      BARNAT, Jiří a Pavel MORAVEC. Parallel Algorithms for Finding SCCs in Implicitly Given Graphs. In Formal Methods: Applications and Technology. Berlin, Heidelberg: Springer-Verlag, 2007, s. 316-330. ISBN 978-3-540-70951-0.
      Název česky: Paralelní algoritmy pro hledání silně souvislých komponent v implicitně zadaných grafech
      Název anglicky: Parallel Algorithms for Finding SCCs in Implicitly Given Graphs
      RIV/00216224:14330/07:00019374 Stať ve sborníku. Informatika. angličtina. Německo.
      Barnat, Jiří (203 Česká republika, garant) -- Moravec, Pavel (203 Česká republika)
      Klíčová slova anglicky: distributed verification; SCCs
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Změněno: 23. 6. 2009 10:21.
      Podrobněji: https://is.muni.cz/publication/716579/cs
    3. Relaxed Cycle Condition Improves Partial Order Reduction
      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.
      Název česky: Oslabení podmínky na cykly zlepšující redukci pomocí reprezentantů
      Název anglicky: Relaxed Cycle Condition Improves Partial Order Reduction
      RIV/00216224:14330/07:00019497 Stať ve sborníku. Informatika. angličtina. Česká republika.
      Moravec, Pavel (203 Česká republika, garant) -- Šimša, Jiří (203 Česká republika)
      Klíčová slova anglicky: model checking; partial order reduction; proviso checking
      Změnil: Mgr. Pavel Moravec, učo 39589. Změněno: 28. 11. 2007 10:10.
      Podrobněji: https://is.muni.cz/publication/727871/cs

    2006

    1. DiVinE -- A Tool for Distributed Verification
      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.
      Název česky: DiVinE -- nástroj na distribuovanou verifikaci
      Název anglicky: DiVinE -- A Tool for Distributed Verification
      RIV/00216224:14330/06:00015443 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Barnat, Jiří (203 Česká republika, garant) -- Brim, Luboš (203 Česká republika) -- Černá, Ivana (203 Česká republika) -- Moravec, Pavel (203 Česká republika) -- Ročkai, Petr (703 Slovensko) -- Šimeček, Pavel (203 Česká republika)
      Klíčová slova anglicky: distributed verification; LTL model checking
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Změněno: 2. 6. 2009 10:51.
      Podrobněji: https://is.muni.cz/publication/702305/cs
    2. DiVinE Library (software)
      BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Pavel MORAVEC, Pavel ŠIMEČEK a Jakub CHALOUPKA. DiVinE Library. 2006.
      URL
      Název česky: Knihovna DiVinE
      Název anglicky: DiVinE Library
      RIV/00216224:14330/06:00024474 Software. Informatika. angličtina. Česká republika.
      Barnat, Jiří (203 Česká republika) -- Brim, Luboš (203 Česká republika, garant) -- Černá, Ivana (203 Česká republika) -- Moravec, Pavel (203 Česká republika) -- Šimeček, Pavel (203 Česká republika) -- Chaloupka, Jakub (203 Česká republika)
      Klíčová slova anglicky: parallel verification; LTL model-checking
      Mezinárodní význam: ano
      Změnil: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Změněno: 2. 6. 2009 11:35.
      Podrobněji: https://is.muni.cz/publication/834420/cs
    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, s. 129-136.
      Název česky: Experimentální porovnání algoritmů ověřujících proviso pro redukci pomocí reprezentantů
      Název anglicky: Experimental Comparison of Algorithms Checking Proviso for Partial Order Reduction
      RIV/00216224:14330/06:00015445 Stať ve sborníku. Informatika. angličtina. Česká republika.
      Moravec, Pavel (203 Česká republika, garant)
      Klíčová slova anglicky: model checking; partial order reduction; proviso checking
      Změnil: Mgr. Pavel Moravec, učo 39589. Změněno: 4. 12. 2006 15:24.
      Podrobněji: https://is.muni.cz/publication/702313/cs
    4. How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors
      BRIM, Luboš, Ivana ČERNÁ, Pavel MORAVEC a 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, roč. 135, č. 2, s. 3-18, 15 s. ISSN 1571-0661.
      Název česky: Uspořádání vrcholů pro distribuované ověřování LTL vlastností modelu založené na akceptujících předchůdcích
      Název anglicky: How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors
      RIV/00216224:14330/06:00015453 Článek v odborném periodiku. Informatika. angličtina. Portugalsko.
      Brim, Luboš (203 Česká republika, garant) -- Černá, Ivana (203 Česká republika) -- Moravec, Pavel (203 Česká republika) -- Šimša, Jiří (203 Česká republika)
      Klíčová slova anglicky: accepting predecessors; LTL model checking
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Luboš Brim, CSc., učo 197. Změněno: 23. 11. 2006 07:56.
      Podrobněji: https://is.muni.cz/publication/702503/cs
    5. On Combining Partial Order Reduction with Fairness Assumptions
      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.
      Název česky: Kombinace redukce pomocí reprezentantů s fairness předpoklady
      Název anglicky: On Combining Partial Order Reduction with Fairness Assumptions
      RIV/00216224:14330/06:00015442 Stať ve sborníku. Informatika. angličtina. Německo.
      Brim, Luboš (203 Česká republika, garant) -- Černá, Ivana (203 Česká republika) -- Moravec, Pavel (203 Česká republika) -- Šimša, Jiří (203 Česká republika)
      Klíčová slova anglicky: partial order reduction; fairness; LTL model checking
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnila: prof. RNDr. Ivana Černá, CSc., učo 1419. Změněno: 31. 3. 2010 15:40.
      Podrobněji: https://is.muni.cz/publication/702298/cs
    6. Parallel Algorithms for Finding SCCs in Implicitly Given Graphs
      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.
      Název česky: Paralelní algoritmy pro hledání silně souvislých komponent v implicitně zadaných grafech
      Název anglicky: Parallel Algorithms for Finding SCCs in Implicitly Given Graphs
      Informatika. angličtina. Německo.
      Klíčová slova anglicky: distributed verification; SCCs
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Změněno: 6. 12. 2006 11:35.
      Podrobněji: https://is.muni.cz/publication/702310/cs

    2005

    1. Distributed Partial Order Reduction of State Spaces
      BRIM, Luboš, Ivana ČERNÁ, Pavel MORAVEC a Jiří ŠIMŠA. Distributed Partial Order Reduction of State Spaces. Electronic Notes on Theoretical Computer Science. Elsevier, 2005, roč. 128, č. 3, s. 63-74. ISSN 1571-0661.
      Název česky: Distribuovaná redukce stavového prostoru
      Název anglicky: Distributed Partial Order Reduction of State Spaces
      RIV/00216224:14330/05:00012369 Článek v odborném periodiku. Informatika. angličtina. Nizozemské království.
      Brim, Luboš (203 Česká republika, garant) -- Černá, Ivana (203 Česká republika) -- Moravec, Pavel (203 Česká republika) -- Šimša, Jiří (203 Česká republika)
      Klíčová slova anglicky: partial order reduction
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Luboš Brim, CSc., učo 197. Změněno: 22. 11. 2006 08:32.
      Podrobněji: https://is.muni.cz/publication/565939/cs
    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, s. 186-192.
      URL
      Název česky: Jak se vypořádat s vyšší závislostí v partial order reduction při ověřování LTL vlastností modelu
      Název anglicky: How to Cope with Higher Dependency in Partial Order Reduction for LTL Model Checking
      RIV/00216224:14330/05:00012706 Stať ve sborníku. Informatika. angličtina. Česká republika.
      Moravec, Pavel (203 Česká republika, garant)
      Klíčová slova anglicky: model checking; partial order reduction; ample sets
      Změnil: Mgr. Pavel Moravec, učo 39589. Změněno: 4. 1. 2007 12:22.
      Podrobněji: https://is.muni.cz/publication/583903/cs
    3. How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors
      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.
      Název česky: Uspořádání vrcholů pro distribuované ověřování LTL vlastností modelu založené na akceptujících předchůdcích
      Název anglicky: How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors
      RIV/00216224:14330/05:00012461 Stať ve sborníku. Informatika. angličtina. Portugalsko.
      Brim, Luboš (203 Česká republika, garant) -- Černá, Ivana (203 Česká republika) -- Moravec, Pavel (203 Česká republika) -- Šimša, Jiří (203 Česká republika)
      Klíčová slova anglicky: accepting predecessors; LTL model checking
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Luboš Brim, CSc., učo 197. Změněno: 22. 11. 2006 08:32.
      Podrobněji: https://is.muni.cz/publication/571233/cs
    4. Under-Approximation Generation using Partial Order Reduction
      BRIM, Luboš, Ivana ČERNÁ, Pavel MORAVEC a Jiří ŠIMŠA. Under-Approximation Generation using Partial Order Reduction. Brno: Faculty of Informatics, 2005, 21 s. Technical Reports, FIMU-RS-2005-04.
      URL
      Název česky: Generování stavového prostoru s použitím under-aproximace a partial order reduction
      Název anglicky: Under-Approximation Generation using Partial Order Reduction
      RIV/00216224:14330/05:00012458 Odborná kniha. Informatika. angličtina. Česká republika.
      Brim, Luboš (203 Česká republika, garant) -- Černá, Ivana (203 Česká republika) -- Moravec, Pavel (203 Česká republika) -- Šimša, Jiří (203 Česká republika)
      Klíčová slova anglicky: under-aproximation; state space generation; partial order reduction
      Mezinárodní význam: ano
      Změnil: prof. RNDr. Luboš Brim, CSc., učo 197. Změněno: 19. 12. 2006 13:19.
      Podrobněji: https://is.muni.cz/publication/571173/cs

    2004

    1. Accepting Predecessors are Better than Back Edges in Distributed LTL Model-Checking.
      BRIM, Luboš, Ivana ČERNÁ, Pavel MORAVEC a Jiří ŠIMŠA. Accepting Predecessors are Better than Back Edges in Distributed LTL Model-Checking. Brno: Faculty of Informatics, 2004, 22 s. Technical Reports, FIMU-RS-2004-09.
      URL
      Název česky: Akceptující předchůdci v distrubuovaném LTL ověřování modelů
      Název anglicky: Accepting Predecessors are Better than Back Edges in Distributed LTL Model-Checking.
      RIV/00216224:14330/04:00010740 Odborná kniha. Informatika. angličtina. Česká republika.
      Brim, Luboš (203 Česká republika, garant) -- Černá, Ivana (203 Česká republika) -- Moravec, Pavel (203 Česká republika) -- Šimša, Jiří (203 Česká republika)
      Klíčová slova anglicky: distributed - memory LTL model checking; accepting predecessors
      Změnil: Mgr. Pavel Moravec, učo 39589. Změněno: 14. 2. 2005 10:48.
      Podrobněji: https://is.muni.cz/publication/563169/cs
    2. Accepting Predecessors are Better than Back Edges in Distributed LTL Model-Checking.
      BRIM, Luboš, Ivana ČERNÁ, Pavel MORAVEC a 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, s. 352-366, 24 s. ISBN 3-540-23738-0.
      Název česky: Akceptující předchůdci v distrubuovaném LTL ověřování modelů
      Název anglicky: Accepting Predecessors are Better than Back Edges in Distributed LTL Model-Checking.
      RIV/00216224:14330/04:00010529 Stať ve sborníku. Informatika. angličtina. Česká republika.
      Brim, Luboš (203 Česká republika, garant) -- Černá, Ivana (203 Česká republika) -- Moravec, Pavel (203 Česká republika) -- Šimša, Jiří (203 Česká republika)
      Klíčová slova anglicky: distributed - memory LTL model checking; graph predecessors
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnila: prof. RNDr. Ivana Černá, CSc., učo 1419. Změněno: 8. 6. 2009 16:08.
      Podrobněji: https://is.muni.cz/publication/561310/cs
    3. Distributed Partial Order Reduction of State Spaces
      BRIM, Luboš, Ivana ČERNÁ, Pavel MORAVEC a 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, s. 3-18, 15 s.
      Název česky: Distribuovaná redukce stavového prostoru
      Název anglicky: Distributed Partial Order Reduction of State Spaces
      RIV/00216224:14330/04:00011102 Stať ve sborníku. Informatika. angličtina. Velká Británie a Severní Irsko.
      Brim, Luboš (203 Česká republika, garant) -- Černá, Ivana (203 Česká republika) -- Moravec, Pavel (203 Česká republika) -- Šimša, Jiří (203 Česká republika)
      Klíčová slova anglicky: partial order reduction
      Změnil: Mgr. Pavel Moravec, učo 39589. Změněno: 3. 2. 2006 15:12.
      Podrobněji: https://is.muni.cz/publication/571355/cs
    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, s. 122-129, 7 s.
      Název česky: Použití akceptujících předchůdců u distribuovaného ověřování LTL vlastností modelu
      RIV/00216224:14330/04:00011071 Stať ve sborníku. Informatika. angličtina. Belgie.
      Moravec, Pavel (203 Česká republika, garant)
      Klíčová slova anglicky: LTL model checking; distributed algorithm
      Změnil: Mgr. Pavel Moravec, učo 39589. Změněno: 1. 4. 2005 09:08.
      Podrobněji: https://is.muni.cz/publication/569568/cs
Zobrazeno: 1. 5. 2024 23:17