Samuel Pastva

According to our database, Samuel Pastva authored at least 38 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Scalable Enumeration of Trap Spaces in Boolean Networks via Answer Set Programming.

Giang V. Trinh, Belaid Benhamou, Samuel Pastva, Sylvain Soliman

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Boolean network sketches: a unifying framework for logical model inference.

Nikola Benes, Lubos Brim, Ondrej Huvar, Samuel Pastva, David Safránek

Bioinform., April, 2023

Rule-based modelling of biological systems using regulated rewriting.

Matej Troják, David Safránek, Samuel Pastva, Lubos Brim

Biosyst., March, 2023

Temporary and permanent control of partially specified Boolean networks.

Lubos Brim, Samuel Pastva, David Safránek, Eva Smijáková

Biosyst., January, 2023

Trap spaces of multi-valued networks: definition, computation, and applications.

Van-Giang Trinh, Belaid Benhamou, Thomas A. Henzinger, Samuel Pastva

Bioinform., 2023

Binary Decision Diagrams on Modern Hardware.

Samuel Pastva, Thomas A. Henzinger

Proceedings of the Formal Methods in Computer-Aided Design, 2023

Phenotype Control of Partially Specified Boolean Networks.

Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek, Eva Smijáková

Proceedings of the Computational Methods in Systems Biology, 2023

2022

AEON.py: Python library for attractor analysis in asynchronous Boolean networks.

Nikola Benes, Lubos Brim, Ondrej Huvar, Samuel Pastva, David Safránek, Eva Smijáková

Bioinform., October, 2022

BDD-Based Algorithm for SCC Decomposition of Edge-Coloured Graphs.

Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek

Log. Methods Comput. Sci., 2022

Robust Control of Partially Specified Boolean Networks.

Lubos Brim, Samuel Pastva, David Safránek, Eva Smijáková

CoRR, 2022

Exploring attractor bifurcations in Boolean networks.

Nikola Benes, Lubos Brim, Jakub Kadlecaj, Samuel Pastva, David Safránek

BMC Bioinform., 2022

Variable Stabilisation in Boolean Monotonic Model Pools.

Samuel Pastva

Proceedings of the Computational Methods in Systems Biology, 2022

2021

Regulated Multiset Rewriting Systems.

Matej Troják, Samuel Pastva, David Safránek, Lubos Brim

CoRR, 2021

Symbolic Coloured SCC Decomposition.

Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

Aeon 2021: Bifurcation Decision Trees in Boolean Networks.

Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek

Proceedings of the Computational Methods in Systems Biology, 2021

Computing Bottom SCCs Symbolically Using Transition Guided Reduction.

Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Parallel parameter synthesis algorithm for hybrid CTL.

Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek

Sci. Comput. Program., 2020

Digital Bifurcation Analysis of Internet Congestion Control Protocols.

Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek

Int. J. Bifurc. Chaos, 2020

Parallel One-Step Control of Parametrised Boolean Networks.

Lubos Brim, Samuel Pastva, David Safránek, Eva Smijakova

CoRR, 2020

Toward Model Selection by Formal Methods.

Matej Hajnal, Samuel Pastva

Proceedings of SASB 2018, the Ninth International Workshop on Static Analysis and Systems Biology, Freiburg, Germany, 2020

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

Eva Smijáková, Samuel Pastva, David Safránek, Lubos Brim

Proceedings of the Computational Methods in Systems Biology, 2020

AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks.

Nikola Benes, Lubos Brim, Jakub Kadlecaj, Samuel Pastva, David Safránek

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

Model Checking Approach to the Analysis of Biological Systems.

Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek

Proceedings of the Automated Reasoning for Systems Biology and Medicine, 2019

Digital Bifurcation Analysis of TCP Dynamics.

Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Accelerating Parameter Synthesis Using Semi-algebraic Constraints.

Nikola Benes, Lubos Brim, Martin Geletka, Samuel Pastva, David Safránek

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

Formal Analysis of Qualitative Long-Term Behaviour in Parametrised Boolean Networks.

Nikola Benes, Lubos Brim, Samuel Pastva, Jakub Polácek, David Safránek

Proceedings of the Formal Methods and Software Engineering, 2019

Facetal abstraction for non-linear dynamical systems based on δ-decidable SMT.

Nikola Benes, Lubos Brim, Jana Drazanová, Samuel Pastva, David Safránek

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

Barbaric Robustness Monitoring Revisited for STL* in Parasim.

David Safránek, Matej Troják, Vojtech Bruza, Tomás Vejpustek, Jan Papousek, Martin Demko, Samuel Pastva, Ales Pejznoch, Lubos Brim

Proceedings of the Computational Methods in Systems Biology, 2019

2018

A Distributed Fixed-Point Algorithm for Extended Dependency Graphs.

Andreas Engelbredt Dalsgaard, Søren Enevoldsen, Peter Fogh, Lasse S. Jensen, Peter Gjøl Jensen, Tobias Skovgaard Jepsen, Isabella Kaufmann, Kim G. Larsen, Søren M. Nielsen, Mads Chr. Olesen, Samuel Pastva, Jirí Srba

Fundam. Informaticae, 2018

2017

Detecting Attractors in Biological Models with Uncertain Parameters.

Jiri Barnat, Nikola Benes, Lubos Brim, Martin Demko, Matej Hajnal, Samuel Pastva, David Safránek

Proceedings of the Computational Methods in Systems Biology, 2017

Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-affine Dynamical Systems.

Nikola Benes, Lubos Brim, Martin Demko, Samuel Pastva, David Safránek

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

Extended Dependency Graphs and Efficient Distributed Fixed-Point Computation.

Andreas Engelbredt Dalsgaard, Søren Enevoldsen, Peter Fogh, Lasse S. Jensen, Tobias Skovgaard Jepsen, Isabella Kaufmann, Kim G. Larsen, Søren M. Nielsen, Mads Chr. Olesen, Samuel Pastva, Jirí Srba

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2017

2016

Toward Modelling and Analysis of Transient and Sustained Behaviour of Signalling Pathways.

Matej Hajnal, David Safránek, Martin Demko, Samuel Pastva, Pavel Krejcí, Lubos Brim

Proceedings of the Hybrid Systems Biology - 5th International Workshop, 2016

A Model Checking Approach to Discrete Bifurcation Analysis.

Nikola Benes, Lubos Brim, Martin Demko, Samuel Pastva, David Safránek

Proceedings of the FM 2016: Formal Methods, 2016

High-Performance Symbolic Parameter Synthesis of Biological Models: A Case Study.

Martin Demko, Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek

Proceedings of the Computational Methods in Systems Biology, 2016

Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-affine Systems.

Nikola Benes, Lubos Brim, Martin Demko, Samuel Pastva, David Safránek

Proceedings of the Automated Technology for Verification and Analysis, 2016

2015

High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems.

Lubos Brim, Martin Demko, Samuel Pastva, David Safránek

Proceedings of the Hybrid Systems Biology - Fourth International Workshop, 2015

Parameter Synthesis by Parallel Coloured CTL Model Checking.

Lubos Brim, Milan Ceska, Martin Demko, Samuel Pastva, David Safránek

Proceedings of the Computational Methods in Systems Biology, 2015