Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2020

  1. AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks
    BENEŠ, Nikola, Luboš BRIM, Jakub KADLECAJ, Samuel PASTVA a David ŠAFRÁNEK. AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks. In Shuvendu K. Lahiri and Chao Wang. Computer Aided Verification. CAV 2020. LNCS 12224. Cham: Springer, Cham, 2020. s. 569-581, 13 s. ISBN 978-3-030-53287-1. doi:10.1007/978-3-030-53288-8_28.
    Podrobněji: https://is.muni.cz/publication/1676301/cs
  2. Digital Bifurcation Analysis of Internet Congestion Control Protocols
    BENEŠ, Nikola, Luboš BRIM, Samuel PASTVA a David ŠAFRÁNEK. Digital Bifurcation Analysis of Internet Congestion Control Protocols. International Journal of Bifurcation and Chaos, 2020, roč. 30, č. 13, s. 2030038-2030055. ISSN 0218-1274.
    Podrobněji: https://is.muni.cz/publication/1684616/cs
  3. Parallel parameter synthesis algorithm for hybrid CTL
    BENEŠ, Nikola, Luboš BRIM, Samuel PASTVA a David ŠAFRÁNEK. Parallel parameter synthesis algorithm for hybrid CTL. Science of Computer Programming, 2020, roč. 185, č. 102321, s. 1-19. ISSN 0167-6423. doi:10.1016/j.scico.2019.102321.
    Podrobněji: https://is.muni.cz/publication/1569697/cs
  4. Parallel Parameter Synthesis for Multi-affine Hybrid Systems from Hybrid CTL Specifications.
    ŠMIJÁKOVÁ, Eva, Samuel PASTVA, David ŠAFRÁNEK a Luboš BRIM. Parallel Parameter Synthesis for Multi-affine Hybrid Systems from Hybrid CTL Specifications. In Abate A., Petrov T., Wolf V.. Computational Methods in Systems Biology. CMSB 2020. Lecture Notes in Computer Science, vol 12314. : Springer, Cham, 2020. s. 280-297, 18 s. doi:10.1007/978-3-030-60327-4_15.
    Podrobněji: https://is.muni.cz/publication/1685211/cs
  5. Toward Model Selection by Formal Methods
    HAJNAL, Matej a Samuel PASTVA. Toward Model Selection by Formal Methods. : Electronic Notes in Theoretical Computer Science, 2020. s. 57-71, 15 s. ISSN 1571-0661. doi:10.1016/j.entcs.2020.06.004.
    Podrobněji: https://is.muni.cz/publication/1492018/cs

    6. 2019

  6. Accelerating Parameter Synthesis Using Semi-algebraic Constraints
    BENEŠ, Nikola, Luboš BRIM, Martin GELETKA, Samuel PASTVA a David ŠAFRÁNEK. Accelerating Parameter Synthesis Using Semi-algebraic Constraints. In Ahrendt, Wolfgang and Tapia Tarifa, Silvia Lizeth. Integrated Formal Methods. Cham: Springer International Publishing, 2019. s. 27-45, 19 s. ISBN 978-3-030-34967-7. doi:10.1007/978-3-030-34968-4_2.
    Podrobněji: https://is.muni.cz/publication/1645597/cs
  7. Barbaric Robustness Monitoring Revisited for STL* in Parasim
    ŠAFRÁNEK, David, Matej TROJÁK, Vojtěch BRŮŽA, Tomáš VEJPUSTEK, Jan PAPOUŠEK, Martin DEMKO, Samuel PASTVA, Aleš PEJZNOCH a Luboš BRIM. Barbaric Robustness Monitoring Revisited for STL* in Parasim. In Bortolussi L., Sanguinetti G.. Computational Methods in Systems Biology (CMSB 2019). Neuveden: Springer, 2019. s. 356-359, 4 s. ISBN 978-3-030-31303-6. doi:10.1007/978-3-030-31304-3_26.
    Podrobněji: https://is.muni.cz/publication/1561203/cs
  8. Digital Bifurcation Analysis of TCP Dynamics
    BENEŠ, Nikola, Luboš BRIM, Samuel PASTVA a David ŠAFRÁNEK. Digital Bifurcation Analysis of TCP Dynamics. In Tomáš Vojnar and Lijun Zhang. Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2019. LNCS, volume 11428. Cham: Springer International Publishing, 2019. s. 339-356, 18 s. ISBN 978-3-030-17464-4. doi:10.1007/978-3-030-17465-1_19.
    Podrobněji: https://is.muni.cz/publication/1521156/cs
  9. Facetal Abstraction for Non-linear Dynamical Systems Based on delta-decidable SMT
    BENEŠ, Nikola, Luboš BRIM, Jana DRAŽANOVÁ, Samuel PASTVA a David ŠAFRÁNEK. Facetal Abstraction for Non-linear Dynamical Systems Based on delta-decidable SMT. In Proceedings of the 22Nd ACM International Conference on Hybrid Systems: Computation and Control. New York, NY, USA: ACM, 2019. s. 99-108, 10 s. ISBN 978-1-4503-6282-5. doi:10.1145/3302504.3311793.
    Podrobněji: https://is.muni.cz/publication/1521178/cs
  10. Formal Analysis of Qualitative Long-Term Behaviour in Parametrised Boolean Networks.
    BENEŠ, Nikola, Luboš BRIM, Samuel PASTVA, Jakub POLÁČEK a David ŠAFRÁNEK. Formal Analysis of Qualitative Long-Term Behaviour in Parametrised Boolean Networks. In Ait Ameur et al.. Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings. Heidelberg: Springer, 2019. s. 353-369, 17 s. ISBN 978-3-030-32408-7. doi:10.1007/978-3-030-32409-4_22.
    Podrobněji: https://is.muni.cz/publication/1610819/cs
  11. Model Checking Approach to the Analysis of Biological Systems
    BENEŠ, Nikola, Luboš BRIM, Samuel PASTVA a David ŠAFRÁNEK. Model Checking Approach to the Analysis of Biological Systems. In Pietro Liò, Paolo Zuliani. Automated Reasoning for Systems Biology and Medicine. Cham: Springer, Cham, 2019. s. 3-35, 33 s. Computational Biology. ISBN 978-3-030-17296-1. doi:10.1007/978-3-030-17297-8_1.
    Podrobněji: https://is.muni.cz/publication/1550299/cs

    12. 2018

  12. A Distributed Fixed-Point Algorithm for Extended Dependency Graphs
    DALSGAARD, Andreas E., Søren ENEVOLDSEN, Peter FOGH, Lasse S. JENSEN, Peter G. JENSEN, Tobias S. JEPSEN, Isabella KAUFMANN, Kim G. LARSEN, Søren M. NIELSEN, Mads Chr. OLESEN, Samuel PASTVA a Jiří SRBA. A Distributed Fixed-Point Algorithm for Extended Dependency Graphs. Fundamenta Informaticae, 2018, roč. 161, č. 4, s. 351-381. ISSN 0169-2968. doi:10.3233/FI-2018-1707.
    Podrobněji: https://is.muni.cz/publication/1483742/cs
  13. Fully Automated Attractor Analysis of Cyanobacteria Models
    BENEŠ, Nikola, Luboš BRIM, Jan ČERVENÝ, Samuel PASTVA, David ŠAFRÁNEK, Jakub ŠALAGOVIČ a Matej TROJÁK. Fully Automated Attractor Analysis of Cyanobacteria Models. In Marian Barbu, Răzvan Şolea, Adrian Filipescu. 22nd International Conference on System Theory, Control and Computing. Neuveden: IEEE, 2018. s. 354-359, 6 s. ISBN 978-1-5386-4444-7. doi:10.1109/ICSTCC.2018.8540762.
    Podrobněji: https://is.muni.cz/publication/1450516/cs
  14. PITHYA (software)
    DEMKO, Martin, Samuel PASTVA, David ŠAFRÁNEK, Nikola BENEŠ a Luboš BRIM. PITHYA. 2018.
    Podrobněji: https://is.muni.cz/publication/1432079/cs

    15. 2017

  15. Detecting Attractors in Biological Models with Uncertain Parameters
    BRIM, Luboš, Jiří BARNAT, David ŠAFRÁNEK, Nikola BENEŠ, Martin DEMKO, Samuel PASTVA a Matej HAJNAL. Detecting Attractors in Biological Models with Uncertain Parameters. In Jérôme Feret and Heinz Koeppl. Computational Methods in Systems Biology. CMSB 2017. LNCS 10545. Cham: Springer International Publishing, 2017. s. 40-56, 17 s. ISBN 978-3-319-67470-4. doi:10.1007/978-3-319-67471-1_3.
    Podrobněji: https://is.muni.cz/publication/1387860/cs
  16. Discrete Bifurcation Analysis of Reactive Systems
    PASTVA, Samuel. Discrete Bifurcation Analysis of Reactive Systems. In FMCAD. 2017.
    Podrobněji: https://is.muni.cz/publication/1393608/cs
  17. Discrete Bifurcation Analysis with Pithya
    BENEŠ, Nikola, Luboš BRIM, Martin DEMKO, Matej HAJNAL, Samuel PASTVA a David ŠAFRÁNEK. Discrete Bifurcation Analysis with Pithya. In Computational Methods in Systems Biology. CMSB 2017. 2017.
    Podrobněji: https://is.muni.cz/publication/1394275/cs
  18. Extended Dependency Graphs and Efficient Distributed Fixed-Point Computation
    DALSGAARD, Andreas E., Søren ENEVOLDSEN, Peter FOGH, Lasse S. JENSEN, Tobias S. JEPSEN, Isabella KAUFMANN, Kim G. LARSEN, Søren M. NIELSEN, Mads Chr. OLESEN, Samuel PASTVA a Jiří SRBA. Extended Dependency Graphs and Efficient Distributed Fixed-Point Computation. In van der Aalst, Wil and Best, Eike. Petri Nets 2017. Holandsko: Springer International Publishing, 2017. s. 139-158, 20 s. ISBN 978-3-319-57860-6. doi:10.1007/978-3-319-57861-3_10.
    Podrobněji: https://is.muni.cz/publication/1388222/cs
  19. Model Checking Approach to Discrete Bifurcation Analysis
    BENEŠ, Nikola, Luboš BRIM, Martin DEMKO, David ŠAFRÁNEK, Samuel PASTVA a Matej HAJNAL. Model Checking Approach to Discrete Bifurcation Analysis. In Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. 2017.
    Podrobněji: https://is.muni.cz/publication/1392805/cs
  20. Parallel Algorithm for Terminal Components Detection in Parametrised Transition Systems
    PASTVA, Samuel. Parallel Algorithm for Terminal Components Detection in Parametrised Transition Systems. In YR-CONCUR. 2017.
    Podrobněji: https://is.muni.cz/publication/1393607/cs
  21. Parameter Synthesis of Biological Models by Model Checking: A Case Study
    BRIM, Luboš, David ŠAFRÁNEK, Nikola BENEŠ, Martin DEMKO, Samuel PASTVA a Matej HAJNAL. Parameter Synthesis of Biological Models by Model Checking: A Case Study. In 4th International Synthetic & Systems Biology Summer School. SSBSS 2017. 2017.
    Podrobněji: https://is.muni.cz/publication/1387861/cs
  22. Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-Affine Dynamical Systems
    BENEŠ, Nikola, Luboš BRIM, Martin DEMKO, Samuel PASTVA a David ŠAFRÁNEK. Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-Affine Dynamical Systems. In Rupak Majumdar and Viktor Kunčak. Computer Aided Verification. CAV 2017. LNCS 10426. Cham: Springer International Publishing, 2017. s. 591-598, 8 s. ISBN 978-3-319-63386-2. doi:10.1007/978-3-319-63387-9_29.
    Podrobněji: https://is.muni.cz/publication/1387857/cs
  23. PITHYA: High-Performance Parameter Synthesis for Biological Models
    BRIM, Luboš, Nikola BENEŠ, David ŠAFRÁNEK, Martin DEMKO, Samuel PASTVA a Matej HAJNAL. PITHYA: High-Performance Parameter Synthesis for Biological Models. In Intelligent Systems for Molecular Biology and European Conference on Computational Biology. ISMB/ECCB 2017. 2017.
    Podrobněji: https://is.muni.cz/publication/1387862/cs

    24. 2016

  24. A Model Checking Approach to Discrete Bifurcation Analysis
    BENEŠ, Nikola, Luboš BRIM, Martin DEMKO, Samuel PASTVA a David ŠAFRÁNEK. A Model Checking Approach to Discrete Bifurcation Analysis. In John S. Fitzgerald et al.. Formal Methods. FM 2016. LNCS 9995. Neuveden: Springer International Publishing, 2016. s. 85-101, 17 s. ISBN 978-3-319-48988-9. doi:10.1007/978-3-319-48989-6_6.
    Podrobněji: https://is.muni.cz/publication/1359653/cs
  25. High-Performance Symbolic Parameter Synthesis of Biological Models: A Case Study
    DEMKO, Martin, Nikola BENEŠ, Luboš BRIM, Samuel PASTVA a David ŠAFRÁNEK. High-Performance Symbolic Parameter Synthesis of Biological Models: A Case Study. In Ezio Bartocci et al.. Computational Methods in Systems Biology. CMSB 2016. LNBI 9859. Neuveden: Springer International Publishing, 2016. s. 82-97, 16 s. ISBN 978-3-319-45176-3. doi:10.1007/978-3-319-45177-0_6.
    Podrobněji: https://is.muni.cz/publication/1352261/cs
  26. Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-Affine Systems
    BENEŠ, Nikola, Luboš BRIM, Martin DEMKO, Samuel PASTVA a David ŠAFRÁNEK. Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-Affine Systems. In Cyrille Artho et al.. Automated Technology for Verification and Analysis. ATVA 2016. LNCS 9938. Neuveden: Springer International Publishing, 2016. s. 192-208, 17 s. ISBN 978-3-319-46519-7. doi:10.1007/978-3-319-46520-3_13.
    Podrobněji: https://is.muni.cz/publication/1352259/cs
  27. Toward Modelling and Analysis of Transient and Sustained Behaviour of Signalling Pathways
    HAJNAL, Matej, David ŠAFRÁNEK, Martin DEMKO, Samuel PASTVA, Pavel KREJČÍ a Luboš BRIM. Toward Modelling and Analysis of Transient and Sustained Behaviour of Signalling Pathways. In Eugenio Cinquemani. Hybrid Systems Biology. HSB 2016. LNBI 9957. Neuveden: Springer International Publishing, 2016. s. 57-66, 10 s. ISBN 978-3-319-47150-1. doi:10.1007/978-3-319-47151-8_4.
    Podrobněji: https://is.muni.cz/publication/1353254/cs

    28. 2015

  28. Coloured Model Checking Approach to Parameter Synthesis for Executable Models in Synthetic Biology
    BRIM, Luboš, Martin DEMKO, Samuel PASTVA a David ŠAFRÁNEK. Coloured Model Checking Approach to Parameter Synthesis for Executable Models in Synthetic Biology. In Verification of Engineered Molecular Devices and Programs. 2015.
    Podrobněji: https://is.muni.cz/publication/1309616/cs
  29. High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems
    BRIM, Luboš, Martin DEMKO, Samuel PASTVA a David ŠAFRÁNEK. High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems. In Alessandro Abate, David Šafránek. Hybrid Systems Biology Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers. LNCS 9271. Neuveden: Springer International Publishing, 2015. s. 58-74, 17 s. ISBN 978-3-319-26915-3. doi:10.1007/978-3-319-26916-0_4.
    Podrobněji: https://is.muni.cz/publication/1314354/cs
  30. Parameter Synthesis by Parallel Coloured CTL Model Checking
    BRIM, Luboš, Milan ČEŠKA, Martin DEMKO, Samuel PASTVA a David ŠAFRÁNEK. Parameter Synthesis by Parallel Coloured CTL Model Checking. In Roux, Olivier and Bourdon, Jérémie. Computational Methods in Systems Biology. Neuveden: Springer International Publishing, 2015. s. 251-263, 13 s. ISBN 978-3-319-23400-7. doi:10.1007/978-3-319-23401-4_21.
    Podrobněji: https://is.muni.cz/publication/1314024/cs
Zobrazit podrobně
Zobrazeno: 3. 12. 2020 15:49