Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2006

    1. Equivalence-Checking on Infinite-State Systems: Techniques and Results
      KUČERA, Antonín a Petr JANČAR. Equivalence-Checking on Infinite-State Systems: Techniques and Results. Theory and practice of logic programming. Cambridge: Cambridge University Press, 2006, roč. 6, č. 3, s. 227-264. ISSN 1471-0684.
      Název česky: Automatické ověřování sémantických ekvivalencí na systémech s nekonečně mnoha stavy: techniky a výsledky
      RIV/00216224:14330/06:00016828 Článek v odborném periodiku. Informatika. angličtina. Velká Británie a Severní Irsko.
      Kučera, Antonín (203 Česká republika, garant) -- Jančar, Petr (203 Česká republika)
      Klíčová slova anglicky: formal verification; infinite-state systems; equivalence-checking
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 30. 11. 2006 23:49.
      Podrobněji: https://is.muni.cz/publication/634964/cs

    2004

    1. DP lower bounds for equivalence-checking and model-checking of one-counter automata
      JANČAR, Petr, Antonín KUČERA, Faron MOLLER a Zdeněk SAWA. DP lower bounds for equivalence-checking and model-checking of one-counter automata. Information and Computation. Academic Press, 2004, roč. 188, č. 1, s. 1-19. ISSN 0890-5401.
      Název česky: DP dolní složitostní odhady pro problémy související s formální verifikací automatů s jedním čítačem
      RIV/00216224:14330/04:00009891 Článek v odborném periodiku. Informatika. angličtina. Spojené státy.
      Jančar, Petr (203 Česká republika) -- Kučera, Antonín (203 Česká republika, garant) -- Moller, Faron (826 Velká Británie a Severní Irsko) -- Sawa, Zdeněk (203 Česká republika)
      Klíčová slova anglicky: one-counter automata; equivalence-checking; bisimilarity
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 22. 11. 2006 18:22.
      Podrobněji: https://is.muni.cz/publication/491238/cs

    2002

    1. Equivalence-Checking with Infinite-State Systems: Techniques and Results.
      KUČERA, Antonín a Petr JANČAR. Equivalence-Checking with Infinite-State Systems: Techniques and Results. W.I. Grosky, F. Plášil (Eds.). In Proceedings of 29th Conference on Current Trends in Theory and Practice of Informatics (SOFSEM 2002). Berlin: Springer, 2002, s. 41-73. ISBN 3-540-00145-X.
      Název anglicky: Equivalence-Checking with Infinite-State Systems: Techniques and Results.
      RIV/00216224:14330/02:00006714 Stať ve sborníku. Počítačový hardware a software. angličtina. Německo.
      Kučera, Antonín (203 Česká republika, garant) -- Jančar, Petr (203 Česká republika)
      Klíčová slova anglicky: infinite-state systems; equivalence-checking
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 22. 11. 2006 17:28.
      Podrobněji: https://is.muni.cz/publication/406616/cs
    2. INFINITY 2002. 4th International Workshop on Verification of Infinite-State Systems
      KUČERA, Antonín a Richard MAYR. INFINITY 2002. 4th International Workshop on Verification of Infinite-State Systems. 2002.
      URL
      Název anglicky: INFINITY 2002. 4th International Workshop on Verification of Infinite-State Systems
      RIV/00216224:14330/02:00007778 Uspořádání workshopu. Teorie informace. angličtina. Česká republika.
      Kučera, Antonín (203 Česká republika, garant) -- Mayr, Richard (276 Německo)
      Klíčová slova anglicky: Infinite-State Systems; Formal Verification; Equivalence-Checking; Model-Checking
      Mezinárodní význam: ano
      Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 22. 11. 2006 17:26.
      Podrobněji: https://is.muni.cz/publication/486636/cs
Zobrazeno: 27. 4. 2024 06:56