česky | in English
RIV/00216224:14330/19:00107786 Proceedings paper. English. Switzerland.
Baier, Christel (276 Germany) -- Blahoudek, František (203 Czech Republic) -- Duret-Lutz, Alexandre (756 Switzerland) -- Klein, Joachim (276 Germany) -- Müller, David (276 Germany) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution)
Keywords in English: TELA; Emerson-Lei automata; emptiness check; probabilistic model checking
Type of proceedings: pre-proceedings
International impact: yes
Reviewed: yes
Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 28/4/2020 11:04.
RIV/00216224:14330/19:00107770 Proceedings paper. English. Switzerland.
Major, Juraj (703 Slovakia, belonging to the institution) -- Blahoudek, František (203 Czech Republic) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Jánošová, Miriama (703 Slovakia, belonging to the institution) -- Zbončáková, Tatiana (703 Slovakia, belonging to the institution)
Keywords in English: ltl3tela; LTL; linear temporal logic; automata; automata over infinite words; LTL to automata
Type of proceedings: pre-proceedings
International impact: yes
Reviewed: yes
Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 28/4/2020 00:04.
Name in Czech: O zpřesňování Büchiho automatů pro explicitní metodu ověřování modelu.
RIV/00216224:14330/15:00080986 Proceedings paper. Informatics. English. Switzerland.
Blahoudek, František (203 Czech Republic, belonging to the institution) -- Duret-Lutz, Alexandre (250 France) -- Rujbr, Vojtěch (203 Czech Republic, belonging to the institution) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution)
Keywords in English: linear temporal logic; Büchi automata; explicit model checking; specification refinement
Type of proceedings: post-proceedings
International impact: yes
Reviewed: yes
Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 13/5/2020 20:47.
Name in Czech: Existuje nejlepší Büchiho automat pro explicitní metodu ověřování modelu?
RIV/00216224:14330/14:00073815 Proceedings paper. Informatics. English. United States of America.
Blahoudek, František (203 Czech Republic, belonging to the institution) -- Duret-Lutz, Alexandre (250 France) -- Křetínský, Mojmír (203 Czech Republic, belonging to the institution) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution)
Keywords in English: linear temporal logic; Büchi automata; explicit model checking
Type of proceedings: post-proceedings
International impact: yes
Reviewed: yes
Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 11/7/2019 13:31.
Name in Czech: Skoro lineární Büchiho automaty
RIV/00216224:14330/09:00029631 Proceedings paper. Informatics. English. Italy.
Babiak, Tomáš (703 Slovakia) -- Řehák, Vojtěch (203 Czech Republic, guarantor) -- Strejček, Jan (203 Czech Republic)
Keywords in English: LTL; linear time logic; model checking
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/11/2009 16:12.
Name in Czech: Sada nástrojů CoIn
RIV/00216224:14330/09:00028846 Software. Informatics. English. Czech Republic.
Beneš, Nikola (203 Czech Republic, guarantor, belonging to the institution) -- Bühnová, Barbora (203 Czech Republic, belonging to the institution) -- Černá, Ivana (203 Czech Republic, belonging to the institution) -- Křivánek, Milan (203 Czech Republic, belonging to the institution)
Keywords in English: formal verification; model checking; component-interaction automata; state/event LTL
International impact: yes
Changed by: RNDr. Nikola Beneš, Ph.D., učo 72525. Changed: 17/12/2010 12:26.
Name in Czech: Efektivní verifikace rosáhlých modelů
Name (in English): Efficient Large-Scale Model Checking
RIV/00216224:14330/09:00029324 Proceedings paper. Informatics. English. Italy.
Verstoep, Kees (528 Netherlands) -- Bal, Henri E. (528 Netherlands) -- Barnat, Jiří (203 Czech Republic, guarantor, belonging to the institution) -- Brim, Luboš (203 Czech Republic, belonging to the institution)
Keywords in English: model checking; distributed; parallel; large-scale
International impact: yes
Reviewed: yes
Changed by: prof. RNDr. Luboš Brim, CSc., učo 197. Changed: 2/2/2011 09:34.
Name in Czech: Algoritmická analýza transkripční regulace s využitím metody ověřování modelů
RIV/00216224:14330/09:00029225 Article in a journal. Informatics. English. Czech Republic.
Barnat, Jiří (203 Czech Republic, belonging to the institution) -- Brim, Luboš (203 Czech Republic, belonging to the institution) -- Černá, Ivana (203 Czech Republic, belonging to the institution) -- Dražan, Sven (203 Czech Republic, belonging to the institution) -- Fabriková, Jana (203 Czech Republic, belonging to the institution) -- Šafránek, David (203 Czech Republic, guarantor, belonging to the institution)
Keywords in English: Genetic regulatory network; Piecewise-linear approximation; Model checking
International impact: yes
Reviewed: yes
Changed by: prof. RNDr. Luboš Brim, CSc., učo 197. Changed: 2/2/2011 09:33.
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: Prostorově efektivní ověřování modelu pro komponentově-interakční automaty
RIV/00216224:14330/09:00028809 Proceedings paper. Informatics. English. Germany.
Beneš, Nikola (203 Czech Republic, guarantor, belonging to the institution) -- Křivánek, Milan (203 Czech Republic, belonging to the institution) -- Štefaňák, Filip (703 Slovakia, belonging to the institution)
Keywords in English: partial order reduction; model checking; component-based systems
Type of proceedings: post-proceedings
Changed by: RNDr. Nikola Beneš, Ph.D., učo 72525. Changed: 17/12/2010 12:27.
Name in Czech: Komplementarita technik pro detekci chyb
RIV/00216224:14330/08:00025027 Proceedings paper. Informatics. English. Netherlands.
Pelánek, Radek (203 Czech Republic, guarantor) -- Rosecký, Václav (203 Czech Republic) -- Moravec, Pavel (203 Czech Republic)
Keywords in English: model checking; evaluation; error detection
Type of proceedings: post-proceedings
International impact: yes
Reviewed: yes
Changed by: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Changed: 30/3/2010 09:57.
Name in Czech: Boj se stavovou explozí: přehled a zhodnocení
RIV/00216224:14330/08:00025026 Proceedings paper. Informatics. English. Germany.
Pelánek, Radek (203 Czech Republic, guarantor)
Keywords in English: model checking; state space explosion; review; evaluation; experience report
Type of proceedings: post-proceedings
International impact: yes
Reviewed: yes
Changed by: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Changed: 30/3/2010 09:52.
Name in Czech: Od jednoduchých regulačních motivů k ověřování komplexních transkripčních sítí
RIV/00216224:14330/08:00024175 Proceedings paper. Informatics. English. Czech Republic.
Barnat, Jiří (203 Czech Republic) -- Brim, Luboš (203 Czech Republic) -- Černá, Ivana (203 Czech Republic) -- Dražan, Sven (203 Czech Republic) -- Šafránek, David (203 Czech Republic, guarantor)
Keywords in English: transcriptional networks; model checking; B. subtilis
Type of proceedings: pre-proceedings
International impact: yes
Reviewed: yes
Changed by: prof. RNDr. Ivana Černá, CSc., učo 1419. Changed: 31/3/2010 15:34.
Name in Czech: I/O-efektivní ověřování modelů
Name (in English): I/O Efficient Model Checking
Informatics. English. Austria.
Keywords in English: external; I/O efficient; model checking; external memory
Type of participation: active participation (giving a lecture, organization, etc.)
International impact: yes
Changed by: RNDr. Pavel Šimeček, Ph.D., učo 51636. Changed: 25/11/2008 14:06.
Name in Czech: Klasifikace modelů a automatická verifikace
RIV/00216224:14330/08:00024587 Proceedings paper. Informatics. English. Germany.
Pelánek, Radek (203 Czech Republic, guarantor)
Keywords in English: model checking; automated verification; state space
Type of proceedings: post-proceedings
International impact: yes
Reviewed: yes
Changed by: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Changed: 23/6/2009 12:51.
Name in Czech: Algoritmická analýza biologických sítí
RIV/00216224:14330/08:00028409 Requested lectures. Informatics. English. Czech Republic.
Šafránek, David (203 Czech Republic, guarantor)
Keywords in English: bilogical networks; model checking; systems biology
Type of participation: active participation (giving a lecture, organization, etc.)
International impact: yes
Changed by: doc. RNDr. David Šafránek, Ph.D., učo 3159. Changed: 20/6/2008 14:24.
Name in Czech: Semi-externí ověřování LTL vlastností modelů
Name (in English): Semi-external LTL Model Checking
RIV/00216224:14330/08:00024282 Proceedings paper. Informatics. English. United States of America.
Edelkamp, Stefan (276 Germany) -- Sanders, Peter (276 Germany) -- Šimeček, Pavel (203 Czech Republic, guarantor)
Keywords in English: semi-external;model checking;external;I/O complexity
Type of proceedings: pre-proceedings
International impact: yes
Reviewed: yes
Changed by: RNDr. Pavel Šimeček, Ph.D., učo 51636. Changed: 25/5/2009 11:42.
Name in Czech: Semi-externí ověřování LTL vlastností modelů
Name (in English): Semi-External LTL Model Checking
Informatics. English. Czech Republic.
Keywords in English: semi-external;model checking;external;I/O complexity
Type of participation: active participation (giving a lecture, organization, etc.)
International impact: yes
Changed by: RNDr. Pavel Šimeček, Ph.D., učo 51636. Changed: 26/11/2008 09:05.
Name in Czech: CoIn Tool: Modelování a verifikace interakcí v komponentových systémech
RIV/00216224:14330/08:00024294 Proceedings paper. Informatics. English. Spain.
Beneš, Nikola (203 Czech Republic, belonging to the institution) -- Brim, Luboš (203 Czech Republic, belonging to the institution) -- Černá, Ivana (203 Czech Republic, belonging to the institution) -- Sochor, Jiří (203 Czech Republic, belonging to the institution) -- 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; Component-Interaction automata; formal verification; LTL; model checking
Type of proceedings: pre-proceedings
International impact: yes
Reviewed: yes
Changed by: RNDr. Nikola Beneš, Ph.D., učo 72525. Changed: 17/12/2010 12:32.
Name in Czech: Ověřování modelu pro rozsáhlé konečně stavové systémy a za jejich hranicemi
RIV/00216224:14330/07:00019356 Proceedings paper. Informatics. English. Czech Republic.
Brim, Luboš (203 Czech Republic, guarantor) -- Křetínský, Mojmír (203 Czech Republic)
Keywords in English: finite and infinite-state systems; reachability; linear time logic; model checking; decidability
Type of proceedings: pre-proceedings
International impact: yes
Reviewed: yes
Changed by: prof. RNDr. Mojmír Křetínský, CSc., učo 631. Changed: 12/6/2008 09:40.
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: Predikátová abstrakce a zjemňování dolních aproximací
RIV/00216224:14330/07:00020179 Article in a journal. Informatics. English. Germany.
Pelánek, Radek (203 Czech Republic, guarantor) -- Pasareanu, Corina (642 Romania) -- Visser, Willem (710 South Africa)
Keywords in English: model checking; predicate abstraction; under-approximation
International impact: yes
Reviewed: yes
Changed by: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Changed: 23/6/2009 12:50.
Name in Czech: ProbDiVinE: Paralelní qualitativní model checker
Name (in English): ProbDiVinE: A Parallel Qualitative LTL Model Checker
RIV/00216224:14330/07:00019472 Proceedings paper. Informatics. English. United Kingdom of Great Britain and Northern Ireland.
Barnat, Jiří (203 Czech Republic, guarantor) -- Brim, Luboš (203 Czech Republic) -- Černá, Ivana (203 Czech Republic) -- Češka, Milan (203 Czech Republic) -- Tůmová, Jana (203 Czech Republic)
Keywords in English: ProbDiVinE; Qualitative LTL; Probabilistic; Model Checking
Type of proceedings: pre-proceedings
International impact: yes
Reviewed: yes
Changed by: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Changed: 1/6/2009 21:07.
Name in Czech: Oslabení podmínky na cykly zlepšující redukci pomocí reprezentantů
Name (in English): Relaxed Cycle Condition Improves Partial Order Reduction
RIV/00216224:14330/07:00019497 Proceedings paper. Informatics. English. Czech Republic.
Moravec, Pavel (203 Czech Republic, guarantor) -- Šimša, Jiří (203 Czech Republic)
Keywords in English: model checking; partial order reduction; proviso checking
Changed by: Mgr. Pavel Moravec, učo 39589. Changed: 28/11/2007 10:10.
Name in Czech: Logika pro náhodnostní hry
RIV/00216224:14330/07:00022945 Proceedings paper. Informatics. English. United States of America.
Baier, Christel (276 Germany) -- Brázdil, Tomáš (203 Czech Republic) -- Größer, Marcus (276 Germany) -- Kučera, Antonín (203 Czech Republic, guarantor)
Keywords in English: stochastic systems; temporal logic; model 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: 25/11/2007 23:27.
Name in Czech: Verifikace VHDL programů s více hodinami pomocí SMV
RIV/00216224:14330/07:00019329 Proceedings paper. Informatics. English. Germany.
Smrčka, Aleš (203 Czech Republic) -- Řehák, Vojtěch (203 Czech Republic) -- Vojnar, Tomáš (203 Czech Republic) -- Šafránek, David (203 Czech Republic, guarantor) -- Matoušek, Petr (203 Czech Republic) -- Řehák, Zdeněk (203 Czech Republic)
Keywords in English: formal verification; model checking; VHDL; asynchronous clock domains
Type of proceedings: post-proceedings
International impact: yes
Reviewed: yes
Changed by: doc. RNDr. David Šafránek, Ph.D., učo 3159. Changed: 9/4/2010 16:10.
Name in Czech: Experimentální porovnání algoritmů ověřujících proviso pro redukci pomocí reprezentantů
Name (in English): Experimental Comparison of Algorithms Checking Proviso for Partial Order Reduction
RIV/00216224:14330/06:00015445 Proceedings paper. Informatics. English. Czech Republic.
Moravec, Pavel (203 Czech Republic, guarantor)
Keywords in English: model checking; partial order reduction; proviso checking
Changed by: Mgr. Pavel Moravec, učo 39589. Changed: 4/12/2006 15:24.
Name in Czech: Formální verifikace FIFO komponenty při návrhu síťového monitorovacího hardware
RIV/00216224:14330/06:00015311 Proceedings paper. Informatics. English. Czech Republic.
Kratochvíla, Tomáš (203 Czech Republic) -- Řehák, Vojtěch (203 Czech Republic) -- Šafránek, David (203 Czech Republic, guarantor)
Keywords in English: formal verification; model checking; component-based hardware; FPGA
Type of proceedings: post-proceedings
International impact: yes
Reviewed: yes
Changed by: doc. RNDr. David Šafránek, Ph.D., učo 3159. Changed: 9/4/2010 16:09.
Name in Czech: Využití horních a dolních mezí při zónových abstrakcích časových automatů
RIV/00216224:14330/06:00015564 Article in a journal. Informatics. English. Germany.
Pelánek, Radek (203 Czech Republic, guarantor) -- Larsen, Kim G. (208 Denmark) -- Behrmann, Gerd (208 Denmark) -- Bouyer, Patricia (250 France)
Keywords in English: model checking; timed automata; verification; abstraction; extrapolation
International impact: yes
Reviewed: yes
Changed by: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Changed: 21/11/2006 14:01.
Name in Czech: Ověřování pro RegCTL
RIV/00216224:14330/06:00015466 Article in a journal. Informatics. English. Slovakia.
Černá, Ivana (203 Czech Republic, guarantor) -- Brázdil, Tomáš (203 Czech Republic)
Keywords in English: model checking; RegCTL temporal logic
International impact: yes
Reviewed: yes
Changed by: prof. RNDr. Ivana Černá, CSc., učo 1419. Changed: 8/6/2009 16:06.
Name in Czech: O alternativní konstrukci LTL tabla
Name (in English): On Alternative Construction of LTL Tableau
Informatics. English. Czech Republic.
Keywords in English: model checking; linear temporal logic; tableau construction
Changed by: Mgr. Jiří Šimša, učo 60360. Changed: 7/12/2006 12:13.
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: Konkrétní hledání s abstraktním sdružováním a zjemněním
RIV/00216224:14330/05:00012728 Proceedings paper. Informatics. English. United Kingdom of Great Britain and Northern Ireland.
Pelánek, Radek (203 Czech Republic, guarantor) -- Pasareanu, Corina (642 Romania) -- Visser, Willem (710 South Africa)
Keywords in English: model checking; predicate abstraction; under-approximation
Type of proceedings: post-proceedings
International impact: yes
Reviewed: yes
Changed by: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Changed: 21/11/2006 14:02.
Name in Czech: Hlubší spojitosti mezi LTL a alternujícími automaty
RIV/00216224:14330/05:00012729 Proceedings paper. Informatics. English. France.
Pelánek, Radek (203 Czech Republic) -- Strejček, Jan (203 Czech Republic, guarantor)
Keywords in English: LTL; alternating automata; model checking
International impact: yes
Reviewed: yes
Changed by: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Changed: 29/3/2010 12:50.
Name in Czech: Ověřování modelu formulemi LTL v prostředís distribuovanou pamětí
Name (in English): Distributed Memory LTL Model Checking (Ph.D. Thesis)
RIV: Book on a specialized topic. Informatics. English. Czech Republic.
Barnat, Jiří (203 Czech Republic, guarantor)
Keywords in English: Distributed; LTL; Model Checking
International impact: yes
Reviewed: yes
Changed by: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Changed: 23/6/2009 14:36.
Name in Czech: Jak se vypořádat s vyšší závislostí v partial order reduction při ověřování LTL vlastností modelu
Name (in English): How to Cope with Higher Dependency in Partial Order Reduction for LTL Model Checking
RIV/00216224:14330/05:00012706 Proceedings paper. Informatics. English. Czech Republic.
Moravec, Pavel (203 Czech Republic, guarantor)
Keywords in English: model checking; partial order reduction; ample sets
Changed by: Mgr. Pavel Moravec, učo 39589. Changed: 4/1/2007 12:22.
Name in Czech: O diskrétní sémantice časových automatů
RIV/00216224:14330/05:00012726 Proceedings paper. Informatics. English. India.
Pelánek, Radek (203 Czech Republic, guarantor) -- Krčál, Pavel (203 Czech Republic)
Keywords in English: model checking; timed automata; non-emptiness problems; decidability
Type of proceedings: post-proceedings
International impact: yes
Reviewed: yes
Changed by: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Changed: 23/6/2009 12:59.
Name in Czech: Horní a dolní meze při analýze časových automatů s použitím zónové abstrakce
RIV/00216224:14330/04:00010716 Proceedings paper. Informatics. English. Spain.
Pelánek, Radek (203 Czech Republic, guarantor) -- Larsen, Kim G. (208 Denmark) -- Behrmann, Gerd (208 Denmark) -- Bouyer, Patricia (250 France)
Keywords in English: model checking; timed automata; abstraction
Type of proceedings: post-proceedings
International impact: yes
Reviewed: yes
Changed by: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Changed: 21/11/2006 14:02.
Name in Czech: Ověřování platnosti formulí temporálních logik pro procesy zásobníkových automatů
RIV/00216224:14330/04:00010191 Proceedings paper. Informatics. English. United States of America.
Esparza, Javier (724 Spain) -- Kučera, Antonín (203 Czech Republic, guarantor) -- Mayr, Richard (276 Germany)
Keywords in English: Probabilistic Pushdown Automata; Model 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 Czech: Paralelní ověřování modelu
Name (in English): Parallel Model-Checking
RIV/00216224:14330/04:00010182 Article in a journal. Informatics. Czech. Czech Republic.
Brim, Luboš (203 Czech Republic, guarantor)
Keywords in English: Model Checking
International impact: yes
Reviewed: yes
Changed by: prof. RNDr. Luboš Brim, CSc., učo 197. Changed: 22/11/2006 08:32.
Name (in English): LTL Hierarchies and Model Checking
RIV/00216224:14330/03:00008596 Proceedings paper. Informatics. English. Austria.
Pelánek, Radek (203 Czech Republic, guarantor)
Keywords in English: LTL; model checking
Type of proceedings: post-proceedings
International impact: yes
Reviewed: yes
Changed by: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Changed: 21/11/2006 14:02.
RIV/00216224:14330/03:00008593 Proceedings paper. Informatics. English. Canada.
Barnat, Jiří (203 Czech Republic, guarantor) -- Brim, Luboš (203 Czech Republic) -- Chaloupka, Jakub (203 Czech Republic)
Keywords in English: model checking; parallel algorithm; breadth first search
International impact: yes
Reviewed: yes
Changed by: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Changed: 1/6/2009 21:17.
Name (in English): PDMC 2003 - Parallel and Distributed Model Checking. Proceedings.
RIV/00216224:14330/03:00008595 Book on a specialized topic. Informatics. English. Netherlands.
Brim, Luboš (203 Czech Republic, guarantor) -- Grumberg, Orna (376 Israel)
Keywords in English: model checking; parallel computing; distributed computing
International impact: yes
Changed by: prof. RNDr. Luboš Brim, CSc., učo 197. Changed: 22/11/2006 08:32.
RIV/00216224:14330/03:00008590 Proceedings paper. Informatics. English. Germany.
Černá, Ivana (203 Czech Republic, guarantor) -- Pelánek, Radek (203 Czech Republic)
Keywords in English: temporal logic; automata over infinite words; model checking
International impact: yes
Reviewed: yes
Changed by: prof. RNDr. Ivana Černá, CSc., učo 1419. Changed: 8/6/2009 16:09.
Identification numbers: 4200509002
RIV/00216224:14330/03:00008592 Proceedings paper. Informatics. English. Netherlands.
Brim, Luboš (203 Czech Republic, guarantor) -- Žídková, Jitka (203 Czech Republic)
Keywords in English: verification; model checking
Changed by: Mgr. Jitka Žídková, učo 2922. Changed: 26/5/2004 16:19.
Name (in English): Using Assumptions to Distribute Model Checking
RIV/00216224:14330/03:00008254 Proceedings paper. Informatics. English. Czech Republic.
Žídková, Jitka (203 Czech Republic, guarantor)
Keywords in English: verification; model checking; distribution
Changed by: Mgr. Jitka Žídková, učo 2922. Changed: 26/5/2004 16:20.
RIV/00216224:14330/03:00008325 Audiovisual works. Informatics. English. Czech Republic.
Kratochvíla, Tomáš (203 Czech Republic) -- Řehák, Vojtěch (203 Czech Republic, guarantor) -- Šimeček, Pavel (203 Czech Republic)
Keywords in English: Liberouter; Combo6; formal verification; hardware verification; model checking; Cadence SMV; LeonardoSpectrum
Changed by: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Changed: 18/10/2004 15:55.
Name (in English): Local Distributed Model Checking of RegCTL
RIV/00216224:14330/02:00006437 Proceedings paper. Informatics. English. Netherlands.
Černá, Ivana (203 Czech Republic, guarantor) -- Brázdil, Tomáš (203 Czech Republic)
Keywords in English: model checking
International impact: yes
Reviewed: yes
Changed by: prof. RNDr. Ivana Černá, CSc., učo 1419. Changed: 22/11/2006 15:07.
Computer hardware and software. English. Czech Republic.
Keywords in English: model checking; hardware design
Changed by: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Changed: 20/12/2004 12:13.
Name (in English): PDMC 2002 - Parallel and Distributed Model Checking.
RIV/00216224:14330/02:00007762 Organization of a workshop. Computer hardware and software. English. Netherlands.
Brim, Luboš (203 Czech Republic, guarantor) -- Grumberg, Orna (376 Israel)
Keywords in English: model checking; parallel computing
International impact: yes
Changed by: prof. RNDr. Luboš Brim, CSc., učo 197. Changed: 22/11/2006 08:32.
Name (in English): PDMC 2002 - Parallel and Distributed Model Checking. Proceedings.
RIV/00216224:14330/02:00006419 Book on a specialized topic. Computer hardware and software. English. Netherlands.
Brim, Luboš (203 Czech Republic, guarantor) -- Grumberg, Orna (376 Israel)
Keywords in English: model checking; parallel computing
International impact: yes
Changed by: prof. RNDr. Luboš Brim, CSc., učo 197. Changed: 22/11/2006 08:32.
Name (in English): Using Assumptions to Distribute CTL Model Checking
RIV/00216224:14330/02:00006432 Proceedings paper. Computer hardware and software. English. Netherlands.
Brim, Luboš (203 Czech Republic, guarantor) -- Crhová, Jitka (203 Czech Republic) -- Yorav, Karen (376 Israel)
Keywords in English: verification; model checking
International impact: yes
Reviewed: yes
Changed by: prof. RNDr. Luboš Brim, CSc., učo 197. Changed: 22/11/2006 08:32.
RIV/00216224:14330/01:00004526 Proceedings paper. Information theory. English. Germany.
Keywords in English: Model checking; randomized algorithm; depth-first search
Changed by: prof. RNDr. Ivana Černá, CSc., učo 1419. Changed: 31/10/2001 08:01.