Výpis publikací

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

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.

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.

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.

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.

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.