česky | in English
Název česky: Metoda partial order redukce pro State/Event LTL
RIV/00216224:14330/09:00065770 Stať ve sborníku. Informatika. angličtina. Německo.
Beneš, Nikola (203 Česká republika, domácí) -- Brim, Luboš (203 Česká republika, domácí) -- Černá, Ivana (203 Česká republika, domácí) -- Sochor, Jiří (203 Česká republika, domácí) -- Vařeková, Pavlína (203 Česká republika, domácí) -- Zimmerová, Barbora (203 Česká republika, garant, domácí)
Klíčová slova anglicky: Partial order reduction; state/event LTL; formal verification
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 05:54.
Název česky: Prostorově efektivní ověřování modelu pro komponentově-interakční automaty
RIV/00216224:14330/09:00028809 Stať ve sborníku. Informatika. angličtina. Německo.
Beneš, Nikola (203 Česká republika, garant, domácí) -- Křivánek, Milan (203 Česká republika, domácí) -- Štefaňák, Filip (703 Slovensko, domácí)
Klíčová slova anglicky: partial order reduction; model checking; component-based systems
Druh sborníku: postkonferenční sborník
Změnil: RNDr. Nikola Beneš, Ph.D., učo 72525. Změněno: 17. 12. 2010 12:27.
Název česky: Metoda partial order redukce pro State/Event LTL
RIV/00216224:14330/08:00024265 Výzkumná zpráva. Informatika. angličtina. Česká republika.
Beneš, Nikola (203 Česká republika, domácí) -- Brim, Luboš (203 Česká republika, domácí) -- Černá, Ivana (203 Česká republika, domácí) -- Sochor, Jiří (203 Česká republika, domácí) -- Vařeková, Pavlína (203 Česká republika, domácí) -- Zimmerová, Barbora (203 Česká republika, garant, domácí)
Klíčová slova anglicky: Partial order reduction; state/event LTL; formal verification
Mezinárodní význam: ano
Změnil: prof. Ing. Jiří Sochor, CSc., učo 2446. Změněno: 18. 9. 2015 12:32.
Název česky: Oslabení podmínky na cykly zlepšující redukci pomocí reprezentantů
Název anglicky: Relaxed Cycle Condition Improves Partial Order Reduction
RIV/00216224:14330/07:00019497 Stať ve sborníku. Informatika. angličtina. Česká republika.
Moravec, Pavel (203 Česká republika, garant) -- Šimša, Jiří (203 Česká republika)
Klíčová slova anglicky: model checking; partial order reduction; proviso checking
Změnil: Mgr. Pavel Moravec, učo 39589. Změněno: 28. 11. 2007 10:10.
Název česky: Experimentální porovnání algoritmů ověřujících proviso pro redukci pomocí reprezentantů
Název anglicky: Experimental Comparison of Algorithms Checking Proviso for Partial Order Reduction
RIV/00216224:14330/06:00015445 Stať ve sborníku. Informatika. angličtina. Česká republika.
Moravec, Pavel (203 Česká republika, garant)
Klíčová slova anglicky: model checking; partial order reduction; proviso checking
Změnil: Mgr. Pavel Moravec, učo 39589. Změněno: 4. 12. 2006 15:24.
Název česky: Kombinace redukce pomocí reprezentantů s fairness předpoklady
Název anglicky: On Combining Partial Order Reduction with Fairness Assumptions
RIV/00216224:14330/06:00015442 Stať ve sborníku. Informatika. angličtina. Německo.
Brim, Luboš (203 Česká republika, garant) -- Černá, Ivana (203 Česká republika) -- Moravec, Pavel (203 Česká republika) -- Šimša, Jiří (203 Česká republika)
Klíčová slova anglicky: partial order reduction; fairness; LTL model checking
Mezinárodní význam: ano
Recenzováno: ano
Změnila: prof. RNDr. Ivana Černá, CSc., učo 1419. Změněno: 31. 3. 2010 15:40.
Název česky: Distribuovaná redukce stavového prostoru
Název anglicky: Distributed Partial Order Reduction of State Spaces
RIV/00216224:14330/05:00012369 Článek v odborném periodiku. Informatika. angličtina. Nizozemské království.
Brim, Luboš (203 Česká republika, garant) -- Černá, Ivana (203 Česká republika) -- Moravec, Pavel (203 Česká republika) -- Šimša, Jiří (203 Česká republika)
Klíčová slova anglicky: partial order reduction
Mezinárodní význam: ano
Recenzováno: ano
Změnil: prof. RNDr. Luboš Brim, CSc., učo 197. Změněno: 22. 11. 2006 08:32.
Název česky: Jak se vypořádat s vyšší závislostí v partial order reduction při ověřování LTL vlastností modelu
Název anglicky: How to Cope with Higher Dependency in Partial Order Reduction for LTL Model Checking
RIV/00216224:14330/05:00012706 Stať ve sborníku. Informatika. angličtina. Česká republika.
Moravec, Pavel (203 Česká republika, garant)
Klíčová slova anglicky: model checking; partial order reduction; ample sets
Změnil: Mgr. Pavel Moravec, učo 39589. Změněno: 4. 1. 2007 12:22.
Název česky: Generování stavového prostoru s použitím under-aproximace a partial order reduction
Název anglicky: Under-Approximation Generation using Partial Order Reduction
RIV/00216224:14330/05:00012458 Odborná kniha. Informatika. angličtina. Česká republika.
Brim, Luboš (203 Česká republika, garant) -- Černá, Ivana (203 Česká republika) -- Moravec, Pavel (203 Česká republika) -- Šimša, Jiří (203 Česká republika)
Klíčová slova anglicky: under-aproximation; state space generation; partial order reduction
Mezinárodní význam: ano
Změnil: prof. RNDr. Luboš Brim, CSc., učo 197. Změněno: 19. 12. 2006 13:19.
Název česky: Distribuovaná redukce stavového prostoru
Název anglicky: Distributed Partial Order Reduction of State Spaces
RIV/00216224:14330/04:00011102 Stať ve sborníku. Informatika. angličtina. Velká Británie a Severní Irsko.
Brim, Luboš (203 Česká republika, garant) -- Černá, Ivana (203 Česká republika) -- Moravec, Pavel (203 Česká republika) -- Šimša, Jiří (203 Česká republika)
Klíčová slova anglicky: partial order reduction
Změnil: Mgr. Pavel Moravec, učo 39589. Změněno: 3. 2. 2006 15:12.