česky | in English
RIV: Stať ve sborníku. angličtina.
Klaška, David (203 Česká republika, domácí) -- Kučera, Antonín (203 Česká republika, garant, domácí) -- Kůr, Vojtěch (203 Česká republika, domácí) -- Musil, Vít (203 Česká republika, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí)
Klíčová slova anglicky: Markov decision processes; invariant distribution
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: 26. 7. 2024 11:27.
angličtina. Spojené státy.
Klíčová slova anglicky: Patrolling Games; Strategy; Graph; Heatmap; Visual Analysis
Mezinárodní význam: ano
Recenzováno: ano
Změnil: Ing. Matěj Lang, učo 242528. Změněno: 24. 7. 2024 16:18.
RIV/00216224:14330/23:00131517 Stať ve sborníku. angličtina.
Klaška, David (203 Česká republika, domácí) -- Kučera, Antonín (203 Česká republika, garant, domácí) -- Musil, Vít (203 Česká republika, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí)
Klíčová slova anglicky: Periodic Maintenance; strategy synthesis
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: 8. 4. 2024 15:45.
RIV/00216224:14330/23:00131516 Stať ve sborníku. angličtina.
Klaška, David (203 Česká republika, domácí) -- Kučera, Antonín (203 Česká republika, garant, domácí) -- Kurečka, Martin (203 Česká republika, domácí) -- Musil, Vít (203 Česká republika, domácí) -- Novotný, Petr (203 Česká republika, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí)
Klíčová slova anglicky: Multi-agent systems; strategy synthesis
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: 26. 7. 2024 11:28.
RIV/00216224:14330/22:00126564 Stať ve sborníku. angličtina.
Klaška, David (203 Česká republika, domácí) -- Kučera, Antonín (203 Česká republika, garant, domácí) -- Musil, Vít (203 Česká republika, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí)
Klíčová slova anglicky: recurrent reachability objectives; strategy synthesis
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: 28. 3. 2023 11:54.
RIV/00216224:14330/22:00126563 Stať ve sborníku. angličtina. Spojené státy.
Klaška, David (203 Česká republika, domácí) -- Kučera, Antonín (203 Česká republika, garant, domácí) -- Musil, Vít (203 Česká republika, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí)
Klíčová slova anglicky: Security Games; Adversarial Patrolling
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: 28. 3. 2023 11:53.
RIV/00216224:14330/22:00127027 Stať ve sborníku. angličtina.
Brázdil, Tomáš (203 Česká republika, domácí) -- Klaška, David (203 Česká republika, domácí) -- Kučera, Antonín (203 Česká republika, garant, domácí) -- Musil, Vít (203 Česká republika, domácí) -- Novotný, Petr (203 Česká republika, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí)
Klíčová slova anglicky: patrolling games; strategy synthesis
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: Mgr. Michal Petr, učo 65024. Změněno: 28. 8. 2024 10:23.
RIV/00216224:14330/21:00122557 Stať ve sborníku. angličtina.
Klaška, David (203 Česká republika, domácí) -- Kučera, Antonín (203 Česká republika, garant, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí) -- Musil, Vít (203 Česká republika, domácí)
Klíčová slova anglicky: adversarial security games; strategy synthesis
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: 14. 3. 2023 16:08.
RIV/00216224:14330/20:00114048 Stať ve sborníku. angličtina.
Klaška, David (203 Česká republika, domácí) -- Kučera, Antonín (203 Česká republika, domácí) -- Řehák, Vojtěch (203 Česká republika, garant, domácí)
Klíčová slova anglicky: Single and multi-agent planning and scheduling; patrolling
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: 30. 4. 2021 07:54.
RIV/00216224:14330/19:00107916 Článek v odborném periodiku. angličtina. Spojené státy.
Baier, Christel (276 Německo) -- Dubslaff, Clemens (276 Německo) -- Korenčiak, Ľuboš (703 Slovensko, garant, domácí) -- Kučera, Antonín (203 Česká republika, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí)
Klíčová slova anglicky: parameter synthesis; continuous-time Markov chains; non-Markovian distributions; Markov decision process; policy iteration; generalized semi-Markov process; Markov regenerative process
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 20. 4. 2020 10:54.
RIV/00216224:14330/19:00107446 Článek v odborném periodiku. angličtina. Spojené státy.
Patnaik, Milan (356 Indie, garant, domácí) -- Kamakoti, V. (356 Indie) -- Matyáš, Václav (203 Česká republika, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí)
Klíčová slova anglicky: Cognitive Radio (CR); Primary User Emulation; Attack (PUEA); Spectrum Sensing Data Falsification (SSDF); Denial of Service (DoS); Model Predictive Control (MPC); Chernoff Bounds
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:36.
RIV/00216224:14330/18:00100830 Stať ve sborníku. angličtina.
Klaška, David (203 Česká republika, domácí) -- Kučera, Antonín (203 Česká republika, domácí) -- Lamser, Tomáš (203 Česká republika, domácí) -- Řehák, Vojtěch (203 Česká republika, garant, domácí)
Klíčová slova anglicky: patrolling games; single and multi-agent planning and scheduling
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: 24. 9. 2019 15:31.
RIV/00216224:14330/18:00101076 Stať ve sborníku. angličtina. Švédsko.
Brázdil, Tomáš (203 Česká republika, domácí) -- Kučera, Antonín (203 Česká republika, garant, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí)
Klíčová slova anglicky: patrolling games; strategy synthesis
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: Mgr. Michal Petr, učo 65024. Změněno: 16. 5. 2022 15:36.
RIV/00216224:14330/17:00095081 Stať ve sborníku. Informatika. angličtina. Švýcarsko.
Baier, Christel (276 Německo) -- Dubslaff, Clemens (276 Německo) -- Korenčiak, Ľuboš (703 Slovensko, garant, domácí) -- Kučera, Antonín (203 Česká republika, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí)
Klíčová slova anglicky: parameter synthesis; continuous-time Markov chains; non-Markovian distributions; Markov decision process; policy iteration; generalized semi-Markov process; Markov regenerative process
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. 2018 09:56.
RIV/00216224:14330/17:00095082 Stať ve sborníku. Informatika. angličtina. Švýcarsko.
Baier, Christel (276 Německo) -- Dubslaff, Clemens (276 Německo) -- Korenčiak, Ľuboš (703 Slovensko, garant, domácí) -- Kučera, Antonín (203 Česká republika, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí)
Klíčová slova anglicky: controller synthesis; Markov decision processes; resilience
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. 2018 11:00.
Název anglicky: Efficient Timeout Synthesis in Fixed-Delay CTMC Using Policy Iteration
RIV/00216224:14330/16:00088476 Stať ve sborníku. Informatika. angličtina. Spojené státy.
Korenčiak, Ľuboš (703 Slovensko, domácí) -- Kučera, Antonín (203 Česká republika, domácí) -- Řehák, Vojtěch (203 Česká republika, garant, domácí)
Klíčová slova anglicky: Clocks: Protocols; Markov processes; Delays; Standards; Computational modeling
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: 12. 5. 2017 07:03.
RIV/00216224:14330/16:00088084 Stať ve sborníku. Informatika. angličtina. Švýcarsko.
Korenčiak, Ľuboš (703 Slovensko, domácí) -- Řehák, Vojtěch (203 Česká republika, garant, domácí) -- Farmadin, Adrian (703 Slovensko, domácí)
Klíčová slova anglicky: CTMC; DSPN; synthesis; timeout; expected reward; PRISM model checker
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/15:00081201 Stať ve sborníku. Informatika. angličtina. Německo.
Brázdil, Tomáš (203 Česká republika, domácí) -- Korenčiak, Ľuboš (703 Slovensko, garant, domácí) -- Krčál, Jan (203 Česká republika) -- Novotný, Petr (203 Česká republika, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí)
Klíčová slova anglicky: continuous-time Markov chains; synthesis; timeout
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 10. 12. 2018 13:41.
RIV/00216224:14330/14:00074094 Stať ve sborníku. Informatika. angličtina. Švýcarsko.
Korenčiak, Ľuboš (703 Slovensko, garant, domácí) -- Krčál, Jan (203 Česká republika) -- Řehák, Vojtěch (203 Česká republika, domácí)
Klíčová slova anglicky: phase-type; CTMC; discrete-time transition
Mezinárodní význam: ano
Recenzováno: ano
Změnil: Mgr. Ľuboš Korenčiak, Ph.D., učo 208317. Změněno: 14. 11. 2014 14:27.
RIV/00216224:14330/14:00073686 Stať ve sborníku. Informatika. angličtina. Spojené státy.
Abaffy, Michal (703 Slovensko, domácí) -- Brázdil, Tomáš (203 Česká republika, domácí) -- Řehák, Vojtěch (203 Česká republika, garant, domácí) -- Bošanský, Branislav (203 Česká republika) -- Kučera, Antonín (203 Česká republika, domácí) -- Krčál, Jan (203 Česká republika, domácí)
Klíčová slova anglicky: patrolling games; stochastic games; epsilon-optimal strategy
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: 13. 6. 2014 16:04.
RIV/00216224:14330/13:00065934 Stať ve sborníku. Informatika. angličtina. Česká republika.
Chmelík, Martin (203 Česká republika) -- Řehák, Vojtěch (203 Česká republika, garant, domácí)
Klíčová slova anglicky: message sequence charts; realizability; local choice
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: 25. 4. 2014 13:50.
RIV/00216224:14330/13:00066145 Stať ve sborníku. Informatika. angličtina. Spojené státy.
Brázdil, Tomáš (203 Česká republika, domácí) -- Korenčiak, Ľuboš (703 Slovensko, domácí) -- Krčál, Jan (203 Česká republika, domácí) -- Křetínský, Jan (203 Česká republika, garant, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí)
Klíčová slova anglicky: performance evaluation; stochastic Petri nets; stability
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2014 00:02.
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.
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.
Název česky: Sequence Chart Studio
RIV/00216224:14330/12:00057472 Stať ve sborníku. Informatika. angličtina. Spojené státy.
Bezděka, Martin (203 Česká republika, domácí) -- Bouda, Ondřej (203 Česká republika, domácí) -- Korenčiak, Ľuboš (703 Slovensko, domácí) -- Madzin, Matúš (703 Slovensko, domácí) -- Řehák, Vojtěch (203 Česká republika, garant, domácí)
Klíčová slova anglicky: message sequence charts; checkers; transformers; sequence chart drawing
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: 23. 4. 2013 14:01.
Název česky: Sequence Chart Studio: uživatelsky přívětivý nástroj pro kreslení a verifikaci MSC
RIV/00216224:14330/12:00057901 Software. Informatika. angličtina. Česká republika.
Řehák, Vojtěch (203 Česká republika, garant, domácí) -- Madzin, Matúš (703 Slovensko, domácí) -- Korenčiak, Ľuboš (703 Slovensko, domácí) -- Gotthard, Petr (203 Česká republika, domácí) -- Kocian, Ondřej (203 Česká republika, domácí) -- Bezděka, Martin (203 Česká republika, domácí) -- Bouda, Ondřej (203 Česká republika, domácí) -- Vacek, Václav (203 Česká republika, domácí) -- Malota, Milan (703 Slovensko, domácí) -- Pekarčíková, Zuzana (703 Slovensko, domácí)
Klíčová slova anglicky: Message Sequence Charts; ITU-T Z.120; Microsoft Visio; time race checking; find flow; easy drawing
Mezinárodní význam: ano
Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 19. 4. 2013 12:56.
RIV/00216224:14330/12:00057580 Stať ve sborníku. Informatika. angličtina. Německo.
Brázdil, Tomáš (203 Česká republika, garant, domácí) -- Hermanns, Holger (276 Německo) -- Krčál, Jan (203 Česká republika, domácí) -- Křetínský, Jan (203 Česká republika, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí)
Klíčová slova anglicky: IMC;compositional verification;synthesis;time bounded reachability;discretization
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 17:57.
RIV/00216224:14330/11:00049932 Stať ve sborníku. Informatika. angličtina. Německo.
Brázdil, Tomáš (203 Česká republika, garant, domácí) -- Krčál, Jan (203 Česká republika, domácí) -- Křetínský, Jan (203 Česká republika, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí)
Klíčová slova anglicky: generalized semi-Markov processes; long-run average; stability; discrete events
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: 10. 4. 2013 18:18.
RIV/00216224:14330/11:00049786 Stať ve sborníku. Informatika. angličtina. Spojené státy.
Brázdil, Tomáš (203 Česká republika, domácí) -- Krčál, Jan (203 Česká republika, domácí) -- Křetínský, Jan (203 Česká republika, domácí) -- Kučera, Antonín (203 Česká republika, garant, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí)
Klíčová slova anglicky: semi-Markov processes; timed automata
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: prof. Dr. rer. nat. RNDr. Mgr. Bc. Jan Křetínský, Ph.D., učo 139914. Změněno: 9. 4. 2013 17: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.
RIV/00216224:14330/10:00065879 Stať ve sborníku. Informatika. angličtina. Německo.
Brázdil, Tomáš (203 Česká republika, domácí) -- Krčál, Jan (203 Česká republika, domácí) -- Křetínský, Jan (203 Česká republika, domácí) -- Kučera, Antonín (203 Česká republika, garant, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí)
Klíčová slova anglicky: stochastic games; timed automata
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: 30. 4. 2014 04:35.
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: Formalizmy a nástroje pro navrh a specifikaci sitovych protokolu
RIV/00216224:14330/07:00019613 Audiovizuální tvorba. Informatika. angličtina. Česká republika.
Babica, Jindřich (203 Česká republika) -- Řehák, Vojtěch (203 Česká republika, garant, domácí) -- Slovák, Petr (203 Česká republika, domácí) -- Troubil, Pavel (203 Česká republika) -- Zavadil, Martin (203 Česká republika)
Klíčová slova anglicky: Network protocol description; Message Sequence Charts; realizability; race conditions; formal verification
Mezinárodní význam: ano
Změnil: RNDr. Pavel Troubil, Ph.D., učo 139885. Změněno: 13. 6. 2013 12:25.
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: Verifikace VHDL programů s více hodinami pomocí SMV
RIV/00216224:14330/07:00019329 Stať ve sborníku. Informatika. angličtina. Německo.
Smrčka, Aleš (203 Česká republika) -- Řehák, Vojtěch (203 Česká republika) -- Vojnar, Tomáš (203 Česká republika) -- Šafránek, David (203 Česká republika, garant) -- Matoušek, Petr (203 Česká republika) -- Řehák, Zdeněk (203 Česká republika)
Klíčová slova anglicky: formal verification; model checking; VHDL; asynchronous clock domains
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. RNDr. David Šafránek, Ph.D., učo 3159. Změněno: 9. 4. 2010 16:10.
Název česky: Formální verifikace FIFO komponenty při návrhu síťového monitorovacího hardware
RIV/00216224:14330/06:00015311 Stať ve sborníku. Informatika. angličtina. Česká republika.
Kratochvíla, Tomáš (203 Česká republika) -- Řehák, Vojtěch (203 Česká republika) -- Šafránek, David (203 Česká republika, garant)
Klíčová slova anglicky: formal verification; model checking; component-based hardware; FPGA
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. RNDr. David Šafránek, Ph.D., učo 3159. Změněno: 9. 4. 2010 16:09.
Název česky: Formální verifikace vlastností CRC algoritmů
RIV/00216224:14330/06:00015972 Stať ve sborníku. Informatika. angličtina. Česká republika.
Smrčka, Aleš (203 Česká republika) -- Hlávka, Petr (203 Česká republika) -- Šafránek, David (203 Česká republika, garant) -- Řehák, Vojtěch (203 Česká republika) -- Šimeček, Pavel (203 Česká republika) -- Vojnar, Tomáš (203 Česká republika)
Klíčová slova anglicky: formal verification; CRC algorithms; generating polynomial
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. RNDr. David Šafránek, Ph.D., učo 3159. Změněno: 24. 3. 2010 10:39.
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: Filtrace paketů pro směrovací akcelerátor na bázi FPGA
RIV/00216224:14610/06:00015632 Stať ve sborníku. Počítačový hardware a software. angličtina. Česká republika.
Antoš, David (203 Česká republika) -- Řehák, Vojtěch (203 Česká republika, garant) -- Holub, Petr (203 Česká republika, domácí)
Klíčová slova anglicky: packet filtering; hardware accelerated routing; filtring rules transformation; filtering decision diagram; binary decision diagram
Změnil: RNDr. David Antoš, Ph.D., učo 3077. Změněno: 26. 7. 2011 11:36.
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: Směrování a L2 adresace v hardwarovém akcelerátoru pro síťové aplikace
RIV/00216224:14330/06:00015335 Stať ve sborníku. Využití počítačů, robotika a její aplikace. angličtina. Portugalsko.
Antoš, David (203 Česká republika, garant) -- Řehák, Vojtěch (203 Česká republika)
Klíčová slova anglicky: routing; L2 addressing; hardware acceleration
Recenzováno: ano
Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 11. 12. 2006 11:27.
Název česky: Směrování, L2 adresace a filtrace paketů v hardwarovém akcelerátoru
RIV/00216224:14610/06:00015968 Stať ve sborníku. Počítačový hardware a software. angličtina. Česká republika.
Antoš, David (203 Česká republika, garant) -- Řehák, Vojtěch (203 Česká republika, domácí)
Klíčová slova anglicky: routing; L2 addressing; packet filtering; hardware packet classification
Recenzováno: ano
Změnil: RNDr. David Antoš, Ph.D., učo 3077. Změněno: 26. 7. 2011 11:37.
Název česky: Slabě rozšířené procesové přepisovací systémy
RIV/00216224:14330/06:00015476 Prezentace na konferencích. Informatika. angličtina. Francie.
Řehák, Vojtěch (203 Česká republika, garant, domácí)
Klíčová slova anglicky: process rewrite systems; state extension; infinite-state; expressivness; reachability; decidability
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: 28. 4. 2011 08:26.
Název česky: CRC64 Algorithm Analysis and Verification
RIV/00216224:14330/05:00012922 Audiovizuální tvorba. Informatika. angličtina. Česká republika.
Šafránek, David (203 Česká republika, garant) -- Řehák, Vojtěch (203 Česká republika) -- Kratochvíla, Tomáš (203 Česká republika) -- Šimeček, Pavel (203 Česká republika) -- Hlávka, Petr (203 Česká republika) -- Vojnar, Tomáš (203 Česká republika)
Klíčová slova anglicky: CRC64; formal verification; correctness of CRC algorithm
Změnil: RNDr. Pavel Šimeček, Ph.D., učo 51636. Změněno: 2. 5. 2008 13:57.
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: Směrování a filtrace v jedné operaci
Klíčová slova anglicky: routing; filtering; COMBO6; LUP
Změnil: RNDr. David Antoš, Ph.D., učo 3077. Změněno: 16. 10. 2005 16:33.
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.
Informatika. angličtina. Guadeloupe.
Klíčová slova anglicky: IPv6 routing; FPGA; formal verification; Liberouter
Změnil: RNDr. David Antoš, Ph.D., učo 3077. Změněno: 13. 1. 2005 11:00.
Název česky: Kterak formalizovat hardwarový design FPGA čipů
RIV/00216224:14330/04:00010387 Audiovizuální tvorba. Informatika. angličtina. Česká republika.
Holeček, Jan (203 Česká republika) -- Kratochvíla, Tomáš (203 Česká republika) -- Řehák, Vojtěch (203 Česká republika, garant) -- Šafránek, David (203 Česká republika) -- Šimeček, Pavel (203 Česká republika)
Klíčová slova anglicky: formal verification; programmable hardware; FPGA; Cadence SMV; VHDL
Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 14. 2. 2005 11:11.
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.
Název česky: Dosažitelnost pro rozšířené procesové přepisovací systémy
RIV/00216224:14330/04:00010695 Stať ve sborníku. Informatika. angličtina. Belgie.
Řehák, Vojtěch (203 Česká republika, garant)
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: 16. 11. 2006 12:47.
Název česky: Proces verifikace hardwarového návrhu v projektu Liberouter
RIV/00216224:14330/04:00010547 Audiovizuální tvorba. Informatika. angličtina. Česká republika.
Holeček, Jan (203 Česká republika, garant) -- Kratochvíla, Tomáš (203 Česká republika) -- Řehák, Vojtěch (203 Česká republika) -- Šafránek, David (203 Česká republika) -- Šimeček, Pavel (203 Česká republika)
Klíčová slova anglicky: formal verification; Liberouter; Cadence SMV; VHDL
Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 24. 1. 2005 17:02.
Název česky: Výsledky verifikace v rámci projektu Liberouter
RIV/00216224:14330/04:00010306 Audiovizuální tvorba. Informatika. angličtina. Česká republika.
Holeček, Jan (203 Česká republika) -- Kratochvíla, Tomáš (203 Česká republika) -- Řehák, Vojtěch (203 Česká republika) -- Šafránek, David (203 Česká republika, garant) -- Šimeček, Pavel (203 Česká republika)
Klíčová slova anglicky: formal verification; programmable hardware; FPGA; Cadence SMV; VHDL; Verilog
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.
RIV/00216224:14330/03:00007995 Audiovizuální tvorba. Informatika. angličtina. Česká republika.
Antoš, David (203 Česká republika, garant) -- Kořenek, Jan (203 Česká republika) -- Minaříková, Kateřina (203 Česká republika) -- Řehák, Vojtěch (203 Česká republika)
Klíčová slova anglicky: Liberouter; IPv6 routing; special lookup machines
Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 26. 5. 2004 13:23.
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/03:00008325 Audiovizuální tvorba. Informatika. angličtina. Česká republika.
Kratochvíla, Tomáš (203 Česká republika) -- Řehák, Vojtěch (203 Česká republika, garant) -- Šimeček, Pavel (203 Česká republika)
Klíčová slova anglicky: Liberouter; Combo6; formal verification; hardware verification; model checking; Cadence SMV; LeonardoSpectrum
Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 18. 10. 2004 15:55.
Název anglicky: Lookups in IPv6 router implemented in an FPGA
RIV/00216224:14330/03:00008309 Stať ve sborníku. Informatika. čeština. Česká republika.
Antoš, David (203 Česká republika, garant) -- Kořenek, Jan (203 Česká republika) -- Řehák, Vojtěch (203 Česká republika)
Klíčová slova anglicky: IPv6 routing; FPGA; nanoprocessor; IP header lookup
Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 26. 5. 2004 13:27.
RIV/00216224:14330/02:00006715 Stať ve sborníku. Počítačový hardware a software. angličtina. Česká republika.
Řehák, Vojtěch (203 Česká republika, garant)
Klíčová slova anglicky: Data structures; $\xor$-OBDD; symbolic model checking;
Recenzováno: ano
Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 16. 11. 2006 12:47.