• Publications 2009

    N. Beneš, M. Křivánek and F. Štefaňák. Space Effective Model Checking for Component-Interaction Automata. In Proceedings of the Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09), 8 pages. Dagstuhl Research Publication Server, December, 2009. ISBN 978-3-939897-15-6. [ paper | bib ]

    N. Beneš, L. Brim, I. Černá, J. Sochor, P. Vařeková and B. Zimmerová. Partial Order Reduction for State/Event LTL. In Proceedings of the International Conference on Integrated Formal Methods (IFM'09), volume 5423 of LNCS, pages 307-321. Springer-Verlag, February 2009. [ bib ]

  • Publications 2008

    P. Vařeková, B. Zimmerova, P. Moravec, and I. Černá. Formal Verification of Systems with an Unlimited Number of Components. In IET Software journal, Volume 2, Issue 6, pages 532-546. Institution of Engineering and Technology (IET), December 2008. [ url | bib ]

    N. Beneš, I. Černá, J. Sochor, P. Vařeková and B. Zimmerova. A Case Study in Parallel Verification of Component-Based Systems. In Proceedings of the Workshop on Parallel and Distributed Methods in verifiCation (PDMC'08), volume 220 of ENTCS, pages 67-83. Elsevier Science Publishers, December 2008. ISSN 1571-0661. [ bib ]

    B. Zimmerova. Modelling and Formal Analysis of Component-Based Systems in View of Component Interaction. PhD thesis, Masaryk University, Faculty of Informatics, Czech Republic, May 2008. [ thesis | bib ]

    P. Vařeková and I. Černá. Model Checking of Control-User Component-Based Parametrised Systems. In Proceedings of CBSE'08, volume 5282 of LNCS. Springer-Verlag, 2008. [ bib ]

    P. Vařeková, I. Vařeková, and I. Černá. Automated Computing of the Maximal Number of Handled Clients for Client-Server Systems. In Proceedings of the Workshop on Formal Aspects of Component Software (FACS'08), pages 41-55. September 2008. [ paper | bib ]

    N. Beneš, L. Brim, I. Černá, J. Sochor, P. Vařeková and B. Zimmerova. The CoIn Tool: Modelling and Verification of Interactions in Component-Based Systems. In Proceedings of the Workshop on Formal Aspects of Component Software (FACS'08), pages 221-225. September 2008. [ paper | bib ]

    N. Beneš, L. Brim, I. Černá, J. Sochor, P. Vařeková and B. Zimmerova. Partial Order Reduction for State/Event LTL. Technical Report FIMU-RS-2008-07, 21 pages, Masaryk University, Faculty of Informatics, Brno, Czech Republic, July 2008. [ paper PDF | paper PS | bib ]

    P. Vařeková and I. Černá. Model Checking of Control-User Component-Based Parametrised Systems. Technical Report FIMU-RS-2008-06, 27 pages, Masaryk University, Faculty of Informatics, Brno, Czech Republic, July 2008. [ paper PDF | paper PS | bib ]

    B. Zimmerova, P. Vařeková, N. Beneš, I. Černá, L. Brim and J. Sochor. The Common Component Modeling Example: Comparing Software Component Models, chapter Component-Interaction Automata Approach (CoIn), volume 5153 of LNCS, pages 146-176. Springer-Verlag, August 2008. [ bib ]

    N. Beneš, I. Černá, J. Sochor, P. Vařeková and B. Zimmerova. A Case Study in Parallel Verification of Component-Based Systems. In Pre-proceedings of the Workshop on Parallel and Distributed Methods in verifiCation (PDMC'08), pages 35-51. March 2008. [ paper | slides | bib ]

  • Publications 2007

    B. Zimmerova and P. Vařeková. Reflecting Creation and Destruction of Instances in CBSs Modelling and Verification. In Proceedings of the Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'07), pages 257-264. Novotný, Brno, Czech Republic, October 2007. ISBN 978-80-7355-077-6. [ paper | appendix | bib ]

    P. Vařeková, P. Moravec, I. Černá, and B. Zimmerova. Effective Verification of Systems with a Dynamic Number of Components. In Proceedings of the ESEC/FSE Conference on Specification and Verification of Component-Based Systems (SAVCBS'07), pages 3-13. ACM Press, September 2007. [ proceedings | bib ]

    P. Vařeková and B. Zimmerova. Challenge problem: Subject-observer specification with component-interaction automata. In Proceedings of the ESEC/FSE Conference on Specification and Verification of Component-Based Systems (SAVCBS'07), pages 75-81. ACM Press, September 2007. [ proceedings | slides | bib ]

    I. Černá, P. Vařeková, and B. Zimmerova. Component Substitutability via Equivalencies of Component-Interaction Automata. In Proceedings of the Workshop on Formal Aspects of Component Software (FACS'06), volume 182 of ENTCS, pages 39-55. Elsevier Science Publishers, June 2007. ISSN 1571-0661. [ bib ]

  • Publications 2006

    B. Zimmerova. Formal Analysis of Component-Based Systems in View of Comp. Interactions. In Proceedings of the International Research Training Groups Workshop 2006, pages 34-36. GITO-Verlag, Berlin, Germany, November 2006. ISBN 3-936771-87-1.

    I. Černá, P. Vařeková, and B. Zimmerova. Component-interaction automata modelling language. Technical Report FIMU-RS-2006-08, 27 pages, Masaryk University, Faculty of Informatics, Brno, Czech Republic, October 2006. [ paper PDF | paper PS | bib ]

    B. Zimmerova. Component Placement in Distributed Environment w.r.t. Component Interaction. In Proceedings of the Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'06), pages 260-267. FIT VUT Brno, Czech Republic, October 2006. ISBN 80-214-3287-X. [ paper | bib ]

    I. Černá, P. Vařeková, and B. Zimmerova. Component Substitutability via Equivalencies of Component-Interaction Automata. In Pre-proceedings of the International Workshop on Formal Aspects of Component Software (FACS'06), pages 115-130. UNU-IIST, Macao, 2006. [ pre-proceedings paper | slides | bib ]

    L. Brim, I. Černá, P. Vařeková, and B. Zimmerova. Component-interaction automata as a verification-oriented component-based system specification. In ACM SIGSOFT Software Engineering Notes, New York, USA : ACM Press, Volume 31, Issue 2, March 2006. [ bib ]

  • Publications 2005

    P. Vareková and B. Zimmerova. Component-interaction automata for specification and verification of component interactions. In Proceedings of the IFM 2005 Doctoral Symposium on Integrated Formal Methods, pages 71-75. Technische Universiteit Eindhoven (TU/e), The Netherlands, November 2005. [ proceedings | bib ]

    L. Brim, I. Černá, P. Vařeková, and B. Zimmerova. Component-interaction automata as a verification-oriented component-based system specification. In Proceedings of the ESEC/FSE Conference on Specification and Verification of Component-Based Systems (SAVCBS'05), pages 31-38. Iowa State University, USA, September 2005. [ proceedings | slides | bib ]