Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2008

    1. 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, Volume 2, Isuue 6, s. p. 532-546, 15 s. ISSN 1751-8806. 2008.
      URL
      Název česky: Automatická verifikace systémů s neomezeným počtem komponent
      RIV/00216224:14330/08:00024358 Článek v odborném periodiku. Informatika. angličtina. Spojené státy.
      Vařeková, Pavlína (203 Česká republika, domácí) -- Zimmerová, Barbora (203 Česká republika, domácí) -- Moravec, Pavel (203 Česká republika) -- Černá, Ivana (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Component-based systems; dynamic number of components; infinite-state systems; formal verification
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnila: doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394. Změněno: 4. 11. 2012 15:52.
      Podrobněji: https://is.muni.cz/publication/800041/cs

    2007

    1. 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. s. 3-13. ISBN 978-1-59593-721-6. 2007.
      URL
      Název česky: Efektivní verifikace systémů s dynamickým počtem komponent
      RIV/00216224:14330/07:00019481 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Vařeková, Pavlína (203 Česká republika, domácí) -- Moravec, Pavel (203 Česká republika, domácí) -- Černá, Ivana (203 Česká republika, garant, domácí) -- Zimmerová, Barbora (203 Česká republika, domácí)
      Klíčová slova anglicky: Component-based systems; dynamic number of components; finite-state systems; formal verification
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnila: doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394. Změněno: 4. 11. 2012 15:30.
      Podrobněji: https://is.muni.cz/publication/726163/cs
    2. 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. s. 75-81. ISBN 978-1-59593-721-6. 2007.
      URL
      Název česky: Specifikace vzoru Subject-Observer pomocí Component-Interaction automatů
      RIV/00216224:14330/07:00019482 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Vařeková, Pavlína (203 Česká republika, domácí) -- Zimmerová, Barbora (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Component-based systems; dynamic number of components; finite-state systems; verification; software modelling
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnila: doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394. Změněno: 4. 11. 2012 15:29.
      Podrobněji: https://is.muni.cz/publication/726164/cs
Zobrazeno: 19. 4. 2024 09:36