Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2009

    1. Partial Order Reduction for State/Event LTL
      BENEŠ, Nikola, Luboš BRIM, Ivana ČERNÁ, Jiří SOCHOR, Pavlína VAŘEKOVÁ a Barbora ZIMMEROVÁ. Partial Order Reduction for State/Event LTL. In Proceedings of the International Conference on Integrated Formal Methods (IFM'09). Berlin / Heidelberg, Germany: Springer Verlag, 2009, s. 307-321. ISBN 978-3-642-00254-0. Dostupné z: https://dx.doi.org/10.1007/978-3-642-00255-7_21.
      Název česky: Metoda partial order redukce pro State/Event LTL
      RIV/00216224:14330/09:00065770 Stať ve sborníku. Informatika. angličtina. Německo.
      Beneš, Nikola (203 Česká republika, domácí) -- Brim, Luboš (203 Česká republika, domácí) -- Černá, Ivana (203 Česká republika, domácí) -- Sochor, Jiří (203 Česká republika, domácí) -- Vařeková, Pavlína (203 Česká republika, domácí) -- Zimmerová, Barbora (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Partial order reduction; state/event LTL; formal verification
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 30. 4. 2014 05:54.
      Podrobněji: https://is.muni.cz/publication/825059/cs
    2. Space Effective Model Checking for Component-Interaction Automata
      BENEŠ, Nikola, Milan KŘIVÁNEK a Filip ŠTEFAŇÁK. Space Effective Model Checking for Component-Interaction Automata. In Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09). Dagstuhl, Německo: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Německo, 2009, 8 s. ISBN 978-3-939897-15-6.
      URL
      Název česky: Prostorově efektivní ověřování modelu pro komponentově-interakční automaty
      RIV/00216224:14330/09:00028809 Stať ve sborníku. Informatika. angličtina. Německo.
      Beneš, Nikola (203 Česká republika, garant, domácí) -- Křivánek, Milan (203 Česká republika, domácí) -- Štefaňák, Filip (703 Slovensko, domácí)
      Klíčová slova anglicky: partial order reduction; model checking; component-based systems
      Druh sborníku: postkonferenční sborník
      Změnil: RNDr. Nikola Beneš, Ph.D., učo 72525. Změněno: 17. 12. 2010 12:27.
      Podrobněji: https://is.muni.cz/publication/875218/cs

    2008

    1. Partial Order Reduction for State/Event LTL
      BENEŠ, Nikola, Luboš BRIM, Ivana ČERNÁ, Jiří SOCHOR, Pavlína VAŘEKOVÁ a Barbora ZIMMEROVÁ. Partial Order Reduction for State/Event LTL. Brno, Czech Republic: Faculty of Informatics, Masaryk University, 2008, 21 s. Technical report FIMU-RS-2008-07.
      FIMU Technical Reports URL
      Název česky: Metoda partial order redukce pro State/Event LTL
      RIV/00216224:14330/08:00024265 Výzkumná zpráva. Informatika. angličtina. Česká republika.
      Beneš, Nikola (203 Česká republika, domácí) -- Brim, Luboš (203 Česká republika, domácí) -- Černá, Ivana (203 Česká republika, domácí) -- Sochor, Jiří (203 Česká republika, domácí) -- Vařeková, Pavlína (203 Česká republika, domácí) -- Zimmerová, Barbora (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Partial order reduction; state/event LTL; formal verification
      Mezinárodní význam: ano
      Změnil: prof. Ing. Jiří Sochor, CSc., učo 2446. Změněno: 18. 9. 2015 12:32.
      Podrobněji: https://is.muni.cz/publication/776295/cs

    2007

    1. 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. 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
    2. 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

    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. 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. 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
Zobrazeno: 1. 6. 2024 00:14