Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2024

    1. Software Verification Witnesses 2.0
      AYAZIOVÁ, Paulína, Dirk BEYER, Marian LINGSCH-ROSENFELD, Martin SPIESSL a Jan STREJČEK. Software Verification Witnesses 2.0. Online. In Thomas Neele and Anton Wijs. Model Checking Software - 30th International Symposium, SPIN 2024. Cham (Švýcarsko): Springer, 2024, s. 184-204.
      angličtina. Německo.
      Klíčová slova anglicky: verification witnesses; software verification; validation; exchange format; invariant; counterexample
      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: 26. 8. 2024 14:52.
      Podrobněji: https://is.muni.cz/publication/2425639/cs
    2. Symbiotic 10: Lazy Memory Initialization and Compact Symbolic Execution
      JONÁŠ, Martin, Kristián KUMOR, Jakub NOVÁK, Jindřich SEDLÁČEK, Marek TRTÍK, Lukáš ZAORAL, Paulína AYAZIOVÁ a Jan STREJČEK. Symbiotic 10: Lazy Memory Initialization and Compact Symbolic Execution. Online. In Bernd Finkbeiner and Laura Kovács. Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III. Cham (Švýcarsko): Springer, 2024, s. 406-411. ISBN 978-3-031-57255-5. Dostupné z: https://dx.doi.org/10.1007/978-3-031-57256-2_29.
      URL
      RIV: Stať ve sborníku. angličtina. Německo.
      Jonáš, Martin (203 Česká republika, garant, domácí) -- Kumor, Kristián (703 Slovensko, domácí) -- Novák, Jakub (703 Slovensko, domácí) -- Sedláček, Jindřich (203 Česká republika, domácí) -- Trtík, Marek (203 Česká republika, domácí) -- Zaoral, Lukáš (203 Česká republika) -- Ayaziová, Paulína (703 Slovensko, domácí) -- Strejček, Jan (203 Česká republika, domácí)
      Klíčová slova anglicky: symbolic execution; software verification; Symbiotic
      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: 24. 4. 2024 13:32.
      Podrobněji: https://is.muni.cz/publication/2396645/cs
    3. Tighter Construction of Tight Büchi Automata
      JANKOLA, Marek a Jan STREJČEK. Tighter Construction of Tight Büchi Automata. Online. In Naoki Kobayashi and James Worrell. Foundations of Software Science and Computation Structures - 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I. Cham: Springer, 2024, s. 234-255. ISBN 978-3-031-57227-2. Dostupné z: https://dx.doi.org/10.1007/978-3-031-57228-9_12.
      URL
      RIV: Stať ve sborníku. angličtina. Německo.
      Jankola, Marek (703 Slovensko) -- Strejček, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: tight automata; shortest counterexamples; LTL
      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: 23. 4. 2024 18:31.
      Podrobněji: https://is.muni.cz/publication/2396421/cs
    4. Witch 3: Validation of Violation Witnesses in the Witness Format 2.0
      AYAZIOVÁ, Paulína a Jan STREJČEK. Witch 3: Validation of Violation Witnesses in the Witness Format 2.0. Online. In Bernd Finkbeiner and Laura Kovács. Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III. Cham (Švýcarsko): Springer, 2024, s. 341-346. ISBN 978-3-031-57255-5. Dostupné z: https://dx.doi.org/10.1007/978-3-031-57256-2_18.
      URL
      RIV: Stať ve sborníku. angličtina. Německo.
      Ayaziová, Paulína (703 Slovensko, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Witch;witness-validator;SV-COMP;verification witness
      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: 23. 4. 2024 18:51.
      Podrobněji: https://is.muni.cz/publication/2396437/cs

    2023

    1. Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation
      AYAZIOVÁ, Paulína a Jan STREJČEK. Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation. Online. In Sriram Sankaranarayanan and Natasha Sharygina. Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II. Cham (Švýcarsko): Springer, Cham, 2023, s. 523-528. ISBN 978-3-031-30819-2. Dostupné z: https://dx.doi.org/10.1007/978-3-031-30820-8_30.
      URL
      RIV/00216224:14330/23:00131936 Stať ve sborníku. angličtina. Švýcarsko.
      Ayaziová, Paulína (703 Slovensko, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Witch;witness-validator;SV-COMP;verification witness
      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: 7. 4. 2024 23:35.
      Podrobněji: https://is.muni.cz/publication/2326763/cs

    2022

    1. Case Study on Verification-Witness Validators: Where We Are and Where We Go
      BEYER, Dirk a Jan STREJČEK. Case Study on Verification-Witness Validators: Where We Are and Where We Go. Online. In Gagandeep Singh, Caterina Urban. Static Analysis - 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022, Proceedings. Cham (Switzerland): Springer, 2022, s. 160-174. ISBN 978-3-031-22307-5. Dostupné z: https://dx.doi.org/10.1007/978-3-031-22308-2_8.
      URL
      RIV/00216224:14330/22:00127777 Stať ve sborníku. angličtina. Švýcarsko.
      Beyer, Dirk (276 Německo) -- Strejček, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: software verification;program analysis;software validation;software bugs;verification witnesses;evaluation;benchmarking
      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. 3. 2023 12:08.
      Podrobněji: https://is.muni.cz/publication/2244108/cs
    2. Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding
      CHALUPA, Marek, Vincent MIHALKOVIČ, Anna ŘECHTÁČKOVÁ, Lukáš ZAORAL a Jan STREJČEK. Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding. Online. In Dana Fisman and Grigore Rosu. Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II. Cham (Švýcarsko): Springer, Cham, 2022, s. 462-467. ISBN 978-3-030-99526-3. Dostupné z: https://dx.doi.org/10.1007/978-3-030-99527-0_32.
      URL
      RIV/00216224:14330/22:00125696 Stať ve sborníku. angličtina. Švýcarsko.
      Chalupa, Marek (203 Česká republika, domácí) -- Mihalkovič, Vincent (703 Slovensko, domácí) -- Řechtáčková, Anna (203 Česká republika, domácí) -- Zaoral, Lukáš (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Symbiotic;BSELF;SV-COMP;program analysis;verification
      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. 3. 2023 12:49.
      Podrobněji: https://is.muni.cz/publication/1848419/cs
    3. Symbiotic-Witch: A Klee-Based Violation Witness Checker
      AYAZIOVÁ, Paulína, Marek CHALUPA a Jan STREJČEK. Symbiotic-Witch: A Klee-Based Violation Witness Checker. Online. In Dana Fisman and Grigore Rosu. Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II. Cham (Švýcarsko): Springer, Cham, 2022, s. 468-473. ISBN 978-3-030-99526-3. Dostupné z: https://dx.doi.org/10.1007/978-3-030-99527-0_33.
      URL
      RIV/00216224:14330/22:00125695 Stať ve sborníku. angličtina. Švýcarsko.
      Ayaziová, Paulína (703 Slovensko, domácí) -- Chalupa, Marek (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Symbiotic;witness-validator;SV-COMP;verification witness
      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. 3. 2023 10:40.
      Podrobněji: https://is.muni.cz/publication/1848418/cs

    2021

    1. Symbiotic 8 (software)
      CHALUPA, Marek, Tomáš JAŠEK, Jakub NOVÁK, Anna ŘECHTÁČKOVÁ, Veronika ŠOKOVÁ a Jan STREJČEK. Symbiotic 8. 2021.
      Odkaz na stránku software
      RIV/00216224:14330/21:00119972 Software. angličtina. Česká republika.
      Chalupa, Marek (203 Česká republika, domácí) -- Jašek, Tomáš (703 Slovensko, domácí) -- Novák, Jakub (703 Slovensko, domácí) -- Řechtáčková, Anna (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Symbiotic; symbolic execution; slicing; bug-finding
      Mezinárodní význam: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 6. 11. 2023 10:41.
      Podrobněji: https://is.muni.cz/publication/1829857/cs

    2020

    1. Symbiotic 7: Integration of Predator and More (Competition Contribution)
      CHALUPA, Marek, Tomáš JAŠEK, Lukáš TOMOVIČ, Martin HRUŠKA, Veronika ŠOKOVÁ, Paulína AYAZIOVÁ, Jan STREJČEK a Tomáš VOJNAR. Symbiotic 7: Integration of Predator and More (Competition Contribution). In Armin Biere, David Parker. Tools and Algorithms for the Construction and Analysis of Systems. Německo: Springer, 2020, s. 413-417. ISBN 978-3-030-45236-0. Dostupné z: https://dx.doi.org/10.1007/978-3-030-45237-7_31.
      URL
      Název anglicky: Symbiotic 7: Integration of Predator and More (Competition Contribution)
      RIV/00216224:14330/20:00114113 Stať ve sborníku. angličtina. Německo.
      Chalupa, Marek (203 Česká republika, garant, domácí) -- Jašek, Tomáš (703 Slovensko, domácí) -- Tomovič, Lukáš (703 Slovensko, domácí) -- Ayaziová, Paulína (703 Slovensko, domácí) -- Strejček, Jan (203 Česká republika, domácí) -- Vojnar, Tomáš (203 Česká republika)
      Klíčová slova anglicky: Symbiotic;Predator;Program Slicing;Termination Analysis;Shape Analysis;Symbolic Execution
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 29. 4. 2021 12:25.
      Podrobněji: https://is.muni.cz/publication/1649136/cs

    2009

    1. 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. Component-Interaction Automata Approach (CoIn)
      ZIMMEROVÁ, Barbora, Pavlína VAŘEKOVÁ, Nikola BENEŠ, Ivana ČERNÁ, Luboš BRIM a Jiří SOCHOR. Component-Interaction Automata Approach (CoIn). In The Common Component Modeling Example: Comparing Software Component Models. Berlin / Heidelberg, Germany: Springer Verlag, 2008, s. 146-176. LNCS 5153. ISBN 978-3-540-85288-9.
      URL
      Název česky: Přístup využívající Component-Interaction automaty
      RIV/00216224:14330/08:00024133 Kapitola resp. kapitoly v odborné knize. Informatika. angličtina. Německo.
      Zimmerová, Barbora (203 Česká republika, garant) -- Vařeková, Pavlína (203 Česká republika) -- Beneš, Nikola (203 Česká republika) -- Černá, Ivana (203 Česká republika) -- Brim, Luboš (203 Česká republika) -- Sochor, Jiří (203 Česká republika)
      Klíčová slova anglicky: Component models; modelling; verification; Component Interaction automata
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnila: doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394. Změněno: 19. 3. 2009 18:51.
      Podrobněji: https://is.muni.cz/publication/744248/cs

    2007

    1. Empirické ověření platnosti teorie optimální kapitálové struktury firmy v České republice
      VALOUCH, Petr a Jaroslav SEDLÁČEK. Empirické ověření platnosti teorie optimální kapitálové struktury firmy v České republice. In Sborník příspěvků z mezinárodní vědecké konference Evropské finanční systémy 2007. 1. vyd. Brno: ESF MU, 2007, s. 419-427. ISBN 978-80-210-4319-0.
      Název anglicky: The empirical verification of the validity of the optimal capital structure theory of the enterprise in the Czech Republic
      RIV/00216224:14560/07:00050775 Stať ve sborníku. Ekonomie. čeština. Česká republika.
      Valouch, Petr (203 Česká republika, garant, domácí) -- Sedláček, Jaroslav (203 Česká republika, domácí)
      Klíčová slova anglicky: The optimal capital structure theory of the enterprise; verification; Pearson chi quadrant test; Fisher both-sided exact test.
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: Ing. Petr Valouch, Ph.D., učo 11223. Změněno: 5. 4. 2012 10:20.
      Podrobněji: https://is.muni.cz/publication/719719/cs
    2. Reflecting Creation and Destruction of Instances in CBSs Modelling and Verification
      ZIMMEROVÁ, Barbora a Pavlína VAŘEKOVÁ. Reflecting Creation and Destruction of Instances in CBSs Modelling and Verification. In MEMICS proceedings. Brno, Czech Republic: Ing. Zdeněk Novotný CSc., 2007, s. 257-264. ISBN 978-80-7355-077-6.
      URL
      Název česky: Zohlednění vytváření a mazání instancí při modelování a verifikaci komponentových systémů
      RIV/00216224:14330/07:00020538 Stať ve sborníku. Informatika. angličtina. Česká republika.
      Zimmerová, Barbora (203 Česká republika, garant, domácí) -- Vařeková, Pavlína (203 Česká republika, domácí)
      Klíčová slova anglicky: Component-based systems; verification; component instances
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnila: doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394. Změněno: 4. 11. 2012 15:29.
      Podrobněji: https://is.muni.cz/publication/726776/cs
    3. Subject-observer specification with component-interaction automata
      VAŘEKOVÁ, Pavlína a Barbora ZIMMEROVÁ. Subject-observer specification with component-interaction automata. In Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering. New York, NY, USA: ACM Press, 2007, s. 75-81. ISBN 978-1-59593-721-6.
      URL
      Název česky: Specifikace vzoru Subject-Observer pomocí Component-Interaction automatů
      RIV/00216224:14330/07:00019482 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Vařeková, Pavlína (203 Česká republika, domácí) -- Zimmerová, Barbora (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Component-based systems; dynamic number of components; finite-state systems; verification; software modelling
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnila: doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394. Změněno: 4. 11. 2012 15:29.
      Podrobněji: https://is.muni.cz/publication/726164/cs

    2006

    1. Component-Interaction Automata as a Verification-Oriented Component-Based System Specification
      BRIM, Luboš, Ivana ČERNÁ, Pavlína VAŘEKOVÁ a Barbora ZIMMEROVÁ. Component-Interaction Automata as a Verification-Oriented Component-Based System Specification. Software engineering notes : an informal newsletter of the Special Interest Committee on Software Engineering. [New York, N.Y.?]: ACM, 2006, roč. 31, č. 2, s. 1-8. ISSN 0163-5948.
      Název česky: Component-Interaction automaty pro verifikačně orientovanou specifikaci komponentových systémů
      RIV/00216224:14330/06:00015470 Článek v odborném periodiku. Informatika. angličtina. Spojené státy.
      Brim, Luboš (203 Česká republika, garant, domácí) -- Černá, Ivana (203 Česká republika, domácí) -- Vařeková, Pavlína (203 Česká republika, domácí) -- Zimmerová, Barbora (203 Česká republika, domácí)
      Klíčová slova anglicky: ADLs; Component-Interaction automata; component interaction; verification
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnila: doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394. Změněno: 4. 11. 2012 15:27.
      Podrobněji: https://is.muni.cz/publication/703524/cs
    2. Component-Interaction Automata Modelling Language
      ČERNÁ, Ivana, Pavlína VAŘEKOVÁ a Barbora ZIMMEROVÁ. Component-Interaction Automata Modelling Language. Brno, Czech Republic: Faculty of Informatics, Masaryk University, 2006. Technical report FIMU-RS-2006-08.
      FIMU Technical Reports URL
      Název česky: Modelovací jazyk Component-Interaction automatů
      RIV/00216224:14330/06:00024121 Audiovizuální tvorba. Informatika. angličtina. Česká republika.
      Černá, Ivana (203 Česká republika, garant, domácí) -- Vařeková, Pavlína (203 Česká republika, domácí) -- Zimmerová, Barbora (203 Česká republika, domácí)
      Klíčová slova anglicky: Component-based systems; automata theory; specification; verification
      Mezinárodní význam: ano
      Změnila: doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394. Změněno: 4. 11. 2012 15:26.
      Podrobněji: https://is.muni.cz/publication/698725/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

    2005

    1. Component-Interaction Automata as a Verification-Oriented Component-Based System Specification
      BRIM, Luboš, Ivana ČERNÁ, Pavlína VAŘEKOVÁ a Barbora ZIMMEROVÁ. Component-Interaction Automata as a Verification-Oriented Component-Based System Specification. In Proceedings of SAVCBS 2005. Ames, USA: Department of Computer Science, Iowa State University, 2005, s. 31-38.
      URL
      Název česky: Component-Interaction automaty pro verifikačně orientovanou specifikaci komponentových systémů
      RIV/00216224:14330/05:00012815 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Brim, Luboš (203 Česká republika, garant) -- Černá, Ivana (203 Česká republika) -- Vařeková, Pavlína (203 Česká republika) -- Zimmerová, Barbora (203 Česká republika)
      Klíčová slova anglicky: ADLs; Component-Interaction automata; component interaction; verification
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnila: doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394. Změněno: 29. 11. 2006 14:53.
      Podrobněji: https://is.muni.cz/publication/591644/cs
    2. Component-Interaction Automata for Specification and Verification of Component Interactions
      VAŘEKOVÁ, Pavlína a Barbora ZIMMEROVÁ. Component-Interaction Automata for Specification and Verification of Component Interactions. In IFM 2005 Doctoral Symposium on Integrated Formal Methods. Eindhoven, The Netherlands: Technische Universiteit Eindhoven (TU/e), 2005, s. 71-75.
      Název česky: Component-Interaction automaty pro specifikaci a verifikaci interakcí mezi komponentami
      RIV/00216224:14330/05:00013242 Stať ve sborníku. Informatika. angličtina. Nizozemské království.
      Vařeková, Pavlína (203 Česká republika) -- Zimmerová, Barbora (203 Česká republika, garant)
      Klíčová slova anglicky: Component-Interaction automata; specification; verification; component-based systems
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnila: doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394. Změněno: 2. 12. 2006 16:39.
      Podrobněji: https://is.muni.cz/publication/623025/cs
    3. Recursion vs. Replication in Simple Cryptographic Protocols
      HUTTEL, Hans a Jiří SRBA. Recursion vs. Replication in Simple Cryptographic Protocols. In Proceedings of 31st Annual Conference on Current Trends in Theory and Practice of Informatics (SOFSEM'05). Netherlands: Springer-Verlag, 2005, s. 175-184.
      Název česky: Rekurze a replikace a jednoduchych kryptografickych protokolech
      RIV/00216224:14330/05:00012753 Stať ve sborníku. Informatika. angličtina. Nizozemské království.
      Huttel, Hans (208 Dánsko) -- Srba, Jiří (203 Česká republika, garant)
      Klíčová slova anglicky: cryptographic protocols; recursion; replication; verification
      Změnil: RNDr. JUDr. Vladimír Šmíd, CSc., učo 1084. Změněno: 6. 7. 2007 09:03.
      Podrobněji: https://is.muni.cz/publication/588242/cs
    4. Tests of Heteroskedasticity and Eventual Conflicts among Them
      MORAVANSKÝ, Dalibor a Daniel NĚMEC. Tests of Heteroskedasticity and Eventual Conflicts among Them. In Proceedings of the 23rd International Conference Mathematical Methods in Economics 2005. Hradec Králové: GAUDEAMUS Univerzita Hradec Králové, 2005, s. 279-287. ISBN 978-80-7041-535-1.
      Název česky: Testy heteroskedasticity a možné rozpory mezi nimi
      RIV/00216224:14560/05:00012636 Stať ve sborníku. Ekonomie. angličtina. Česká republika.
      Moravanský, Dalibor (203 Česká republika, garant) -- Němec, Daniel (203 Česká republika)
      Klíčová slova anglicky: Heteroskedasticity; Statistical testing; verification; econometric analysis
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. Ing. Daniel Němec, Ph.D., učo 22939. Změněno: 22. 11. 2010 17:38.
      Podrobněji: https://is.muni.cz/publication/576822/cs
    5. Timed-Arc Petri Nets vs. Networks of Timed Automata
      SRBA, Jiří. Timed-Arc Petri Nets vs. Networks of Timed Automata. In Proceedings of the 26th International Conference on Application and Theory of {P}etri Nets (ICATPN 2005). Netherlands: Springer-Verlag, 2005, s. 385-402.
      Název česky: Casove Petriho site vs. site casovych automatu
      RIV/00216224:14330/05:00012754 Stať ve sborníku. Informatika. angličtina. Nizozemské království.
      Srba, Jiří (203 Česká republika, garant)
      Klíčová slova anglicky: Petri nets; time models; verification; timed automata
      Změnil: RNDr. JUDr. Vladimír Šmíd, CSc., učo 1084. Změněno: 6. 7. 2007 09:02.
      Podrobněji: https://is.muni.cz/publication/588243/cs

    2004

    1. A General Approach to Comparing Infinite-State Systems with Their Finite-State Specifications
      KUČERA, Antonín a Philippe SCHNOEBELEN. A General Approach to Comparing Infinite-State Systems with Their Finite-State Specifications. P. Gardner, N. Yoshida (Eds.). In Proceedings of 15th International Conference on Concurrency Theory (CONCUR 2004). Berlin: Springer, 2004, s. 371-386. ISBN 3-540-22940-X.
      Název česky: Obecný přístup k sémantickému porovnávání nekonečně-stavových systémů s jejich konečně-stavovými specifikacemi
      RIV/00216224:14330/04:00010252 Stať ve sborníku. Informatika. angličtina. Německo.
      Kučera, Antonín (203 Česká republika, garant) -- Schnoebelen, Philippe (250 Francie)
      Klíčová slova anglicky: verification; semantic equivalences; infinite-state systems
      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/557411/cs
    2. 3rd International Workshop on Parallel and Distributed Methods in verifiCation (PDMC'04)
      BRIM, Luboš. 3rd International Workshop on Parallel and Distributed Methods in verifiCation (PDMC'04). 2004.
      Název česky: Mezinárodní workshop Paralelní a distribuované metody verifikace (PDMC'04)
      Název anglicky: Parallel and Distributed Methods in Verification (PDMC'04)
      RIV/00216224:14330/04:00019837 Uspořádání konference. Informatika. angličtina. Velká Británie a Severní Irsko.
      Brim, Luboš (203 Česká republika, garant)
      Klíčová slova anglicky: Parallel and Distributed Methods; Verification
      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/563907/cs

    2003

    1. Deciding Bisimilarity between BPA and BPP Processes
      JANČAR, Petr, Antonín KUČERA a Faron MOLLER. Deciding Bisimilarity between BPA and BPP Processes. R. Amadio, D. Lugiez (Eds.). In Proceedings of 14th International Conference on Concurrency Theory (CONCUR 2003). Berlin: Springer, 2003, s. 159-174. ISBN 3-540-40753-7.
      RIV/00216224:14330/03:00008161 Stať ve sborníku. Informatika. angličtina. Německo.
      Jančar, Petr (203 Česká republika) -- Kučera, Antonín (203 Česká republika, garant) -- Moller, Faron (124 Kanada)
      Klíčová slova anglicky: verification; bisimilarity; infinite-state systems
      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.
      Přír. čísla: 4200509075
      Podrobněji: https://is.muni.cz/publication/488377/cs
    2. 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, 2003, Volume 80, č. 1, s. 120-125.
      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
    3. 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
    4. 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

    2002

    1. Automatizovaná formální verifikace
      BRIM, Luboš. Automatizovaná formální verifikace. In XXI. conference EurOpen 2002. Znojmo, Czech republic. Znojmo, Czech Republic: EuroOpen.cz, Praha, 2002, s. 1-7. ISBN 80-86583-00-7.
      Název anglicky: Automated formal verification
      RIV/00216224:14330/02:00006441 Stať ve sborníku. Počítačový hardware a software. čeština. Česká republika.
      Brim, Luboš (203 Česká republika, garant)
      Klíčová slova anglicky: verification
      Změnil: prof. RNDr. Luboš Brim, CSc., učo 197. Změněno: 10. 1. 2006 15:01.
      Podrobněji: https://is.muni.cz/publication/405449/cs
    2. Biometrická identifikace a verifikace II - Základní kritéria měření výkonnosti biometrických metod
      MATYÁŠ, Václav, Roman RAK a Zdeněk ŘÍHA. Biometrická identifikace a verifikace II - Základní kritéria měření výkonnosti biometrických metod. Data Security Management. Praha: Tate International, 2002, VI., č. 3, s. 32-35. ISSN 1211-8737.
      Název anglicky: Biometric identification and verification - Basic criteria for measuring performance of biometric methods

      Klíčová slova anglicky: biometric; identification; verification; criteria; measurement ;performance
      Recenzováno: ano
      Změnil: prof. RNDr. Václav Matyáš, M.Sc., Ph.D., učo 344. Změněno: 29. 3. 2007 21:48.
      Podrobněji: https://is.muni.cz/publication/404697/cs
    3. On the Complexity of Semantic Equivalences for Pushdown Automata and BPA
      KUČERA, Antonín a Richard MAYR. On the Complexity of Semantic Equivalences for Pushdown Automata and BPA. K. Diks, W. Rytter (Eds.). In Proceedings of 27th International Symposium on Mathematical Foundations of Computer Science (MFCS 2002). Berlin: Springer, 2002, s. 433-445. ISBN 3-540-44040-2.
      Název anglicky: On the Complexity of Semantic Equivalences for Pushdown Automata and BPA
      RIV/00216224:14330/02:00006374 Stať ve sborníku. Počítačový hardware a software. angličtina. Německo.
      Kučera, Antonín (203 Česká republika, garant) -- Mayr, Richard (276 Německo)
      Klíčová slova anglicky: verification; concurrency; weak bisimilarity; infinite-state systems
      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.
      Přír. čísla: 4200507990
      Podrobněji: https://is.muni.cz/publication/405198/cs
    4. 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, 2002, s. 1-10.
      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
    5. The Stuttering Principle Revisited: On the Expressiveness of Nested X and U Operators in the Logic LTL
      KUČERA, Antonín a Jan STREJČEK. The Stuttering Principle Revisited: On the Expressiveness of Nested X and U Operators in the Logic LTL. J. Bradfield (Ed.). In Proceedings of the Annual Conference of the European Association for Computer Science Logic (CSL'02). Berlin: Springer, 2002, s. 276-291. ISBN 3-540-44240-5.
      RIV/00216224:14330/02:00006381 Stať ve sborníku. Počítačový hardware a software. angličtina. Německo.
      Kučera, Antonín (203 Česká republika, garant) -- Strejček, Jan (203 Česká republika)
      Klíčová slova anglicky: verification; concurrency; weak bisimilarity; infinite-state systems
      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: 20. 12. 2011 18:12.
      Přír. čísla: 4200508076
      Podrobněji: https://is.muni.cz/publication/405208/cs
    6. 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
    7. 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, 2002, s. 262-267.
      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
    8. Why is Simulation Harder Than Bisimulation?
      KUČERA, Antonín a Richard MAYR. Why is Simulation Harder Than Bisimulation? L. Brim, P. Jancar, M. Kretinsky, A. Kucera (Eds.). In Proceedings of 13th International Conference on Concurrency Theory (CONCUR 2002). Berlin: Springer, 2002, s. 594-609. ISBN 3-540-44043-7.
      Název anglicky: Why is Simulation Harder Than Bisimulation?
      RIV/00216224:14330/02:00006376 Stať ve sborníku. Počítačový hardware a software. angličtina. Německo.
      Kučera, Antonín (203 Česká republika, garant) -- Mayr, Richard (276 Německo)
      Klíčová slova anglicky: verification; concurrency; weak bisimilarity; infinite-state systems
      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.
      Přír. čísla: 4200507940, 4200507971
      Podrobněji: https://is.muni.cz/publication/405201/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, 2001, s. 200-215. ISBN 3-540-42124-6.
      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, 2000, 16 s. Technical Reports.
      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

    1999

    1. A Logical Viewpoint on Process-Algebraic Quotients
      KUČERA, Antonín a Javier ESPARZA. A Logical Viewpoint on Process-Algebraic Quotients. J. Flum, M. Rodríguez-Artalejo (Eds.). In Computer Science Logic; Proceedings of 8th Annual Conference of the EACSL (CSL´99). Berlin: Springer, 1999, s. 499-514. Lecture Notes in Computer Science, vol. 1683. ISBN 3-540-66536-6.
      RIV/00216224:14330/99:00001125 Stať ve sborníku. Počítačový hardware a software. angličtina. Německo.
      Klíčová slova anglicky: verification; concurrency; logic; process descriptions
      Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 13. 1. 2000 10:35.
      Podrobněji: https://is.muni.cz/publication/208571/cs
    2. Weak Bisimilarity with Infinite-State Systems Can Be Decided in Polynomial Time
      KUČERA, Antonín a Richard MAYR. Weak Bisimilarity with Infinite-State Systems Can Be Decided in Polynomial Time. J.C.M. Baeten, S. Mauw (Eds.). In Proceedings of 10th International Conference on Concurrency Theory (CONCUR´99). Berlin: Springer, 1999, s. 368-382. Lecture Notes in Computer Science, vol. 1664. ISBN 3-540-66425-4.
      Název anglicky: Weak Bisimilarity with Infinite-State Systems Can Be Decided in Polynomial Time
      RIV/00216224:14330/99:00001106 Stať ve sborníku. Počítačový hardware a software. angličtina. Německo.
      Klíčová slova anglicky: verification; concurrency; weak bisimilarity; infinite-state systems
      Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 13. 1. 2000 10:47.
      Podrobněji: https://is.muni.cz/publication/207311/cs
Zobrazeno: 23. 9. 2024 21:24