Masaryk University

Publication Records

česky | in English

Filter publications

    2007

  1. 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 Stať ve sborníku. 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.
  2. 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 Stať ve sborníku. 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.
  3. 1999

  4. KUČERA, Antonín and Mayr RICHARD. Simulation Preorder on Simple Process Algebras. Technical Report TUM, Germany: Technical University Munich, 1999, vol. 1999, TUM-I9902, p. 1-23.
    Name (in English): Simulation Preorder on Simple Process Algebras
    RIV/00216224:14330/99:00001766 Článek v odborném periodiku. Computer hardware and software. English. Germany.
    Keywords in English: process algebras; weak bisimilarity; finite-state systems

    Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 13/1/2000 15:13.
  5. 1998

  6. JANČAR, Petr, Antonín KUČERA and Mayr RICHARD. Deciding Bisimulation-Like Equivalences with Finite-State Processes. Technical Report TUM, Germany: Technical University Munich, 1998, vol. 1998, TUM-I9805, p. 1-24.
    Name (in English): Deciding Bisimulation-Like Equivalences with Finite-State Processes
    RIV/00216224:14330/98:00001759 Článek v odborném periodiku. Computer hardware and software. English. Germany.
    Keywords in English: process algebras; bisimilarity; finite-state systems

    Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 13/1/2000 14:03.
  7. KUČERA, Antonín and Mayr RICHARD. Weak Bisimilarity with Infinite-State Systems can be Decided in Polynomial Time. Technical Report TUM, Germany: Technical University Munich, 1998, vol. 1998, TUM-I9830, p. 1-28.
    Name (in English): Weak Bisimilarity with Infinite-State Systems can be Decided in Polynomial Time
    RIV/00216224:14330/98:00001760 Článek v odborném periodiku. Computer hardware and software. English. Germany.
    Keywords in English: process algebras; bisimilarity; finite-state systems

    Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 13/1/2000 14:09.
  8. 1997

  9. JANČAR, Petr and Antonín KUČERA. Bisimilarity of Processes with Finite-state Systems. FI MU Report Series, Brno: FI MU, 1997, vol. 1997, RS-97-02, p. 1-19.
    Name (in English): Bisimilarity of Processes with Finite-state Systems
    RIV/00216224:14330/97:00001757 Článek v odborném periodiku. Computer hardware and software. English. Czech Republic.
    Keywords in English: process algebras; bisimilarity; finite-state systems

    Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 13/1/2000 13:51.
Displayed: 24. 10. 2020 23:57