Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2008

    1. DiVinE Multi-Core -- A Parallel LTL Model-Checker
      BARNAT, Jiří, Luboš BRIM a Petr ROČKAI. DiVinE Multi-Core -- A Parallel LTL Model-Checker. In Automated Technology for Verification and Analysis. Berlin / Heidelberg: Springer, 2008, s. 234-239. ISBN 978-3-540-88386-9.
      Název česky: DiVinE Multi-Core -- Paralelní nástroj pro ověřování modelu LTL
      RIV/00216224:14330/08:00024321 Stať ve sborníku. Informatika. angličtina. Korejská republika.
      Barnat, Jiří (203 Česká republika, garant) -- Brim, Luboš (203 Česká republika) -- Ročkai, Petr (203 Česká republika)
      Klíčová slova anglicky: LTL Model Checking; Parallel; Tool
      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: 30. 3. 2010 09:14.
      Podrobněji: https://is.muni.cz/publication/792976/cs
    2. Local Quantitative LTL Model Checking
      BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Milan ČEŠKA a Jana TŮMOVÁ. Local Quantitative LTL Model Checking. In 13th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2008). L'Aquilla: ERCIM, 2008, s. 63-78. ISBN 978-3-642-03239-4.
      Název česky: Lokální kvantitafivní ověřování modelů LTL
      Informatika. angličtina. Itálie.
      Klíčová slova anglicky: LTL Model Checking; Probabilistic; Parallel
      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: 29. 4. 2011 08:46.
      Podrobněji: https://is.muni.cz/publication/792968/cs
    3. ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems
      BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Milan ČEŠKA a Jana TŮMOVÁ. ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems. In QEST '08: Proceedings of the 2008 Fifth International Conference on Quantitative Evaluation of Systems. Washington, DC, USA: IEEE Computer Society, 2008, s. 77-78. ISBN 978-0-7695-3360-5.
      Název česky: ProbDiVinE-MC: Ověřování modelu LTL pravděpodobnostních systémů na vícejádrových strojích
      RIV/00216224:14330/08:00024323 Stať ve sborníku. Informatika. angličtina. Francie.
      Barnat, Jiří (203 Česká republika, garant) -- Brim, Luboš (203 Česká republika) -- Černá, Ivana (203 Česká republika) -- Češka, Milan (203 Česká republika) -- Tůmová, Jana (203 Česká republika)
      Klíčová slova anglicky: LTL Model Checking; Multi-core CPU; Probabilistic systems
      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: 1. 6. 2009 21:02.
      Podrobněji: https://is.muni.cz/publication/793823/cs
    4. Squeeze All the Power Out of Your Hardware to Verify Your Software!
      BARNAT, Jiří a Luboš BRIM. Squeeze All the Power Out of Your Hardware to Verify Your Software! In Leveraging Applications of Formal Methods, Verification and Validation. Berlin Heidelberg: Springer, 2008, s. 604-618. ISBN 978-3-540-88478-1.
      Název česky: Vymačkejte veškerou šťávu svého hardware pro verifikovaci vašeho software
      RIV/00216224:14330/08:00024322 Stať ve sborníku. Informatika. angličtina. Řecko.
      Barnat, Jiří (203 Česká republika, garant) -- Brim, Luboš (203 Česká republika)
      Klíčová slova anglicky: Parallel; LTL Model Checking;
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Změněno: 30. 3. 2010 09:13.
      Podrobněji: https://is.muni.cz/publication/792977/cs

    2006

    1. Distributed breadth-first search LTL model checking
      BARNAT, Jiří a Ivana ČERNÁ. Distributed breadth-first search LTL model checking. Formal Methods in System Design. Springer Netherlands, 2006, roč. 29, č. 2, s. 117-134. ISSN 0925-9856.
      URL
      Název česky: Distribuované ověřování modelu LTL s využitím prohledávání grafu do šířky
      Název anglicky: Distributed breadth-first search LTL model checking
      RIV/00216224:14330/06:00015452 Článek v odborném periodiku. Informatika. angličtina. Nizozemské království.
      Barnat, Jiří (203 Česká republika, garant) -- Černá, Ivana (203 Česká republika)
      Klíčová slova anglicky: LTL model checking; Distributed memory; Breadth-first Search
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Změněno: 1. 6. 2009 21:13.
      Podrobněji: https://is.muni.cz/publication/702477/cs
    2. Distributed Qualitative LTL Model Checking of Markov Decision Processes
      BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Milan ČEŠKA a Jana TŮMOVÁ. Distributed Qualitative LTL Model Checking of Markov Decision Processes. In Proceedings of 5th International Workshop on Parallel and Distributed Methods in verifiCation. Bonn, Germany: University of Bonn, 2006, s. 1-15. ISSN 1571-0661.
      Název česky: Distribuované kvalitativní LTL ověřování modelu Markovových Rozhodovacích Procesů
      Název anglicky: Distributed Qualitative LTL Model Checking of Markov Decision Processes
      RIV/00216224:14330/06:00015450 Stať ve sborníku. Informatika. angličtina. Německo.
      Barnat, Jiří (203 Česká republika, garant) -- Brim, Luboš (203 Česká republika) -- Černá, Ivana (203 Česká republika) -- Češka, Milan (203 Česká republika) -- Tůmová, Jana (203 Česká republika)
      Klíčová slova anglicky: distributed; parallel; LTL model checking; probabilistic systems; MDP
      Druh sborníku: předkonferenční sborník
      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:39.
      Podrobněji: https://is.muni.cz/publication/702452/cs
    3. 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
    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

    2005

    1. From Distributed Memory Cycle Detection to Parallel LTL Model Checking
      BARNAT, Jiří, Luboš BRIM a Jakub CHALOUPKA. From Distributed Memory Cycle Detection to Parallel LTL Model Checking. Electronical Notes in Theoretical Computer Science. Elsevier, 2005, roč. 2005, č. 133, s. 21-39, 10 s. ISSN 1571-0661.
      Název česky: Od distribuovane detekce cyklu k paralelnimu LTL overovani modelu
      Název anglicky: From Distributed Memory Cycle Detection to Parallel LTL Model Checking
      RIV/00216224:14330/05:00012493 Článek v odborném periodiku. Informatika. angličtina. Nizozemské království.
      Barnat, Jiří (203 Česká republika) -- Brim, Luboš (203 Česká republika, garant) -- Chaloupka, Jakub (203 Česká republika)
      Klíčová slova anglicky: LTL model checking; breadth first search; distributed memory
      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/572153/cs
    2. 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

    2004

    1. From Distributed Memory Cycle Detection to Parallel LTL Model Checking
      BARNAT, Jiří, Luboš BRIM a Jakub CHALOUPKA. From Distributed Memory Cycle Detection to Parallel LTL Model Checking. In Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2004). Linz, Austria: Institute for Systems Engineering & Automation, Kepler university Linz, 2004, s. 17-34. ISBN 3-902457-03-1.
      Název česky: Od distribuovane detekce cyklu k paralelnimu LTL overovani modelu
      Název anglicky: From Distributed Memory Cycle Detection to Parallel LTL Model Checking
      RIV/00216224:14330/04:00010725 Stať ve sborníku. Informatika. angličtina. Česká republika.
      Barnat, Jiří (203 Česká republika) -- Brim, Luboš (203 Česká republika, garant) -- Chaloupka, Jakub (203 Česká republika)
      Klíčová slova anglicky: LTL model checking; breadth first search; distributed memory
      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/563033/cs
    2. 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

    2003

    1. Distributed Explicit Bounded LTL Model Checking
      KRČÁL, Pavel. Distributed Explicit Bounded LTL Model Checking. In Second International Workshop on Parallel and Distributed Model Checking. 89. vyd. Neuveden: Elsevier, 2003, s. 30-47.
      URL
      RIV/00216224:14330/03:00008587 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Krčál, Pavel (203 Česká republika, garant)
      Klíčová slova anglicky: Distributed Algorithms; LTL Model Checking; Bounded Model Checking
      Změnil: Mgr. Pavel Krčál, učo 4325. Změněno: 26. 5. 2004 13:27.
      Podrobněji: https://is.muni.cz/publication/489717/cs
Zobrazeno: 26. 4. 2024 10:31