česky | in English
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: Případová studie paralelní verifikace komponentových systémů
RIV/00216224:14330/08:00024388 Stať ve sborníku. Informatika. angličtina. Maďarsko.
Beneš, Nikola (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: Component-based systems; formal verification; parallel model checking
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Nikola Beneš, Ph.D., učo 72525. Změněno: 17. 12. 2010 12:31.
Název česky: Případová studie paralelní verifikace komponentových systémů
RIV/00216224:14330/08:00024171 Článek v odborném periodiku. Informatika. angličtina. Maďarsko.
Beneš, Nikola (203 Česká republika, domácí) -- Černá, Ivana (203 Česká republika, domácí) -- Sochor, Jiří (203 Česká republika, domácí) -- Moravcová Vařeková, Pavlína (203 Česká republika, domácí) -- Bühnová, Barbora (203 Česká republika, garant, domácí)
Klíčová slova anglicky: Component-based systems; formal verification; parallel model checking
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Nikola Beneš, Ph.D., učo 72525. Změněno: 24. 10. 2013 16:19.
Název česky: Automatická verifikace systémů s neomezeným počtem komponent
RIV/00216224:14330/08:00024358 Článek v odborném periodiku. Informatika. angličtina. Spojené státy.
Vařeková, Pavlína (203 Česká republika, domácí) -- Zimmerová, Barbora (203 Česká republika, domácí) -- Moravec, Pavel (203 Česká republika) -- Černá, Ivana (203 Česká republika, garant, domácí)
Klíčová slova anglicky: Component-based systems; dynamic number of components; infinite-state systems; formal verification
Mezinárodní význam: ano
Recenzováno: ano
Změnila: doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394. Změněno: 4. 11. 2012 15:52.
Název česky: Modelování a formální analýza komponentových systémů z pohledu interakce mezi komponentami
Informatika. angličtina. Česká republika.
Klíčová slova anglicky: Component-based systems; component interaction; automata-based modelling; formal analysis; component equivalence; substitutability
Mezinárodní význam: ano
Změnila: doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394. Změněno: 4. 11. 2012 15:32.
Název česky: CoIn Tool: Modelování a verifikace interakcí v komponentových systémech
RIV/00216224:14330/08:00024294 Stať ve sborníku. Informatika. angličtina. Španělsko.
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: component-based systems; Component-Interaction automata; formal verification; LTL; model checking
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Nikola Beneš, Ph.D., učo 72525. Změněno: 17. 12. 2010 12:32.
Název česky: Vyměnitelnost komponent na základě ekvivalencí Component-interaction automatů
RIV/00216224:14330/07:00019439 Článek v odborném periodiku. Informatika. angličtina. Macao.
Černá, Ivana (203 Česká republika, garant, domácí) -- Vařeková, Pavlína (203 Česká republika, domácí) -- Zimmerová, Barbora (203 Česká republika, domácí)
Klíčová slova anglicky: component-based systems; reconfiguration correctness; component substitutability; independent implementability
Mezinárodní význam: ano
Recenzováno: ano
Změnila: doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394. Změněno: 4. 11. 2012 15:30.
Název česky: Efektivní verifikace systémů s dynamickým počtem komponent
RIV/00216224:14330/07:00019481 Stať ve sborníku. Informatika. angličtina. Spojené státy.
Vařeková, Pavlína (203 Česká republika, domácí) -- Moravec, Pavel (203 Česká republika, domácí) -- Černá, Ivana (203 Česká republika, garant, domácí) -- Zimmerová, Barbora (203 Česká republika, domácí)
Klíčová slova anglicky: Component-based systems; dynamic number of components; finite-state systems; formal verification
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnila: doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394. Změněno: 4. 11. 2012 15:30.
Název česky: Zohlednění vytváření a mazání instancí při modelování a verifikaci komponentových systémů
RIV/00216224:14330/07:00020538 Stať ve sborníku. Informatika. angličtina. Česká republika.
Zimmerová, Barbora (203 Česká republika, garant, domácí) -- Vařeková, Pavlína (203 Česká republika, domácí)
Klíčová slova anglicky: Component-based systems; verification; component instances
Mezinárodní význam: ano
Recenzováno: ano
Změnila: doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394. Změněno: 4. 11. 2012 15:29.
Název česky: Specifikace vzoru Subject-Observer pomocí Component-Interaction automatů
RIV/00216224:14330/07:00019482 Stať ve sborníku. Informatika. angličtina. Spojené státy.
Vařeková, Pavlína (203 Česká republika, domácí) -- Zimmerová, Barbora (203 Česká republika, garant, domácí)
Klíčová slova anglicky: Component-based systems; dynamic number of components; finite-state systems; verification; software modelling
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnila: doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394. Změněno: 4. 11. 2012 15:29.
Název česky: Rozložení komponent v distribuovaném prostředí vzhledem k interakci mezi nimi
RIV/00216224:14330/06:00019343 Stať ve sborníku. Informatika. angličtina. Česká republika.
Zimmerová, Barbora (203 Česká republika, garant, domácí)
Klíčová slova anglicky: Component-based systems; component-placement problem; interaction; formal analysis
Druh sborníku: postkonferenční sborník
Recenzováno: ano
Změnila: doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394. Změněno: 4. 11. 2012 15:28.
Název česky: Vyměnitelnost komponent na základě ekvivalencí Component-interaction automatů
RIV/00216224:14330/06:00015414 Stať ve sborníku. Informatika. angličtina. Macao.
Černá, Ivana (203 Česká republika, garant) -- Vařeková, Pavlína (203 Česká republika) -- Zimmerová, Barbora (203 Česká republika)
Klíčová slova anglicky: component-based systems; reconfiguration correctness; component substitutability; independent implementability
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:38.
Název česky: Modelovací jazyk Component-Interaction automatů
RIV/00216224:14330/06:00024121 Audiovizuální tvorba. Informatika. angličtina. Česká republika.
Černá, Ivana (203 Česká republika, garant, domácí) -- Vařeková, Pavlína (203 Česká republika, domácí) -- Zimmerová, Barbora (203 Česká republika, domácí)
Klíčová slova anglicky: Component-based systems; automata theory; specification; verification
Mezinárodní význam: ano
Změnila: doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394. Změněno: 4. 11. 2012 15:26.
Název česky: Formální analýza komponentových systému s ohledem na interakci mezi komponentami
RIV/00216224:14330/06:00015552 Stať ve sborníku. Informatika. angličtina. Německo.
Zimmerová, Barbora (203 Česká republika, garant, domácí)
Klíčová slova anglicky: component-based systems; formal analysis; component interaction
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnila: doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394. Změněno: 4. 11. 2012 15:25.
Název česky: Component-Interaction automaty pro specifikaci a verifikaci interakcí mezi komponentami
RIV/00216224:14330/05:00013242 Stať ve sborníku. Informatika. angličtina. Nizozemské království.
Vařeková, Pavlína (203 Česká republika) -- Zimmerová, Barbora (203 Česká republika, garant)
Klíčová slova anglicky: Component-Interaction automata; specification; verification; component-based systems
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnila: doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394. Změněno: 2. 12. 2006 16:39.