česky | in English
angličtina. Švýcarsko.
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Henrich Lauko, učo 410438. Změněno: 24. 7. 2023 11:04.
angličtina. Česká republika.
Klíčová slova anglicky: compiler;program instrumentation;abstraction;llvm
Změnil: RNDr. Henrich Lauko, učo 410438. Změněno: 10. 11. 2023 11:02.
RIV/00216224:14330/22:00125302 Stať ve sborníku. angličtina.
Lauko, Henrich (703 Slovensko, domácí) -- Ročkai, Petr (703 Slovensko, garant, domácí)
Klíčová slova anglicky: abstraction;abstract interpretation;abstract execution;compilation;compilation-based abstraction;LLVM;LART;formal verification;symbolic execution
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 6. 4. 2023 08:35.
RIV/00216224:14330/22:00125301 Článek v odborném periodiku. angličtina. Spojené státy.
Lauko, Henrich (703 Slovensko, domácí) -- Korenčik, Lukáš (703 Slovensko, domácí) -- Ročkai, Petr (703 Slovensko, garant, domácí)
Klíčová slova anglicky: heap;pointers;abstraction;refinement;program transformation
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 6. 4. 2023 08:20.
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/20:00114537 Článek v odborném periodiku. angličtina. Švýcarsko.
Lauko, Henrich (703 Slovensko, domácí) -- Olliaro, Martina (380 Itálie, domácí) -- Cortesi, Agostino (380 Itálie) -- Ročkai, Petr (203 Česká republika, domácí)
Klíčová slova anglicky: string analysis; model checking; abstract interpretation; abstract domain
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 29. 4. 2021 08:11.
RIV/00216224:14330/20:00114781 Stať ve sborníku. angličtina. Spojené státy.
Korenčik, Lukáš (703 Slovensko, domácí) -- Ročkai, Petr (703 Slovensko, domácí) -- Lauko, Henrich (703 Slovensko, domácí) -- Barnat, Jiří (203 Česká republika, domácí)
Klíčová slova anglicky: symbolic execution; decompilation; model checking; llvm
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 29. 4. 2021 08:16.
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:00107758 Stať ve sborníku. angličtina. Švýcarsko.
Ročkai, Petr (703 Slovensko, domácí) -- Lauko, Henrich (703 Slovensko, garant, domácí) -- Olliaro, Martina (380 Itálie, domácí) -- Cortesi, Agostino (380 Itálie)
Klíčová slova anglicky: Symbolic Computation; String Abstraction; DIVINE; LLVM; Transformation; Verification; Model Checking; C; C++
Mezinárodní význam: ano
Změnila: Martina Olliaro, Ph.D., učo 477767. Změněno: 11. 9. 2020 09:45.
RIV/00216224:14330/18:00101301 Stať ve sborníku. angličtina. Švýcarsko.
Lauko, Henrich (703 Slovensko, 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++
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: 20. 9. 2022 11:14.
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/16:00088095 Stať ve sborníku. Informatika. angličtina. Švýcarsko.
Mrázek, Jan (203 Česká republika, domácí) -- Bauch, Petr (203 Česká republika, domácí) -- Lauko, Henrich (703 Slovensko, domácí) -- Barnat, Jiří (203 Česká republika, garant, domácí)
Klíčová slova anglicky: Model checking; C++; Symbolic approach
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: 27. 4. 2017 06:45.