Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2011

  1. CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems
    BENEŠ, Nikola, Ivana ČERNÁ a Milan KŘIVÁNEK. CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems. In Jiří Barnat and Keijo Heljanko. Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation. Neuveden: Open Publishing Association, 2011. s. 63-67. ISSN 2075-2180. doi:10.4204/EPTCS.72.
    URL
    RIV/00216224:14330/11:00065910 Stať ve sborníku. Informatika. angličtina. Spojené státy.
    Beneš, Nikola (203 Česká republika, garant, domácí) -- Černá, Ivana (203 Česká republika, domácí) -- Křivánek, Milan (203 Česká republika, domácí)
    Klíčová slova anglicky: component-based systems; model checking; parallelization
    Druh sborníku: postkonferenční sborník
    Mezinárodní význam: ano
    Recenzováno: ano
    Změnil: RNDr. Nikola Beneš, Ph.D., učo 72525. Změněno: 29. 4. 2014 18:20.
    Podrobněji: https://is.muni.cz/publication/960030/cs

    2. 2010

  2. CoIn-DiVinE (software)
    BENEŠ, Nikola, Ivana ČERNÁ a Milan KŘIVÁNEK. CoIn-DiVinE. 2010.
    URL
    RIV/00216224:14330/10:00049374 Software. Informatika. angličtina. Česká republika.
    Beneš, Nikola (203 Česká republika, domácí) -- Černá, Ivana (203 Česká republika, garant, domácí) -- Křivánek, Milan (203 Česká republika, domácí)
    Klíčová slova anglicky: component interaction; formal verification; component-based systems
    Změnil: RNDr. Nikola Beneš, Ph.D., učo 72525. Změněno: 29. 4. 2011 14:48.
    Podrobněji: https://is.muni.cz/publication/935983/cs

    3. 2009

  3. 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
  4. 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
Zobrazeno: 24. 3. 2023 00:25