RNDr. Samuel Pastva, Ph.D.
Počet publikací: 40
2020
-
AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks
Computer Aided Verification. CAV 2020, rok: 2020
-
Digital Bifurcation Analysis of Internet Congestion Control Protocols
International Journal of Bifurcation and Chaos, rok: 2020, ročník: 30, vydání: 13, DOI
-
Parallel parameter synthesis algorithm for hybrid CTL
Science of Computer Programming, rok: 2020, ročník: 185, vydání: 102321, DOI
-
Parallel Parameter Synthesis for Multi-affine Hybrid Systems from Hybrid CTL Specifications.
Computational Methods in Systems Biology. CMSB 2020. Lecture Notes in Computer Science, vol 12314, rok: 2020
-
Toward Model Selection by Formal Methods
Proceedings of SASB 2018, the Ninth International Workshop on Static Analysis and Systems Biology, ENTCS, vol. 350, rok: 2020
2019
-
Accelerating Parameter Synthesis Using Semi-algebraic Constraints
Integrated Formal Methods, rok: 2019
-
Barbaric Robustness Monitoring Revisited for STL* in Parasim
Computational Methods in Systems Biology (CMSB 2019), rok: 2019
-
Digital Bifurcation Analysis of TCP Dynamics
Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2019, rok: 2019
-
Facetal Abstraction for Non-linear Dynamical Systems Based on delta-decidable SMT
Proceedings of the 22Nd ACM International Conference on Hybrid Systems: Computation and Control, rok: 2019
-
Formal Analysis of Qualitative Long-Term Behaviour in Parametrised Boolean Networks.
Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings, rok: 2019