česky | in English
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: 24. 4. 2024 13:49.
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: 24. 4. 2024 13:33.
angličtina. Německo.
Klíčová slova anglicky: verification witnesses; software verification; validation; exchange format; invariant; counterexample
Druh sborníku: postkonferenč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: 26. 8. 2024 14:52.
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: 24. 4. 2024 13:32.
RIV: Stať ve sborníku. angličtina. Německo.
Jankola, Marek (703 Slovensko) -- Strejček, Jan (203 Česká republika, garant, domácí)
Klíčová slova anglicky: tight automata; shortest counterexamples; LTL
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: 23. 4. 2024 18:31.
RIV: Stať ve sborníku. angličtina. Německo.
Ayaziová, Paulína (703 Slovensko, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
Klíčová slova anglicky: Witch;witness-validator;SV-COMP;verification witness
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: 23. 4. 2024 18:51.
RIV/00216224:14330/23:00131935 Stať ve sborníku. angličtina. Německo.
Schwarzová, Tereza (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí) -- Major, Juraj (703 Slovensko, domácí)
Klíčová slova anglicky: Emerson-Lei automata; TELA; automata reduction; QBF; telatko
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: 19. 3. 2024 13:57.
angličtina. Česká republika.
Klíčová slova anglicky: Witch;witness-validator;SV-COMP;verification witness
Mezinárodní význam: ano
Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 7. 11. 2023 15:49.
RIV/00216224:14330/23:00131936 Stať ve sborníku. angličtina. Švýcarsko.
Ayaziová, Paulína (703 Slovensko, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
Klíčová slova anglicky: Witch;witness-validator;SV-COMP;verification witness
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: 7. 4. 2024 23:35.
RIV/00216224:14330/22:00127777 Stať ve sborníku. angličtina. Švýcarsko.
Beyer, Dirk (276 Německo) -- Strejček, Jan (203 Česká republika, garant, domácí)
Klíčová slova anglicky: software verification;program analysis;software validation;software bugs;verification witnesses;evaluation;benchmarking
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. 3. 2023 12:08.
RIV/00216224:14330/22:00125696 Stať ve sborníku. angličtina. Švýcarsko.
Chalupa, Marek (203 Česká republika, domácí) -- Mihalkovič, Vincent (703 Slovensko, domácí) -- Řechtáčková, Anna (203 Česká republika, domácí) -- Zaoral, Lukáš (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
Klíčová slova anglicky: Symbiotic;BSELF;SV-COMP;program analysis;verification
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. 3. 2023 12:49.
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.
RIV/00216224:14330/22:00125695 Stať ve sborníku. angličtina. Švýcarsko.
Ayaziová, Paulína (703 Slovensko, domácí) -- Chalupa, Marek (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
Klíčová slova anglicky: Symbiotic;witness-validator;SV-COMP;verification witness
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. 3. 2023 10:40.
RIV/00216224:14330/21:00122663 Stať ve sborníku. angličtina. Švýcarsko.
Chalupa, Marek (203 Česká republika, garant, domácí) -- Strejček, Jan (203 Česká republika, domácí)
Klíčová slova anglicky: symbolic execution;k-induction;backward symbolic execution;inductive invariants;invariants
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: 23. 5. 2022 15:01.
RIV/00216224:14330/21:00122203 Stať ve sborníku. angličtina. Švýcarsko.
Síč, Juraj (703 Slovensko) -- Strejček, Jan (203 Česká republika, garant, domácí)
Klíčová slova anglicky: dependency quantified Boolean formulas; DQBF; binary decision diagrams; BDD; DQBDD
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: 23. 5. 2022 14:57.
RIV/00216224:14330/21:00121991 Stať ve sborníku. angličtina. Švýcarsko.
Chalupa, Marek (203 Česká republika, domácí) -- Klaška, David (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, domácí) -- Tomovič, Lukáš (703 Slovensko, domácí)
Klíčová slova anglicky: control dependence;non-termination sensitive control dependence;decisive order dependence;control closure;ntscd;dod;graph theory
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 23. 5. 2022 14:53.
RIV/00216224:14330/21:00121992 Stať ve sborníku. angličtina. Švýcarsko.
Chalupa, Marek (203 Česká republika, garant, domácí) -- Jašek, Tomáš (703 Slovensko, domácí) -- Novák, Jakub (703 Slovensko, domácí) -- Řechtáčková, Anna (203 Česká republika, domácí) -- Šoková, Veronika (703 Slovensko) -- Strejček, Jan (203 Česká republika, domácí)
Klíčová slova anglicky: symbolic execution;k-induction;program slicing;symbiotic;predator;klee
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: 15. 5. 2024 02:10.
RIV/00216224:14330/21:00121274 Stať ve sborníku. angličtina. Švýcarsko.
Chalupa, Marek (203 Česká republika, garant, domácí) -- Novák, Jakub (703 Slovensko, domácí) -- Strejček, Jan (203 Česká republika, domácí)
Klíčová slova anglicky: test generation; test coverage; Symbiotic
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: 23. 5. 2022 14:27.
RIV/00216224:14330/21:00118732 Článek v odborném periodiku. angličtina. Německo.
Chalupa, Marek (203 Česká republika, domácí) -- Vitovská, Martina (203 Česká republika, domácí) -- Jašek, Tomáš (703 Slovensko, domácí) -- Šimáček, Michael (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
Klíčová slova anglicky: Symbiotic;Program Slicing;Symbolic execution;KLEE
Mezinárodní význam: ano
Recenzováno: ano
Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 23. 4. 2022 01:11.
RIV/00216224:14330/21:00119972 Software. angličtina. Česká republika.
Chalupa, Marek (203 Česká republika, domácí) -- Jašek, Tomáš (703 Slovensko, domácí) -- Novák, Jakub (703 Slovensko, domácí) -- Řechtáčková, Anna (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
Klíčová slova anglicky: Symbiotic; symbolic execution; slicing; bug-finding
Mezinárodní význam: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 6. 11. 2023 10:41.
RIV/00216224:14330/20:00113978 Článek v odborném periodiku. angličtina. Německo.
Chalupa, Marek (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: memory safety; instrumentation; program slicing; symbolic execution; Symbiotic
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 29. 4. 2021 07:54.
RIV/00216224:14330/20:00114391 Článek v odborném periodiku. angličtina. Nizozemské království.
Blahoudek, František (203 Česká republika) -- Major, Juraj (703 Slovensko, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
Klíčová slova anglicky: LTL; Omega-automata; LTL to automata translation; Alternating automata; ltl3tela
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 29. 4. 2021 12:31.
RIV/00216224:14330/20:00114393 Stať ve sborníku. angličtina. Švýcarsko.
Blahoudek, František (203 Česká republika) -- Duret-Lutz, Alexandre (250 Francie) -- Strejček, Jan (203 Česká republika, garant, domácí)
Klíčová slova anglicky: semi-determinization; complementation; generalized Büchi automata; Seminator
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 29. 4. 2021 08:10.
RIV/00216224:14330/20:00114392 Stať ve sborníku. angličtina. Švýcarsko.
Jonáš, Martin (203 Česká republika) -- Strejček, Jan (203 Česká republika, garant, domácí)
Klíčová slova anglicky: SMT solving; bit-vector logic; Boolector; Q3B
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: 29. 4. 2021 12:29.
Název anglicky: Symbiotic 7: Integration of Predator and More (Competition Contribution)
RIV/00216224:14330/20:00114113 Stať ve sborníku. angličtina. Německo.
Chalupa, Marek (203 Česká republika, garant, domácí) -- Jašek, Tomáš (703 Slovensko, domácí) -- Tomovič, Lukáš (703 Slovensko, domácí) -- Ayaziová, Paulína (703 Slovensko, domácí) -- Strejček, Jan (203 Česká republika, domácí) -- Vojnar, Tomáš (203 Česká republika)
Klíčová slova anglicky: Symbiotic;Predator;Program Slicing;Termination Analysis;Shape Analysis;Symbolic Execution
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 29. 4. 2021 12:25.
RIV/00216224:14330/19:00107773 Stať ve sborníku. angličtina. Švýcarsko.
Chalupa, Marek (203 Česká republika, garant, domácí) -- Strejček, Jan (203 Česká republika, domácí)
Klíčová slova anglicky: program analysis; static program slicing; verification
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: 8. 1. 2020 10:45.
RIV/00216224:14330/19:00107786 Stať ve sborníku. angličtina. Švýcarsko.
Baier, Christel (276 Německo) -- Blahoudek, František (203 Česká republika) -- Duret-Lutz, Alexandre (756 Švýcarsko) -- Klein, Joachim (276 Německo) -- Müller, David (276 Německo) -- Strejček, Jan (203 Česká republika, garant, domácí)
Klíčová slova anglicky: TELA; Emerson-Lei automata; emptiness check; probabilistic model checking
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 11:04.
RIV/00216224:14330/19:00107795 Stať ve sborníku. angličtina. Švýcarsko.
Blahoudek, František (203 Česká republika) -- Major, Juraj (703 Slovensko, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
Klíčová slova anglicky: LTL; linear temporal logic; automata; automata over infinite words; alternating automata; LTL to automata; ltl3tela
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:00.
RIV/00216224:14330/19:00107770 Stať ve sborníku. angličtina. Švýcarsko.
Major, Juraj (703 Slovensko, domácí) -- Blahoudek, František (203 Česká republika) -- Strejček, Jan (203 Česká republika, garant, domácí) -- Jánošová, Miriama (703 Slovensko, domácí) -- Zbončáková, Tatiana (703 Slovensko, domácí)
Klíčová slova anglicky: ltl3tela; LTL; linear temporal logic; automata; automata over infinite words; LTL to automata
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/19:00107610 Stať ve sborníku. angličtina. Švýcarsko.
Jonáš, Martin (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
Klíčová slova anglicky: satisfiability; satisfiability modulo theories; bit-vectors; quantifiers; tool
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 07:44.
RIV/00216224:14330/18:00101330 Stať ve sborníku. angličtina. Švýcarsko.
Jonáš, Martin (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
Klíčová slova anglicky: satisfiability modulo theories; binary decision diagrams; abstractions; bit-vectors
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. 2019 15:23.
RIV/00216224:14330/18:00101333 Stať ve sborníku. angličtina. Velká Británie a Severní Irsko.
Jonáš, Martin (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
Klíčová slova anglicky: satisfiability modulo theories; quantified bit-vectors; bit-width; experimental evaluation
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 31. 5. 2022 14:22.
RIV/00216224:14330/18:00101043 Stať ve sborníku. angličtina. Německo.
Chalupa, Marek (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: program analysis; program verification; memory safety
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. 2019 15:39.
RIV/00216224:14330/18:00100916 Článek v odborném periodiku. angličtina. Nizozemské království.
Jonáš, Martin (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
Klíčová slova anglicky: computational complexity; satisfiability modulo theories; bit-vector theory
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 29. 4. 2019 15:54.
RIV/00216224:14330/18:00100910 Stať ve sborníku. angličtina. Německo.
Chalupa, Marek (203 Česká republika, domácí) -- Vitovská, Martina (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 2018
Druh sborníku: postkonferenč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: 28. 9. 2019 14:33.
RIV/00216224:14330/17:00095125 Stať ve sborníku. Informatika. angličtina. Švýcarsko.
Jonáš, Martin (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
Klíčová slova anglicky: SMT solving; formula simplifications; bit-vectors
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: 14. 5. 2020 15:12.
RIV/00216224:14330/17:00094743 Stať ve sborníku. Informatika. angličtina. Německo.
Blahoudek, František (203 Česká republika, domácí) -- Duret-Lutz, Alexandre (250 Francie) -- Klokočka, Mikuláš (203 Česká republika, domácí) -- Křetínský, Mojmír (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
Klíčová slova anglicky: semi deterministic automata; ltl to automata translation; omega automata
Druh sborníku: postkonferenč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: 9. 11. 2018 14:58.
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:00088081 Stať ve sborníku. Informatika. angličtina. Německo.
Blahoudek, František (203 Česká republika, domácí) -- Heizmann, Matthias (276 Německo) -- Schewe, Sven (276 Německo) -- Strejček, Jan (203 Česká republika, garant, domácí) -- Tsai, Ming-Hsien (158 Tchaj-wan)
Klíčová slova anglicky: Buchi automata;complementation
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 13. 5. 2020 23:01.
Název česky: MEMICS 2016
Název anglicky: MEMICS 2016. 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
Informatika. angličtina. Česká republika.
Změnila: Mgr. Radka Vyskočilová, učo 2368. Změněno: 8. 11. 2016 09:10.
RIV/00216224:14330/16:00088245 Stať ve sborníku. Informatika. angličtina. Německo.
Jonáš, Martin (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
Klíčová slova anglicky: SMT solving; quantified bit-vector formulas; BDD
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/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: O zpřesňování Büchiho automatů pro explicitní metodu ověřování modelu.
RIV/00216224:14330/15:00080986 Stať ve sborníku. Informatika. angličtina. Švýcarsko.
Blahoudek, František (203 Česká republika, domácí) -- Duret-Lutz, Alexandre (250 Francie) -- Rujbr, Vojtěch (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
Klíčová slova anglicky: linear temporal logic; Büchi automata; explicit model checking; specification refinement
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:47.
RIV/00216224:14330/15:00080919 Stať ve sborníku. Informatika. angličtina. Švýcarsko.
Babiak, Tomáš (703 Slovensko, domácí) -- Blahoudek, František (203 Česká republika, domácí) -- Duret-Lutz, Alexandre (250 Francie) -- Klein, Joachim (276 Německo) -- Křetínský, Jan (203 Česká republika, garant, domácí) -- Müller, David (276 Německo) -- Parker, David (826 Velká Británie a Severní Irsko) -- Strejček, Jan (203 Česká republika, domácí)
Klíčová slova anglicky: automata; infinite words; verification
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. 2016 14:24.
Název česky: Existuje nejlepší Büchiho automat pro explicitní metodu ověřování modelu?
RIV/00216224:14330/14:00073815 Stať ve sborníku. Informatika. angličtina. Spojené státy.
Blahoudek, František (203 Česká republika, domácí) -- Duret-Lutz, Alexandre (250 Francie) -- Křetínský, Mojmír (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
Klíčová slova anglicky: linear temporal logic; Büchi automata; explicit 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: 11. 7. 2019 13:31.
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.
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.
Název česky: Srovnání překladačů LTL na deterministické Rabinovy automaty
RIV/00216224:14330/13:00066512 Stať ve sborníku. Informatika. angličtina. Německo.
Blahoudek, František (203 Česká republika, domácí) -- Křetínský, Mojmír (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
Klíčová slova anglicky: linear temporal logic; deterministic omega-automata; LTL3DRA; Rabinizer; ltl2dstar
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: prof. RNDr. Mojmír Křetínský, CSc., učo 631. Změněno: 3. 6. 2014 11:26.
RIV/00216224:14330/13:00066141 Stať ve sborníku. Informatika. angličtina. Spojené státy.
Babiak, Tomáš (703 Slovensko, domácí) -- Badie, Thomas (250 Francie) -- Duret-Lutz, Alexandre (250 Francie) -- Křetínský, Mojmír (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
Klíčová slova anglicky: linear time logic; model-checking; translation LTL to Buchi automata
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: 15. 11. 2013 23:28.
Název česky: Efektivní překlad LTL na deterministické Rabinovy automaty
RIV/00216224:14330/13:00066175 Stať ve sborníku. Informatika. angličtina. Spojené státy.
Blahoudek, František (203 Česká republika, domácí) -- Babiak, Tomáš (703 Slovensko, domácí) -- Křetínský, Mojmír (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
Klíčová slova anglicky: linear temporal logic; deterministic omega-automata
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: 15. 11. 2013 23:58.
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.
Název česky: Skoro lineární Büchiho automaty
Název anglicky: Almost linear Büchi automata
RIV/00216224:14330/12:00057181 Článek v odborném periodiku. Informatika. angličtina. Česká republika.
Babiak, Tomáš (703 Slovensko, domácí) -- Strejček, Jan (203 Česká republika, domácí) -- Řehák, Vojtěch (203 Česká republika, garant, domácí)
Klíčová slova anglicky: LTL; linear time logic; model checking
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 22. 4. 2013 05:15.
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.
Název česky: Překlad LTL na Büchiho automaty: rychle a determinističtěji
RIV/00216224:14330/12:00057222 Stať ve sborníku. Informatika. angličtina. Německo.
Babiak, Tomáš (203 Česká republika, garant, domácí) -- Křetínský, Mojmír (203 Česká republika, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, domácí)
Klíčová slova anglicky: Linear Temporal Logic; Büchi Automata
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 9. 4. 2013 18:14.
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.
Název česky: Skoro lineární Büchiho automaty
Název anglicky: Almost Linear Büchi Automata
RIV/00216224:14330/10:00045184 Prezentace na konferencích. Informatika. angličtina. Česká republika.
Babiak, Tomáš (703 Slovensko, garant, domácí) -- Strejček, Jan (203 Česká republika, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí)
Klíčová slova anglicky: LTL; linear time logic; Büchi Automata; model checking
Druh účasti: aktivní účast
Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 11. 1. 2011 16:52.
Název česky: Rozhodnutelné podmínky souběhu a otevřené koregiony v HMSC
RIV/00216224:14330/10:00043646 Stať ve sborníku. Informatika. angličtina. Kypr.
Řehák, Vojtěch (203 Česká republika, garant, domácí) -- Slovák, Petr (203 Česká republika) -- Strejček, Jan (203 Česká republika, domácí) -- Hélouët, Loïc (250 Francie)
Klíčová slova anglicky: HMSC; race condition; trace-race condition; open coregions;
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 28. 4. 2011 15:15.
Název česky: Fórum mladých výzkumníků
Teorie informace. angličtina. Česká republika.
Klíčová slova anglicky: theoretical computer science
Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 20. 8. 2010 13:20.
Název česky: Skoro lineární Büchiho automaty
RIV/00216224:14330/09:00029631 Stať ve sborníku. Informatika. angličtina. Itálie.
Babiak, Tomáš (703 Slovensko) -- Řehák, Vojtěch (203 Česká republika, garant) -- Strejček, Jan (203 Česká republika)
Klíčová slova anglicky: LTL; linear time logic; model checking
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 23. 11. 2009 16:12.
Název česky: O rozhodnutelnosti problému ověřování modelu pro LTL a procesové přepisovací systémy
RIV/00216224:14330/09:00029078 Článek v odborném periodiku. Informatika. angličtina. Německo.
Bozzelli, Laura (380 Itálie) -- Křetínský, Mojmír (203 Česká republika, garant) -- Řehák, Vojtěch (203 Česká republika) -- Strejček, Jan (203 Česká republika)
Klíčová slova anglicky: infinite-state systems; linear time logic; decidability; model checking
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 22. 5. 2009 16:43.
Název česky: O rozhodnutelnosti ověřování modelu pro logiku LTL+Past a Procesové Přepisovací Systémy
RIV/00216224:14330/09:00028439 Stať ve sborníku. Informatika. angličtina. Portugalsko.
Křetínský, Mojmír (203 Česká republika) -- Řehák, Vojtěch (203 Česká republika) -- Strejček, Jan (203 Česká republika, garant)
Klíčová slova anglicky: process rewrite systems; LTL; infinite-state; model-checking; decidability
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 23. 6. 2009 16:57.
Název česky: Dosažitelnost je rozhodnutelná pro slabě rozšířené procesové přepisovací systémy
RIV/00216224:14330/09:00028490 Článek v odborném periodiku. Informatika. angličtina. Německo.
Křetínský, Mojmír (203 Česká republika) -- Řehák, Vojtěch (203 Česká republika) -- Strejček, Jan (203 Česká republika, garant)
Klíčová slova anglicky: process rewrite systems; state extension; infinite-state; (un)decidability; reachability
Mezinárodní význam: ano
Recenzováno: ano
Změnil: prof. RNDr. Mojmír Křetínský, CSc., učo 631. Změněno: 7. 5. 2009 10:19.
Název česky: Petriho sítě mají menší vyjadřovací sílu než stavově-rozšířené PA
RIV/00216224:14330/08:00024164 Článek v odborném periodiku. Informatika. angličtina. Nizozemské království.
Křetínský, Mojmír (203 Česká republika) -- Řehák, Vojtěch (203 Česká republika) -- Strejček, Jan (203 Česká republika, garant)
Klíčová slova anglicky: Petri nets; PA processes; bisimulation
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 22. 5. 2009 16:55.
Název česky: Rozhodnutelnost ověřování modelu pro logiku LTL+Past a Procesové Přepisovací Systémy
RIV/00216224:14330/07:00019467 Prezentace na konferencích. Informatika. angličtina. Portugalsko.
Křetínský, Mojmír (203 Česká republika, garant, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, domácí)
Klíčová slova anglicky: process rewrite systems; LTL; infinite-state; model-checking; decidability
Druh sborníku: předkonferenční sborník
Druh účasti: aktivní účast
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 28. 4. 2011 14:50.
Název česky: Symbolicka verifikace slabe rozsirenych PAD
RIV/00216224:14330/07:00021744 Stať ve sborníku. Informatika. angličtina. Německo.
Bouajjani, Ahmed (504 Maroko) -- Strejček, Jan (203 Česká republika, garant) -- Touili, Tayssir (788 Tunisko)
Klíčová slova anglicky: rewrite systems; infinite-state systems; symbolic reachability analysis; model checking
Druh sborníku: postkonferenč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: 23. 6. 2009 17:48.
Název česky: O rozhodnutelnosti problému ověřování modelu pro LTL a procesové přepisovací systémy
RIV/00216224:14330/06:00015417 Stať ve sborníku. Informatika. angličtina. Indie.
Bozzelli, Laura (380 Itálie) -- Křetínský, Mojmír (203 Česká republika, garant) -- Řehák, Vojtěch (203 Česká republika) -- Strejček, Jan (203 Česká republika)
Klíčová slova anglicky: infinite-state systems; linear time logic; decidability; model checking
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: 20. 12. 2011 18:12.
Název česky: O rozhodnutelnosti problému ověřování modelu pro LTL a slabě royšířené procesové přepisovací systémy
RIV/00216224:14330/06:00015439 Audiovizuální tvorba. Informatika. angličtina. Česká republika.
Bozzelli, Laura (380 Itálie) -- Křetínský, Mojmír (203 Česká republika, garant) -- Řehák, Vojtěch (203 Česká republika) -- Strejček, Jan (203 Česká republika)
Klíčová slova anglicky: infinite-state systems; linear time logic; decidability; model checking
Mezinárodní význam: ano
Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 31. 3. 2010 15:19.
Název česky: Symbolicka verifikace slabe rozsirenych PAD
RIV/00216224:14330/06:00018747 Stať ve sborníku. Informatika. angličtina. Německo.
Bouajjani, Ahmed (504 Maroko) -- Strejček, Jan (203 Česká republika, garant) -- Touili, Tayssir (788 Tunisko)
Klíčová slova anglicky: rewrite systems; infinite-state systems; symbolic reachability analysis; model checking
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. 6. 2007 14:11.
Název česky: Zjemneni hranice nerozhodnutelnosti slabe bisimulace
Název anglicky: Refining Undecidability Border of Weak Bisimilarity
RIV/00216224:14330/06:00015292 Stať ve sborníku. Informatika. angličtina. Nizozemské království.
Křetínský, Mojmír (203 Česká republika, garant) -- Řehák, Vojtěch (203 Česká republika) -- Strejček, Jan (203 Česká republika)
Klíčová slova anglicky: process rewrite systems; state extension; infinite-state; decidability; weak bisimilarity
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 23. 6. 2009 16:53.
Název česky: Hlubší spojitosti mezi LTL a alternujícími automaty
RIV/00216224:14330/05:00012729 Stať ve sborníku. Informatika. angličtina. Francie.
Pelánek, Radek (203 Česká republika) -- Strejček, Jan (203 Česká republika, garant)
Klíčová slova anglicky: LTL; alternating automata; model checking
Mezinárodní význam: ano
Recenzováno: ano
Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 29. 3. 2010 12:50.
Název česky: Charakteristické vzorce pro LTL
RIV/00216224:14330/05:00012348 Stať ve sborníku. Informatika. angličtina. Slovensko.
Kučera, Antonín (203 Česká republika, garant) -- Strejček, Jan (203 Česká republika)
Klíčová slova anglicky: model-checking; linear temporal logic
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: 29. 3. 2010 14:38.
Název česky: Lineární temporální logika: vyjadřovací síla a metoda ověřování modelu
Informatika. angličtina. Česká republika.
Klíčová slova anglicky: Linear temporal logic, expressiveness, model checking, stuttering, Thesis
Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 3. 1. 2007 17:02.
Název česky: Analýza dosažitelnosti pro vícevláknové programy s asynchronní komunikací
RIV/00216224:14330/05:00012714 Stať ve sborníku. Informatika. angličtina. Německo.
Bouajjani, Ahmed (250 Francie) -- Esparza, Javier (724 Španělsko) -- Schwoon, Stefan (276 Německo) -- Strejček, Jan (203 Česká republika, garant)
Klíčová slova anglicky: bounded reachability; symbolic reachability; asynchronous dynamic pushdown network
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: 29. 3. 2010 14:27.
Název česky: Dosažitelnost Hennessy-Milner vlastností pro slabě rozšířené PRS
RIV/00216224:14330/05:00012582 Stať ve sborníku. Informatika. angličtina. Německo.
Křetínský, Mojmír (203 Česká republika, garant) -- Řehák, Vojtěch (203 Česká republika) -- Strejček, Jan (203 Česká republika)
Klíčová slova anglicky: process rewrite systems; state extension; infinite-state; (un)decidability; HM logic; reachability
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: prof. RNDr. Mojmír Křetínský, CSc., učo 631. Změněno: 8. 4. 2010 21:40.
Název česky: Zjemneni hranice nerozhodnutelnosti pro slabou bisimulaci
RIV/00216224:14330/05:00012580 Článek v odborném periodiku. Informatika. angličtina. Česká republika.
Křetínský, Mojmír (203 Česká republika, garant) -- Řehák, Vojtěch (203 Česká republika) -- Strejček, Jan (203 Česká republika)
Klíčová slova anglicky: process rewrite systems; state extension; infinite-state; (un)decidability; weak bisimulation
Mezinárodní význam: ano
Recenzováno: ano
Změnil: prof. RNDr. Mojmír Křetínský, CSc., učo 631. Změněno: 4. 12. 2006 16:38.
Název česky: Zjemneni hranice nerozhodnutelnosti pro slabou bisimulaci
RIV/00216224:14330/05:00012581 Audiovizuální tvorba. Informatika. angličtina. Česká republika.
Křetínský, Mojmír (203 Česká republika, garant) -- Řehák, Vojtěch (203 Česká republika) -- Strejček, Jan (203 Česká republika)
Klíčová slova anglicky: process rewrite systems; state extension; infinite-state; (un)decidability; weak bisimulation
Mezinárodní význam: ano
Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 27. 11. 2006 15:12.
Název česky: Znovu o principu periodických vzorů
RIV/00216224:14330/05:00012554 Článek v odborném periodiku. Informatika. angličtina. Německo.
Kučera, Antonín (203 Česká republika, garant) -- Strejček, Jan (203 Česká republika)
Klíčová slova anglicky: linear temporal logic; stuttering
Mezinárodní význam: ano
Recenzováno: ano
Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 27. 11. 2006 15:12.
Název česky: Rozšířené procesové přepisovací systémy: Vyjadřovací síla a dosažitelnost
RIV/00216224:14330/04:00010262 Stať ve sborníku. Informatika. angličtina. Velká Británie a Severní Irsko.
Křetínský, Mojmír (203 Česká republika, garant) -- Řehák, Vojtěch (203 Česká republika) -- Strejček, Jan (203 Česká republika)
Klíčová slova anglicky: process rewrite systems; state extension; infinite-state; expressivness; reachability; decidability
Recenzováno: ano
Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 11. 3. 2010 13:41.
Název česky: O rozšířených procesových přepisovacích systémech: Přepisovací systémy se slabou konečně stavovou jednotkou
RIV/00216224:14330/04:00010392 Stať ve sborníku. Informatika. angličtina. Nizozemské království.
Křetínský, Mojmír (203 Česká republika, garant) -- Řehák, Vojtěch (203 Česká republika) -- Strejček, Jan (203 Česká republika)
Klíčová slova anglicky: process rewrite systems; state extension; infinite-state; decidability; reachability
Druh sborníku: postkonferenč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: 23. 6. 2009 17:11.
Název česky: O vyjadřovací síle rozšířených procesových přepisovacích systémů
RIV/00216224:14330/04:00010025 Článek v odborném periodiku. Informatika. angličtina. Česká republika.
Křetínský, Mojmír (203 Česká republika, garant) -- Řehák, Vojtěch (203 Česká republika) -- Strejček, Jan (203 Česká republika)
Klíčová slova anglicky: process rewrite systems; state extension; infinite-state; expressivness; reachability
Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 24. 1. 2005 17:02.
RIV/00216224:14330/03:00008151 Stať ve sborníku. Informatika. angličtina. Francie.
Křetínský, Mojmír (203 Česká republika, garant) -- Řehák, Vojtěch (203 Česká republika) -- Strejček, Jan (203 Česká republika)
Klíčová slova anglicky: process rewrite systems; state extension; infinite-state
Recenzováno: ano
Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 16. 11. 2006 12:47.
Informatika. angličtina. Česká republika.
Klíčová slova anglicky: process rewrite systems; state extension; infinite-state
Změnil: prof. RNDr. Mojmír Křetínský, CSc., učo 631. Změněno: 24. 5. 2006 15:51.
RIV/00216224:14330/02:00006434 Stať ve sborníku. Počítačový hardware a software. angličtina. Francie.
Strejček, Jan (203 Česká republika, garant)
Klíčová slova anglicky: stuttering; constrained rewrite systems
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: 27. 11. 2006 15:12.
RIV/00216224:14330/02:00006381 Stať ve sborníku. Počítačový hardware a software. angličtina. Německo.
Kučera, Antonín (203 Česká republika, garant) -- Strejček, Jan (203 Česká republika)
Klíčová slova anglicky: verification; concurrency; weak bisimilarity; infinite-state systems
Druh sborníku: postkonferenč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: 20. 12. 2011 18:12.
Přír. čísla: 4200508076
RIV/00216224:14330/02:00006433 Stať ve sborníku. Počítačový hardware a software. angličtina. Česká republika.
Crhová, Jitka (203 Česká republika) -- Krčál, Pavel (203 Česká republika) -- Strejček, Jan (203 Česká republika) -- Šafránek, David (203 Česká republika, garant) -- Šimeček, Pavel (203 Česká republika)
Klíčová slova anglicky: formal verification
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 27. 11. 2006 15:12.
Název česky: Přepisovací systémy s omezeními
Název anglicky: Rewrite Systems with Constraints
RIV/00216224:14330/01:00004676 Stať ve sborníku. Počítačový hardware a software. angličtina. Nizozemské království.
Strejček, Jan (203 Česká republika, garant)
Klíčová slova anglicky: (rewrite) transition system; concurrency; partial information; bisimulation equivalence; language expressibility
Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 10. 1. 2005 15:31.
Název česky: Přepisovací systémy s omezeními
Název anglicky: Constrained Rewrite Transition Systems
RIV/00216224:14330/00:00002662 Audiovizuální tvorba. Počítačový hardware a software. angličtina. Česká republika.
Strejček, Jan (203 Česká republika, garant)
Klíčová slova anglicky: (rewrite) transition system; concurrency; partial information; bisimulation equivalence; language expressibility
Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 23. 6. 2009 17:08.