česky | in English
RIV/00216224:14330/21:00119996 Software. angličtina. Česká republika.
Ročkai, Petr (703 Slovensko, garant, domácí) -- Lauko, Henrich (703 Slovensko, domácí) -- Štill, Vladimír (203 Česká republika, domácí) -- Baranová, Zuzana (703 Slovensko) -- Korenčik, Lukáš (703 Slovensko) -- Matoušek, Adam (203 Česká republika) -- Barnat, Jiří (203 Česká republika) -- Šárník, Jakub (203 Česká republika) -- Mrázek, Jan (203 Česká republika) -- Kejstová, Katarína (703 Slovensko) -- Kučera, Tadeáš (203 Česká republika)
Klíčová slova anglicky: model checking; correctness; analysis; concurrency; symbolic
Mezinárodní význam: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 6. 11. 2023 10:42.
RIV/00216224:14330/19:00107528 Stať ve sborníku. angličtina. Švýcarsko.
Lauko, Henrich (703 Slovensko, domácí) -- Štill, Vladimír (203 Česká republika, domácí) -- Ročkai, Petr (703 Slovensko, domácí) -- Barnat, Jiří (203 Česká republika, garant, domácí)
Klíčová slova anglicky: Symbolic Computation; Abstraction; DIVINE; LLVM; Transformation; Verification; Model Checking; C; C++
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2020 07:37.
RIV/00216224:14330/19:00107759 Stať ve sborníku. angličtina. Švýcarsko.
Štill, Vladimír (203 Česká republika, garant, domácí) -- Barnat, Jiří (203 Česká republika, domácí)
Klíčová slova anglicky: termination; nontermination; local nontermination; parallel programs; c++; model checking; DIVINE
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2020 00:04.
RIV/00216224:14330/18:00106878 Článek v odborném periodiku. angličtina. Nizozemské království.
Ročkai, Petr (703 Slovensko, domácí) -- Štill, Vladimír (203 Česká republika, domácí) -- Černá, Ivana (203 Česká republika, domácí) -- Barnat, Jiří (203 Česká republika, domácí)
Klíčová slova anglicky: Model checking; C plus; Virtual machine; Verification
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 5. 11. 2021 15:28.
RIV/00216224:14330/18:00101450 Stať ve sborníku. angličtina. Švýcarsko.
Štill, Vladimír (203 Česká republika, garant, domácí) -- Barnat, Jiří (203 Česká republika, domácí)
Klíčová slova anglicky: relaxed memory; model checking; c++; x86; memory model; DIVINE
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 30. 4. 2019 07:36.
RIV/00216224:14330/17:00095126 Stať ve sborníku. Informatika. angličtina. Švýcarsko.
Baranová, Zuzana (703 Slovensko, domácí) -- Barnat, Jiří (203 Česká republika, garant, domácí) -- Kejstová, Katarína (703 Slovensko, domácí) -- Kučera, Tadeáš (203 Česká republika, domácí) -- Lauko, Henrich (703 Slovensko, domácí) -- Mrázek, Jan (203 Česká republika, domácí) -- Ročkai, Petr (703 Slovensko, domácí) -- Štill, Vladimír (203 Česká republika, domácí)
Klíčová slova anglicky: Model Checking; Verification; C; C++; DIVINE
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Změněno: 1. 10. 2018 16:24.
RIV/00216224:14330/17:00095131 Stať ve sborníku. Informatika. angličtina. Německo.
Mrázek, Jan (203 Česká republika, domácí) -- Jonáš, Martin (203 Česká republika, domácí) -- Štill, Vladimír (203 Česká republika, domácí) -- Lauko, Henrich (703 Slovensko, domácí) -- Barnat, Jiří (203 Česká republika, garant, domácí)
Klíčová slova anglicky: program verification; model checking; formula optimizations; caching
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 13. 5. 2020 19:23.
RIV/00216224:14330/17:00095127 Stať ve sborníku. Informatika. angličtina.
Štill, Vladimír (203 Česká republika, domácí) -- Ročkai, Petr (703 Slovensko, domácí) -- Barnat, Jiří (203 Česká republika, garant, domácí)
Klíčová slova anglicky: C++; Exceptions; Verification; Testing; Model Checking; DIVINE
Mezinárodní význam: ano
Recenzováno: ano
Změnil: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Změněno: 1. 10. 2018 16:25.
RIV/00216224:14330/16:00088093 Stať ve sborníku. Informatika. angličtina. Německo.
Štill, Vladimír (203 Česká republika, domácí) -- Ročkai, Petr (703 Slovensko, domácí) -- Barnat, Jiří (203 Česká republika, garant, domácí)
Klíčová slova anglicky: DIVINE model checker; LTL model checking
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 13. 5. 2020 19:25.
Název anglicky: On verifying {C++} programs with probabilities
RIV/00216224:14330/16:00088057 Stať ve sborníku. Informatika. angličtina. Itálie.
Barnat, Jiří (203 Česká republika, garant, domácí) -- Černá, Ivana (203 Česká republika, domácí) -- Ročkai, Petr (703 Slovensko, domácí) -- Štill, Vladimír (203 Česká republika, domácí) -- Zákopčanová, Kristína (203 Česká republika, domácí)
Klíčová slova anglicky: Model Checking; Probabilistic systems; DIVINE ; PRISM
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnila: prof. RNDr. Ivana Černá, CSc., učo 1419. Změněno: 16. 7. 2018 15:46.
RIV/00216224:14330/16:00088094 Stať ve sborníku. Informatika. angličtina. Švýcarsko.
Štill, Vladimír (203 Česká republika, domácí) -- Ročkai, Petr (703 Slovensko, domácí) -- Barnat, Jiří (203 Česká republika, garant, domácí)
Klíčová slova anglicky: memory models; model checking
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 13. 5. 2020 19:15.
RIV/00216224:14330/15:00081182 Stať ve sborníku. Informatika. angličtina. Švýcarsko.
Barnat, Jiří (203 Česká republika, domácí) -- Ročkai, Petr (703 Slovensko, domácí) -- Štill, Vladimír (203 Česká republika, garant, domácí) -- Weiser, Jiří (203 Česká republika, domácí)
Klíčová slova anglicky: Data Structures; Concurrency; Hash Tables; Model Checking; DIVINE; C++
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Změněno: 16. 11. 2015 10:32.
RIV/00216224:14330/15:00081181 Stať ve sborníku. Informatika. angličtina. Švýcarsko.
Ročkai, Petr (703 Slovensko, domácí) -- Štill, Vladimír (203 Česká republika, garant, domácí) -- Barnat, Jiří (203 Česká republika, domácí)
Klíčová slova anglicky: LLVM; model checking; compression; memory-efficient; explicit-state
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 13. 5. 2020 20:49.
RIV/00216224:14330/14:00084599 Stať ve sborníku. Informatika. angličtina. Švýcarsko.
Štill, Vladimír (203 Česká republika, garant, domácí) -- Ročkai, Petr (703 Slovensko, domácí) -- Barnat, Jiří (203 Česká republika, domácí)
Klíčová slova anglicky: model checking; LLVM; context-switch bounded verification
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Vladimír Štill, Ph.D., učo 373979. Změněno: 9. 11. 2015 12:23.
RIV/00216224:14330/13:00072941 Software. Informatika. angličtina. Česká republika.
Ročkai, Petr (703 Slovensko, domácí) -- Barnat, Jiří (203 Česká republika, garant, domácí) -- Štill, Vladimír (203 Česká republika, domácí) -- Weiser, Jiří (203 Česká republika, domácí) -- Brim, Luboš (203 Česká republika, domácí) -- Havel, Vojtěch (203 Česká republika, domácí) -- Havlíček, Jan (203 Česká republika, domácí) -- Kriho, Jan (203 Česká republika, domácí)
Klíčová slova anglicky: distributed-memory computing; LTL model checking; Partial Order Reduction; On-The-Fly verification; LLVM; Software Model Checking
Změnil: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Změněno: 23. 4. 2014 12:49.
Název česky: DiVinE 3.0 -- Explicitně-stavový nástroj pro ověřování modelu pro vícevláknové C a C++ programy
RIV/00216224:14330/13:00066526 Stať ve sborníku. Informatika. angličtina. Německo.
Barnat, Jiří (203 Česká republika, garant, domácí) -- Brim, Luboš (203 Česká republika, domácí) -- Havel, Vojtěch (203 Česká republika, domácí) -- Havlíček, Jan (203 Česká republika, domácí) -- Kriho, Jan (203 Česká republika, domácí) -- Lenčo, Milan (703 Slovensko, domácí) -- Ročkai, Petr (703 Slovensko, domácí) -- Štill, Vladimír (203 Česká republika, domácí) -- Weiser, Jiří (203 Česká republika, domácí)
Klíčová slova anglicky: model checking; LLVM; C++; C; LTL; timed automata
Druh sborníku: předkonferenční sborník
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2014 23:39.