česky | in English
Název česky: O rozhodnutelnosti problému ověřování modelu pro LTL a procesové přepisovací systémy
RIV/00216224:14330/09:00029078 Článek v odborném periodiku. Informatika. angličtina. Německo.
Bozzelli, Laura (380 Itálie) -- Křetínský, Mojmír (203 Česká republika, garant) -- Řehák, Vojtěch (203 Česká republika) -- Strejček, Jan (203 Česká republika)
Klíčová slova anglicky: infinite-state systems; linear time logic; decidability; model checking
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 22. 5. 2009 16:43.
Název česky: Rozhodnutelnost pravděpodobnostní bisimulační ekvivalence pro systémy s nekonečně mnoha stavy
RIV/00216224:14330/08:00025864 Článek v odborném periodiku. Informatika. angličtina. Německo.
Brázdil, Tomáš (203 Česká republika) -- Kučera, Antonín (203 Česká republika, garant) -- Stražovský, Oldřich (203 Česká republika)
Klíčová slova anglicky: probabilistic bisimilarity; infinite-state systems
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. 5. 2009 15:10.
Název česky: Automatická verifikace systémů s neomezeným počtem komponent
RIV/00216224:14330/08:00024358 Článek v odborném periodiku. Informatika. angličtina. Spojené státy.
Vařeková, Pavlína (203 Česká republika, domácí) -- Zimmerová, Barbora (203 Česká republika, domácí) -- Moravec, Pavel (203 Česká republika) -- Černá, Ivana (203 Česká republika, garant, domácí)
Klíčová slova anglicky: Component-based systems; dynamic number of components; infinite-state systems; formal verification
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:52.
Název česky: Symbolicka verifikace slabe rozsirenych PAD
RIV/00216224:14330/07:00021744 Stať ve sborníku. Informatika. angličtina. Německo.
Bouajjani, Ahmed (504 Maroko) -- Strejček, Jan (203 Česká republika, garant) -- Touili, Tayssir (788 Tunisko)
Klíčová slova anglicky: rewrite systems; infinite-state systems; symbolic reachability analysis; model checking
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 23. 6. 2009 17:48.
Název česky: Sémantické porovnávání systémů s jejich konečnými specifikacemi
RIV/00216224:14330/06:00017031 Článek v odborném periodiku. Informatika. angličtina. Nizozemské království.
Kučera, Antonín (203 Česká republika, garant) -- Schnoebelen, Philippe (250 Francie)
Klíčová slova anglicky: concurrency; semantic equivalences; infinite-state systems
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:48.
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.
Název česky: O rozhodnutelnosti problému ověřování modelu pro LTL a procesové přepisovací systémy
RIV/00216224:14330/06:00015417 Stať ve sborníku. Informatika. angličtina. Indie.
Bozzelli, Laura (380 Itálie) -- Křetínský, Mojmír (203 Česká republika, garant) -- Řehák, Vojtěch (203 Česká republika) -- Strejček, Jan (203 Česká republika)
Klíčová slova anglicky: infinite-state systems; linear time logic; decidability; model checking
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 20. 12. 2011 18:12.
Název česky: O rozhodnutelnosti problému ověřování modelu pro LTL a slabě royšířené procesové přepisovací systémy
RIV/00216224:14330/06:00015439 Audiovizuální tvorba. Informatika. angličtina. Česká republika.
Bozzelli, Laura (380 Itálie) -- Křetínský, Mojmír (203 Česká republika, garant) -- Řehák, Vojtěch (203 Česká republika) -- Strejček, Jan (203 Česká republika)
Klíčová slova anglicky: infinite-state systems; linear time logic; decidability; model checking
Mezinárodní význam: ano
Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 31. 3. 2010 15:19.
Název česky: Symbolicka verifikace slabe rozsirenych PAD
RIV/00216224:14330/06:00018747 Stať ve sborníku. Informatika. angličtina. Německo.
Bouajjani, Ahmed (504 Maroko) -- Strejček, Jan (203 Česká republika, garant) -- Touili, Tayssir (788 Tunisko)
Klíčová slova anglicky: rewrite systems; infinite-state systems; symbolic reachability analysis; model checking
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 18. 6. 2007 14:11.
Název česky: Obecný přístup k sémantickému porovnávání nekonečně-stavových systémů s jejich konečně-stavovými specifikacemi
RIV/00216224:14330/04:00010252 Stať ve sborníku. Informatika. angličtina. Německo.
Kučera, Antonín (203 Česká republika, garant) -- Schnoebelen, Philippe (250 Francie)
Klíčová slova anglicky: verification; semantic equivalences; infinite-state systems
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.
Název česky: Rozcesti nekonecnych vysledku
Název anglicky: Roadmap of Infinite Results
RIV/00216224:14330/04:00010683 Článek v odborném periodiku. Informatika. angličtina. Spojené státy.
Srba, Jiří (203 Česká republika, garant)
Klíčová slova anglicky: infinite-state systems; bisimilarity; complexity; decidability
Změnil: Prof. Jiří Srba, Ph.D., učo 2841. Změněno: 18. 1. 2005 17:32.
RIV/00216224:14330/03:00008161 Stať ve sborníku. Informatika. angličtina. Německo.
Jančar, Petr (203 Česká republika) -- Kučera, Antonín (203 Česká republika, garant) -- Moller, Faron (124 Kanada)
Klíčová slova anglicky: verification; bisimilarity; infinite-state systems
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.
Přír. čísla: 4200509075
Název anglicky: Strong Bisimilarity of Simple Process Algebras: Complexity Lower Bounds
RIV/00216224:14330/03:00008470 Článek v odborném periodiku. Informatika. angličtina. Nizozemské království.
Srba, Jiří (203 Česká republika, garant)
Klíčová slova anglicky: infinite-state systems; bisimilarity; complexity
Změnil: Prof. Jiří Srba, Ph.D., učo 2841. Změněno: 26. 5. 2004 13:37.
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.
Název anglicky: Equivalence-Checking with One-Counter Automata: A Generic Method for Proving Lower Bounds
RIV/00216224:14330/02:00005571 Stať ve sborníku. Počítačový hardware a software. angličtina. Nizozemské království.
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: concurrency; infinite-state systems; bisimilarity
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.
Název anglicky: Infinity 2002. 4th International Workshop on Verification of Infinite-State Systems
RIV/00216224:14330/02:00006934 Odborná kniha. Počítačový hardware a software. angličtina. Nizozemské království.
Kučera, Antonín (203 Česká republika, garant) -- Mayr, Richard (276 Německo)
Klíčová slova anglicky: infinite-state systems
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.
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.
Název anglicky: On the Complexity of Semantic Equivalences for Pushdown Automata and BPA
RIV/00216224:14330/02:00006374 Stať ve sborníku. Počítačový hardware a software. angličtina. Německo.
Kučera, Antonín (203 Česká republika, garant) -- Mayr, Richard (276 Německo)
Klíčová slova anglicky: verification; concurrency; weak bisimilarity; infinite-state systems
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.
Přír. čísla: 4200507990
RIV/00216224:14330/02:00006381 Stať ve sborníku. Počítačový hardware a software. angličtina. Německo.
Kučera, Antonín (203 Česká republika, garant) -- Strejček, Jan (203 Česká republika)
Klíčová slova anglicky: verification; concurrency; weak bisimilarity; infinite-state systems
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 20. 12. 2011 18:12.
Přír. čísla: 4200508076
Název anglicky: Weak Bisimilarity between Finite-State Systems and BPA or normed BPP is Decidable in Polynomial Time
RIV/00216224:14330/02:00004665 Článek v odborném periodiku. Počítačový hardware a software. angličtina. Nizozemské království.
Kučera, Antonín (203 Česká republika, garant) -- Mayr, Richard (276 Německo)
Klíčová slova anglicky: concurrency; infinite-state systems; 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:15.
Název anglicky: Why is Simulation Harder Than Bisimulation?
RIV/00216224:14330/02:00006376 Stať ve sborníku. Počítačový hardware a software. angličtina. Německo.
Kučera, Antonín (203 Česká republika, garant) -- Mayr, Richard (276 Německo)
Klíčová slova anglicky: verification; concurrency; weak bisimilarity; infinite-state systems
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.
Přír. čísla: 4200507940, 4200507971
Název anglicky: Deciding Bisimulation-Like Equivalences with Finite-State Processes
RIV/00216224:14330/01:00003122 Článek v odborném periodiku. Počítačový hardware a software. angličtina. Nizozemské království.
Klíčová slova anglicky: concurrency; infinite-state systems; bisimilarity
Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 8. 11. 2001 16:30.
Název anglicky: Comparing Expressibility of Normed BPA and Normed BPP Processes.
RIV/00216224:14330/99:00000703 Článek v odborném periodiku. Počítačový hardware a software. angličtina. Německo.
Černá, Ivana (203 Česká republika, garant) -- Křetínský, Mojmír (203 Česká republika) -- Kučera, Antonín (203 Česká republika)
Klíčová slova anglicky: concurrency; bisimilarity; infinite-state systems
Změnila: prof. RNDr. Ivana Černá, CSc., učo 1419. Změněno: 8. 6. 2009 16:18.
Název anglicky: On Finite Representations of Infinite-State Behaviours.
RIV/00216224:14330/99:00000735 Článek v odborném periodiku. Počítačový hardware a software. angličtina. Nizozemské království.
Klíčová slova anglicky: concurrency; infinite-state systems; behavioural equivalences; regularity
Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 13. 1. 2000 10:40.
Název anglicky: Simulation Preorder on Simple Process Algebras
RIV/00216224:14330/99:00001101 Stať ve sborníku. Počítačový hardware a software. angličtina. Německo.
Klíčová slova anglicky: concurrency; simulation; infinite-state systems
Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 13. 1. 2000 10:45.
Přír. čísla: 4200507237
Název anglicky: Weak Bisimilarity with Infinite-State Systems Can Be Decided in Polynomial Time
RIV/00216224:14330/99:00001106 Stať ve sborníku. Počítačový hardware a software. angličtina. Německo.
Klíčová slova anglicky: verification; concurrency; weak bisimilarity; infinite-state systems
Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 13. 1. 2000 10:47.
Název anglicky: Bisimilarity of Processes with Finite-State Systems
RIV/00216224:14330/98:00000695 Stať ve sborníku. Počítačový hardware a software. angličtina. Německo.
Klíčová slova anglicky: concurrency; bisimilarity; infinite-state systems
Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 13. 1. 2000 10:51.
Název anglicky: MFCS´98 Workshop on Concurrency, August_27-29,_1998, Brno, Czech Republic : pre-proceedings
RIV/00216224:14330/98:00001618 Článek v odborném periodiku. Počítačový hardware a software. angličtina. Česká republika.
Klíčová slova anglicky: Concurrency; infinite-state systems
Změnil: prof. RNDr. Mojmír Křetínský, CSc., učo 631. Změněno: 13. 1. 2000 12:18.
Název anglicky: Bisimilarity is Decidable in the Union of Normed BPA and Normed BPP Processes
RIV/00216224:14330/97:00000102 Článek v odborném periodiku. Počítačový hardware a software. angličtina. Nizozemské království.
Klíčová slova anglicky: concurrency; bisimilarity; infinite-state systems
Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 13. 1. 2000 10:53.
Název anglicky: Bisimilarity of Processes with Finite-State Systems
RIV/00216224:14330/97:00000101 Stať ve sborníku. Počítačový hardware a software. angličtina. Švédsko.
Klíčová slova anglicky: concurrency; bisimilarity; infinite-state systems
Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 13. 1. 2000 10:57.
Název anglicky: Bisimilarity of Processes with Finite-State Systems.
RIV/00216224:14330/97:00000103 Článek v odborném periodiku. Počítačový hardware a software. angličtina. Nizozemské království.
Klíčová slova anglicky: concurrency; bisimilarity; infinite-state systems
Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 13. 1. 2000 10:59.
Název anglicky: How to Parallelize Sequential Processes
RIV/00216224:14330/97:00000100 Stať ve sborníku. Počítačový hardware a software. angličtina. Německo.
Klíčová slova anglicky: concurrency; bisimilarity; infinite-state systems; decomposability
Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 13. 1. 2000 11:02.
Název anglicky: On Finite Representations of Infinite-State Behaviours.
RIV/00216224:14330/97:00000096 Stať ve sborníku. Počítačový hardware a software. angličtina. Německo.
Klíčová slova anglicky: concurrency; infinite-state systems; behavioural equivalences
Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 13. 1. 2000 11:09.