Masaryk University

Publication Records

česky | in English

Filter publications

    2024

    1. Software Verification Witnesses 2.0
      AYAZIOVÁ, Paulína, Dirk BEYER, Marian LINGSCH-ROSENFELD, Martin SPIESSL and 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, p. 184-204.
      English. Germany.
      Keywords in English: verification witnesses; software verification; validation; exchange format; invariant; counterexample
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Changed: 26/8/2024 14:52.
      More: https://is.muni.cz/publication/2425639/en
    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Á and 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, p. 406-411. ISBN 978-3-031-57255-5. Available from: https://dx.doi.org/10.1007/978-3-031-57256-2_29.
      URL
      RIV: Proceedings paper. English. Germany.
      Jonáš, Martin (203 Czech Republic, guarantor, belonging to the institution) -- Kumor, Kristián (703 Slovakia, belonging to the institution) -- Novák, Jakub (703 Slovakia, belonging to the institution) -- Sedláček, Jindřich (203 Czech Republic, belonging to the institution) -- Trtík, Marek (203 Czech Republic, belonging to the institution) -- Zaoral, Lukáš (203 Czech Republic) -- Ayaziová, Paulína (703 Slovakia, belonging to the institution) -- Strejček, Jan (203 Czech Republic, belonging to the institution)
      Keywords in English: symbolic execution; software verification; Symbiotic
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Changed: 24/4/2024 13:32.
      More: https://is.muni.cz/publication/2396645/en
    3. Tighter Construction of Tight Büchi Automata
      JANKOLA, Marek and 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, p. 234-255. ISBN 978-3-031-57227-2. Available from: https://dx.doi.org/10.1007/978-3-031-57228-9_12.
      URL
      RIV: Proceedings paper. English. Germany.
      Jankola, Marek (703 Slovakia) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: tight automata; shortest counterexamples; LTL
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Changed: 23/4/2024 18:31.
      More: https://is.muni.cz/publication/2396421/en
    4. Witch 3: Validation of Violation Witnesses in the Witness Format 2.0
      AYAZIOVÁ, Paulína and 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, p. 341-346. ISBN 978-3-031-57255-5. Available from: https://dx.doi.org/10.1007/978-3-031-57256-2_18.
      URL
      RIV: Proceedings paper. English. Germany.
      Ayaziová, Paulína (703 Slovakia, belonging to the institution) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: Witch;witness-validator;SV-COMP;verification witness
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Changed: 23/4/2024 18:51.
      More: https://is.muni.cz/publication/2396437/en

    2023

    1. Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation
      AYAZIOVÁ, Paulína and 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, p. 523-528. ISBN 978-3-031-30819-2. Available from: https://dx.doi.org/10.1007/978-3-031-30820-8_30.
      URL
      RIV/00216224:14330/23:00131936 Proceedings paper. English. Switzerland.
      Ayaziová, Paulína (703 Slovakia, belonging to the institution) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: Witch;witness-validator;SV-COMP;verification witness
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 7/4/2024 23:35.
      More: https://is.muni.cz/publication/2326763/en

    2022

    1. Case Study on Verification-Witness Validators: Where We Are and Where We Go
      BEYER, Dirk and 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, p. 160-174. ISBN 978-3-031-22307-5. Available from: https://dx.doi.org/10.1007/978-3-031-22308-2_8.
      URL
      RIV/00216224:14330/22:00127777 Proceedings paper. English. Switzerland.
      Beyer, Dirk (276 Germany) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: software verification;program analysis;software validation;software bugs;verification witnesses;evaluation;benchmarking
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 28/3/2023 12:08.
      More: https://is.muni.cz/publication/2244108/en
    2. Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding
      CHALUPA, Marek, Vincent MIHALKOVIČ, Anna ŘECHTÁČKOVÁ, Lukáš ZAORAL and 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, p. 462-467. ISBN 978-3-030-99526-3. Available from: https://dx.doi.org/10.1007/978-3-030-99527-0_32.
      URL
      RIV/00216224:14330/22:00125696 Proceedings paper. English. Switzerland.
      Chalupa, Marek (203 Czech Republic, belonging to the institution) -- Mihalkovič, Vincent (703 Slovakia, belonging to the institution) -- Řechtáčková, Anna (203 Czech Republic, belonging to the institution) -- Zaoral, Lukáš (203 Czech Republic, belonging to the institution) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: Symbiotic;BSELF;SV-COMP;program analysis;verification
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 28/3/2023 12:49.
      More: https://is.muni.cz/publication/1848419/en
    3. Symbiotic-Witch: A Klee-Based Violation Witness Checker
      AYAZIOVÁ, Paulína, Marek CHALUPA and 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, p. 468-473. ISBN 978-3-030-99526-3. Available from: https://dx.doi.org/10.1007/978-3-030-99527-0_33.
      URL
      RIV/00216224:14330/22:00125695 Proceedings paper. English. Switzerland.
      Ayaziová, Paulína (703 Slovakia, belonging to the institution) -- Chalupa, Marek (203 Czech Republic, belonging to the institution) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: Symbiotic;witness-validator;SV-COMP;verification witness
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 28/3/2023 10:40.
      More: https://is.muni.cz/publication/1848418/en

    2021

    1. Symbiotic 8 (software)
      CHALUPA, Marek, Tomáš JAŠEK, Jakub NOVÁK, Anna ŘECHTÁČKOVÁ, Veronika ŠOKOVÁ and Jan STREJČEK. Symbiotic 8. 2021.
      Odkaz na stránku software
      RIV/00216224:14330/21:00119972 Software. English. Czech Republic.
      Chalupa, Marek (203 Czech Republic, belonging to the institution) -- Jašek, Tomáš (703 Slovakia, belonging to the institution) -- Novák, Jakub (703 Slovakia, belonging to the institution) -- Řechtáčková, Anna (203 Czech Republic, belonging to the institution) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: Symbiotic; symbolic execution; slicing; bug-finding
      International impact: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 6/11/2023 10:41.
      More: https://is.muni.cz/publication/1829857/en

    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 and 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, p. 413-417. ISBN 978-3-030-45236-0. Available from: https://dx.doi.org/10.1007/978-3-030-45237-7_31.
      URL
      Name (in English): Symbiotic 7: Integration of Predator and More (Competition Contribution)
      RIV/00216224:14330/20:00114113 Proceedings paper. English. Germany.
      Chalupa, Marek (203 Czech Republic, guarantor, belonging to the institution) -- Jašek, Tomáš (703 Slovakia, belonging to the institution) -- Tomovič, Lukáš (703 Slovakia, belonging to the institution) -- Ayaziová, Paulína (703 Slovakia, belonging to the institution) -- Strejček, Jan (203 Czech Republic, belonging to the institution) -- Vojnar, Tomáš (203 Czech Republic)
      Keywords in English: Symbiotic;Predator;Program Slicing;Termination Analysis;Shape Analysis;Symbolic Execution
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 29/4/2021 12:25.
      More: https://is.muni.cz/publication/1649136/en

    2009

    1. Space Effective Model Checking for Component-Interaction Automata
      BENEŠ, Nikola, Milan KŘIVÁNEK and 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 pp. ISBN 978-3-939897-15-6.
      URL
      Name in Czech: Prostorově efektivní ověřování modelu pro komponentově-interakční automaty
      RIV/00216224:14330/09:00028809 Proceedings paper. Informatics. English. Germany.
      Beneš, Nikola (203 Czech Republic, guarantor, belonging to the institution) -- Křivánek, Milan (203 Czech Republic, belonging to the institution) -- Štefaňák, Filip (703 Slovakia, belonging to the institution)
      Keywords in English: partial order reduction; model checking; component-based systems
      Type of proceedings: post-proceedings
      Changed by: RNDr. Nikola Beneš, Ph.D., učo 72525. Changed: 17/12/2010 12:27.
      More: https://is.muni.cz/publication/875218/en

    2008

    1. Component-Interaction Automata Approach (CoIn)
      ZIMMEROVÁ, Barbora, Pavlína VAŘEKOVÁ, Nikola BENEŠ, Ivana ČERNÁ, Luboš BRIM and Jiří SOCHOR. Component-Interaction Automata Approach (CoIn). In The Common Component Modeling Example: Comparing Software Component Models. Berlin / Heidelberg, Germany: Springer Verlag, 2008, p. 146-176. LNCS 5153. ISBN 978-3-540-85288-9.
      URL
      Name in Czech: Přístup využívající Component-Interaction automaty
      RIV/00216224:14330/08:00024133 Chapter(s) of a specialized book. Informatics. English. Germany.
      Zimmerová, Barbora (203 Czech Republic, guarantor) -- Vařeková, Pavlína (203 Czech Republic) -- Beneš, Nikola (203 Czech Republic) -- Černá, Ivana (203 Czech Republic) -- Brim, Luboš (203 Czech Republic) -- Sochor, Jiří (203 Czech Republic)
      Keywords in English: Component models; modelling; verification; Component Interaction automata
      International impact: yes
      Reviewed: yes
      Changed by: doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394. Changed: 19/3/2009 18:51.
      More: https://is.muni.cz/publication/744248/en

    2007

    1. Empirické ověření platnosti teorie optimální kapitálové struktury firmy v České republice (The empirical verification of the validity of the optimal capital structure theory of the enterprise in the Czech Republic)
      VALOUCH, Petr and Jaroslav SEDLÁČEK. Empirické ověření platnosti teorie optimální kapitálové struktury firmy v České republice (The empirical verification of the validity of the optimal capital structure theory of the enterprise in the Czech Republic). In Sborník příspěvků z mezinárodní vědecké konference Evropské finanční systémy 2007. 1st ed. Brno: ESF MU, 2007, p. 419-427. ISBN 978-80-210-4319-0.
      Name (in English): The empirical verification of the validity of the optimal capital structure theory of the enterprise in the Czech Republic
      RIV/00216224:14560/07:00050775 Proceedings paper. Economics. Czech. Czech Republic.
      Valouch, Petr (203 Czech Republic, guarantor, belonging to the institution) -- Sedláček, Jaroslav (203 Czech Republic, belonging to the institution)
      Keywords in English: The optimal capital structure theory of the enterprise; verification; Pearson chi quadrant test; Fisher both-sided exact test.
      International impact: yes
      Reviewed: yes
      Changed by: Ing. Petr Valouch, Ph.D., učo 11223. Changed: 5/4/2012 10:20.
      More: https://is.muni.cz/publication/719719/en
    2. Reflecting Creation and Destruction of Instances in CBSs Modelling and Verification
      ZIMMEROVÁ, Barbora and 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, p. 257-264. ISBN 978-80-7355-077-6.
      URL
      Name in Czech: Zohlednění vytváření a mazání instancí při modelování a verifikaci komponentových systémů
      RIV/00216224:14330/07:00020538 Proceedings paper. Informatics. English. Czech Republic.
      Zimmerová, Barbora (203 Czech Republic, guarantor, belonging to the institution) -- Vařeková, Pavlína (203 Czech Republic, belonging to the institution)
      Keywords in English: Component-based systems; verification; component instances
      International impact: yes
      Reviewed: yes
      Changed by: doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394. Changed: 4/11/2012 15:29.
      More: https://is.muni.cz/publication/726776/en
    3. Subject-observer specification with component-interaction automata
      VAŘEKOVÁ, Pavlína and 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, p. 75-81. ISBN 978-1-59593-721-6.
      URL
      Name in Czech: Specifikace vzoru Subject-Observer pomocí Component-Interaction automatů
      RIV/00216224:14330/07:00019482 Proceedings paper. Informatics. English. United States of America.
      Vařeková, Pavlína (203 Czech Republic, belonging to the institution) -- Zimmerová, Barbora (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: Component-based systems; dynamic number of components; finite-state systems; verification; software modelling
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394. Changed: 4/11/2012 15:29.
      More: https://is.muni.cz/publication/726164/en

    2006

    1. Component-Interaction Automata as a Verification-Oriented Component-Based System Specification
      BRIM, Luboš, Ivana ČERNÁ, Pavlína VAŘEKOVÁ and 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, vol. 31, No 2, p. 1-8. ISSN 0163-5948.
      Name in Czech: Component-Interaction automaty pro verifikačně orientovanou specifikaci komponentových systémů
      RIV/00216224:14330/06:00015470 Article in a journal. Informatics. English. United States of America.
      Brim, Luboš (203 Czech Republic, guarantor, belonging to the institution) -- Černá, Ivana (203 Czech Republic, belonging to the institution) -- Vařeková, Pavlína (203 Czech Republic, belonging to the institution) -- Zimmerová, Barbora (203 Czech Republic, belonging to the institution)
      Keywords in English: ADLs; Component-Interaction automata; component interaction; verification
      International impact: yes
      Reviewed: yes
      Changed by: doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394. Changed: 4/11/2012 15:27.
      More: https://is.muni.cz/publication/703524/en
    2. Component-Interaction Automata Modelling Language
      ČERNÁ, Ivana, Pavlína VAŘEKOVÁ and 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
      Name in Czech: Modelovací jazyk Component-Interaction automatů
      RIV/00216224:14330/06:00024121 Audiovisual works. Informatics. English. Czech Republic.
      Černá, Ivana (203 Czech Republic, guarantor, belonging to the institution) -- Vařeková, Pavlína (203 Czech Republic, belonging to the institution) -- Zimmerová, Barbora (203 Czech Republic, belonging to the institution)
      Keywords in English: Component-based systems; automata theory; specification; verification
      International impact: yes
      Changed by: doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394. Changed: 4/11/2012 15:26.
      More: https://is.muni.cz/publication/698725/en
    3. Lower and Upper Bounds in Zone-Based Abstractions of Timed Automata
      PELÁNEK, Radek, Kim G. LARSEN, Gerd BEHRMANN and 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, vol. 8, No 3, p. 204-215. ISSN 1433-2779.
      Name in Czech: Využití horních a dolních mezí při zónových abstrakcích časových automatů
      RIV/00216224:14330/06:00015564 Article in a journal. Informatics. English. Germany.
      Pelánek, Radek (203 Czech Republic, guarantor) -- Larsen, Kim G. (208 Denmark) -- Behrmann, Gerd (208 Denmark) -- Bouyer, Patricia (250 France)
      Keywords in English: model checking; timed automata; verification; abstraction; extrapolation
      International impact: yes
      Reviewed: yes
      Changed by: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Changed: 21/11/2006 14:01.
      More: https://is.muni.cz/publication/585922/en

    2005

    1. Component-Interaction Automata as a Verification-Oriented Component-Based System Specification
      BRIM, Luboš, Ivana ČERNÁ, Pavlína VAŘEKOVÁ and 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, p. 31-38.
      URL
      Name in Czech: Component-Interaction automaty pro verifikačně orientovanou specifikaci komponentových systémů
      RIV/00216224:14330/05:00012815 Proceedings paper. Informatics. English. United States of America.
      Brim, Luboš (203 Czech Republic, guarantor) -- Černá, Ivana (203 Czech Republic) -- Vařeková, Pavlína (203 Czech Republic) -- Zimmerová, Barbora (203 Czech Republic)
      Keywords in English: ADLs; Component-Interaction automata; component interaction; verification
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394. Changed: 29/11/2006 14:53.
      More: https://is.muni.cz/publication/591644/en
    2. Component-Interaction Automata for Specification and Verification of Component Interactions
      VAŘEKOVÁ, Pavlína and 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, p. 71-75.
      Name in Czech: Component-Interaction automaty pro specifikaci a verifikaci interakcí mezi komponentami
      RIV/00216224:14330/05:00013242 Proceedings paper. Informatics. English. Netherlands.
      Vařeková, Pavlína (203 Czech Republic) -- Zimmerová, Barbora (203 Czech Republic, guarantor)
      Keywords in English: Component-Interaction automata; specification; verification; component-based systems
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394. Changed: 2/12/2006 16:39.
      More: https://is.muni.cz/publication/623025/en
    3. Recursion vs. Replication in Simple Cryptographic Protocols
      HUTTEL, Hans and 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, p. 175-184.
      Name in Czech: Rekurze a replikace a jednoduchych kryptografickych protokolech
      RIV/00216224:14330/05:00012753 Proceedings paper. Informatics. English. Netherlands.
      Huttel, Hans (208 Denmark) -- Srba, Jiří (203 Czech Republic, guarantor)
      Keywords in English: cryptographic protocols; recursion; replication; verification
      Changed by: RNDr. JUDr. Vladimír Šmíd, CSc., učo 1084. Changed: 6/7/2007 09:03.
      More: https://is.muni.cz/publication/588242/en
    4. Tests of Heteroskedasticity and Eventual Conflicts among Them
      MORAVANSKÝ, Dalibor and 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, p. 279-287. ISBN 978-80-7041-535-1.
      Name in Czech: Testy heteroskedasticity a možné rozpory mezi nimi
      RIV/00216224:14560/05:00012636 Proceedings paper. Economics. English. Czech Republic.
      Moravanský, Dalibor (203 Czech Republic, guarantor) -- Němec, Daniel (203 Czech Republic)
      Keywords in English: Heteroskedasticity; Statistical testing; verification; econometric analysis
      International impact: yes
      Reviewed: yes
      Changed by: doc. Ing. Daniel Němec, Ph.D., učo 22939. Changed: 22/11/2010 17:38.
      More: https://is.muni.cz/publication/576822/en
    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, p. 385-402.
      Name in Czech: Casove Petriho site vs. site casovych automatu
      RIV/00216224:14330/05:00012754 Proceedings paper. Informatics. English. Netherlands.
      Srba, Jiří (203 Czech Republic, guarantor)
      Keywords in English: Petri nets; time models; verification; timed automata
      Changed by: RNDr. JUDr. Vladimír Šmíd, CSc., učo 1084. Changed: 6/7/2007 09:02.
      More: https://is.muni.cz/publication/588243/en

    2004

    1. A General Approach to Comparing Infinite-State Systems with Their Finite-State Specifications
      KUČERA, Antonín and 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, p. 371-386. ISBN 3-540-22940-X.
      Name in Czech: 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 Proceedings paper. Informatics. English. Germany.
      Kučera, Antonín (203 Czech Republic, guarantor) -- Schnoebelen, Philippe (250 France)
      Keywords in English: verification; semantic equivalences; infinite-state systems
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 22/11/2006 17:28.
      More: https://is.muni.cz/publication/557411/en
    2. 3rd International Workshop on Parallel and Distributed Methods in verifiCation (PDMC'04) (Parallel and Distributed Methods in Verification (PDMC'04))
      BRIM, Luboš. 3rd International Workshop on Parallel and Distributed Methods in verifiCation (PDMC'04) (Parallel and Distributed Methods in Verification (PDMC'04)). 2004.
      Name in Czech: Mezinárodní workshop Paralelní a distribuované metody verifikace (PDMC'04)
      Name (in English): Parallel and Distributed Methods in Verification (PDMC'04)
      RIV/00216224:14330/04:00019837 Organization of a conference. Informatics. English. United Kingdom of Great Britain and Northern Ireland.
      Brim, Luboš (203 Czech Republic, guarantor)
      Keywords in English: Parallel and Distributed Methods; Verification
      International impact: yes
      Changed by: prof. RNDr. Luboš Brim, CSc., učo 197. Changed: 22/11/2006 08:32.
      More: https://is.muni.cz/publication/563907/en

    2003

    1. Deciding Bisimilarity between BPA and BPP Processes
      JANČAR, Petr, Antonín KUČERA and 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, p. 159-174. ISBN 3-540-40753-7.
      RIV/00216224:14330/03:00008161 Proceedings paper. Informatics. English. Germany.
      Jančar, Petr (203 Czech Republic) -- Kučera, Antonín (203 Czech Republic, guarantor) -- Moller, Faron (124 Canada)
      Keywords in English: verification; bisimilarity; infinite-state systems
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 22/11/2006 17:28.
      Identification numbers: 4200509075
      More: https://is.muni.cz/publication/488377/en
    2. Distribution of Explicit-State LTL Model-Checking
      BRIM, Luboš and 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, No 1, p. 120-125.
      URL
      Name (in English): Distribution of Explicit-State LTL Model-Checking
      RIV/00216224:14330/03:00008591 Article in a journal. Informatics. English. Netherlands.
      Brim, Luboš (203 Czech Republic, guarantor) -- Barnat, Jiří (203 Czech Republic)
      Keywords in English: model-checking; distribution; verification
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Luboš Brim, CSc., učo 197. Changed: 22/11/2006 08:32.
      More: https://is.muni.cz/publication/489734/en
    3. Using Assumptions to Distribute Alternation Free mu-Calculus Model Checking
      BRIM, Luboš and 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, p. 19-34.
      URL
      RIV/00216224:14330/03:00008592 Proceedings paper. Informatics. English. Netherlands.
      Brim, Luboš (203 Czech Republic, guarantor) -- Žídková, Jitka (203 Czech Republic)
      Keywords in English: verification; model checking
      Changed by: Mgr. Jitka Žídková, učo 2922. Changed: 26/5/2004 16:19.
      More: https://is.muni.cz/publication/489737/en
    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, p. 73-78. ISBN 80-214-2471-0.
      Name (in English): Using Assumptions to Distribute Model Checking
      RIV/00216224:14330/03:00008254 Proceedings paper. Informatics. English. Czech Republic.
      Žídková, Jitka (203 Czech Republic, guarantor)
      Keywords in English: verification; model checking; distribution
      Changed by: Mgr. Jitka Žídková, učo 2922. Changed: 26/5/2004 16:20.
      More: https://is.muni.cz/publication/489735/en

    2002

    1. Automatizovaná formální verifikace (Automated formal verification)
      BRIM, Luboš. Automatizovaná formální verifikace (Automated formal verification). In XXI. conference EurOpen 2002. Znojmo, Czech republic. Znojmo, Czech Republic: EuroOpen.cz, Praha, 2002, p. 1-7. ISBN 80-86583-00-7.
      Name (in English): Automated formal verification
      RIV/00216224:14330/02:00006441 Proceedings paper. Computer hardware and software. Czech. Czech Republic.
      Brim, Luboš (203 Czech Republic, guarantor)
      Keywords in English: verification
      Changed by: prof. RNDr. Luboš Brim, CSc., učo 197. Changed: 10/1/2006 15:01.
      More: https://is.muni.cz/publication/405449/en
    2. Biometrická identifikace a verifikace II - Základní kritéria měření výkonnosti biometrických metod (Biometric identification and verification - Basic criteria for measuring performance of biometric methods)
      MATYÁŠ, Václav, Roman RAK and Zdeněk ŘÍHA. Biometrická identifikace a verifikace II - Základní kritéria měření výkonnosti biometrických metod (Biometric identification and verification - Basic criteria for measuring performance of biometric methods). Data Security Management. Praha: Tate International, 2002, VI., No 3, p. 32-35. ISSN 1211-8737.
      Name (in English): Biometric identification and verification - Basic criteria for measuring performance of biometric methods

      Keywords in English: biometric; identification; verification; criteria; measurement ;performance
      Reviewed: yes
      Changed by: prof. RNDr. Václav Matyáš, M.Sc., Ph.D., učo 344. Changed: 29/3/2007 21:48.
      More: https://is.muni.cz/publication/404697/en
    3. On the Complexity of Semantic Equivalences for Pushdown Automata and BPA
      KUČERA, Antonín and 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, p. 433-445. ISBN 3-540-44040-2.
      Name (in English): On the Complexity of Semantic Equivalences for Pushdown Automata and BPA
      RIV/00216224:14330/02:00006374 Proceedings paper. Computer hardware and software. English. Germany.
      Kučera, Antonín (203 Czech Republic, guarantor) -- Mayr, Richard (276 Germany)
      Keywords in English: verification; concurrency; weak bisimilarity; infinite-state systems
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 22/11/2006 17:28.
      Identification numbers: 4200507990
      More: https://is.muni.cz/publication/405198/en
    4. Property Driven Distribution of Nested DFS
      BARNAT, Jiří, Luboš BRIM and 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, p. 1-10.
      Name (in English): Property Driven Distribution of Nested DFS
      RIV/00216224:14330/02:00006603 Proceedings paper. Informatics. English. United Kingdom of Great Britain and Northern Ireland.
      Barnat, Jiří (203 Czech Republic) -- Brim, Luboš (203 Czech Republic, guarantor) -- Černá, Ivana (203 Czech Republic)
      Keywords in English: model-checking; distributed model-checking; verification; verification tool
      Changed by: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Changed: 22/11/2006 16:02.
      More: https://is.muni.cz/publication/406260/en
    5. The Stuttering Principle Revisited: On the Expressiveness of Nested X and U Operators in the Logic LTL
      KUČERA, Antonín and 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, p. 276-291. ISBN 3-540-44240-5.
      RIV/00216224:14330/02:00006381 Proceedings paper. Computer hardware and software. English. Germany.
      Kučera, Antonín (203 Czech Republic, guarantor) -- Strejček, Jan (203 Czech Republic)
      Keywords in English: verification; concurrency; weak bisimilarity; infinite-state systems
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Changed: 20/12/2011 18:12.
      Identification numbers: 4200508076
      More: https://is.muni.cz/publication/405208/en
    6. Using Assumptions to Distribute CTL Model Checking
      BRIM, Luboš, Jitka CRHOVÁ and 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, p. 80-95. ISBN 0444512918.
      Name (in English): Using Assumptions to Distribute CTL Model Checking
      RIV/00216224:14330/02:00006432 Proceedings paper. Computer hardware and software. English. Netherlands.
      Brim, Luboš (203 Czech Republic, guarantor) -- Crhová, Jitka (203 Czech Republic) -- Yorav, Karen (376 Israel)
      Keywords in English: verification; model checking
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Luboš Brim, CSc., učo 197. Changed: 22/11/2006 08:32.
      More: https://is.muni.cz/publication/405432/en
    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, p. 262-267.
      Name (in English): Using verified property to partition the state space in LTL model-checking
      RIV/00216224:14330/02:00006604 Proceedings paper. Informatics. English. France.
      Barnat, Jiří (203 Czech Republic, guarantor)
      Keywords in English: model-checking; distributed model-checking; verification
      Changed by: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Changed: 22/11/2006 16:01.
      More: https://is.muni.cz/publication/406263/en
    8. Why is Simulation Harder Than Bisimulation?
      KUČERA, Antonín and 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, p. 594-609. ISBN 3-540-44043-7.
      Name (in English): Why is Simulation Harder Than Bisimulation?
      RIV/00216224:14330/02:00006376 Proceedings paper. Computer hardware and software. English. Germany.
      Kučera, Antonín (203 Czech Republic, guarantor) -- Mayr, Richard (276 Germany)
      Keywords in English: verification; concurrency; weak bisimilarity; infinite-state systems
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 22/11/2006 17:28.
      Identification numbers: 4200507940, 4200507971
      More: https://is.muni.cz/publication/405201/en

    2001

    1. Distributed LTL Model-Checking in SPIN
      BARNAT, Jiří, Luboš BRIM and 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, p. 200-215. ISBN 3-540-42124-6.
      Name (in English): Distributed LTL Model-Checking in SPIN
      RIV/00216224:14330/01:00004189 Proceedings paper. Informatics. English. Canada.
      Barnat, Jiří (203 Czech Republic, guarantor) -- Brim, Luboš (203 Czech Republic) -- Stříbrná, Jitka (203 Czech Republic)
      Keywords in English: model-checking; verification; verification tool
      Changed by: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Changed: 22/11/2006 16:00.
      Identification numbers: 4200506714
      More: https://is.muni.cz/publication/362073/en

    2000

    1. Distributed LTL Model-Checking in SPIN
      BARNAT, Jiří, Luboš BRIM and Jitka STŘÍBRNÁ. Distributed LTL Model-Checking in SPIN. Brno: FI MU, 2000, 16 pp. Technical Reports.
      URL
      Name (in English): Distributed LTL Model-Checking in SPIN
      RIV/00216224:14330/00:00002823 Book on a specialized topic. Informatics. Czech. Czech Republic.
      Barnat, Jiří (203 Czech Republic) -- Brim, Luboš (203 Czech Republic) -- Stříbrná, Jitka (203 Czech Republic)
      Keywords in English: model-checking; verification; verification tool
      Changed by: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Changed: 26/5/2004 15:45.
      More: https://is.muni.cz/publication/346893/en

    1999

    1. A Logical Viewpoint on Process-Algebraic Quotients
      KUČERA, Antonín and 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, p. 499-514. Lecture Notes in Computer Science, vol. 1683. ISBN 3-540-66536-6.
      RIV/00216224:14330/99:00001125 Proceedings paper. Computer hardware and software. English. Germany.
      Keywords in English: verification; concurrency; logic; process descriptions
      Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 13/1/2000 10:35.
      More: https://is.muni.cz/publication/208571/en
    2. Weak Bisimilarity with Infinite-State Systems Can Be Decided in Polynomial Time
      KUČERA, Antonín and 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, p. 368-382. Lecture Notes in Computer Science, vol. 1664. ISBN 3-540-66425-4.
      Name (in English): Weak Bisimilarity with Infinite-State Systems Can Be Decided in Polynomial Time
      RIV/00216224:14330/99:00001106 Proceedings paper. Computer hardware and software. English. Germany.
      Keywords in English: verification; concurrency; weak bisimilarity; infinite-state systems
      Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 13/1/2000 10:47.
      More: https://is.muni.cz/publication/207311/en
Displayed: 6/10/2024 09:23