Masaryk University

Publication Records

česky | in English

Filter publications

    2009

  1. 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.
    URL
    Name in Czech: Prostorově efektivní ověřování modelu pro komponentově-interakční automaty
    RIV/00216224:14330/09:00028809 Proceedings paper. Informatics. English. Germany.
    Beneš, Nikola (203 Czech Republic, guarantor, belonging to the institution) -- Křivánek, Milan (203 Czech Republic, belonging to the institution) -- Štefaňák, Filip (703 Slovakia, belonging to the institution)
    Keywords in English: partial order reduction; model checking; component-based systems
    Type of proceedings: post-proceedings
    Changed by: RNDr. Nikola Beneš, Ph.D., učo 72525. Changed: 17/12/2010 12:27.
    More: https://is.muni.cz/publication/875218/en

    2. 2008

  2. A Case Study in Parallel Verification of Component-Based Systems
    BENEŠ, Nikola, Ivana ČERNÁ, Jiří SOCHOR, Pavlína VAŘEKOVÁ and 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. p. 35-51. ISSN 1571-0661.
    Name in Czech: Případová studie paralelní verifikace komponentových systémů
    RIV/00216224:14330/08:00024388 Proceedings paper. Informatics. English. Hungary.
    Beneš, Nikola (203 Czech Republic, belonging to the institution) -- Černá, Ivana (203 Czech Republic, belonging to the institution) -- Sochor, Jiří (203 Czech Republic, belonging to the institution) -- Vařeková, Pavlína (203 Czech Republic, belonging to the institution) -- Zimmerová, Barbora (203 Czech Republic, guarantor, belonging to the institution)
    Keywords in English: Component-based systems; formal verification; parallel model checking
    Type of proceedings: pre-proceedings
    International impact: yes
    Reviewed: yes
    Changed by: RNDr. Nikola Beneš, Ph.D., učo 72525. Changed: 17/12/2010 12:31.
    More: https://is.muni.cz/publication/807512/en
  3. A Case Study in Parallel Verification of Component-Based Systems
    BENEŠ, Nikola, Ivana ČERNÁ, Jiří SOCHOR, Pavlína MORAVCOVÁ VAŘEKOVÁ and Barbora BÜHNOVÁ. A Case Study in Parallel Verification of Component-Based Systems. Electronic Notes in Theoretical Computer Science. Neuveden: Elsevier, 2008, vol. 220, No 2, p. 67-83, 16 pp. ISSN 1571-0661.
    Name in Czech: Případová studie paralelní verifikace komponentových systémů
    RIV/00216224:14330/08:00024171 Article in a journal. Informatics. English. Hungary.
    Beneš, Nikola (203 Czech Republic, belonging to the institution) -- Černá, Ivana (203 Czech Republic, belonging to the institution) -- Sochor, Jiří (203 Czech Republic, belonging to the institution) -- Moravcová Vařeková, Pavlína (203 Czech Republic, belonging to the institution) -- Bühnová, Barbora (203 Czech Republic, guarantor, belonging to the institution)
    Keywords in English: Component-based systems; formal verification; parallel model checking
    International impact: yes
    Reviewed: yes
    Changed by: RNDr. Nikola Beneš, Ph.D., učo 72525. Changed: 24/10/2013 16:19.
    More: https://is.muni.cz/publication/762866/en
  4. Formal verification of systems with an unlimited number of components
    VAŘEKOVÁ, Pavlína, Barbora ZIMMEROVÁ, Pavel MORAVEC and 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, p. p. 532-546, 15 pp. ISSN 1751-8806.
    URL
    Name in Czech: Automatická verifikace systémů s neomezeným počtem komponent
    RIV/00216224:14330/08:00024358 Article in a journal. Informatics. English. United States of America.
    Vařeková, Pavlína (203 Czech Republic, belonging to the institution) -- Zimmerová, Barbora (203 Czech Republic, belonging to the institution) -- Moravec, Pavel (203 Czech Republic) -- Černá, Ivana (203 Czech Republic, guarantor, belonging to the institution)
    Keywords in English: Component-based systems; dynamic number of components; infinite-state systems; formal verification
    International impact: yes
    Reviewed: yes
    Changed by: doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394. Changed: 4/11/2012 15:52.
    More: https://is.muni.cz/publication/800041/en
  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.
    Name in Czech: Modelování a formální analýza komponentových systémů z pohledu interakce mezi komponentami
    Informatics. English. Czech Republic.
    Keywords in English: Component-based systems; component interaction; automata-based modelling; formal analysis; component equivalence; substitutability
    International impact: yes
    Changed by: doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394. Changed: 4/11/2012 15:32.
    More: https://is.muni.cz/publication/789513/en
  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Á 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.
    Name in Czech: CoIn Tool: Modelování a verifikace interakcí v komponentových systémech
    RIV/00216224:14330/08:00024294 Proceedings paper. Informatics. English. Spain.
    Beneš, Nikola (203 Czech Republic, belonging to the institution) -- Brim, Luboš (203 Czech Republic, belonging to the institution) -- Černá, Ivana (203 Czech Republic, belonging to the institution) -- Sochor, Jiří (203 Czech Republic, belonging to the institution) -- Vařeková, Pavlína (203 Czech Republic, belonging to the institution) -- Zimmerová, Barbora (203 Czech Republic, guarantor, belonging to the institution)
    Keywords in English: component-based systems; Component-Interaction automata; formal verification; LTL; model checking
    Type of proceedings: pre-proceedings
    International impact: yes
    Reviewed: yes
    Changed by: RNDr. Nikola Beneš, Ph.D., učo 72525. Changed: 17/12/2010 12:32.
    More: https://is.muni.cz/publication/785938/en

    7. 2007

  7. Component Substitutability via Equivalencies of Component-Interaction Automata
    ČERNÁ, Ivana, Pavlína VAŘEKOVÁ and Barbora ZIMMEROVÁ. Component Substitutability via Equivalencies of Component-Interaction Automata. Electronic Notes in Theoretical Computer Science. Elsevier, 2007, vol. 182, No 1, p. 39-55. ISSN 1571-0661.
    Name in Czech: Vyměnitelnost komponent na základě ekvivalencí Component-interaction automatů
    RIV/00216224:14330/07:00019439 Article in a journal. Informatics. English. Macao.
    Černá, Ivana (203 Czech Republic, guarantor, belonging to the institution) -- Vařeková, Pavlína (203 Czech Republic, belonging to the institution) -- Zimmerová, Barbora (203 Czech Republic, belonging to the institution)
    Keywords in English: component-based systems; reconfiguration correctness; component substitutability; independent implementability
    International impact: yes
    Reviewed: yes
    Changed by: doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394. Changed: 4/11/2012 15:30.
    More: https://is.muni.cz/publication/720980/en
  8. Effective verification of systems with a dynamic number of components
    VAŘEKOVÁ, Pavlína, Pavel MORAVEC, Ivana ČERNÁ and 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. p. 3-13. ISBN 978-1-59593-721-6.
    URL
    Name in Czech: Efektivní verifikace systémů s dynamickým počtem komponent
    RIV/00216224:14330/07:00019481 Proceedings paper. Informatics. English. United States of America.
    Vařeková, Pavlína (203 Czech Republic, belonging to the institution) -- Moravec, Pavel (203 Czech Republic, belonging to the institution) -- Černá, Ivana (203 Czech Republic, guarantor, belonging to the institution) -- Zimmerová, Barbora (203 Czech Republic, belonging to the institution)
    Keywords in English: Component-based systems; dynamic number of components; finite-state systems; formal verification
    Type of proceedings: post-proceedings
    International impact: yes
    Reviewed: yes
    Changed by: doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394. Changed: 4/11/2012 15:30.
    More: https://is.muni.cz/publication/726163/en
  9. Reflecting Creation and Destruction of Instances in CBSs Modelling and Verification
    ZIMMEROVÁ, Barbora and 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. p. 257-264. ISBN 978-80-7355-077-6.
    URL
    Name in Czech: Zohlednění vytváření a mazání instancí při modelování a verifikaci komponentových systémů
    RIV/00216224:14330/07:00020538 Proceedings paper. Informatics. English. Czech Republic.
    Zimmerová, Barbora (203 Czech Republic, guarantor, belonging to the institution) -- Vařeková, Pavlína (203 Czech Republic, belonging to the institution)
    Keywords in English: Component-based systems; verification; component instances
    International impact: yes
    Reviewed: yes
    Changed by: doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394. Changed: 4/11/2012 15:29.
    More: https://is.muni.cz/publication/726776/en
  10. Subject-observer specification with component-interaction automata
    VAŘEKOVÁ, Pavlína and 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. p. 75-81. ISBN 978-1-59593-721-6.
    URL
    Name in Czech: Specifikace vzoru Subject-Observer pomocí Component-Interaction automatů
    RIV/00216224:14330/07:00019482 Proceedings paper. Informatics. English. United States of America.
    Vařeková, Pavlína (203 Czech Republic, belonging to the institution) -- Zimmerová, Barbora (203 Czech Republic, guarantor, belonging to the institution)
    Keywords in English: Component-based systems; dynamic number of components; finite-state systems; verification; software modelling
    Type of proceedings: post-proceedings
    International impact: yes
    Reviewed: yes
    Changed by: doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394. Changed: 4/11/2012 15:29.
    More: https://is.muni.cz/publication/726164/en

    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. p. 260-267. ISBN 80-214-3287-X.
    PDF
    Name in Czech: Rozložení komponent v distribuovaném prostředí vzhledem k interakci mezi nimi
    RIV/00216224:14330/06:00019343 Proceedings paper. Informatics. English. Czech Republic.
    Zimmerová, Barbora (203 Czech Republic, guarantor, belonging to the institution)
    Keywords in English: Component-based systems; component-placement problem; interaction; formal analysis
    Type of proceedings: post-proceedings
    Reviewed: yes
    Changed by: doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394. Changed: 4/11/2012 15:28.
    More: https://is.muni.cz/publication/703385/en
  12. Component Substitutability via Equivalencies of Component-Interaction Automata
    ČERNÁ, Ivana, Pavlína VAŘEKOVÁ and 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. p. 115-130. ISSN 1571-0661.
    Name in Czech: Vyměnitelnost komponent na základě ekvivalencí Component-interaction automatů
    RIV/00216224:14330/06:00015414 Proceedings paper. Informatics. English. Macao.
    Černá, Ivana (203 Czech Republic, guarantor) -- Vařeková, Pavlína (203 Czech Republic) -- Zimmerová, Barbora (203 Czech Republic)
    Keywords in English: component-based systems; reconfiguration correctness; component substitutability; independent implementability
    International impact: yes
    Reviewed: yes
    Changed by: prof. RNDr. Ivana Černá, CSc., učo 1419. Changed: 31/3/2010 15:38.
    More: https://is.muni.cz/publication/698722/en
  13. Component-Interaction Automata Modelling Language
    ČERNÁ, Ivana, Pavlína VAŘEKOVÁ and Barbora ZIMMEROVÁ. Component-Interaction Automata Modelling Language. Brno, Czech Republic: Faculty of Informatics, Masaryk University, 2006. Technical report FIMU-RS-2006-08.
    FIMU Technical Reports URL
    Name in Czech: Modelovací jazyk Component-Interaction automatů
    RIV/00216224:14330/06:00024121 Audiovisual works. Informatics. English. Czech Republic.
    Černá, Ivana (203 Czech Republic, guarantor, belonging to the institution) -- Vařeková, Pavlína (203 Czech Republic, belonging to the institution) -- Zimmerová, Barbora (203 Czech Republic, belonging to the institution)
    Keywords in English: Component-based systems; automata theory; specification; verification
    International impact: yes
    Changed by: doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394. Changed: 4/11/2012 15:26.
    More: https://is.muni.cz/publication/698725/en
  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. p. 34-36. ISBN 3-936771-87-1.
    Name in Czech: Formální analýza komponentových systému s ohledem na interakci mezi komponentami
    RIV/00216224:14330/06:00015552 Proceedings paper. Informatics. English. Germany.
    Zimmerová, Barbora (203 Czech Republic, guarantor, belonging to the institution)
    Keywords in English: component-based systems; formal analysis; component interaction
    Type of proceedings: pre-proceedings
    International impact: yes
    Reviewed: yes
    Changed by: doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394. Changed: 4/11/2012 15:25.
    More: https://is.muni.cz/publication/720580/en

    15. 2005

  15. 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.
    Name in Czech: Component-Interaction automaty pro specifikaci a verifikaci interakcí mezi komponentami
    RIV/00216224:14330/05:00013242 Proceedings paper. Informatics. English. Netherlands.
    Vařeková, Pavlína (203 Czech Republic) -- Zimmerová, Barbora (203 Czech Republic, guarantor)
    Keywords in English: Component-Interaction automata; specification; verification; component-based systems
    Type of proceedings: pre-proceedings
    International impact: yes
    Reviewed: yes
    Changed by: doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394. Changed: 2/12/2006 16:39.
    More: https://is.muni.cz/publication/623025/en
Displayed: 21/3/2023 22:32