Masaryk University

Publication Records

česky | in English

Filter publications

    2007

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

    1999

    1. Simulation Preorder on Simple Process Algebras
      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 Article in a journal. 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.
      More: https://is.muni.cz/publication/233671/en

    1998

    1. Deciding Bisimulation-Like Equivalences with Finite-State Processes
      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 Article in a journal. 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.
      More: https://is.muni.cz/publication/233351/en
    2. Weak Bisimilarity with Infinite-State Systems can be Decided in Polynomial Time
      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 Article in a journal. 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.
      More: https://is.muni.cz/publication/233371/en

    1997

    1. Bisimilarity of Processes with Finite-state Systems
      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 Article in a journal. 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.
      More: https://is.muni.cz/publication/233331/en
Displayed: 10/5/2024 23:46