česky | in English
RIV/00216224:14330/17:00095057 Stať ve sborníku. Informatika. angličtina. Německo.
Chalupa, Marek (203 Česká republika, domácí) -- Vitovská, Martina (203 Česká republika, domácí) -- Jonáš, Martin (203 Česká republika, domácí) -- Slabý, Jiří (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
Klíčová slova anglicky: Symbiotic; program analysis; program verification; SV-COMP 2017
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:22.
RIV/00216224:14330/16:00088244 Stať ve sborníku. Informatika. angličtina. Německo.
Chalupa, Marek (203 Česká republika, domácí) -- Jonáš, Martin (203 Česká republika, domácí) -- Slabý, Jiří (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí) -- Vitovská, Martina (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: 13. 5. 2020 19:22.
RIV/00216224:14330/14:00073504 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í)
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. 2015 05:35.
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: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:00051518 Stať ve sborníku. Informatika. angličtina. Česká republika.
Škrabálek, Jaroslav (203 Česká republika, domácí) -- Tokárová, Lucia (703 Slovensko, domácí) -- Slabý, Jiří (203 Česká republika, domácí) -- Pitner, Tomáš (203 Česká republika, garant, domácí)
Klíčová slova anglicky: service design;web-based services;web 2.0
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: 17. 4. 2012 21:52.
Název česky: Webové služby pro organizaci akademických akcí - Případová studie "Takeplace"
Název anglicky: Web-based Service for Collaborative Organization of Academic Events - Case Study of "Takeplace"
RIV/00216224:14330/11:00051511 Stať ve sborníku. Informatika. angličtina. Rumunsko.
Škrabálek, Jaroslav (203 Česká republika, garant, domácí) -- Ludík, Tomáš (203 Česká republika, domácí) -- Slabý, Jiří (203 Česká republika, domácí) -- Pitner, Tomáš (203 Česká republika, domácí)
Klíčová slova anglicky: Web-based Services; Collaborative Organization; Academic Events; Case Study; Takeplace
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Ing. Tomáš Ludík, Ph.D., učo 72692. Změněno: 3. 2. 2014 15:37.