Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2020

  1. 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.
  2. 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.
  3. 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.
  4. Š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.
  5. 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.
  6. 2019

  7. 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.
  8. Š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.
  9. 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.
  10. 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.
  11. 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.
  12. 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.
  13. 2018

  14. 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.
  15. 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.
  16. 2017

  17. 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.
  18. PASTVA, Samuel. Discrete Bifurcation Analysis of Reactive Systems. In FMCAD. 2017.
  19. 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.
  20. 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.
  21. 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.
  22. PASTVA, Samuel. Parallel Algorithm for Terminal Components Detection in Parametrised Transition Systems. In YR-CONCUR. 2017.
  23. 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.
  24. 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.
  25. 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.
  26. 2016

  27. 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.
  28. 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.
  29. 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.
  30. 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.
  31. 2015

  32. 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.
  33. 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.
  34. 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.
Zobrazit podrobně
Zobrazeno: 3. 12. 2020 15:49