RNDr. Samuel Pastva, Ph.D.

2021

• Symbolic Coloured SCC Decomposition

  BENEŠ Nikola BRIM Luboš PASTVA Samuel ŠAFRÁNEK David

  Paper in proceedings

  Tools and Algorithms for the Construction and Analysis of Systems, 27th International Conference, TACAS 2021, year: 2021, DOI

2020

• AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks

  BENEŠ Nikola BRIM Luboš KADLECAJ Jakub PASTVA Samuel ŠAFRÁNEK David

  Paper in proceedings

  Computer Aided Verification. CAV 2020, year: 2020, DOI

• Digital Bifurcation Analysis of Internet Congestion Control Protocols

  BENEŠ Nikola BRIM Luboš PASTVA Samuel ŠAFRÁNEK David

  Peer-reviewed scientific article

  International Journal of Bifurcation and Chaos, year: 2020, volume: 30, edition: 13, DOI

• Parallel parameter synthesis algorithm for hybrid CTL

  BENEŠ Nikola BRIM Luboš PASTVA Samuel ŠAFRÁNEK David

  Peer-reviewed scientific article

  Science of Computer Programming, year: 2020, volume: 185, edition: 102321, DOI

• Parallel Parameter Synthesis for Multi-affine Hybrid Systems from Hybrid CTL Specifications.

  ŠMIJÁKOVÁ Eva PASTVA Samuel ŠAFRÁNEK David BRIM Luboš

  Paper in proceedings

  Computational Methods in Systems Biology. CMSB 2020. Lecture Notes in Computer Science, vol 12314, year: 2020, DOI

• Toward Model Selection by Formal Methods

  HAJNAL Matej PASTVA Samuel

  Paper in proceedings

  Proceedings of SASB 2018, the Ninth International Workshop on Static Analysis and Systems Biology, ENTCS, vol. 350, year: 2020, DOI

2019

• Accelerating Parameter Synthesis Using Semi-algebraic Constraints

  BENEŠ Nikola BRIM Luboš GELETKA Martin PASTVA Samuel ŠAFRÁNEK David

  Paper in proceedings

  Integrated Formal Methods, year: 2019, DOI

• Barbaric Robustness Monitoring Revisited for STL* in Parasim

  ŠAFRÁNEK David TROJÁK Matej BRŮŽA Vojtěch VEJPUSTEK Tomáš PAPOUŠEK Jan DEMKO Martin PASTVA Samuel PEJZNOCH Aleš BRIM Luboš

  Paper in proceedings

  Computational Methods in Systems Biology (CMSB 2019), year: 2019, DOI

• Digital Bifurcation Analysis of TCP Dynamics

  BENEŠ Nikola BRIM Luboš PASTVA Samuel ŠAFRÁNEK David

  Paper in proceedings

  Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2019, year: 2019, DOI

• Facetal Abstraction for Non-linear Dynamical Systems Based on delta-decidable SMT

  BENEŠ Nikola BRIM Luboš DRAŽANOVÁ Jana PASTVA Samuel ŠAFRÁNEK David

  Paper in proceedings

  Proceedings of the 22Nd ACM International Conference on Hybrid Systems: Computation and Control, year: 2019, DOI