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.
    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.
    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.
    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.
    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.
    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.
    More: https://is.muni.cz/publication/623025/en
Display details
Displayed: 24/3/2023 07:14