Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2009

    1. CoIn Tool Set (software)
      BENEŠ, Nikola, Barbora BÜHNOVÁ, Ivana ČERNÁ a Milan KŘIVÁNEK. CoIn Tool Set. 2009.
      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
    2. Space Effective Model Checking for Component-Interaction Automata
      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

    2008

    1. The CoIn Tool: Modelling and Verification of Interactions in Component-Based Systems
      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

    2006

    1. Component-Interaction Automata as a Verification-Oriented Component-Based System Specification
      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

    2005

    1. Component-Interaction Automata as a Verification-Oriented Component-Based System Specification
      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
    2. Component-Interaction Automata for Specification and Verification of Component Interactions
      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. 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.
      Podrobněji: https://is.muni.cz/publication/623025/cs
Zobrazeno: 4. 5. 2024 09:19