Filtrování

    2008

    1. A Case Study in Parallel Verification of Component-Based Systems
      BENEŠ, Nikola; Ivana ČERNÁ; Jiří SOCHOR; Pavlína VAŘEKOVÁ a 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, s. 35-51. ISSN 1571-0661.
      Název česky: Případová studie paralelní verifikace komponentových systémů
      RIV/00216224:14330/08:00024388 Stať ve sborníku. Informatika. angličtina. Maďarsko.
      Beneš, Nikola (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; formal verification; parallel 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:31.
      Podrobněji: https://is.muni.cz/publication/807512/cs
    2. A Case Study in Parallel Verification of Component-Based Systems
      BENEŠ, Nikola; Ivana ČERNÁ; Jiří SOCHOR; Pavlína MORAVCOVÁ VAŘEKOVÁ a Barbora BÜHNOVÁ. A Case Study in Parallel Verification of Component-Based Systems. Electronic Notes in Theoretical Computer Science. Neuveden: Elsevier, 2008, roč. 220, č. 2, s. 67-83, 16 s. ISSN 1571-0661.
      Název česky: Případová studie paralelní verifikace komponentových systémů
      RIV/00216224:14330/08:00024171 Článek v odborném periodiku. Informatika. angličtina. Maďarsko.
      Beneš, Nikola (203 Česká republika, domácí) -- Černá, Ivana (203 Česká republika, domácí) -- Sochor, Jiří (203 Česká republika, domácí) -- Moravcová Vařeková, Pavlína (203 Česká republika, domácí) -- Bühnová, Barbora (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Component-based systems; formal verification; parallel model checking
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Nikola Beneš, Ph.D., učo 72525. Změněno: 24. 10. 2013 16:19.
      Podrobněji: https://is.muni.cz/publication/762866/cs
    3. Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE
      BARNAT, Jiří; Luboš BRIM; Ivana ČERNÁ; Sven DRAŽAN a 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, s. 35-50, 15 s. ISSN 1571-0661.
      Název česky: Paralelní ověřování rozsáhlých genetických regulačních sítí nástrojem DiVinE
      RIV/00216224:14330/08:00024143 Stať ve sborníku. Informatika. angličtina. Česká republika.
      Barnat, Jiří (203 Česká republika) -- Brim, Luboš (203 Česká republika) -- Černá, Ivana (203 Česká republika) -- Dražan, Sven (203 Česká republika) -- Šafránek, David (203 Česká republika, garant)
      Klíčová slova anglicky: genetic regulatory networks; discrete simulation; parallel model checking
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Luboš Brim, CSc., učo 197. Změněno: 18. 11. 2008 12:30.
      Podrobněji: https://is.muni.cz/publication/749375/cs

    2007

    1. Parallel Analysis of Genetic Regulatory Networks
      BARNAT, Jiří; Luboš BRIM; Ivana ČERNÁ; Sven DRAŽAN a David ŠAFRÁNEK. Parallel Analysis of Genetic Regulatory Networks. Grenoble: Verimag, 2007. Towards Systems Biology Workshop 2007.
      URL
      Název česky: Paralelní analýza genetických regulačních sítí
      RIV/00216224:14330/07:00019480 Konferenční abstrakt. Informatika. angličtina. Česká republika.
      Barnat, Jiří (203 Česká republika) -- Brim, Luboš (203 Česká republika) -- Černá, Ivana (203 Česká republika) -- Dražan, Sven (203 Česká republika) -- Šafránek, David (203 Česká republika, garant)
      Klíčová slova anglicky: parallel model checking; genetic regulatory networks; piece-wise linear approximation
      Mezinárodní význam: ano
      Změnila: prof. RNDr. Ivana Černá, CSc., učo 1419. Změněno: 28. 11. 2007 13:22.
      Podrobněji: https://is.muni.cz/publication/726138/cs
    2. Parallel Model Checking and the FMICS-jETI Platform
      BARNAT, Jiri; Lubos BRIM a 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, s. 330-339. ISBN 0-7695-2895-3.
      Název česky: Paralelní ověřování modelů a platforma FMICS-jETI
      Název anglicky: Parallel Model Checking and the FMICS-jETI Platform
      RIV/00216224:14330/07:00019460 Stať ve sborníku. Informatika. angličtina. Nový Zéland.
      Barnat, Jiri (203 Česká republika) -- Brim, Lubos (203 Česká republika, garant) -- Leucker, Martin (276 Německo)
      Klíčová slova anglicky: Parallel Model Checking; FMICS-jETI platform
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Změněno: 1. 6. 2009 21:05.
      Podrobněji: https://is.muni.cz/publication/722768/cs
    3. Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE
      BARNAT, Jiří; Luboš BRIM; Ivana ČERNÁ; Sven DRAŽAN a 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, s. 80-95, 15 s.
      Název česky: Paralelní ověřování rozsáhlých genetických regulačních sítí nástrojem DiVinE
      Informatika. angličtina. Česká republika.
      Klíčová slova anglicky: genetic regulatory networks; discrete simulation; parallel model checking
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnila: prof. RNDr. Ivana Černá, CSc., učo 1419. Změněno: 28. 11. 2007 13:23.
      Podrobněji: https://is.muni.cz/publication/725423/cs