Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    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, 2007, s. 3-13. ISBN 978-1-59593-721-6.
      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, 2007, s. 75-81. ISBN 978-1-59593-721-6.
      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

    1999

    1. Simulation Preorder on Simple Process Algebras
      KUČERA, Antonín a Mayr RICHARD. Simulation Preorder on Simple Process Algebras. Technical Report TUM. Germany: Technical University Munich, 1999, roč. 1999, TUM-I9902, s. 1-23.
      Název anglicky: Simulation Preorder on Simple Process Algebras
      RIV/00216224:14330/99:00001766 Článek v odborném periodiku. Počítačový hardware a software. angličtina. Německo.
      Klíčová slova anglicky: process algebras; weak bisimilarity; finite-state systems
      Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 13. 1. 2000 15:13.
      Podrobněji: https://is.muni.cz/publication/233671/cs

    1998

    1. Deciding Bisimulation-Like Equivalences with Finite-State Processes
      JANČAR, Petr, Antonín KUČERA a Mayr RICHARD. Deciding Bisimulation-Like Equivalences with Finite-State Processes. Technical Report TUM. Germany: Technical University Munich, 1998, roč. 1998, TUM-I9805, s. 1-24.
      Název anglicky: Deciding Bisimulation-Like Equivalences with Finite-State Processes
      RIV/00216224:14330/98:00001759 Článek v odborném periodiku. Počítačový hardware a software. angličtina. Německo.
      Klíčová slova anglicky: process algebras; bisimilarity; finite-state systems
      Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 13. 1. 2000 14:03.
      Podrobněji: https://is.muni.cz/publication/233351/cs
    2. Weak Bisimilarity with Infinite-State Systems can be Decided in Polynomial Time
      KUČERA, Antonín a Mayr RICHARD. Weak Bisimilarity with Infinite-State Systems can be Decided in Polynomial Time. Technical Report TUM. Germany: Technical University Munich, 1998, roč. 1998, TUM-I9830, s. 1-28.
      Název anglicky: Weak Bisimilarity with Infinite-State Systems can be Decided in Polynomial Time
      RIV/00216224:14330/98:00001760 Článek v odborném periodiku. Počítačový hardware a software. angličtina. Německo.
      Klíčová slova anglicky: process algebras; bisimilarity; finite-state systems
      Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 13. 1. 2000 14:09.
      Podrobněji: https://is.muni.cz/publication/233371/cs

    1997

    1. Bisimilarity of Processes with Finite-state Systems
      JANČAR, Petr a Antonín KUČERA. Bisimilarity of Processes with Finite-state Systems. FI MU Report Series. Brno: FI MU, 1997, roč. 1997, RS-97-02, s. 1-19.
      Název anglicky: Bisimilarity of Processes with Finite-state Systems
      RIV/00216224:14330/97:00001757 Článek v odborném periodiku. Počítačový hardware a software. angličtina. Česká republika.
      Klíčová slova anglicky: process algebras; bisimilarity; finite-state systems
      Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 13. 1. 2000 13:51.
      Podrobněji: https://is.muni.cz/publication/233331/cs
Zobrazeno: 18. 9. 2024 21:43