Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2013

    1. Compositional Approach to Suspension and Other Improvements to LTL Translation
      BABIAK, Tomáš, Thomas BADIE, Alexandre DURET-LUTZ, Mojmír KŘETÍNSKÝ a Jan STREJČEK. Compositional Approach to Suspension and Other Improvements to LTL Translation. In Ezio Bartocci, C. R. Ramakrishnan. Model Checking Software - 20th International Symposium, SPIN 2013. LNCS 7976. Berlin Heidelberg: Springer. s. 81-98. ISBN 978-3-642-39175-0. doi:10.1007/978-3-642-39176-7_6. 2013.
      RIV/00216224:14330/13:00066141 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Babiak, Tomáš (703 Slovensko, domácí) -- Badie, Thomas (250 Francie) -- Duret-Lutz, Alexandre (250 Francie) -- Křetínský, Mojmír (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: linear time logic; model-checking; translation LTL to Buchi automata
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 15. 11. 2013 23:28.
      Podrobněji: https://is.muni.cz/publication/1110031/cs

    2012

    1. Model Checking for Communicating Quantum Processes.
      DAVIDSON, T, S J GAY, Hynek MLNAŘÍK, Rajagopal NAGARAJAN a N PAPANIKOLAOU. Model Checking for Communicating Quantum Processes. International Journal of Unconventional Computing. Old City Publishing, Inc., roč. 8, č. 1, s. 73-98. ISSN 1548-7199. 2012.
      Abstract

      Klíčová slova anglicky: Quantum computing; quantum communication; process calculus; model-checking; translation; semantics
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Hynek Mlnařík, Ph.D., učo 4326. Změněno: 11. 11. 2012 10:57.
      Podrobněji: https://is.muni.cz/publication/1072706/cs

    2009

    1. DiVinE 2.0 (software)
      ROČKAI, Petr, Jiří BARNAT, Luboš BRIM a Milan ČEŠKA. DiVinE 2.0. 2009.
      URL
      Název česky: DiVinE 2.0
      Název anglicky: DiVinE 2.0
      RIV/00216224:14330/09:00028810 Software. Informatika. angličtina. Česká republika.
      Ročkai, Petr (703 Slovensko, domácí) -- Barnat, Jiří (203 Česká republika, garant, domácí) -- Brim, Luboš (203 Česká republika, domácí) -- Češka, Milan (203 Česká republika, domácí)
      Klíčová slova anglicky: parallel verification; multi-core; model-checking; cluster; mpi
      Mezinárodní význam: ano
      Změnil: RNDr. Petr Ročkai, Ph.D., učo 139761. Změněno: 18. 2. 2013 12:42.
      Podrobněji: https://is.muni.cz/publication/875229/cs
    2. On Decidability of LTL+Past Model Checking for Process Rewrite Systems
      KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a Jan STREJČEK. On Decidability of LTL+Past Model Checking for Process Rewrite Systems. In Joint Proceedings of the 8th, 9th, and 10th International Workshops on Verification of Infinite-State Systems (INFINITY 2006, 2007, 2008). 2009. vyd. Amsterdam, The Netherlands: Elsevier Science Publishers. s. 105-117. ISSN 1571-0661. 2009.
      URL
      Název česky: O rozhodnutelnosti ověřování modelu pro logiku LTL+Past a Procesové Přepisovací Systémy
      RIV/00216224:14330/09:00028439 Stať ve sborníku. Informatika. angličtina. Portugalsko.
      Křetínský, Mojmír (203 Česká republika) -- Řehák, Vojtěch (203 Česká republika) -- Strejček, Jan (203 Česká republika, garant)
      Klíčová slova anglicky: process rewrite systems; LTL; infinite-state; model-checking; decidability
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 23. 6. 2009 16:57.
      Podrobněji: https://is.muni.cz/publication/800536/cs

    2008

    1. DiVinE Cluster (software)
      BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Milan ČEŠKA a Pavel ŠIMEČEK. DiVinE Cluster. 2008.
      URL
      Název česky: DiVinE Cluster
      Název anglicky: DiVinE Cluster
      RIV/00216224:14330/08:00024473 Software. Informatika. angličtina. Česká republika.
      Barnat, Jiří (203 Česká republika) -- Brim, Luboš (203 Česká republika, garant) -- Černá, Ivana (203 Česká republika) -- Češka, Milan (203 Česká republika) -- Šimeček, Pavel (203 Česká republika)
      Klíčová slova anglicky: cluster-based parallel verification; model-checking;
      Mezinárodní význam: ano
      Změnil: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Změněno: 1. 6. 2009 23:17.
      Podrobněji: https://is.muni.cz/publication/834419/cs
    2. ProbDiVinE-MC (software)
      BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Milan ČEŠKA a Jana TŮMOVÁ. ProbDiVinE-MC. 2008.
      URL
      Název česky: ProbDiVinE-MC
      Název anglicky: ProbDiVinE-MC
      RIV/00216224:14330/08:00024418 Software. Informatika. angličtina. Česká republika.
      Barnat, Jiří (203 Česká republika) -- Brim, Luboš (203 Česká republika, garant) -- Černá, Ivana (203 Česká republika) -- Češka, Milan (203 Česká republika) -- Tůmová, Jana (203 Česká republika)
      Klíčová slova anglicky: quantitative parallel verification; multi-core architecture; model-checking
      Mezinárodní význam: ano
      Změnil: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Změněno: 1. 6. 2009 23:17.
      Podrobněji: https://is.muni.cz/publication/813851/cs

    2007

    1. Branching-Time Model-Checking of Probabilistic Pushdown Automata
      BRÁZDIL, Tomáš, Václav BROŽEK a Vojtěch FOREJT. Branching-Time Model-Checking of Probabilistic Pushdown Automata. In Proc. of 9th Internat. Workshop on Verification of Infinite-State Systems. Lisboa: Univerisity of Lisboa. s. 24-33. 2007.
      Název česky: Ověřování modelu pro logiky větvícího se času nad pravděpodobnostními zásobníkovými automaty
      Informatika. angličtina. Portugalsko.
      Klíčová slova anglicky: model-checking; Markov chains; temporal logics; probabilistic pushdown automata
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnila: Ing. Dana Komárková, učo 1475. Změněno: 27. 6. 2008 09:30.
      Podrobněji: https://is.muni.cz/publication/727767/cs
    2. DiVinE Multi-Core (software)
      BARNAT, Jiří, Luboš BRIM a Petr ROČKAI. DiVinE Multi-Core. 2007.
      URL
      Název česky: DiVinE Multi-Core
      Název anglicky: DiVinE Multi-Core
      RIV/00216224:14330/07:00019614 Software. Informatika. angličtina. Česká republika.
      Barnat, Jiří (203 Česká republika) -- Brim, Luboš (203 Česká republika, garant) -- Ročkai, Petr (203 Česká republika)
      Klíčová slova anglicky: parallel verification; multi-core architecture; model-checking
      Mezinárodní význam: ano
      Změnil: prof. RNDr. Luboš Brim, CSc., učo 197. Změněno: 12. 2. 2009 09:41.
      Podrobněji: https://is.muni.cz/publication/759931/cs
    3. On Decidability of LTL+Past Model Checking for Process Rewrite Systems
      KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a Jan STREJČEK. On Decidability of LTL+Past Model Checking for Process Rewrite Systems. In Proc. of 9th Internat. Workshop on Verification of Infinite-State Systems. 2007.
      Název česky: Rozhodnutelnost ověřování modelu pro logiku LTL+Past a Procesové Přepisovací Systémy
      RIV/00216224:14330/07:00019467 Prezentace na konferencích. Informatika. angličtina. Portugalsko.
      Křetínský, Mojmír (203 Česká republika, garant, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, domácí)
      Klíčová slova anglicky: process rewrite systems; LTL; infinite-state; model-checking; decidability
      Druh sborníku: předkonferenční sborník
      Druh účasti: aktivní účast
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 28. 4. 2011 14:50.
      Podrobněji: https://is.muni.cz/publication/723973/cs
    4. ProbDiVinE (software)
      BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Milan ČEŠKA a Jana TŮMOVÁ. ProbDiVinE. 2007.
      URL
      Název česky: ProbDiVinE
      Název anglicky: ProbDiVinE
      RIV/00216224:14330/07:00024472 Software. Informatika. angličtina. Česká republika.
      Barnat, Jiří (203 Česká republika) -- Brim, Luboš (203 Česká republika, garant) -- Černá, Ivana (203 Česká republika) -- Češka, Milan (203 Česká republika) -- Tůmová, Jana (203 Česká republika)
      Klíčová slova anglicky: qualitative parallel verification; model-checking; probabilistic systems
      Mezinárodní význam: ano
      Změnil: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Změněno: 1. 6. 2009 22:47.
      Podrobněji: https://is.muni.cz/publication/834418/cs

    2005

    1. Assumption-based distribution of CTL model checking
      BRIM, Luboš, Jitka ŽIDKOVÁ a Karen YORAV. Assumption-based distribution of CTL model checking. International Journal on Software Tools for Technology Transfer (STTT). Springer-Verlag GmbH, roč. 7, č. 1, s. 61-73, 14 s. ISSN 1433-2779. 2005.
      Název česky: Distribuované ověřování modelu CTL založené na předpokladech
      Název anglicky: Assumption-based distribution of CTL model checking
      RIV/00216224:14330/05:00012429 Článek v odborném periodiku. Informatika. angličtina. Německo.
      Brim, Luboš (203 Česká republika, garant) -- Židková, Jitka (203 Česká republika) -- Yorav, Karen (376 Izrael)
      Klíčová slova anglicky: 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/569689/cs
    2. DIVINE - The Distributed Verification Environment
      BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ a Pavel ŠIMEČEK. DIVINE - The Distributed Verification Environment. In In proceedings of 4th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC05). Lisboa, Portugal: TU Munchen. s. 89-94. 2005.
      Název česky: DIVINE -- Prostředí pro distribuovanou verifikaci
      RIV/00216224:14330/05:00012768 Stať ve sborníku. Informatika. angličtina. Česká republika.
      Barnat, Jiří (203 Česká republika, garant) -- Brim, Luboš (203 Česká republika) -- Černá, Ivana (203 Česká republika) -- Šimeček, Pavel (203 Česká republika)
      Klíčová slova anglicky: distributed; parallel; 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/589525/cs
    3. DivSPIN - A SPIN compatible distributed model checker
      BARNAT, Jiří, Vojtěch FOREJT, Martin LEUCKER a Michael WEBER. DivSPIN - A SPIN compatible distributed model checker. In Proceedings of 4th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC05). Lisabon, Portugalsko: TU Munchen. s. 95-100. 2005.
      Název česky: DivSPIN - distribuovaný model checker kompatibilní se SPINem
      RIV/00216224:14330/05:00013423 Stať ve sborníku. Informatika. angličtina. Česká republika.
      Barnat, Jiří (203 Česká republika, garant) -- Forejt, Vojtěch (203 Česká republika) -- Leucker, Martin (276 Německo) -- Weber, Michael (276 Německo)
      Klíčová slova anglicky: distributed; parallel; model-checking; SPIN
      Změnil: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Změněno: 10. 1. 2006 12:19.
      Podrobněji: https://is.muni.cz/publication/589882/cs
    4. Characteristic Patterns for LTL
      KUČERA, Antonín a Jan STREJČEK. Characteristic Patterns for LTL. P. Vojtas, M. Bielikova, B. Charron-Bost, O. Sykora (Eds.). In SOFSEM 2005: Theory and Practice of Computer Science. Berlin, Heidelberg: Springer-Verlag. s. 239-249. ISBN 3-540-24302-X. 2005.
      Název česky: Charakteristické vzorce pro LTL
      RIV/00216224:14330/05:00012348 Stať ve sborníku. Informatika. angličtina. Slovensko.
      Kučera, Antonín (203 Česká republika, garant) -- Strejček, Jan (203 Česká republika)
      Klíčová slova anglicky: model-checking; linear temporal logic
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 29. 3. 2010 14:38.
      Podrobněji: https://is.muni.cz/publication/563442/cs
    5. Introductory paper: Parallel and Distributed Model Checking
      BRIM, Luboš a Orna GRUMBERG. Introductory paper: Parallel and Distributed Model Checking. International Journal on Software Tools for Technology Transfer (STTT). Springer-Verlag GmbH, roč. 7, č. 1, s. 1-3. ISSN 1433-2779. 2005.
      Název česky: Úvodní článek: Paralelní a distribuované ověřování modelu
      Název anglicky: Introductory paper: Parallel and Distributed Model Checking
      RIV/00216224:14330/05:00012428 Článek v odborném periodiku. Informatika. angličtina. Německo.
      Brim, Luboš (203 Česká republika, garant) -- Grumberg, Orna (376 Izrael)
      Klíčová slova anglicky: model-checking
      Mezinárodní význam: 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/569688/cs

    2003

    1. Distribution of Explicit-State LTL Model-Checking
      BRIM, Luboš a Jiří BARNAT. Distribution of Explicit-State LTL Model-Checking. Editors Thomas Arts, Wan Fokking. Electronic Notes in Theoretical Computer Science. Elsevier Science, Volume 80, č. 1, s. 120-125, 2003.
      URL
      Název anglicky: Distribution of Explicit-State LTL Model-Checking
      RIV/00216224:14330/03:00008591 Článek v odborném periodiku. Informatika. angličtina. Nizozemské království.
      Brim, Luboš (203 Česká republika, garant) -- Barnat, Jiří (203 Česká republika)
      Klíčová slova anglicky: model-checking; distribution; verification
      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/489734/cs
    2. Fast Mu-calculus Model Checking when Tree-width is Bounded
      OBDRŽÁLEK, Jan. Fast Mu-calculus Model Checking when Tree-width is Bounded. In CAV 2003. Berlin Heidelberg: Springer-Verlag. s. 80-92. ISBN 3-540-40524-0. 2003.
      RIV/00216224:14330/03:00008708 Stať ve sborníku. Informatika. angličtina. Německo.
      Obdržálek, Jan (203 Česká republika, garant)
      Klíčová slova anglicky: parity games; mu-calculus; model-checking; tree-width
      Změnil: doc. Mgr. Jan Obdržálek, PhD., učo 1552. Změněno: 26. 5. 2004 11:18.
      Podrobněji: https://is.muni.cz/publication/555218/cs
    3. Model checking LTL with regular valuations for pushdown systems
      ESPARZA, Javier, Antonín KUČERA a Stefan SCHWOON. Model checking LTL with regular valuations for pushdown systems. Information and Computation. Academic Press, roč. 186, č. 2, s. 355-376. ISSN 0890-5401. 2003.
      RIV/00216224:14330/03:00008160 Článek v odborném periodiku. Informatika. angličtina. Spojené státy.
      Esparza, Javier (724 Španělsko) -- Kučera, Antonín (203 Česká republika, garant) -- Schwoon, Stefan (276 Německo)
      Klíčová slova anglicky: model-checking; liner-time logic; pushdown systems
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 22. 11. 2006 18:17.
      Podrobněji: https://is.muni.cz/publication/488376/cs
    4. Parallel Algorithms for Detection of Negative Cycles
      BRIM, Lubos, Ivana ČERNÁ a Lukáš HEJTMÁNEK. Parallel Algorithms for Detection of Negative Cycles. In Proceedings of the 10th ParCo Conference. Holandsko: Elsevier B.V. s. 98-111. 2003.
      Název anglicky: Parallel Algorithms for Detection of Negative Cycles
      RIV/00216224:14330/03:00008594 Stať ve sborníku. Informatika. angličtina. Nizozemské království.
      Brim, Lubos (203 Česká republika, garant) -- Černá, Ivana (203 Česká republika) -- Hejtmánek, Lukáš (203 Česká republika)
      Klíčová slova anglicky: model-checking; parallel computing
      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/489815/cs
    5. Parallel Algorithms for Detection of Negative Cycles
      BRIM, Lubos, Ivana ČERNÁ a Lukáš HEJTMÁNEK. Parallel Algorithms for Detection of Negative Cycles. Brno: Faculty of Informatics. 14 s. Technical Reports, FIMU-RS-2003-04. 2003.
      URL
      Název anglicky: Parallel Algorithms for Detection of Negative Cycles
      RIV/00216224:14330/03:00008564 Odborná kniha. Informatika. čeština. Česká republika.
      Brim, Lubos (203 Česká republika, garant) -- Černá, Ivana (203 Česká republika) -- Hejtmánek, Lukáš (203 Česká republika)
      Klíčová slova anglicky: model-checking; parallel computing
      Mezinárodní význam: 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/488138/cs

    2002

    1. INFINITY 2002. 4th International Workshop on Verification of Infinite-State Systems
      KUČERA, Antonín a Richard MAYR. INFINITY 2002. 4th International Workshop on Verification of Infinite-State Systems. 2002.
      URL
      Název anglicky: INFINITY 2002. 4th International Workshop on Verification of Infinite-State Systems
      RIV/00216224:14330/02:00007778 Uspořádání workshopu. Teorie informace. angličtina. Česká republika.
      Kučera, Antonín (203 Česká republika, garant) -- Mayr, Richard (276 Německo)
      Klíčová slova anglicky: Infinite-State Systems; Formal Verification; Equivalence-Checking; Model-Checking
      Mezinárodní význam: ano
      Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 22. 11. 2006 17:26.
      Podrobněji: https://is.muni.cz/publication/486636/cs
    2. Property Driven Distribution of Nested DFS
      BARNAT, Jiří, Luboš BRIM a Ivana ČERNÁ. Property Driven Distribution of Nested DFS. In M. Leuschel and U. Ultes-Nitsche (Eds.): Proceedings of the 3rd International Workshop on Verification and Computational Logic. Pittsburgh, PA, USA: Dept. of Electronics and Computer Science, University of Southampton. s. 1-10. 2002.
      Název anglicky: Property Driven Distribution of Nested DFS
      RIV/00216224:14330/02:00006603 Stať ve sborníku. Informatika. angličtina. Velká Británie a Severní Irsko.
      Barnat, Jiří (203 Česká republika) -- Brim, Luboš (203 Česká republika, garant) -- Černá, Ivana (203 Česká republika)
      Klíčová slova anglicky: model-checking; distributed model-checking; verification; verification tool
      Změnil: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Změněno: 22. 11. 2006 16:02.
      Podrobněji: https://is.muni.cz/publication/406260/cs
    3. Using verified property to partition the state space in LTL model-checking
      BARNAT, Jiří. Using verified property to partition the state space in LTL model-checking. In F. Cassez, C. Jard, F. Laroussinie, and M.D. Ryan (Eds.): Modelling and Verification of Parallel processes. Nantes, France: IRCCyN, Ecole Centrale de Nantes. s. 262-267. 2002.
      Název anglicky: Using verified property to partition the state space in LTL model-checking
      RIV/00216224:14330/02:00006604 Stať ve sborníku. Informatika. angličtina. Francie.
      Barnat, Jiří (203 Česká republika, garant)
      Klíčová slova anglicky: model-checking; distributed model-checking; verification
      Změnil: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Změněno: 22. 11. 2006 16:01.
      Podrobněji: https://is.muni.cz/publication/406263/cs

    2001

    1. Distributed LTL Model-Checking in SPIN
      BARNAT, Jiří, Luboš BRIM a Jitka STŘÍBRNÁ. Distributed LTL Model-Checking in SPIN. In M.B. Dwyer (Ed.): Model Checking Software, 8th International SPIN Workshop. Toronto, Canada: Springer Verlag. s. 200-215. ISBN 3-540-42124-6. 2001.
      Název anglicky: Distributed LTL Model-Checking in SPIN
      RIV/00216224:14330/01:00004189 Stať ve sborníku. Informatika. angličtina. Kanada.
      Barnat, Jiří (203 Česká republika, garant) -- Brim, Luboš (203 Česká republika) -- Stříbrná, Jitka (203 Česká republika)
      Klíčová slova anglicky: model-checking; verification; verification tool
      Změnil: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Změněno: 22. 11. 2006 16:00.
      Přír. čísla: 4200506714
      Podrobněji: https://is.muni.cz/publication/362073/cs

    2000

    1. Distributed LTL Model-Checking in SPIN
      BARNAT, Jiří, Luboš BRIM a Jitka STŘÍBRNÁ. Distributed LTL Model-Checking in SPIN. Brno: FI MU. 16 s. Technical Reports. 2000.
      URL
      Název anglicky: Distributed LTL Model-Checking in SPIN
      RIV/00216224:14330/00:00002823 Odborná kniha. Informatika. čeština. Česká republika.
      Barnat, Jiří (203 Česká republika) -- Brim, Luboš (203 Česká republika) -- Stříbrná, Jitka (203 Česká republika)
      Klíčová slova anglicky: model-checking; verification; verification tool
      Změnil: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Změněno: 26. 5. 2004 15:45.
      Podrobněji: https://is.muni.cz/publication/346893/cs
Zobrazeno: 23. 4. 2024 10:31