česky | in English
Name in Czech: O rozhodnutelnosti problému ověřování modelu pro LTL a procesové přepisovací systémy
RIV/00216224:14330/09:00029078 Article in a journal. Informatics. English. Germany.
Bozzelli, Laura (380 Italy) -- 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: infinite-state systems; linear time logic; decidability; model checking
International impact: yes
Reviewed: yes
Changed by: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Changed: 22/5/2009 16:43.
Name in Czech: Rozhodnutelnost pravděpodobnostní bisimulační ekvivalence pro systémy s nekonečně mnoha stavy
RIV/00216224:14330/08:00025864 Article in a journal. Informatics. English. Germany.
Brázdil, Tomáš (203 Czech Republic) -- Kučera, Antonín (203 Czech Republic, guarantor) -- Stražovský, Oldřich (203 Czech Republic)
Keywords in English: probabilistic bisimilarity; infinite-state systems
International impact: yes
Reviewed: yes
Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 22/5/2009 15:10.
Name in Czech: Automatická verifikace systémů s neomezeným počtem komponent
RIV/00216224:14330/08:00024358 Article in a journal. Informatics. English. United States of America.
Vařeková, Pavlína (203 Czech Republic, belonging to the institution) -- Zimmerová, Barbora (203 Czech Republic, belonging to the institution) -- Moravec, Pavel (203 Czech Republic) -- Černá, Ivana (203 Czech Republic, guarantor, belonging to the institution)
Keywords in English: Component-based systems; dynamic number of components; infinite-state systems; formal verification
International impact: yes
Reviewed: yes
Changed by: doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394. Changed: 4/11/2012 15:52.
Name in Czech: Symbolicka verifikace slabe rozsirenych PAD
RIV/00216224:14330/07:00021744 Proceedings paper. Informatics. English. Germany.
Bouajjani, Ahmed (504 Morocco) -- Strejček, Jan (203 Czech Republic, guarantor) -- Touili, Tayssir (788 Tunisia)
Keywords in English: rewrite systems; infinite-state systems; symbolic reachability analysis; model checking
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:48.
Name in Czech: Sémantické porovnávání systémů s jejich konečnými specifikacemi
RIV/00216224:14330/06:00017031 Article in a journal. Informatics. English. Netherlands.
Kučera, Antonín (203 Czech Republic, guarantor) -- Schnoebelen, Philippe (250 France)
Keywords in English: concurrency; semantic equivalences; infinite-state systems
International impact: yes
Reviewed: yes
Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 30/11/2006 23:48.
Name in Czech: 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 Article in a journal. Informatics. English. United Kingdom of Great Britain and Northern Ireland.
Kučera, Antonín (203 Czech Republic, guarantor) -- Jančar, Petr (203 Czech Republic)
Keywords in English: formal verification; infinite-state systems; equivalence-checking
International impact: yes
Reviewed: yes
Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 30/11/2006 23:49.
Name in Czech: O rozhodnutelnosti problému ověřování modelu pro LTL a procesové přepisovací systémy
RIV/00216224:14330/06:00015417 Proceedings paper. Informatics. English. India.
Bozzelli, Laura (380 Italy) -- 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: infinite-state systems; linear time logic; decidability; model checking
Type of proceedings: pre-proceedings
International impact: yes
Reviewed: yes
Changed by: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Changed: 20/12/2011 18:12.
Name in Czech: O rozhodnutelnosti problému ověřování modelu pro LTL a slabě royšířené procesové přepisovací systémy
RIV/00216224:14330/06:00015439 Audiovisual works. Informatics. English. Czech Republic.
Bozzelli, Laura (380 Italy) -- 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: infinite-state systems; linear time logic; decidability; model checking
International impact: yes
Changed by: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Changed: 31/3/2010 15:19.
Name in Czech: Symbolicka verifikace slabe rozsirenych PAD
RIV/00216224:14330/06:00018747 Proceedings paper. Informatics. English. Germany.
Bouajjani, Ahmed (504 Morocco) -- Strejček, Jan (203 Czech Republic, guarantor) -- Touili, Tayssir (788 Tunisia)
Keywords in English: rewrite systems; infinite-state systems; symbolic reachability analysis; model checking
Type of proceedings: pre-proceedings
International impact: yes
Reviewed: yes
Changed by: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Changed: 18/6/2007 14:11.
Name in Czech: 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 Proceedings paper. Informatics. English. Germany.
Kučera, Antonín (203 Czech Republic, guarantor) -- Schnoebelen, Philippe (250 France)
Keywords in English: verification; semantic equivalences; infinite-state systems
Type of proceedings: post-proceedings
International impact: yes
Reviewed: yes
Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 22/11/2006 17:28.
Name in Czech: Rozcesti nekonecnych vysledku
Name (in English): Roadmap of Infinite Results
RIV/00216224:14330/04:00010683 Article in a journal. Informatics. English. United States of America.
Srba, Jiří (203 Czech Republic, guarantor)
Keywords in English: infinite-state systems; bisimilarity; complexity; decidability
Changed by: Prof. Jiří Srba, Ph.D., učo 2841. Changed: 18/1/2005 17:32.
RIV/00216224:14330/03:00008161 Proceedings paper. Informatics. English. Germany.
Jančar, Petr (203 Czech Republic) -- Kučera, Antonín (203 Czech Republic, guarantor) -- Moller, Faron (124 Canada)
Keywords in English: verification; bisimilarity; infinite-state systems
Type of proceedings: post-proceedings
International impact: yes
Reviewed: yes
Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 22/11/2006 17:28.
Identification numbers: 4200509075
Name (in English): Strong Bisimilarity of Simple Process Algebras: Complexity Lower Bounds
RIV/00216224:14330/03:00008470 Article in a journal. Informatics. English. Netherlands.
Srba, Jiří (203 Czech Republic, guarantor)
Keywords in English: infinite-state systems; bisimilarity; complexity
Changed by: Prof. Jiří Srba, Ph.D., učo 2841. Changed: 26/5/2004 13:37.
Name (in English): Equivalence-Checking with Infinite-State Systems: Techniques and Results.
RIV/00216224:14330/02:00006714 Proceedings paper. Computer hardware and software. English. Germany.
Kučera, Antonín (203 Czech Republic, guarantor) -- Jančar, Petr (203 Czech Republic)
Keywords in English: infinite-state systems; equivalence-checking
Type of proceedings: post-proceedings
International impact: yes
Reviewed: yes
Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 22/11/2006 17:28.
Name (in English): Equivalence-Checking with One-Counter Automata: A Generic Method for Proving Lower Bounds
RIV/00216224:14330/02:00005571 Proceedings paper. Computer hardware and software. English. Netherlands.
Jančar, Petr (203 Czech Republic) -- Kučera, Antonín (203 Czech Republic, guarantor) -- Moller, Faron (826 United Kingdom of Great Britain and Northern Ireland) -- Sawa, Zdeněk (203 Czech Republic)
Keywords in English: concurrency; infinite-state systems; bisimilarity
Type of proceedings: post-proceedings
International impact: yes
Reviewed: yes
Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 22/11/2006 17:28.
Name (in English): Infinity 2002. 4th International Workshop on Verification of Infinite-State Systems
RIV/00216224:14330/02:00006934 Book on a specialized topic. Computer hardware and software. English. Netherlands.
Kučera, Antonín (203 Czech Republic, guarantor) -- Mayr, Richard (276 Germany)
Keywords in English: infinite-state systems
International impact: yes
Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 22/11/2006 17:26.
Name (in English): INFINITY 2002. 4th International Workshop on Verification of Infinite-State Systems
RIV/00216224:14330/02:00007778 Organization of a workshop. Information theory. English. Czech Republic.
Kučera, Antonín (203 Czech Republic, guarantor) -- Mayr, Richard (276 Germany)
Keywords in English: Infinite-State Systems; Formal Verification; Equivalence-Checking; Model-Checking
International impact: yes
Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 22/11/2006 17:26.
Name (in English): On the Complexity of Semantic Equivalences for Pushdown Automata and BPA
RIV/00216224:14330/02:00006374 Proceedings paper. Computer hardware and software. English. Germany.
Kučera, Antonín (203 Czech Republic, guarantor) -- Mayr, Richard (276 Germany)
Keywords in English: verification; concurrency; weak bisimilarity; infinite-state systems
Type of proceedings: post-proceedings
International impact: yes
Reviewed: yes
Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 22/11/2006 17:28.
Identification numbers: 4200507990
RIV/00216224:14330/02:00006381 Proceedings paper. Computer hardware and software. English. Germany.
Kučera, Antonín (203 Czech Republic, guarantor) -- Strejček, Jan (203 Czech Republic)
Keywords in English: verification; concurrency; weak bisimilarity; infinite-state systems
Type of proceedings: post-proceedings
International impact: yes
Reviewed: yes
Changed by: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Changed: 20/12/2011 18:12.
Identification numbers: 4200508076
Name (in English): Weak Bisimilarity between Finite-State Systems and BPA or normed BPP is Decidable in Polynomial Time
RIV/00216224:14330/02:00004665 Article in a journal. Computer hardware and software. English. Netherlands.
Kučera, Antonín (203 Czech Republic, guarantor) -- Mayr, Richard (276 Germany)
Keywords in English: concurrency; infinite-state systems; bisimilarity
International impact: yes
Reviewed: yes
Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 22/11/2006 18:15.
Name (in English): Why is Simulation Harder Than Bisimulation?
RIV/00216224:14330/02:00006376 Proceedings paper. Computer hardware and software. English. Germany.
Kučera, Antonín (203 Czech Republic, guarantor) -- Mayr, Richard (276 Germany)
Keywords in English: verification; concurrency; weak bisimilarity; infinite-state systems
Type of proceedings: post-proceedings
International impact: yes
Reviewed: yes
Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 22/11/2006 17:28.
Identification numbers: 4200507940, 4200507971
Name (in English): Deciding Bisimulation-Like Equivalences with Finite-State Processes
RIV/00216224:14330/01:00003122 Article in a journal. Computer hardware and software. English. Netherlands.
Keywords in English: concurrency; infinite-state systems; bisimilarity
Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 8/11/2001 16:30.
Name (in English): Comparing Expressibility of Normed BPA and Normed BPP Processes.
RIV/00216224:14330/99:00000703 Article in a journal. Computer hardware and software. English. Germany.
Černá, Ivana (203 Czech Republic, guarantor) -- Křetínský, Mojmír (203 Czech Republic) -- Kučera, Antonín (203 Czech Republic)
Keywords in English: concurrency; bisimilarity; infinite-state systems
Changed by: prof. RNDr. Ivana Černá, CSc., učo 1419. Changed: 8/6/2009 16:18.
Name (in English): On Finite Representations of Infinite-State Behaviours.
RIV/00216224:14330/99:00000735 Article in a journal. Computer hardware and software. English. Netherlands.
Keywords in English: concurrency; infinite-state systems; behavioural equivalences; regularity
Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 13/1/2000 10:40.
Name (in English): Simulation Preorder on Simple Process Algebras
RIV/00216224:14330/99:00001101 Proceedings paper. Computer hardware and software. English. Germany.
Keywords in English: concurrency; simulation; infinite-state systems
Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 13/1/2000 10:45.
Identification numbers: 4200507237
Name (in English): Weak Bisimilarity with Infinite-State Systems Can Be Decided in Polynomial Time
RIV/00216224:14330/99:00001106 Proceedings paper. Computer hardware and software. English. Germany.
Keywords in English: verification; concurrency; weak bisimilarity; infinite-state systems
Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 13/1/2000 10:47.
Name (in English): Bisimilarity of Processes with Finite-State Systems
RIV/00216224:14330/98:00000695 Proceedings paper. Computer hardware and software. English. Germany.
Keywords in English: concurrency; bisimilarity; infinite-state systems
Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 13/1/2000 10:51.
Name (in English): MFCS´98 Workshop on Concurrency, August_27-29,_1998, Brno, Czech Republic : pre-proceedings
RIV/00216224:14330/98:00001618 Article in a journal. Computer hardware and software. English. Czech Republic.
Keywords in English: Concurrency; infinite-state systems
Changed by: prof. RNDr. Mojmír Křetínský, CSc., učo 631. Changed: 13/1/2000 12:18.
Name (in English): Bisimilarity is Decidable in the Union of Normed BPA and Normed BPP Processes
RIV/00216224:14330/97:00000102 Article in a journal. Computer hardware and software. English. Netherlands.
Keywords in English: concurrency; bisimilarity; infinite-state systems
Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 13/1/2000 10:53.
Name (in English): Bisimilarity of Processes with Finite-State Systems
RIV/00216224:14330/97:00000101 Proceedings paper. Computer hardware and software. English. Sweden.
Keywords in English: concurrency; bisimilarity; infinite-state systems
Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 13/1/2000 10:57.
Name (in English): Bisimilarity of Processes with Finite-State Systems.
RIV/00216224:14330/97:00000103 Article in a journal. Computer hardware and software. English. Netherlands.
Keywords in English: concurrency; bisimilarity; infinite-state systems
Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 13/1/2000 10:59.
Name (in English): How to Parallelize Sequential Processes
RIV/00216224:14330/97:00000100 Proceedings paper. Computer hardware and software. English. Germany.
Keywords in English: concurrency; bisimilarity; infinite-state systems; decomposability
Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 13/1/2000 11:02.
Name (in English): On Finite Representations of Infinite-State Behaviours.
RIV/00216224:14330/97:00000096 Proceedings paper. Computer hardware and software. English. Germany.
Keywords in English: concurrency; infinite-state systems; behavioural equivalences
Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 13/1/2000 11:09.