Follow
Samuel Pastva
Samuel Pastva
Postdoc, Institute of Science and Technology Austria
Verified email at mail.muni.cz
Title
Cited by
Cited by
Year
Parameter synthesis by parallel coloured CTL model checking
L Brim, M Češka, M Demko, S Pastva, D Šafránek
International Conference on Computational Methods in Systems Biology, 251-263, 2015
352015
AEON: attractor bifurcation analysis of parametrised Boolean networks
N Beneš, L Brim, J Kadlecaj, S Pastva, D Šafránek
Computer Aided Verification: 32nd International Conference, CAV 2020, Los …, 2020
332020
A model checking approach to discrete bifurcation analysis
N Beneš, L Brim, M Demko, S Pastva, D Šafránek
FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus …, 2016
232016
Parallel SMT-based parameter synthesis with application to piecewise multi-affine systems
N Beneš, L Brim, M Demko, S Pastva, D Šafránek
Automated Technology for Verification and Analysis: 14th International …, 2016
212016
High-performance discrete bifurcation analysis for piecewise-affine dynamical systems
L Brim, M Demko, S Pastva, D Šafránek
International Workshop on Hybrid Systems Biology, 58-74, 2015
192015
Detecting attractors in biological models with uncertain parameters
J Barnat, N Beneš, L Brim, M Demko, M Hajnal, S Pastva, D Šafránek
Computational Methods in Systems Biology: 15th International Conference …, 2017
182017
Formal analysis of qualitative long-term behaviour in parametrised boolean networks
N Beneš, L Brim, S Pastva, J Poláček, D Šafránek
Formal Methods and Software Engineering: 21st International Conference on …, 2019
172019
Pithya: a parallel tool for parameter synthesis of piecewise multi-affine dynamical systems
N Beneš, L Brim, M Demko, S Pastva, D Šafránek
Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017
172017
Extended dependency graphs and efficient distributed fixed-point computation
AE Dalsgaard, S Enevoldsen, P Fogh, LS Jensen, TS Jepsen, I Kaufmann, ...
Application and Theory of Petri Nets and Concurrency: 38th International …, 2017
172017
AEON. py: Python library for attractor analysis in asynchronous Boolean networks
N Beneš, L Brim, O Huvar, S Pastva, D Šafránek, E Šmijáková
Bioinformatics 38 (21), 4978-4980, 2022
132022
Computing bottom SCCs symbolically using transition guided reduction
N Beneš, L Brim, S Pastva, D Šafránek
Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021
132021
A distributed fixed-point algorithm for extended dependency graphs
AE Dalsgaard, S Enevoldsen, P Fogh, LS Jensen, PG Jensen, TS Jepsen, ...
Fundamenta Informaticae 161 (4), 351-381, 2018
132018
High-performance symbolic parameter synthesis of biological models: a case study
M Demko, N Beneš, L Brim, S Pastva, D Šafránek
International Conference on Computational Methods in Systems Biology, 82-97, 2016
112016
Boolean network sketches: a unifying framework for logical model inference
N Beneš, L Brim, O Huvar, S Pastva, D Šafránek
Bioinformatics 39 (4), btad158, 2023
92023
Parallel One-Step Control of Parametrised Boolean Networks
L Brim, S Pastva, D Šafránek, E Šmijáková
s Note: MDPI stays neutral with regard to jurisdictional claims in published …, 2021
92021
Temporary and permanent control of partially specified Boolean networks
L Brim, S Pastva, D Šafránek, E Šmijáková
Biosystems 223, 104795, 2023
8*2023
Fully automated attractor analysis of cyanobacteria models
N Beneš, L Brim, S Pastva, D Šafránek, M Troják, J Červený, J Šalagovič
2018 22nd International Conference on System Theory, Control and Computing …, 2018
72018
Repository of logically consistent real-world Boolean network models
S Pastva, D Safranek, N Benes, L Brim, T Henzinger
bioRxiv, 2023.06. 12.544361, 2023
62023
Parallel parameter synthesis algorithm for hybrid CTL
N Beneš, L Brim, S Pastva, D Šafránek
Science of Computer Programming 185, 102321, 2020
62020
Model checking approach to the analysis of biological systems
N Beneš, L Brim, S Pastva, D Šafránek
Automated Reasoning for Systems Biology and Medicine, 3-35, 2019
52019
The system can't perform the operation now. Try again later.
Articles 1–20