Masaryk University

Publication Records

česky | in English

Filter publications

    2009

    1. Partial Order Reduction for State/Event LTL
      BENEŠ, Nikola, Luboš BRIM, Ivana ČERNÁ, Jiří SOCHOR, Pavlína VAŘEKOVÁ and 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, p. 307-321. ISBN 978-3-642-00254-0. Available from: https://dx.doi.org/10.1007/978-3-642-00255-7_21.
      Name in Czech: Metoda partial order redukce pro State/Event LTL
      RIV/00216224:14330/09:00065770 Proceedings paper. Informatics. English. Germany.
      Beneš, Nikola (203 Czech Republic, belonging to the institution) -- Brim, Luboš (203 Czech Republic, belonging to the institution) -- Černá, Ivana (203 Czech Republic, belonging to the institution) -- Sochor, Jiří (203 Czech Republic, belonging to the institution) -- Vařeková, Pavlína (203 Czech Republic, belonging to the institution) -- Zimmerová, Barbora (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: Partial order reduction; state/event LTL; formal verification
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 30/4/2014 05:54.
      More: https://is.muni.cz/publication/825059/en
    2. Space Effective Model Checking for Component-Interaction Automata
      BENEŠ, Nikola, Milan KŘIVÁNEK and 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 pp. ISBN 978-3-939897-15-6.
      URL
      Name in Czech: Prostorově efektivní ověřování modelu pro komponentově-interakční automaty
      RIV/00216224:14330/09:00028809 Proceedings paper. Informatics. English. Germany.
      Beneš, Nikola (203 Czech Republic, guarantor, belonging to the institution) -- Křivánek, Milan (203 Czech Republic, belonging to the institution) -- Štefaňák, Filip (703 Slovakia, belonging to the institution)
      Keywords in English: partial order reduction; model checking; component-based systems
      Type of proceedings: post-proceedings
      Changed by: RNDr. Nikola Beneš, Ph.D., učo 72525. Changed: 17/12/2010 12:27.
      More: https://is.muni.cz/publication/875218/en

    2008

    1. Partial Order Reduction for State/Event LTL
      BENEŠ, Nikola, Luboš BRIM, Ivana ČERNÁ, Jiří SOCHOR, Pavlína VAŘEKOVÁ and Barbora ZIMMEROVÁ. Partial Order Reduction for State/Event LTL. Brno, Czech Republic: Faculty of Informatics, Masaryk University, 2008, 21 pp. Technical report FIMU-RS-2008-07.
      FIMU Technical Reports URL
      Name in Czech: Metoda partial order redukce pro State/Event LTL
      RIV/00216224:14330/08:00024265 Research report. Informatics. English. Czech Republic.
      Beneš, Nikola (203 Czech Republic, belonging to the institution) -- Brim, Luboš (203 Czech Republic, belonging to the institution) -- Černá, Ivana (203 Czech Republic, belonging to the institution) -- Sochor, Jiří (203 Czech Republic, belonging to the institution) -- Vařeková, Pavlína (203 Czech Republic, belonging to the institution) -- Zimmerová, Barbora (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: Partial order reduction; state/event LTL; formal verification
      International impact: yes
      Changed by: prof. Ing. Jiří Sochor, CSc., učo 2446. Changed: 18/9/2015 12:32.
      More: https://is.muni.cz/publication/776295/en

    2007

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

    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. 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. 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
Displayed: 26/4/2024 09:26