Masaryk University

Publication Records

česky | in English

Filter publications

    2009

  1. CoIn Tool Set (software)
    BENEŠ, Nikola, Barbora BÜHNOVÁ, Ivana ČERNÁ and Milan KŘIVÁNEK. CoIn Tool Set. 2009.
    URL
    Name in Czech: Sada nástrojů CoIn
    RIV/00216224:14330/09:00028846 Software. Informatics. English. Czech Republic.
    Beneš, Nikola (203 Czech Republic, guarantor, belonging to the institution) -- Bühnová, Barbora (203 Czech Republic, belonging to the institution) -- Černá, Ivana (203 Czech Republic, belonging to the institution) -- Křivánek, Milan (203 Czech Republic, belonging to the institution)
    Keywords in English: formal verification; model checking; component-interaction automata; state/event LTL
    International impact: yes
    Changed by: RNDr. Nikola Beneš, Ph.D., učo 72525. Changed: 17/12/2010 12:26.
    More: https://is.muni.cz/publication/878167/en
  2. 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

    3. 2008

  3. The CoIn Tool: Modelling and Verification of Interactions in Component-Based Systems
    BENEŠ, Nikola, Luboš BRIM, Ivana ČERNÁ, Jiří SOCHOR, Pavlína VAŘEKOVÁ and 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. p. 221-225. ISSN 1571-0661.
    Name in Czech: CoIn Tool: Modelování a verifikace interakcí v komponentových systémech
    RIV/00216224:14330/08:00024294 Proceedings paper. Informatics. English. Spain.
    Beneš, Nikola (203 Czech Republic, belonging to the institution) -- Brim, Luboš (203 Czech Republic, belonging to the institution) -- Černá, Ivana (203 Czech Republic, belonging to the institution) -- Sochor, Jiří (203 Czech Republic, belonging to the institution) -- 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; Component-Interaction automata; formal verification; LTL; model checking
    Type of proceedings: pre-proceedings
    International impact: yes
    Reviewed: yes
    Changed by: RNDr. Nikola Beneš, Ph.D., učo 72525. Changed: 17/12/2010 12:32.
    More: https://is.muni.cz/publication/785938/en

    4. 2006

  4. 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

    5. 2005

  5. 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
  6. 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
Displayed: 6/6/2023 19:49