Masaryk University

Publication Records

česky | in English

Filter publications

    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
Displayed: 23/6/2024 19:45