Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2009

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

    2. 2008

  2. A Case Study in Parallel Verification of Component-Based Systems
    BENEŠ, Nikola, Ivana ČERNÁ, Jiří SOCHOR, Pavlína VAŘEKOVÁ a Barbora ZIMMEROVÁ. 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). Budapest, Hungary: ETAPS, 2008. s. 35-51. ISSN 1571-0661.
    Podrobněji: https://is.muni.cz/publication/807512/cs
  3. A Case Study in Parallel Verification of Component-Based Systems
    BENEŠ, Nikola, Ivana ČERNÁ, Jiří SOCHOR, Pavlína MORAVCOVÁ VAŘEKOVÁ a Barbora BÜHNOVÁ. A Case Study in Parallel Verification of Component-Based Systems. Electronic Notes in Theoretical Computer Science. Neuveden: Elsevier, 2008, roč. 220, č. 2, s. 67-83, 16 s. ISSN 1571-0661.
    Podrobněji: https://is.muni.cz/publication/762866/cs
  4. Formal verification of systems with an unlimited number of components
    VAŘEKOVÁ, Pavlína, Barbora ZIMMEROVÁ, Pavel MORAVEC a Ivana ČERNÁ. Formal verification of systems with an unlimited number of components. IET Software journal. Inst. of Engeneering and Technology, 2008, Volume 2, Isuue 6, s. p. 532-546, 15 s. ISSN 1751-8806.
    Podrobněji: https://is.muni.cz/publication/800041/cs
  5. Modelling and Formal Analysis of Component-Based Systems in View of Component Interaction
    ZIMMEROVÁ, Barbora. Modelling and Formal Analysis of Component-Based Systems in View of Component Interaction. Czech Republic: Masaryk University, Faculty of Informatics, 2008. PhD thesis.
    Podrobněji: https://is.muni.cz/publication/789513/cs
  6. 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

    7. 2007

  7. Component Substitutability via Equivalencies of Component-Interaction Automata
    ČERNÁ, Ivana, Pavlína VAŘEKOVÁ a Barbora ZIMMEROVÁ. Component Substitutability via Equivalencies of Component-Interaction Automata. Electronic Notes in Theoretical Computer Science. Elsevier, 2007, roč. 182, č. 1, s. 39-55. ISSN 1571-0661.
    Podrobněji: https://is.muni.cz/publication/720980/cs
  8. Effective verification of systems with a dynamic number of components
    VAŘEKOVÁ, Pavlína, Pavel MORAVEC, Ivana ČERNÁ a Barbora ZIMMEROVÁ. Effective verification of systems with a dynamic number of components. In Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering. New York, NY, USA: ACM Press, 2007. s. 3-13. ISBN 978-1-59593-721-6.
    Podrobněji: https://is.muni.cz/publication/726163/cs
  9. Reflecting Creation and Destruction of Instances in CBSs Modelling and Verification
    ZIMMEROVÁ, Barbora a Pavlína VAŘEKOVÁ. Reflecting Creation and Destruction of Instances in CBSs Modelling and Verification. In MEMICS proceedings. Brno, Czech Republic: Ing. Zdeněk Novotný CSc., 2007. s. 257-264. ISBN 978-80-7355-077-6.
    Podrobněji: https://is.muni.cz/publication/726776/cs
  10. Subject-observer specification with component-interaction automata
    VAŘEKOVÁ, Pavlína a Barbora ZIMMEROVÁ. Subject-observer specification with component-interaction automata. In Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering. New York, NY, USA: ACM Press, 2007. s. 75-81. ISBN 978-1-59593-721-6.
    Podrobněji: https://is.muni.cz/publication/726164/cs

    11. 2006

  11. Component Placement in Distributed Environment w.r.t. Component Interaction
    ZIMMEROVÁ, Barbora. Component Placement in Distributed Environment w.r.t. Component Interaction. In Proceedings of the 2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'06). Brno, Czech Republic: FIT VUT, 2006. s. 260-267. ISBN 80-214-3287-X.
    Podrobněji: https://is.muni.cz/publication/703385/cs
  12. Component Substitutability via Equivalencies of Component-Interaction Automata
    ČERNÁ, Ivana, Pavlína VAŘEKOVÁ a Barbora ZIMMEROVÁ. Component Substitutability via Equivalencies of Component-Interaction Automata. In Pre-proceedings of the International Workshop on Formal Aspects of Component Software (FACS'06). Macao: UNU-IIST, 2006. s. 115-130. ISSN 1571-0661.
    Podrobněji: https://is.muni.cz/publication/698722/cs
  13. Component-Interaction Automata Modelling Language
    ČERNÁ, Ivana, Pavlína VAŘEKOVÁ a Barbora ZIMMEROVÁ. Component-Interaction Automata Modelling Language. Brno, Czech Republic: Faculty of Informatics, Masaryk University, 2006. Technical report FIMU-RS-2006-08.
    Podrobněji: https://is.muni.cz/publication/698725/cs
  14. Formal Analysis of Component-Based Systems in View of Comp. Interactions
    ZIMMEROVÁ, Barbora. Formal Analysis of Component-Based Systems in View of Comp. Interactions. In Proceedings of the International Research Training Groups Workshop 2006. Berlin, Germany: GITO-Verlag, 2006. s. 34-36. ISBN 3-936771-87-1.
    Podrobněji: https://is.muni.cz/publication/720580/cs

    15. 2005

  15. 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
Zobrazit podrobně
Zobrazeno: 31. 5. 2023 02:35