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

    2008

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

    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

    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
Displayed: 27/5/2024 05:39