Masarykova univerzita

Výpis publikací

2009

CoIn Tool Set (software)

BENEŠ, Nikola, Barbora BÜHNOVÁ, Ivana ČERNÁ a Milan KŘIVÁNEK. CoIn Tool Set. 2009.

Podrobněji: https://is.muni.cz/publication/878167/cs

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.

Podrobněji: https://is.muni.cz/publication/875218/cs

2008

The CoIn Tool: Modelling and Verification of Interactions in Component-Based Systems

BENEŠ, Nikola, Luboš BRIM, Ivana ČERNÁ, Jiří SOCHOR, Pavlína VAŘEKOVÁ a 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. s. 221-225. ISSN 1571-0661.

Podrobněji: https://is.muni.cz/publication/785938/cs

2006

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.

Podrobněji: https://is.muni.cz/publication/703524/cs

2005

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.

Podrobněji: https://is.muni.cz/publication/591644/cs

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.

Podrobněji: https://is.muni.cz/publication/623025/cs