Masaryk University

Publication Records

česky | in English

Filter publications

    2009

    1. On Decidability of LTL+Past Model Checking for Process Rewrite Systems
      KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK and Jan STREJČEK. On Decidability of LTL+Past Model Checking for Process Rewrite Systems. In Joint Proceedings of the 8th, 9th, and 10th International Workshops on Verification of Infinite-State Systems (INFINITY 2006, 2007, 2008). 2009th ed. Amsterdam, The Netherlands: Elsevier Science Publishers, 2009, p. 105-117. ISSN 1571-0661.
      URL
      Name in Czech: O rozhodnutelnosti ověřování modelu pro logiku LTL+Past a Procesové Přepisovací Systémy
      RIV/00216224:14330/09:00028439 Proceedings paper. Informatics. English. Portugal.
      Křetínský, Mojmír (203 Czech Republic) -- Řehák, Vojtěch (203 Czech Republic) -- Strejček, Jan (203 Czech Republic, guarantor)
      Keywords in English: process rewrite systems; LTL; infinite-state; model-checking; decidability
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Changed: 23/6/2009 16:57.
      More: https://is.muni.cz/publication/800536/en
    2. Reachability is decidable for weakly extended process rewrite systems
      KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK and Jan STREJČEK. Reachability is decidable for weakly extended process rewrite systems. Information and Computation. Elsevier, 2009, vol. 207, No 6, p. 671-680. ISSN 0890-5401.
      URL
      Name in Czech: Dosažitelnost je rozhodnutelná pro slabě rozšířené procesové přepisovací systémy
      RIV/00216224:14330/09:00028490 Article in a journal. Informatics. English. Germany.
      Křetínský, Mojmír (203 Czech Republic) -- Řehák, Vojtěch (203 Czech Republic) -- Strejček, Jan (203 Czech Republic, guarantor)
      Keywords in English: process rewrite systems; state extension; infinite-state; (un)decidability; reachability
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Mojmír Křetínský, CSc., učo 631. Changed: 7/5/2009 10:19.
      More: https://is.muni.cz/publication/830834/en

    2007

    1. On Decidability of LTL+Past Model Checking for Process Rewrite Systems
      KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK and Jan STREJČEK. On Decidability of LTL+Past Model Checking for Process Rewrite Systems. In Proc. of 9th Internat. Workshop on Verification of Infinite-State Systems. 2007.
      Name in Czech: Rozhodnutelnost ověřování modelu pro logiku LTL+Past a Procesové Přepisovací Systémy
      RIV/00216224:14330/07:00019467 Presentations at conferences. Informatics. English. Portugal.
      Křetínský, Mojmír (203 Czech Republic, guarantor, belonging to the institution) -- Řehák, Vojtěch (203 Czech Republic, belonging to the institution) -- Strejček, Jan (203 Czech Republic, belonging to the institution)
      Keywords in English: process rewrite systems; LTL; infinite-state; model-checking; decidability
      Type of proceedings: pre-proceedings
      Type of participation: active participation (giving a lecture, organization, etc.)
      International impact: yes
      Reviewed: yes
      Changed by: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Changed: 28/4/2011 14:50.
      More: https://is.muni.cz/publication/723973/en

    2006

    1. Refining Undecidability Border of Weak Bisimilarity. (Refining Undecidability Border of Weak Bisimilarity)
      KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK and Jan STREJČEK. Refining Undecidability Border of Weak Bisimilarity. (Refining Undecidability Border of Weak Bisimilarity). In Proceedings of the 7th International Workshop on Verification of Infinite-State Systems (INFINITY'05). 2006th ed. Amsterdam, The Netherlands: Elsevier Science, 2006, p. 17-36. ISSN 1571-0661.
      URL
      Name in Czech: Zjemneni hranice nerozhodnutelnosti slabe bisimulace
      Name (in English): Refining Undecidability Border of Weak Bisimilarity
      RIV/00216224:14330/06:00015292 Proceedings paper. Informatics. English. Netherlands.
      Křetínský, Mojmír (203 Czech Republic, guarantor) -- Řehák, Vojtěch (203 Czech Republic) -- Strejček, Jan (203 Czech Republic)
      Keywords in English: process rewrite systems; state extension; infinite-state; decidability; weak bisimilarity
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Changed: 23/6/2009 16:53.
      More: https://is.muni.cz/publication/616549/en
    2. Weakly Extended Process Rewrite Systems
      ŘEHÁK, Vojtěch. Weakly Extended Process Rewrite Systems. In MOVEP'06: 7th school on MOdeling and VErifying parallel Processes. 2006.
      Name in Czech: Slabě rozšířené procesové přepisovací systémy
      RIV/00216224:14330/06:00015476 Presentations at conferences. Informatics. English. France.
      Řehák, Vojtěch (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: process rewrite systems; state extension; infinite-state; expressivness; reachability; decidability
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Changed: 28/4/2011 08:26.
      More: https://is.muni.cz/publication/704989/en

    2005

    1. Reachability of Hennessy - Milner properties for weakly extended PRS
      KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK and Jan STREJČEK. Reachability of Hennessy - Milner properties for weakly extended PRS. In FSTTCS 2005: 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, 25th International Conference. Berlin, Heidelberg: Springer-Verlag, 2005, p. 213-224. ISBN 3-540-30495-9.
      Name in Czech: Dosažitelnost Hennessy-Milner vlastností pro slabě rozšířené PRS
      RIV/00216224:14330/05:00012582 Proceedings paper. Informatics. English. Germany.
      Křetínský, Mojmír (203 Czech Republic, guarantor) -- Řehák, Vojtěch (203 Czech Republic) -- Strejček, Jan (203 Czech Republic)
      Keywords in English: process rewrite systems; state extension; infinite-state; (un)decidability; HM logic; reachability
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Mojmír Křetínský, CSc., učo 631. Changed: 8/4/2010 21:40.
      More: https://is.muni.cz/publication/574584/en
    2. Refining Undecidability Border of Weak Bisimilarity.
      KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK and Jan STREJČEK. Refining Undecidability Border of Weak Bisimilarity. BRICS Notes Series. San Francisco, USA, 2005, vol. 2005, NS-05-4, p. 3-14. ISSN 0909-3206.
      URL
      Name in Czech: Zjemneni hranice nerozhodnutelnosti pro slabou bisimulaci
      RIV/00216224:14330/05:00012580 Article in a journal. Informatics. English. Czech Republic.
      Křetínský, Mojmír (203 Czech Republic, guarantor) -- Řehák, Vojtěch (203 Czech Republic) -- Strejček, Jan (203 Czech Republic)
      Keywords in English: process rewrite systems; state extension; infinite-state; (un)decidability; weak bisimulation
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Mojmír Křetínský, CSc., učo 631. Changed: 4/12/2006 16:38.
      More: https://is.muni.cz/publication/574582/en
    3. Refining Undecidability Border of Weak Bisimilarity. (full version of INFINITY 2005 paper)
      KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK and Jan STREJČEK. Refining Undecidability Border of Weak Bisimilarity. (full version of INFINITY 2005 paper). Brno: FI MU, 2005. FIMU-RS-2005-06.
      URL
      Name in Czech: Zjemneni hranice nerozhodnutelnosti pro slabou bisimulaci
      RIV/00216224:14330/05:00012581 Audiovisual works. Informatics. English. Czech Republic.
      Křetínský, Mojmír (203 Czech Republic, guarantor) -- Řehák, Vojtěch (203 Czech Republic) -- Strejček, Jan (203 Czech Republic)
      Keywords in English: process rewrite systems; state extension; infinite-state; (un)decidability; weak bisimulation
      International impact: yes
      Changed by: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Changed: 27/11/2006 15:12.
      More: https://is.muni.cz/publication/574583/en

    2004

    1. Extended Process Rewrite Systems: Expressiveness and Reachability
      KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK and Jan STREJČEK. Extended Process Rewrite Systems: Expressiveness and Reachability. In CONCUR 2004 - Concurrency Theory. LNCS 3170. Berlin, Heidelberg, New York: Springer, 2004, p. 355-370. ISBN 3-540-22940-X.
      Name in Czech: Rozšířené procesové přepisovací systémy: Vyjadřovací síla a dosažitelnost
      RIV/00216224:14330/04:00010262 Proceedings paper. Informatics. English. United Kingdom of Great Britain and Northern Ireland.
      Křetínský, Mojmír (203 Czech Republic, guarantor) -- Řehák, Vojtěch (203 Czech Republic) -- Strejček, Jan (203 Czech Republic)
      Keywords in English: process rewrite systems; state extension; infinite-state; expressivness; reachability; decidability
      Reviewed: yes
      Changed by: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Changed: 11/3/2010 13:41.
      More: https://is.muni.cz/publication/557472/en
    2. On Extensions of Process Rewrite Systems: Rewrite Systems with Weak Finite-State Unit
      KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK and Jan STREJČEK. On Extensions of Process Rewrite Systems: Rewrite Systems with Weak Finite-State Unit. In INFINITY'2003: 5th International Workshop on Verification of Infinite-State Systems. 2004th ed. Amsterdam, The Netherlands: Elsevier Science, 2004, p. 75-88. ISSN 1571-0661.
      URL
      Name in Czech: O rozšířených procesových přepisovacích systémech: Přepisovací systémy se slabou konečně stavovou jednotkou
      RIV/00216224:14330/04:00010392 Proceedings paper. Informatics. English. Netherlands.
      Křetínský, Mojmír (203 Czech Republic, guarantor) -- Řehák, Vojtěch (203 Czech Republic) -- Strejček, Jan (203 Czech Republic)
      Keywords in English: process rewrite systems; state extension; infinite-state; decidability; reachability
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Changed: 23/6/2009 17:11.
      More: https://is.muni.cz/publication/559231/en
    3. On the Expressive Power of Extended Process Rewrite Systems
      KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK and Jan STREJČEK. On the Expressive Power of Extended Process Rewrite Systems. BRICS Report Series. Aarhus: Basic Research in Computer Science, 2004, vol. 2004, RS-04-7, p. 1-18. ISSN 0909-0878.
      URL
      Name in Czech: O vyjadřovací síle rozšířených procesových přepisovacích systémů
      RIV/00216224:14330/04:00010025 Article in a journal. Informatics. English. Czech Republic.
      Křetínský, Mojmír (203 Czech Republic, guarantor) -- Řehák, Vojtěch (203 Czech Republic) -- Strejček, Jan (203 Czech Republic)
      Keywords in English: process rewrite systems; state extension; infinite-state; expressivness; reachability
      Changed by: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Changed: 24/1/2005 17:02.
      More: https://is.muni.cz/publication/554469/en
    4. Reachability for Extended Process Rewrite Systems
      ŘEHÁK, Vojtěch. Reachability for Extended Process Rewrite Systems. In MOVEP'04: 6th school on MOdeling and VErifying parallel Processes. Bruxelles, Belgium: Universite Libre de Bruxelles, 2004, p. 77-82.
      Name in Czech: Dosažitelnost pro rozšířené procesové přepisovací systémy
      RIV/00216224:14330/04:00010695 Proceedings paper. Informatics. English. Belgium.
      Řehák, Vojtěch (203 Czech Republic, guarantor)
      Keywords in English: process rewrite systems; state extension; infinite-state; expressivness; reachability; decidability
      Reviewed: yes
      Changed by: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Changed: 16/11/2006 12:47.
      More: https://is.muni.cz/publication/562895/en

    2003

    1. On Extensions of Process Rewrite Systems: Rewrite Systems with Weak Finite-State Unit
      KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK and Jan STREJČEK. On Extensions of Process Rewrite Systems: Rewrite Systems with Weak Finite-State Unit. In Prelim.Proc.of the 5th Internat.Workshop on Verification of Infinite-State Systems (INFINITY'2003). Marseille, France: Universite de Provence, Marseille, 2003, p. 73-86.
      RIV/00216224:14330/03:00008151 Proceedings paper. Informatics. English. France.
      Křetínský, Mojmír (203 Czech Republic, guarantor) -- Řehák, Vojtěch (203 Czech Republic) -- Strejček, Jan (203 Czech Republic)
      Keywords in English: process rewrite systems; state extension; infinite-state
      Reviewed: yes
      Changed by: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Changed: 16/11/2006 12:47.
      More: https://is.muni.cz/publication/488339/en
    2. Process Rewrite Systems with Weak Finite-State Unit (full version of INFINITY'2003 paper)
      KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK and Jan STREJČEK. Process Rewrite Systems with Weak Finite-State Unit (full version of INFINITY'2003 paper). Brno: FI MU, 2003, 23 pp. FIMU-RS-2003-05.
      Informatics. English. Czech Republic.
      Keywords in English: process rewrite systems; state extension; infinite-state
      Changed by: prof. RNDr. Mojmír Křetínský, CSc., učo 631. Changed: 24/5/2006 15:51.
      More: https://is.muni.cz/publication/488340/en
Displayed: 19/6/2024 20:06