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. Online. 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. Dostupné z: https://dx.doi.org/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

    2010

    1. 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

    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
Zobrazeno: 1. 5. 2024 18:45