Masaryk University

Publication Records

česky | in English

Filter publications

    2011

    1. CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems
      BENEŠ, Nikola, Ivana ČERNÁ and 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. p. 63-67. ISSN 2075-2180. Available from: https://dx.doi.org/10.4204/EPTCS.72
      URL
      RIV/00216224:14330/11:00065910 Proceedings paper. Informatics. English. United States of America.
      Beneš, Nikola (203 Czech Republic, guarantor, belonging to the institution) -- Černá, Ivana (203 Czech Republic, belonging to the institution) -- Křivánek, Milan (203 Czech Republic, belonging to the institution)
      Keywords in English: component-based systems; model checking; parallelization
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Nikola Beneš, Ph.D., učo 72525. Changed: 29/4/2014 18:20.
      More: https://is.muni.cz/publication/960030/en

    2010

    1. CoIn-DiVinE (software)
      BENEŠ, Nikola, Ivana ČERNÁ and Milan KŘIVÁNEK. CoIn-DiVinE. Online
      URL
      RIV/00216224:14330/10:00049374 Software. Informatics. English. Czech Republic.
      Beneš, Nikola (203 Czech Republic, belonging to the institution) -- Černá, Ivana (203 Czech Republic, guarantor, belonging to the institution) -- Křivánek, Milan (203 Czech Republic, belonging to the institution)
      Keywords in English: component interaction; formal verification; component-based systems
      Changed by: RNDr. Nikola Beneš, Ph.D., učo 72525. Changed: 29/4/2011 14:48.
      More: https://is.muni.cz/publication/935983/en

    2009

    1. CoIn Tool Set (software)
      BENEŠ, Nikola, Barbora BÜHNOVÁ, Ivana ČERNÁ and Milan KŘIVÁNEK. CoIn Tool Set. Online
      URL
      Name in Czech: Sada nástrojů CoIn
      RIV/00216224:14330/09:00028846 Software. Informatics. English. Czech Republic.
      Beneš, Nikola (203 Czech Republic, guarantor, belonging to the institution) -- Bühnová, Barbora (203 Czech Republic, belonging to the institution) -- Černá, Ivana (203 Czech Republic, belonging to the institution) -- Křivánek, Milan (203 Czech Republic, belonging to the institution)
      Keywords in English: formal verification; model checking; component-interaction automata; state/event LTL
      International impact: yes
      Changed by: RNDr. Nikola Beneš, Ph.D., učo 72525. Changed: 17/12/2010 12:26.
      More: https://is.muni.cz/publication/878167/en
    2. Space Effective Model Checking for Component-Interaction Automata
      BENEŠ, Nikola, Milan KŘIVÁNEK and Filip ŠTEFAŇÁK. Space Effective Model Checking for Component-Interaction Automata. Online. 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. 8 pp. ISBN 978-3-939897-15-6
      URL
      Name in Czech: Prostorově efektivní ověřování modelu pro komponentově-interakční automaty
      RIV/00216224:14330/09:00028809 Proceedings paper. Informatics. English. Germany.
      Beneš, Nikola (203 Czech Republic, guarantor, belonging to the institution) -- Křivánek, Milan (203 Czech Republic, belonging to the institution) -- Štefaňák, Filip (703 Slovakia, belonging to the institution)
      Keywords in English: partial order reduction; model checking; component-based systems
      Type of proceedings: post-proceedings
      Changed by: RNDr. Nikola Beneš, Ph.D., učo 72525. Changed: 17/12/2010 12:27.
      More: https://is.muni.cz/publication/875218/en
Displayed: 23/4/2024 14:15