Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2019

    1. Generic Emptiness Check for Fun and Profit
      BAIER, Christel, František BLAHOUDEK, Alexandre DURET-LUTZ, Joachim KLEIN, David MÜLLER a Jan STREJČEK. Generic Emptiness Check for Fun and Profit. Online. In Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza. Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings. Cham (Switzerland): Springer, 2019, s. 445-461. ISBN 978-3-030-31783-6. Dostupné z: https://dx.doi.org/10.1007/978-3-030-31784-3_26.
      URL
      RIV/00216224:14330/19:00107786 Stať ve sborníku. angličtina. Švýcarsko.
      Baier, Christel (276 Německo) -- Blahoudek, František (203 Česká republika) -- Duret-Lutz, Alexandre (756 Švýcarsko) -- Klein, Joachim (276 Německo) -- Müller, David (276 Německo) -- Strejček, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: TELA; Emerson-Lei automata; emptiness check; probabilistic model checking
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2020 11:04.
      Podrobněji: https://is.muni.cz/publication/1579475/cs
    2. ltl3tela: LTL to Small Deterministic or Nondeterministic Emerson-Lei Automata
      MAJOR, Juraj, František BLAHOUDEK, Jan STREJČEK, Miriama JÁNOŠOVÁ a Tatiana ZBONČÁKOVÁ. ltl3tela: LTL to Small Deterministic or Nondeterministic Emerson-Lei Automata. Online. In Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza. Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings. Cham (Switzerland): Springer, 2019, s. 357-365. ISBN 978-3-030-31783-6. Dostupné z: https://dx.doi.org/10.1007/978-3-030-31784-3_21.
      URL
      RIV/00216224:14330/19:00107770 Stať ve sborníku. angličtina. Švýcarsko.
      Major, Juraj (703 Slovensko, domácí) -- Blahoudek, František (203 Česká republika) -- Strejček, Jan (203 Česká republika, garant, domácí) -- Jánošová, Miriama (703 Slovensko, domácí) -- Zbončáková, Tatiana (703 Slovensko, domácí)
      Klíčová slova anglicky: ltl3tela; LTL; linear temporal logic; automata; automata over infinite words; LTL to automata
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2020 00:04.
      Podrobněji: https://is.muni.cz/publication/1577339/cs

    2015

    1. On Refinement of Büchi Automata for Explicit Model Checking
      BLAHOUDEK, František, Alexandre DURET-LUTZ, Vojtěch RUJBR a Jan STREJČEK. On Refinement of Büchi Automata for Explicit Model Checking. In Fischer, Bernd and Geldenhuys, Jaco. 2015 International SPIN Symposium on Model Checking of Software. Heidelberg, New York, Dordrecht, London: Springer International Publishing, 2015, s. 66-83. ISBN 978-3-319-23403-8. Dostupné z: https://dx.doi.org/10.1007/978-3-319-23404-5_6.
      Název česky: O zpřesňování Büchiho automatů pro explicitní metodu ověřování modelu.
      RIV/00216224:14330/15:00080986 Stať ve sborníku. Informatika. angličtina. Švýcarsko.
      Blahoudek, František (203 Česká republika, domácí) -- Duret-Lutz, Alexandre (250 Francie) -- Rujbr, Vojtěch (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: linear temporal logic; Büchi automata; explicit model checking; specification refinement
      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: 13. 5. 2020 20:47.
      Podrobněji: https://is.muni.cz/publication/1309631/cs

    2014

    1. Is there a best Büchi automaton for explicit model checking?
      BLAHOUDEK, František, Alexandre DURET-LUTZ, Mojmír KŘETÍNSKÝ a Jan STREJČEK. Is there a best Büchi automaton for explicit model checking? In Neha Rungta and Oksana Tkachuk. 2014 International SPIN Symposium on Model Checking of Software. New York: ACM, 2014, s. 68-76. ISBN 978-1-4503-2452-6. Dostupné z: https://dx.doi.org/10.1145/2632362.2632377.
      Název česky: Existuje nejlepší Büchiho automat pro explicitní metodu ověřování modelu?
      RIV/00216224:14330/14:00073815 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Blahoudek, František (203 Česká republika, domácí) -- 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 temporal logic; Büchi automata; explicit model checking
      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: 11. 7. 2019 13:31.
      Podrobněji: https://is.muni.cz/publication/1196458/cs

    2009

    1. Almost Linear Büchi Automata
      BABIAK, Tomáš, Vojtěch ŘEHÁK a Jan STREJČEK. Almost Linear Büchi Automata. In Proceedings 16th International Workshop on Expressiveness in Concurrency 2009 (EXPRESS'09). 1st ed. internet: EPTCS, 2009, s. 16-25. ISSN 2075-2180.
      DOI
      Název česky: Skoro lineární Büchiho automaty
      RIV/00216224:14330/09:00029631 Stať ve sborníku. Informatika. angličtina. Itálie.
      Babiak, Tomáš (703 Slovensko) -- Řehák, Vojtěch (203 Česká republika, garant) -- Strejček, Jan (203 Česká republika)
      Klíčová slova anglicky: LTL; linear time logic; model checking
      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. 11. 2009 16:12.
      Podrobněji: https://is.muni.cz/publication/856270/cs
    2. CoIn Tool Set (software)
      BENEŠ, Nikola, Barbora BÜHNOVÁ, Ivana ČERNÁ a Milan KŘIVÁNEK. CoIn Tool Set. 2009.
      URL
      Název česky: Sada nástrojů CoIn
      RIV/00216224:14330/09:00028846 Software. Informatika. angličtina. Česká republika.
      Beneš, Nikola (203 Česká republika, garant, domácí) -- Bühnová, Barbora (203 Česká republika, domácí) -- Černá, Ivana (203 Česká republika, domácí) -- Křivánek, Milan (203 Česká republika, domácí)
      Klíčová slova anglicky: formal verification; model checking; component-interaction automata; state/event LTL
      Mezinárodní význam: ano
      Změnil: RNDr. Nikola Beneš, Ph.D., učo 72525. Změněno: 17. 12. 2010 12:26.
      Podrobněji: https://is.muni.cz/publication/878167/cs
    3. Efficient Large-Scale Model Checking
      VERSTOEP, Kees, Henri E. BAL, Jiří BARNAT a Luboš BRIM. Efficient Large-Scale Model Checking. In 23rd IEEE International Parallel & Distributed Processing Symposium. IEEE: IEEE, 2009, s. 201-212. ISBN 978-1-4244-3751-1.
      Název česky: Efektivní verifikace rosáhlých modelů
      Název anglicky: Efficient Large-Scale Model Checking
      RIV/00216224:14330/09:00029324 Stať ve sborníku. Informatika. angličtina. Itálie.
      Verstoep, Kees (528 Nizozemské království) -- Bal, Henri E. (528 Nizozemské království) -- Barnat, Jiří (203 Česká republika, garant, domácí) -- Brim, Luboš (203 Česká republika, domácí)
      Klíčová slova anglicky: model checking; distributed; parallel; large-scale
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Luboš Brim, CSc., učo 197. Změněno: 2. 2. 2011 09:34.
      Podrobněji: https://is.muni.cz/publication/834666/cs
    4. On Algorithmic Analysis of Transcriptional Regulation by LTL Model Checking
      BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Sven DRAŽAN, Jana FABRIKOVÁ a David ŠAFRÁNEK. On Algorithmic Analysis of Transcriptional Regulation by LTL Model Checking. Theoretical Computer Science. 2009, roč. 2009, č. 410, s. 3128-3148, 20 s. ISSN 0304-3975.
      URL
      Název česky: Algoritmická analýza transkripční regulace s využitím metody ověřování modelů
      RIV/00216224:14330/09:00029225 Článek v odborném periodiku. Informatika. angličtina. Česká republika.
      Barnat, Jiří (203 Česká republika, domácí) -- Brim, Luboš (203 Česká republika, domácí) -- Černá, Ivana (203 Česká republika, domácí) -- Dražan, Sven (203 Česká republika, domácí) -- Fabriková, Jana (203 Česká republika, domácí) -- Šafránek, David (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Genetic regulatory network; Piecewise-linear approximation; Model checking
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Luboš Brim, CSc., učo 197. Změněno: 2. 2. 2011 09:33.
      Podrobněji: https://is.muni.cz/publication/824056/cs
    5. On Decidability of LTL Model Checking for Process Rewrite Systems
      BOZZELLI, Laura, Mojmír KŘETÍNSKÝ, Vojtěch ŘEHÁK a Jan STREJČEK. On Decidability of LTL Model Checking for Process Rewrite Systems. Acta informatica. Berlin: Springer-Verlag, 2009, roč. 46, č. 1, s. 1-28. ISSN 0001-5903.
      URL
      Název česky: O rozhodnutelnosti problému ověřování modelu pro LTL a procesové přepisovací systémy
      RIV/00216224:14330/09:00029078 Článek v odborném periodiku. Informatika. angličtina. Německo.
      Bozzelli, Laura (380 Itálie) -- Křetínský, Mojmír (203 Česká republika, garant) -- Řehák, Vojtěch (203 Česká republika) -- Strejček, Jan (203 Česká republika)
      Klíčová slova anglicky: infinite-state systems; linear time logic; decidability; model checking
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 22. 5. 2009 16:43.
      Podrobněji: https://is.muni.cz/publication/769242/cs
    6. 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. Complementarity of Error Detection Techniques
      PELÁNEK, Radek, Václav ROSECKÝ a Pavel MORAVEC. Complementarity of Error Detection Techniques. In Parallel and Distributed Methods in verifiCation (PDMC 2008). Nizozemsko: Elsevier, 2008, 14 s. ISSN 1571-0661.
      Název česky: Komplementarita technik pro detekci chyb
      RIV/00216224:14330/08:00025027 Stať ve sborníku. Informatika. angličtina. Nizozemské království.
      Pelánek, Radek (203 Česká republika, garant) -- Rosecký, Václav (203 Česká republika) -- Moravec, Pavel (203 Česká republika)
      Klíčová slova anglicky: model checking; evaluation; error detection
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 30. 3. 2010 09:57.
      Podrobněji: https://is.muni.cz/publication/792712/cs
    2. Fighting State Space Explosion: Review and Evaluation
      PELÁNEK, Radek. Fighting State Space Explosion: Review and Evaluation. In Formal Methods for Industrial Critical Systems. Německo: Springer, 2008, 15 s. ISBN 3-642-03239-7.
      Název česky: Boj se stavovou explozí: přehled a zhodnocení
      RIV/00216224:14330/08:00025026 Stať ve sborníku. Informatika. angličtina. Německo.
      Pelánek, Radek (203 Česká republika, garant)
      Klíčová slova anglicky: model checking; state space explosion; review; evaluation; experience report
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 30. 3. 2010 09:52.
      Podrobněji: https://is.muni.cz/publication/792699/cs
    3. From Simple Regulatory Motifs to Parallel Model Checking of Complex Transcriptional Networks
      BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Sven DRAŽAN a David ŠAFRÁNEK. From Simple Regulatory Motifs to Parallel Model Checking of Complex Transcriptional Networks. In Proceedings of PDMC 2008 - Parallel and Distributed Methods ins VerifiCation. Budapest: Ivana Cerna and Gerald Luettgen, 2008, s. 83-96, 15 s. ISSN 1571-0661.
      Název česky: Od jednoduchých regulačních motivů k ověřování komplexních transkripčních sítí
      RIV/00216224:14330/08:00024175 Stať ve sborníku. Informatika. angličtina. Česká republika.
      Barnat, Jiří (203 Česká republika) -- Brim, Luboš (203 Česká republika) -- Černá, Ivana (203 Česká republika) -- Dražan, Sven (203 Česká republika) -- Šafránek, David (203 Česká republika, garant)
      Klíčová slova anglicky: transcriptional networks; model checking; B. subtilis
      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:34.
      Podrobněji: https://is.muni.cz/publication/763157/cs
    4. I/O Efficient Model Checking
      ŠIMEČEK, Pavel. I/O Efficient Model Checking. In Alpine Verification Meeting 2008. 2008.
      AVM 2008 web page
      Název česky: I/O-efektivní ověřování modelů
      Název anglicky: I/O Efficient Model Checking
      Informatika. angličtina. Rakousko.
      Klíčová slova anglicky: external; I/O efficient; model checking; external memory
      Druh účasti: aktivní účast
      Mezinárodní význam: ano
      Změnil: RNDr. Pavel Šimeček, Ph.D., učo 51636. Změněno: 25. 11. 2008 14:06.
      Podrobněji: https://is.muni.cz/publication/795899/cs
    5. Model Classifications and Automated Verification
      PELÁNEK, Radek. Model Classifications and Automated Verification. In Formal Methods for Industrial Critical Systems. Německo: Springer, 2008, s. 149-163. ISBN 978-3-540-79706-7.
      Název česky: Klasifikace modelů a automatická verifikace
      RIV/00216224:14330/08:00024587 Stať ve sborníku. Informatika. angličtina. Německo.
      Pelánek, Radek (203 Česká republika, garant)
      Klíčová slova anglicky: model checking; automated verification; state space
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 23. 6. 2009 12:51.
      Podrobněji: https://is.muni.cz/publication/727677/cs
    6. On Algorithmic Analysis of Biological Networks
      ŠAFRÁNEK, David. On Algorithmic Analysis of Biological Networks. In Control and System Theory Colloquium. 2008.
      Invited talk.
      Název česky: Algoritmická analýza biologických sítí
      RIV/00216224:14330/08:00028409 Vyžádané přednášky. Informatika. angličtina. Česká republika.
      Šafránek, David (203 Česká republika, garant)
      Klíčová slova anglicky: bilogical networks; model checking; systems biology
      Druh účasti: aktivní účast
      Mezinárodní význam: ano
      Změnil: doc. RNDr. David Šafránek, Ph.D., učo 3159. Změněno: 20. 6. 2008 14:24.
      Podrobněji: https://is.muni.cz/publication/770103/cs
    7. Semi-external LTL Model Checking
      EDELKAMP, Stefan, Peter SANDERS a Pavel ŠIMEČEK. Semi-external LTL Model Checking. In 20th International Conference on Computer Aided Verification. Berlin, Heidelberg: Springer, 2008, s. 530-542. ISBN 978-3-540-70543-7.
      Název česky: Semi-externí ověřování LTL vlastností modelů
      Název anglicky: Semi-external LTL Model Checking
      RIV/00216224:14330/08:00024282 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Edelkamp, Stefan (276 Německo) -- Sanders, Peter (276 Německo) -- Šimeček, Pavel (203 Česká republika, garant)
      Klíčová slova anglicky: semi-external;model checking;external;I/O complexity
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šimeček, Ph.D., učo 51636. Změněno: 25. 5. 2009 11:42.
      Podrobněji: https://is.muni.cz/publication/779442/cs
    8. Semi-External LTL Model Checking
      ŠIMEČEK, Pavel. Semi-External LTL Model Checking. Co-authors of the original paper in CAV 2008 proceedings. In EDELKAMP, Stefan a Peter SANDERS. Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. 2008. ISBN 978-80-7355-082-0.
      Název česky: Semi-externí ověřování LTL vlastností modelů
      Název anglicky: Semi-External LTL Model Checking
      Informatika. angličtina. Česká republika.
      Klíčová slova anglicky: semi-external;model checking;external;I/O complexity
      Druh účasti: aktivní účast
      Mezinárodní význam: ano
      Změnil: RNDr. Pavel Šimeček, Ph.D., učo 51636. Změněno: 26. 11. 2008 09:05.
      Podrobněji: https://is.muni.cz/publication/795896/cs
    9. The CoIn Tool: Modelling and Verification of Interactions in Component-Based Systems
      BENEŠ, Nikola, Luboš BRIM, Ivana ČERNÁ, Jiří SOCHOR, Pavlína VAŘEKOVÁ a Barbora ZIMMEROVÁ. The CoIn Tool: Modelling and Verification of Interactions in Component-Based Systems. In Pre-proceedings of the International Workshop on Formal Aspects of Component Software (FACS'08). Málaga, Spain: Department of Computer Science, University of Málaga, 2008, s. 221-225. ISSN 1571-0661.
      Název česky: CoIn Tool: Modelování a verifikace interakcí v komponentových systémech
      RIV/00216224:14330/08:00024294 Stať ve sborníku. Informatika. angličtina. Španělsko.
      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: component-based systems; Component-Interaction automata; formal verification; LTL; model checking
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Nikola Beneš, Ph.D., učo 72525. Změněno: 17. 12. 2010 12:32.
      Podrobněji: https://is.muni.cz/publication/785938/cs

    2007

    1. Model Checking Large Finite-State Systems and Beyond
      BRIM, Luboš a Mojmír KŘETÍNSKÝ. Model Checking Large Finite-State Systems and Beyond. In 33rd Conference on Current Trends in Theory and Practice of Computer Science. Berlin: Springer-Verlag, 2007, s. 9-28. ISBN 978-3-540-69506-6.
      Název česky: Ověřování modelu pro rozsáhlé konečně stavové systémy a za jejich hranicemi
      RIV/00216224:14330/07:00019356 Stať ve sborníku. Informatika. angličtina. Česká republika.
      Brim, Luboš (203 Česká republika, garant) -- Křetínský, Mojmír (203 Česká republika)
      Klíčová slova anglicky: finite and infinite-state systems; reachability; linear time logic; model checking; decidability
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Mojmír Křetínský, CSc., učo 631. Změněno: 12. 6. 2008 09:40.
      Podrobněji: https://is.muni.cz/publication/710390/cs
    2. On Symbolic Verification of Weakly Extended PAD
      BOUAJJANI, Ahmed, Jan STREJČEK a Tayssir TOUILI. On Symbolic Verification of Weakly Extended PAD. In Proceedings of the 13th International Workshop on Expressiveness in Concurrency (EXPRESS 2006). Neuveden: Elsevier, 2007, s. 47-64. ISSN 1571-0661.
      URL
      Název česky: Symbolicka verifikace slabe rozsirenych PAD
      RIV/00216224:14330/07:00021744 Stať ve sborníku. Informatika. angličtina. Německo.
      Bouajjani, Ahmed (504 Maroko) -- Strejček, Jan (203 Česká republika, garant) -- Touili, Tayssir (788 Tunisko)
      Klíčová slova anglicky: rewrite systems; infinite-state systems; symbolic reachability analysis; model checking
      Druh sborníku: postkonferenč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: 23. 6. 2009 17:48.
      Podrobněji: https://is.muni.cz/publication/702264/cs
    3. Predicate Abstraction with Under-Approximation Refinement
      PELÁNEK, Radek, Corina PASAREANU a Willem VISSER. Predicate Abstraction with Under-Approximation Refinement. Logical Methods in Computer Science. Germany: Technical University of Braunschweig, 2007, roč. 3, č. 1, s. 1-22. ISSN 1860-5974.
      LMCS journal web-page.
      Název česky: Predikátová abstrakce a zjemňování dolních aproximací
      RIV/00216224:14330/07:00020179 Článek v odborném periodiku. Informatika. angličtina. Německo.
      Pelánek, Radek (203 Česká republika, garant) -- Pasareanu, Corina (642 Rumunsko) -- Visser, Willem (710 Jižní Afrika)
      Klíčová slova anglicky: model checking; predicate abstraction; under-approximation
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 23. 6. 2009 12:50.
      Podrobněji: https://is.muni.cz/publication/713628/cs
    4. ProbDiVinE: A Parallel Qualitative LTL Model Checker
      BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Milan ČEŠKA a Jana TŮMOVÁ. ProbDiVinE: A Parallel Qualitative LTL Model Checker. In Fourth International Conference on the Quantitative Evaluation of Systems (QEST'07). United States of America: IEEE Computer Society, 2007, s. 215-216. ISBN 0-7695-2883-X.
      Název česky: ProbDiVinE: Paralelní qualitativní model checker
      Název anglicky: ProbDiVinE: A Parallel Qualitative LTL Model Checker
      RIV/00216224:14330/07:00019472 Stať ve sborníku. Informatika. angličtina. Velká Británie a Severní Irsko.
      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: ProbDiVinE; Qualitative LTL; Probabilistic; 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: 1. 6. 2009 21:07.
      Podrobněji: https://is.muni.cz/publication/725399/cs
    5. 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
    6. Stochastic Game Logic
      BAIER, Christel, Tomáš BRÁZDIL, Marcus GRÖSSER a Antonín KUČERA. Stochastic Game Logic. In Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007). Los Alamitos, Washington, Tokyo: IEEE Computer Society, 2007, s. 227-236. ISBN 0-7695-2883-X.
      Název česky: Logika pro náhodnostní hry
      RIV/00216224:14330/07:00022945 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Baier, Christel (276 Německo) -- Brázdil, Tomáš (203 Česká republika) -- Größer, Marcus (276 Německo) -- Kučera, Antonín (203 Česká republika, garant)
      Klíčová slova anglicky: stochastic systems; temporal logic; model checking
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 25. 11. 2007 23:27.
      Podrobněji: https://is.muni.cz/publication/728300/cs
    7. Verifying VHDL Designs with Multiple Clocks in SMV
      SMRČKA, Aleš, Vojtěch ŘEHÁK, Tomáš VOJNAR, David ŠAFRÁNEK, Petr MATOUŠEK a Zdeněk ŘEHÁK. Verifying VHDL Designs with Multiple Clocks in SMV. In Formal Methods Applications and Technology, 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006. Bonn: Springer-Verlag, 2007, s. 148-164, 16 s. ISBN 978-3-540-70951-0.
      Název česky: Verifikace VHDL programů s více hodinami pomocí SMV
      RIV/00216224:14330/07:00019329 Stať ve sborníku. Informatika. angličtina. Německo.
      Smrčka, Aleš (203 Česká republika) -- Řehák, Vojtěch (203 Česká republika) -- Vojnar, Tomáš (203 Česká republika) -- Šafránek, David (203 Česká republika, garant) -- Matoušek, Petr (203 Česká republika) -- Řehák, Zdeněk (203 Česká republika)
      Klíčová slova anglicky: formal verification; model checking; VHDL; asynchronous clock domains
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. RNDr. David Šafránek, Ph.D., učo 3159. Změněno: 9. 4. 2010 16:10.
      Podrobněji: https://is.muni.cz/publication/639264/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. Formal Verification of a FIFO Component in Design of Network Monitoring Hardware
      KRATOCHVÍLA, Tomáš, Vojtěch ŘEHÁK a David ŠAFRÁNEK. Formal Verification of a FIFO Component in Design of Network Monitoring Hardware. In 10 years of CESNET - CESNET CONFERENCE 2006. Praha: CESNET, z.s.p.o., 2006, s. 151-160. ISBN 978-80-239-6533-9.
      Název česky: Formální verifikace FIFO komponenty při návrhu síťového monitorovacího hardware
      RIV/00216224:14330/06:00015311 Stať ve sborníku. Informatika. angličtina. Česká republika.
      Kratochvíla, Tomáš (203 Česká republika) -- Řehák, Vojtěch (203 Česká republika) -- Šafránek, David (203 Česká republika, garant)
      Klíčová slova anglicky: formal verification; model checking; component-based hardware; FPGA
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. RNDr. David Šafránek, Ph.D., učo 3159. Změněno: 9. 4. 2010 16:09.
      Podrobněji: https://is.muni.cz/publication/630815/cs
    3. Lower and Upper Bounds in Zone-Based Abstractions of Timed Automata
      PELÁNEK, Radek, Kim G. LARSEN, Gerd BEHRMANN a Patricia BOUYER. Lower and Upper Bounds in Zone-Based Abstractions of Timed Automata. International Journal on Software Tools for Technology Transfer (STTT). Springer-Verlag GmbH, 2006, roč. 8, č. 3, s. 204-215. ISSN 1433-2779.
      Název česky: Využití horních a dolních mezí při zónových abstrakcích časových automatů
      RIV/00216224:14330/06:00015564 Článek v odborném periodiku. Informatika. angličtina. Německo.
      Pelánek, Radek (203 Česká republika, garant) -- Larsen, Kim G. (208 Dánsko) -- Behrmann, Gerd (208 Dánsko) -- Bouyer, Patricia (250 Francie)
      Klíčová slova anglicky: model checking; timed automata; verification; abstraction; extrapolation
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 21. 11. 2006 14:01.
      Podrobněji: https://is.muni.cz/publication/585922/cs
    4. Model Checking of RegCTL
      ČERNÁ, Ivana a Tomáš BRÁZDIL. Model Checking of RegCTL. Computing and Informatics. 2006, roč. 25, č. 1, s. 81-97, 16 s. ISSN 1335-9150.
      Název česky: Ověřování pro RegCTL
      RIV/00216224:14330/06:00015466 Článek v odborném periodiku. Informatika. angličtina. Slovensko.
      Černá, Ivana (203 Česká republika, garant) -- Brázdil, Tomáš (203 Česká republika)
      Klíčová slova anglicky: model checking; RegCTL temporal logic
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnila: prof. RNDr. Ivana Černá, CSc., učo 1419. Změněno: 8. 6. 2009 16:06.
      Podrobněji: https://is.muni.cz/publication/703367/cs
    5. On Alternative Construction of LTL Tableau
      ŠIMŠA, Jiří. On Alternative Construction of LTL Tableau. In 2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2006). Mikulov, Czech Republic: FI MU Report Series, 2006, s. 222-229.
      Název česky: O alternativní konstrukci LTL tabla
      Název anglicky: On Alternative Construction of LTL Tableau
      Informatika. angličtina. Česká republika.
      Klíčová slova anglicky: model checking; linear temporal logic; tableau construction
      Změnil: Mgr. Jiří Šimša, učo 60360. Změněno: 7. 12. 2006 12:13.
      Podrobněji: https://is.muni.cz/publication/704336/cs
    6. On Decidability of LTL Model Checking for Process Rewrite Systems
      BOZZELLI, Laura, Mojmír KŘETÍNSKÝ, Vojtěch ŘEHÁK a Jan STREJČEK. On Decidability of LTL Model Checking for Process Rewrite Systems. In FSTTCS 2006: 26th International Conference on Foundations of Software Technology and Theoretical Computer Science, 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings. Berlin: Springer-Verlag, 2006, s. 248-259. ISBN 978-3-540-49994-7.
      Název česky: O rozhodnutelnosti problému ověřování modelu pro LTL a procesové přepisovací systémy
      RIV/00216224:14330/06:00015417 Stať ve sborníku. Informatika. angličtina. Indie.
      Bozzelli, Laura (380 Itálie) -- Křetínský, Mojmír (203 Česká republika, garant) -- Řehák, Vojtěch (203 Česká republika) -- Strejček, Jan (203 Česká republika)
      Klíčová slova anglicky: infinite-state systems; linear time logic; decidability; model checking
      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: 20. 12. 2011 18:12.
      Podrobněji: https://is.muni.cz/publication/698768/cs
    7. On Decidability of LTL Model Checking for Weakly Extended Process Rewrite Systems
      BOZZELLI, Laura, Mojmír KŘETÍNSKÝ, Vojtěch ŘEHÁK a Jan STREJČEK. On Decidability of LTL Model Checking for Weakly Extended Process Rewrite Systems. Brno: FI MU, 2006. FIMU-RS-2006-05.
      URL
      Název česky: O rozhodnutelnosti problému ověřování modelu pro LTL a slabě royšířené procesové přepisovací systémy
      RIV/00216224:14330/06:00015439 Audiovizuální tvorba. Informatika. angličtina. Česká republika.
      Bozzelli, Laura (380 Itálie) -- Křetínský, Mojmír (203 Česká republika, garant) -- Řehák, Vojtěch (203 Česká republika) -- Strejček, Jan (203 Česká republika)
      Klíčová slova anglicky: infinite-state systems; linear time logic; decidability; model checking
      Mezinárodní význam: ano
      Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 31. 3. 2010 15:19.
      Podrobněji: https://is.muni.cz/publication/701734/cs
    8. On Symbolic Verification of Weakly Extended PAD
      BOUAJJANI, Ahmed, Jan STREJČEK a Tayssir TOUILI. On Symbolic Verification of Weakly Extended PAD. In Preliminary Proceedings - 13th International Workshow on Expressiveness in Concurrency - EXPRESS'06. London: Imperial College London, 2006, s. 29-41.
      Název česky: Symbolicka verifikace slabe rozsirenych PAD
      RIV/00216224:14330/06:00018747 Stať ve sborníku. Informatika. angličtina. Německo.
      Bouajjani, Ahmed (504 Maroko) -- Strejček, Jan (203 Česká republika, garant) -- Touili, Tayssir (788 Tunisko)
      Klíčová slova anglicky: rewrite systems; infinite-state systems; symbolic reachability analysis; model checking
      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: 18. 6. 2007 14:11.
      Podrobněji: https://is.muni.cz/publication/719602/cs

    2005

    1. Concrete Search with Abstract Matching and Refinement
      PELÁNEK, Radek, Corina PASAREANU a Willem VISSER. Concrete Search with Abstract Matching and Refinement. In Computer Aided Verification. Edinburgh: Springer, 2005, s. 52-66. ISBN 3-540-27231-3.
      Název česky: Konkrétní hledání s abstraktním sdružováním a zjemněním
      RIV/00216224:14330/05:00012728 Stať ve sborníku. Informatika. angličtina. Velká Británie a Severní Irsko.
      Pelánek, Radek (203 Česká republika, garant) -- Pasareanu, Corina (642 Rumunsko) -- Visser, Willem (710 Jižní Afrika)
      Klíčová slova anglicky: model checking; predicate abstraction; under-approximation
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 21. 11. 2006 14:02.
      Podrobněji: https://is.muni.cz/publication/585982/cs
    2. Deeper Connections between LTL and Alternating Automata
      PELÁNEK, Radek a Jan STREJČEK. Deeper Connections between LTL and Alternating Automata. In Implementation and Application of Automata. Berlin, Heidelberg: Springer-Verlag, 2005, s. 238-249. ISBN 978-3-540-31023-5.
      Název česky: Hlubší spojitosti mezi LTL a alternujícími automaty
      RIV/00216224:14330/05:00012729 Stať ve sborníku. Informatika. angličtina. Francie.
      Pelánek, Radek (203 Česká republika) -- Strejček, Jan (203 Česká republika, garant)
      Klíčová slova anglicky: LTL; alternating automata; model checking
      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 12:50.
      Podrobněji: https://is.muni.cz/publication/586001/cs
    3. Distributed Memory LTL Model Checking (Ph.D. Thesis)
      BARNAT, Jiří. Distributed Memory LTL Model Checking (Ph.D. Thesis). Brno: Masarykova Universita, 2005, 170 s. PhD Thesis.
      Název česky: Ověřování modelu formulemi LTL v prostředís distribuovanou pamětí
      Název anglicky: Distributed Memory LTL Model Checking (Ph.D. Thesis)
      RIV: Odborná kniha. Informatika. angličtina. Česká republika.
      Barnat, Jiří (203 Česká republika, garant)
      Klíčová slova anglicky: Distributed; 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: 23. 6. 2009 14:36.
      Podrobněji: https://is.muni.cz/publication/708116/cs
    4. 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
    5. On Sampled Semantics of Timed Systems
      PELÁNEK, Radek a Pavel KRČÁL. On Sampled Semantics of Timed Systems. In Foundations of Software Technology and Theoretical Computer Science. India: Springer, 2005, s. 310-321. ISBN 978-3-540-30495-1.
      Název česky: O diskrétní sémantice časových automatů
      RIV/00216224:14330/05:00012726 Stať ve sborníku. Informatika. angličtina. Indie.
      Pelánek, Radek (203 Česká republika, garant) -- Krčál, Pavel (203 Česká republika)
      Klíčová slova anglicky: model checking; timed automata; non-emptiness problems; decidability
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 23. 6. 2009 12:59.
      Podrobněji: https://is.muni.cz/publication/585942/cs

    2004

    1. Lower and Upper Bounds in Zone Based Abstractions of Timed Automata
      PELÁNEK, Radek, Kim G. LARSEN, Gerd BEHRMANN a Patricia BOUYER. Lower and Upper Bounds in Zone Based Abstractions of Timed Automata. In Tools and Algorithms for Construction and Analysis of Systems (TACAS 2004). Barcelona (Španělsko): Springer-Verlag, 2004, s. 312-326. ISBN 3-540-21299-X.
      Název česky: Horní a dolní meze při analýze časových automatů s použitím zónové abstrakce
      RIV/00216224:14330/04:00010716 Stať ve sborníku. Informatika. angličtina. Španělsko.
      Pelánek, Radek (203 Česká republika, garant) -- Larsen, Kim G. (208 Dánsko) -- Behrmann, Gerd (208 Dánsko) -- Bouyer, Patricia (250 Francie)
      Klíčová slova anglicky: model checking; timed automata; abstraction
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 21. 11. 2006 14:02.
      Podrobněji: https://is.muni.cz/publication/562991/cs
    2. Model Checking Probabilistic Pushdown Automata
      ESPARZA, Javier, Antonín KUČERA a Richard MAYR. Model Checking Probabilistic Pushdown Automata. In Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science (LICS 2004). Los Alamitos (California): IEEE Computer Society, 2004, s. 12-21. ISBN 0-7695-2192-4.
      Název česky: Ověřování platnosti formulí temporálních logik pro procesy zásobníkových automatů
      RIV/00216224:14330/04:00010191 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Esparza, Javier (724 Španělsko) -- Kučera, Antonín (203 Česká republika, garant) -- Mayr, Richard (276 Německo)
      Klíčová slova anglicky: Probabilistic Pushdown Automata; Model Checking
      Druh sborníku: postkonferenční sborník
      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 17:28.
      Podrobněji: https://is.muni.cz/publication/556531/cs
    3. Parallel Model-Checking
      BRIM, Luboš. Parallel Model-Checking. ERCIM News. ERCIM EEIG, 2004, roč. 58, June, s. 35-36. ISSN 0926-4981.
      URL
      Název česky: Paralelní ověřování modelu
      Název anglicky: Parallel Model-Checking
      RIV/00216224:14330/04:00010182 Článek v odborném periodiku. Informatika. čeština. Česká republika.
      Brim, Luboš (203 Česká republika, garant)
      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/556344/cs

    2003

    1. LTL Hierarchies and Model Checking
      PELÁNEK, Radek. LTL Hierarchies and Model Checking. In Proceedings of the Eight ESSLLI Student Session. Wien: TU Wien, 2003, s. 245-254, 9 s.
      Název anglicky: LTL Hierarchies and Model Checking
      RIV/00216224:14330/03:00008596 Stať ve sborníku. Informatika. angličtina. Rakousko.
      Pelánek, Radek (203 Česká republika, garant)
      Klíčová slova anglicky: LTL; model checking
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 21. 11. 2006 14:02.
      Podrobněji: https://is.muni.cz/publication/489822/cs
    2. Parallel Breadth-First Search LTL Model-Checking
      BARNAT, Jiří, Luboš BRIM a Jakub CHALOUPKA. Parallel Breadth-First Search LTL Model-Checking. In 18th IEEE International Conference on Automated Software Engineering (ASE'03). Montreal: IEEE Computer Society, 2003, s. 106-115. ISBN 0-7695-2035-9.
      RIV/00216224:14330/03:00008593 Stať ve sborníku. Informatika. angličtina. Kanada.
      Barnat, Jiří (203 Česká republika, garant) -- Brim, Luboš (203 Česká republika) -- Chaloupka, Jakub (203 Česká republika)
      Klíčová slova anglicky: model checking; parallel algorithm; 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:17.
      Podrobněji: https://is.muni.cz/publication/489814/cs
    3. PDMC 2003 - Parallel and Distributed Model Checking. Proceedings.
      BRIM, Luboš a Orna GRUMBERG. PDMC 2003 - Parallel and Distributed Model Checking. Proceedings. Nizozemsko: Elsevier, 2003, 130 s. ENTCS, Vol. 89, No. 1.
      Název anglicky: PDMC 2003 - Parallel and Distributed Model Checking. Proceedings.
      RIV/00216224:14330/03:00008595 Odborná kniha. Informatika. angličtina. Nizozemské království.
      Brim, Luboš (203 Česká republika, garant) -- Grumberg, Orna (376 Izrael)
      Klíčová slova anglicky: model checking; parallel computing; distributed 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/489820/cs
    4. Relating Hierarchy of Temporal Properties to Model Checking
      ČERNÁ, Ivana a Radek PELÁNEK. Relating Hierarchy of Temporal Properties to Model Checking. In Mathematical Foundations of Computer Science (MFCS 2003). Bratislava (Slovensko): Springer-Verlag, 2003, s. 318-327. ISBN 3-540-40671-9.
      RIV/00216224:14330/03:00008590 Stať ve sborníku. Informatika. angličtina. Německo.
      Černá, Ivana (203 Česká republika, garant) -- Pelánek, Radek (203 Česká republika)
      Klíčová slova anglicky: temporal logic; automata over infinite words; model checking
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnila: prof. RNDr. Ivana Černá, CSc., učo 1419. Změněno: 8. 6. 2009 16:09.
      Přír. čísla: 4200509002
      Podrobněji: https://is.muni.cz/publication/489732/cs
    5. Using Assumptions to Distribute Alternation Free mu-Calculus Model Checking
      BRIM, Luboš a Jitka ŽÍDKOVÁ. Using Assumptions to Distribute Alternation Free mu-Calculus Model Checking. In 2st International Workshop on Parallel and Distributed Model Checking (PDMC 2003). Boulder, Colorado, USA. Brno, Czech Republic: Elsevier, 2003, s. 19-34.
      URL
      RIV/00216224:14330/03:00008592 Stať ve sborníku. Informatika. angličtina. Nizozemské království.
      Brim, Luboš (203 Česká republika, garant) -- Žídková, Jitka (203 Česká republika)
      Klíčová slova anglicky: verification; model checking
      Změnila: Mgr. Jitka Žídková, učo 2922. Změněno: 26. 5. 2004 16:19.
      Podrobněji: https://is.muni.cz/publication/489737/cs
    6. Using Assumptions to Distribute Model Checking
      ŽÍDKOVÁ, Jitka. Using Assumptions to Distribute Model Checking. In Počítačové Architektury & Diagnostika. Brno, Česká republika: Vysoké učení technické v Brně, Fakulta Informačních technologií, Ustav počítačových systémů, 2003, s. 73-78. ISBN 80-214-2471-0.
      Název anglicky: Using Assumptions to Distribute Model Checking
      RIV/00216224:14330/03:00008254 Stať ve sborníku. Informatika. angličtina. Česká republika.
      Žídková, Jitka (203 Česká republika, garant)
      Klíčová slova anglicky: verification; model checking; distribution
      Změnila: Mgr. Jitka Žídková, učo 2922. Změněno: 26. 5. 2004 16:20.
      Podrobněji: https://is.muni.cz/publication/489735/cs
    7. Verification of COMBO6 VHDL Design
      KRATOCHVÍLA, Tomáš, Vojtěch ŘEHÁK a Pavel ŠIMEČEK. Verification of COMBO6 VHDL Design. Praha: CESNET, z.s.p.o., 2003. CESNET Technical Report No. 17/2003.
      URL
      RIV/00216224:14330/03:00008325 Audiovizuální tvorba. Informatika. angličtina. Česká republika.
      Kratochvíla, Tomáš (203 Česká republika) -- Řehák, Vojtěch (203 Česká republika, garant) -- Šimeček, Pavel (203 Česká republika)
      Klíčová slova anglicky: Liberouter; Combo6; formal verification; hardware verification; model checking; Cadence SMV; LeonardoSpectrum
      Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 18. 10. 2004 15:55.
      Podrobněji: https://is.muni.cz/publication/490367/cs

    2002

    1. Local Distributed Model Checking of RegCTL
      ČERNÁ, Ivana a Tomáš BRÁZDIL. Local Distributed Model Checking of RegCTL. In PDMC 2002 Parallel and Distributed Model Checking. The Netherlands: Elsevier Science Publishers, 2002, s. 1-14. ISBN 0444512918.
      Název anglicky: Local Distributed Model Checking of RegCTL
      RIV/00216224:14330/02:00006437 Stať ve sborníku. Informatika. angličtina. Nizozemské království.
      Černá, Ivana (203 Česká republika, garant) -- Brázdil, Tomáš (203 Česká republika)
      Klíčová slova anglicky: model checking
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnila: prof. RNDr. Ivana Černá, CSc., učo 1419. Změněno: 22. 11. 2006 15:07.
      Podrobněji: https://is.muni.cz/publication/405442/cs
    2. Model checking in IPv6 Hardware Router Design
      BARNAT, Jiří, Tomáš BRÁZDIL, Pavel KRČÁL, Vojtěch ŘEHÁK a David ŠAFRÁNEK. Model checking in IPv6 Hardware Router Design. Praha: CESNET, z. s. p. o., 2002. CESNET technical report number 8/2002.
      URL
      Počítačový hardware a software. angličtina. Česká republika.
      Klíčová slova anglicky: model checking; hardware design
      Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 20. 12. 2004 12:13.
      Podrobněji: https://is.muni.cz/publication/405984/cs
    3. PDMC 2002 - Parallel and Distributed Model Checking.
      BRIM, Luboš a Orna GRUMBERG. PDMC 2002 - Parallel and Distributed Model Checking. 2002.
      Název anglicky: PDMC 2002 - Parallel and Distributed Model Checking.
      RIV/00216224:14330/02:00007762 Uspořádání workshopu. Počítačový hardware a software. angličtina. Nizozemské království.
      Brim, Luboš (203 Česká republika, garant) -- Grumberg, Orna (376 Izrael)
      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/486514/cs
    4. PDMC 2002 - Parallel and Distributed Model Checking. Proceedings.
      BRIM, Luboš a Orna GRUMBERG. PDMC 2002 - Parallel and Distributed Model Checking. Proceedings. Nizozemsko: Elsevier, 2002, 165 s. ENTCS, Vol. 68, No. 4. ISBN 0444512918.
      Název anglicky: PDMC 2002 - Parallel and Distributed Model Checking. Proceedings.
      RIV/00216224:14330/02:00006419 Odborná kniha. Počítačový hardware a software. angličtina. Nizozemské království.
      Brim, Luboš (203 Česká republika, garant) -- Grumberg, Orna (376 Izrael)
      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/405363/cs
    5. Using Assumptions to Distribute CTL Model Checking
      BRIM, Luboš, Jitka CRHOVÁ a Karen YORAV. Using Assumptions to Distribute CTL Model Checking. In 1st International Workshop on Parallel and Distributed Model Checking (PDMC 2002). Brno, Czech Republic: Elsevier, 2002, s. 80-95. ISBN 0444512918.
      Název anglicky: Using Assumptions to Distribute CTL Model Checking
      RIV/00216224:14330/02:00006432 Stať ve sborníku. Počítačový hardware a software. angličtina. Nizozemské království.
      Brim, Luboš (203 Česká republika, garant) -- Crhová, Jitka (203 Česká republika) -- Yorav, Karen (376 Izrael)
      Klíčová slova anglicky: verification; 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/405432/cs

    2001

    1. Randomization Helps in LTL Model Checking
      BRIM, Luboš, Ivana ČERNÁ a Martin NEČESAL. Randomization Helps in LTL Model Checking. In Process Algebra and Probabilistic Methods. Proceedings of PAPM-PROBMIV 2001. Berlin Heidelberg New York: Springer, 2001, s. 105-119. LNCS 2165. ISBN 3-540-42556-X.
      RIV/00216224:14330/01:00004526 Stať ve sborníku. Teorie informace. angličtina. Německo.
      Klíčová slova anglicky: Model checking; randomized algorithm; depth-first search
      Změnila: prof. RNDr. Ivana Černá, CSc., učo 1419. Změněno: 31. 10. 2001 08:01.
      Podrobněji: https://is.muni.cz/publication/371573/cs
Zobrazeno: 25. 4. 2024 09:20