Filtrování publikací
-
CoIn Tool Set (software)URL
Název česky: Sada nástrojů CoIn
RIV/00216224:14330/09:00028846 Software. Informatika. angličtina. Česká republika.
Beneš, Nikola (203 Česká republika, garant, domácí) -- Bühnová, Barbora (203 Česká republika, domácí) -- Černá, Ivana (203 Česká republika, domácí) -- Křivánek, Milan (203 Česká republika, domácí)
Klíčová slova anglicky: formal verification; model checking; component-interaction automata; state/event LTL
Mezinárodní význam: ano
Změnil: RNDr. Nikola Beneš, Ph.D., učo 72525. Změněno: 17. 12. 2010 12:26.Podrobněji: https://is.muni.cz/publication/878167/cs -
BENEŠ, Nikola, Milan KŘIVÁNEK a Filip ŠTEFAŇÁK. Space Effective Model Checking for Component-Interaction Automata. In Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09). Dagstuhl, Německo: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Německo, 2009. 8 s. ISBN 978-3-939897-15-6.URL
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.Podrobněji: https://is.muni.cz/publication/875218/cs -
BENEŠ, Nikola, Luboš BRIM, Ivana ČERNÁ, Jiří SOCHOR, Pavlína VAŘEKOVÁ a Barbora ZIMMEROVÁ. The CoIn Tool: Modelling and Verification of Interactions in Component-Based Systems. In Pre-proceedings of the International Workshop on Formal Aspects of Component Software (FACS'08). Málaga, Spain: Department of Computer Science, University of Málaga, 2008. s. 221-225. ISSN 1571-0661.
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.Podrobněji: https://is.muni.cz/publication/785938/cs -
BRIM, Luboš, Ivana ČERNÁ, Pavlína VAŘEKOVÁ a Barbora ZIMMEROVÁ. Component-Interaction Automata as a Verification-Oriented Component-Based System Specification. Software engineering notes : an informal newsletter of the Special Interest Committee on Software Engineering. [New York, N.Y.?]: ACM, 2006, roč. 31, č. 2, s. 1-8. ISSN 0163-5948.
Název česky: Component-Interaction automaty pro verifikačně orientovanou specifikaci komponentových systémů
RIV/00216224:14330/06:00015470 Článek v odborném periodiku. Informatika. angličtina. Spojené státy.
Brim, Luboš (203 Česká republika, garant, domácí) -- Černá, Ivana (203 Česká republika, domácí) -- Vařeková, Pavlína (203 Česká republika, domácí) -- Zimmerová, Barbora (203 Česká republika, domácí)
Klíčová slova anglicky: ADLs; Component-Interaction automata; component interaction; 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:27.Podrobněji: https://is.muni.cz/publication/703524/cs -
BRIM, Luboš, Ivana ČERNÁ, Pavlína VAŘEKOVÁ a Barbora ZIMMEROVÁ. Component-Interaction Automata as a Verification-Oriented Component-Based System Specification. In Proceedings of SAVCBS 2005. Ames, USA: Department of Computer Science, Iowa State University, 2005. s. 31-38.URL
Název česky: Component-Interaction automaty pro verifikačně orientovanou specifikaci komponentových systémů
RIV/00216224:14330/05:00012815 Stať ve sborníku. Informatika. angličtina. Spojené státy.
Brim, Luboš (203 Česká republika, garant) -- Černá, Ivana (203 Česká republika) -- Vařeková, Pavlína (203 Česká republika) -- Zimmerová, Barbora (203 Česká republika)
Klíčová slova anglicky: ADLs; Component-Interaction automata; component interaction; 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: 29. 11. 2006 14:53.Podrobněji: https://is.muni.cz/publication/591644/cs -
VAŘEKOVÁ, Pavlína a Barbora ZIMMEROVÁ. Component-Interaction Automata for Specification and Verification of Component Interactions. In IFM 2005 Doctoral Symposium on Integrated Formal Methods. Eindhoven, The Netherlands: Technische Universiteit Eindhoven (TU/e), 2005. s. 71-75.
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. Nizozemsko.
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.Podrobněji: https://is.muni.cz/publication/623025/cs
2009
2008
2006
2005
Zobrazeno: 28. 9. 2023 05:38