Selected Recent Conference Papers
N. Beneš, L. Brim, S. Pastva, D. Šafránek
Computing Bottom SCCs Symbolically Using Transition Guided Reduction
CAV 2021, Lecture Notes in Computer Science, vol 12759. Springer
N. Beneš, L. Brim, S. Pastva, D. Šafránek
Symbolic Coloured SCC Decomposition
TACAS 2021, Lecture Notes in Computer Science, vol 12652. Springer
N. Beneš, L. Brim, J. Kadlecaj, S. Pastva, D. Šafránek
AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks
CAV 2020, Lecture Notes in Computer Science, vol 12224. Springer
N. Beneš, L. Brim, S. Pastva, D. Šafránek
Digital Bifurcation Analysis of TCP Dynamics
TACAS 2019, Lecture Notes in Computer Science, vol 11428. Springer
N. Beneš, L. Brim, J. Dražanová, S. Pastva, D. Šafránek
Facetal abstraction for non-linear dynamical systems based on δ-decidable SMT
HSCC 2019, ACM
N. Beneš, L. Brim, M. Demko, S. Pastva, D. Šafránek
PITHYA: A Parallel Tool for Parameter Synthesis of Piecewise Multi-affine Dynamical Systems
CAV 2017, Lecture Notes in Computer Science, vol 10426. Springer
J. Barnat, N. Beneš, L. Brim, M. Demko, M. Hajnal, S. Pastva, D. Šafránek
Detecting Attractors in Biological Models with Uncertain Parameters
CMSB 2017, Lecture Notes in Computer Science, vol 10545. Springer
N. Beneš, L. Brim, M. Demko, S. Pastva, D. Šafránek
A Model Checking Approach to Discrete Bifurcation Analysis
FM 2016, Lecture Notes in Computer Science, vol 9995. Springer
M. Češka, P. Pilař, N. Paoletti, L. Brim, M. Kwiatkowska
PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems
TACAS 2016, Lecture Notes in Computer Science, vol 9636. Springer
Top