česky | in English
RIV: Článek v odborném periodiku. angličtina. Spojené státy.
Lang, Matěj (203 Česká republika, garant, domácí) -- Mráz, Radoslav (703 Slovensko, domácí) -- Trtík, Marek (203 Česká republika, domácí) -- Stoppel, Sergej (578 Norsko) -- Byška, Jan (203 Česká republika, domácí) -- Kozlíková, Barbora (203 Česká republika, domácí)
Klíčová slova anglicky: Visualization toolkits; Geographic visualization
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 5. 9. 2024 15:37.
RIV: Stať ve sborníku. angličtina. Německo.
Jonáš, Martin (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí) -- Trtík, Marek (203 Česká republika, domácí) -- Urban, Lukáš (703 Slovensko, domácí)
Klíčová slova anglicky: fuzzing; test generation; atomic Boolean expression; Fizzer
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. 10. 2024 17:04.
RIV: Stať ve sborníku. angličtina. Německo.
Jonáš, Martin (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí) -- Trtík, Marek (203 Česká republika, domácí) -- Urban, Lukáš (703 Slovensko, domácí)
Klíčová slova anglicky: fuzzing; test generation; atomic Boolean expression; Fizzer
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. 10. 2024 16:54.
RIV: Stať ve sborníku. angličtina. Německo.
Jonáš, Martin (203 Česká republika, garant, domácí) -- Kumor, Kristián (703 Slovensko, domácí) -- Novák, Jakub (703 Slovensko, domácí) -- Sedláček, Jindřich (203 Česká republika, domácí) -- Trtík, Marek (203 Česká republika, domácí) -- Zaoral, Lukáš (203 Česká republika) -- Ayaziová, Paulína (703 Slovensko, domácí) -- Strejček, Jan (203 Česká republika, domácí)
Klíčová slova anglicky: symbolic execution; software verification; Symbiotic
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. 10. 2024 16:56.
Název česky: A.D.A.P.T. Software
Název anglicky: A.D.A.P.T. Software
RIV/00216224:14610/23:00133830 Software. čeština. Česká republika.
Pliska, Pavel (203 Česká republika, domácí) -- Jurda, Mikoláš (203 Česká republika, garant, domácí) -- Strejčková, Adriana (203 Česká republika, domácí) -- Trtík, Marek (203 Česká republika, domácí) -- Bašo, Patrik (703 Slovensko, domácí) -- Beňa, Radoslav (703 Slovensko, domácí) -- Rajnoha, Lukáš (703 Slovensko, domácí) -- Dvořáček, Štěpán (203 Česká republika) -- Čuta, Martin (203 Česká republika, domácí) -- Černý, Dominik (203 Česká republika, domácí) -- Urbanová, Petra (203 Česká republika, domácí)
Klíčová slova anglicky: anthropometry; body parameters; ergonomy; human-centered design; personal protective equipment; 3D body scans
Mezinárodní význam: ano
Změnila: Mgr. Adriana Strejčková, učo 1000. Změněno: 22. 3. 2024 19:36.
angličtina. Česká republika.
Klíčová slova anglicky: Symbiotic; symbolic execution; slicing; bug-finding
Mezinárodní význam: ano
Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 7. 11. 2023 15:16.
Název anglicky: JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode
Klíčová slova anglicky: JBMC; Bounded Model Checking; Java
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: Mgr. Marek Trtík, Ph.D., učo 329313. Změněno: 10. 3. 2023 15:03.
RIV/00216224:14330/16:00089165 Stať ve sborníku. Počítačový hardware a software. angličtina. Švýcarsko.
Dudka, Kamil (203 Česká republika) -- Holík, Lukáš (203 Česká republika) -- Peringer, Petr (203 Česká republika) -- Trtík, Marek (203 Česká republika, domácí) -- Vojnar, Tomáš (203 Česká republika, garant)
Klíčová slova anglicky: Shape analysis; list; program transformation
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 14. 5. 2020 15:18.
RIV/00216224:14330/16:00088246 Stať ve sborníku. Informatika. angličtina. Německo.
Čadek, Pavel (203 Česká republika) -- Strejček, Jan (203 Česká republika, garant, domácí) -- Trtík, Marek (203 Česká republika)
Klíčová slova anglicky: loop bounds; symbolic execution
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:27.
Název česky: Symbolická paměť s ukazateli
RIV/00216224:14330/14:00074092 Stať ve sborníku. Informatika. angličtina. Německo.
Trtík, Marek (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
Klíčová slova anglicky: symbolic execution; symbolic memory
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: 13. 11. 2014 16:23.
RIV/00216224:14330/13:00065952 Stať ve sborníku. Informatika. angličtina. Německo.
Slabý, Jiří (203 Česká republika, garant, domácí) -- Strejček, Jan (203 Česká republika, domácí) -- Trtík, Marek (203 Česká republika, domácí)
Klíčová slova anglicky: Bug database; classified bug-reports
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: 17. 4. 2014 11:19.
Název česky: Kompaktní symbolická exekuce
RIV/00216224:14330/13:00066165 Stať ve sborníku. Informatika. angličtina. Německo.
Slabý, Jiří (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí) -- Trtík, Marek (203 Česká republika, domácí)
Klíčová slova anglicky: symbolic execution; compact symbolic execution; testing
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. 11. 2013 14:45.
RIV/00216224:14330/13:00065969 Stať ve sborníku. Informatika. angličtina. Německo.
Slabý, Jiří (203 Česká republika, garant, domácí) -- Strejček, Jan (203 Česká republika, domácí) -- Trtík, Marek (203 Česká republika, domácí)
Klíčová slova anglicky: instrumentation; symbolic execution; program slicing
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. 2014 22:59.
RIV/00216224:14330/12:00057592 Stať ve sborníku. Informatika. angličtina. Česká republika.
Strejček, Jan (203 Česká republika, garant, domácí) -- Trtík, Marek (203 Česká republika, domácí)
Klíčová slova anglicky: Symbolic execution; Path conditions; Program location reachability; Tests generation
Mezinárodní význam: ano
Recenzováno: ano
Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 7. 1. 2016 22:12.
RIV/00216224:14330/12:00062341 Software. Informatika. angličtina. Česká republika.
Slabý, Jiří (203 Česká republika, garant, domácí) -- Strejček, Jan (203 Česká republika, domácí) -- Trtík, Marek (203 Česká republika, domácí)
Klíčová slova anglicky: Bug database; classified bug-reports
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 23. 4. 2013 05:57.
RIV/00216224:14330/12:00057431 Stať ve sborníku. Informatika. angličtina. Německo.
Slabý, Jiří (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí) -- Trtík, Marek (203 Česká republika, domácí)
Klíčová slova anglicky: Bug finding; Symbolic execution; Program slicing; FSM property specification; Code instrumentation
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: Mgr. Jiří Slabý, Ph.D., učo 98734. Změněno: 20. 1. 2013 11:34.
RIV/00216224:14330/12:00067325 Stať ve sborníku. Počítačový hardware a software. angličtina. Česká republika.
Obdržálek, Jan (203 Česká republika, garant, domácí) -- Slabý, Jiří (203 Česká republika, domácí) -- Trtík, Marek (203 Česká republika, domácí)
Klíčová slova anglicky: Bug-finding; static analysis; framework; checker
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: 29. 4. 2014 12:57.
RIV/00216224:14330/12:00062340 Software. Informatika. angličtina. Česká republika.
Slabý, Jiří (203 Česká republika, garant, domácí) -- Strejček, Jan (203 Česká republika, domácí) -- Trtík, Marek (203 Česká republika, domácí)
Klíčová slova anglicky: symbolic execution; slicing; bug-finding
Mezinárodní význam: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 23. 4. 2013 05:58.
RIV/00216224:14330/11:00052855 Stať ve sborníku. Informatika. angličtina. Česká republika.
Obdržálek, Jan (203 Česká republika, garant, domácí) -- Trtík, Marek (203 Česká republika, domácí)
Klíčová slova anglicky: symbolic execution; loops in programs; program verification; bug-finding
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. Mgr. Jan Obdržálek, PhD., učo 1552. Změněno: 16. 4. 2012 11:02.
Název anglicky: Counter-based Abstraction for Symbolic Execution
Druh účasti: aktivní účast
Recenzováno: ano
Změnil: Mgr. Marek Trtík, Ph.D., učo 329313. Změněno: 16. 9. 2011 16:11.