Filter

    2008

    1. A Case Study in Parallel Verification of Component-Based Systems
      BENEŠ, Nikola; Ivana ČERNÁ; Jiří SOCHOR; Pavlína VAŘEKOVÁ and Barbora ZIMMEROVÁ. A Case Study in Parallel Verification of Component-Based Systems. In Pre-proceedings of the Workshop on Parallel and Distributed Methods in verifiCation (PDMC'08). Budapest, Hungary: ETAPS, 2008, p. 35-51. ISSN 1571-0661.
      Name in Czech: Případová studie paralelní verifikace komponentových systémů
      RIV/00216224:14330/08:00024388 Proceedings paper. Informatics. English. Hungary.
      Beneš, Nikola (203 Czech Republic, belonging to the institution) -- Černá, Ivana (203 Czech Republic, belonging to the institution) -- Sochor, Jiří (203 Czech Republic, belonging to the institution) -- Vařeková, Pavlína (203 Czech Republic, belonging to the institution) -- Zimmerová, Barbora (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: Component-based systems; formal verification; parallel model checking
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Nikola Beneš, Ph.D., učo 72525. Changed: 17/12/2010 12:31.
      More: https://is.muni.cz/publication/807512/en
    2. A Case Study in Parallel Verification of Component-Based Systems
      BENEŠ, Nikola; Ivana ČERNÁ; Jiří SOCHOR; Pavlína MORAVCOVÁ VAŘEKOVÁ and Barbora BÜHNOVÁ. A Case Study in Parallel Verification of Component-Based Systems. Electronic Notes in Theoretical Computer Science. Neuveden: Elsevier, 2008, vol. 220, No 2, p. 67-83, 16 pp. ISSN 1571-0661.
      Name in Czech: Případová studie paralelní verifikace komponentových systémů
      RIV/00216224:14330/08:00024171 Article in a journal. Informatics. English. Hungary.
      Beneš, Nikola (203 Czech Republic, belonging to the institution) -- Černá, Ivana (203 Czech Republic, belonging to the institution) -- Sochor, Jiří (203 Czech Republic, belonging to the institution) -- Moravcová Vařeková, Pavlína (203 Czech Republic, belonging to the institution) -- Bühnová, Barbora (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: Component-based systems; formal verification; parallel model checking
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Nikola Beneš, Ph.D., učo 72525. Changed: 24/10/2013 16:19.
      More: https://is.muni.cz/publication/762866/en
    3. Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE
      BARNAT, Jiří; Luboš BRIM; Ivana ČERNÁ; Sven DRAŽAN and David ŠAFRÁNEK. Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE. In Electronic Notes in Theoretical Computer Science. Vol. 194/3. Elsevier: Elsevier Science, 2008, p. 35-50, 15 pp. ISSN 1571-0661.
      Name in Czech: Paralelní ověřování rozsáhlých genetických regulačních sítí nástrojem DiVinE
      RIV/00216224:14330/08:00024143 Proceedings paper. Informatics. English. Czech Republic.
      Barnat, Jiří (203 Czech Republic) -- Brim, Luboš (203 Czech Republic) -- Černá, Ivana (203 Czech Republic) -- Dražan, Sven (203 Czech Republic) -- Šafránek, David (203 Czech Republic, guarantor)
      Keywords in English: genetic regulatory networks; discrete simulation; parallel model checking
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Luboš Brim, CSc., učo 197. Changed: 18/11/2008 12:30.
      More: https://is.muni.cz/publication/749375/en

    2007

    1. Parallel Analysis of Genetic Regulatory Networks
      BARNAT, Jiří; Luboš BRIM; Ivana ČERNÁ; Sven DRAŽAN and David ŠAFRÁNEK. Parallel Analysis of Genetic Regulatory Networks. Grenoble: Verimag, 2007. Towards Systems Biology Workshop 2007.
      URL
      Name in Czech: Paralelní analýza genetických regulačních sítí
      RIV/00216224:14330/07:00019480 Conference abstract. Informatics. English. Czech Republic.
      Barnat, Jiří (203 Czech Republic) -- Brim, Luboš (203 Czech Republic) -- Černá, Ivana (203 Czech Republic) -- Dražan, Sven (203 Czech Republic) -- Šafránek, David (203 Czech Republic, guarantor)
      Keywords in English: parallel model checking; genetic regulatory networks; piece-wise linear approximation
      International impact: yes
      Changed by: prof. RNDr. Ivana Černá, CSc., učo 1419. Changed: 28/11/2007 13:22.
      More: https://is.muni.cz/publication/726138/en
    2. Parallel Model Checking and the FMICS-jETI Platform
      BARNAT, Jiri; Lubos BRIM and Martin LEUCKER. Parallel Model Checking and the FMICS-jETI Platform. In Proceedings Twelfth IEEE International Conference on Engineering of Complex Computer Systems. Los Alamitos: IEEE Computer Society, 2007, p. 330-339. ISBN 0-7695-2895-3.
      Name in Czech: Paralelní ověřování modelů a platforma FMICS-jETI
      Name (in English): Parallel Model Checking and the FMICS-jETI Platform
      RIV/00216224:14330/07:00019460 Proceedings paper. Informatics. English. New Zealand.
      Barnat, Jiri (203 Czech Republic) -- Brim, Lubos (203 Czech Republic, guarantor) -- Leucker, Martin (276 Germany)
      Keywords in English: Parallel Model Checking; FMICS-jETI platform
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Changed: 1/6/2009 21:05.
      More: https://is.muni.cz/publication/722768/en
    3. Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE
      BARNAT, Jiří; Luboš BRIM; Ivana ČERNÁ; Sven DRAŽAN and David ŠAFRÁNEK. Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE. In Preproceedings of the Workshop From Biology to Concurrency and Back. Lisbon: Complex System Research Group, University of Camerino, 2007, p. 80-95, 15 pp.
      Name in Czech: Paralelní ověřování rozsáhlých genetických regulačních sítí nástrojem DiVinE
      Informatics. English. Czech Republic.
      Keywords in English: genetic regulatory networks; discrete simulation; parallel model checking
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Ivana Černá, CSc., učo 1419. Changed: 28/11/2007 13:23.
      More: https://is.muni.cz/publication/725423/en