Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

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

N. Benes, L. Brim, M. Demko, S. Pastva, and D. Safránek. CAV (1), volume 10426 of Lecture Notes in Computer Science, page 591-598. Springer, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Samuel Morgan University of Stuttgart

Samuel Kaufmann University of Stuttgart

Samuel Pilch University of Stuttgart

Samuel Beck University of Stuttgart

Samuel Leder University of Stuttgart

Other publications of authors with the same name

Facetal abstraction for non-linear dynamical systems based on δ-decidable SMT.N. Benes, L. Brim, J. Drazanová, S. Pastva, and D. Safránek. HSCC, page 99-108. ACM, (2019)Formal Analysis of Qualitative Long-Term Behaviour in Parametrised Boolean Networks.N. Benes, L. Brim, S. Pastva, J. Polácek, and D. Safránek. ICFEM, volume 11852 of Lecture Notes in Computer Science, page 353-369. Springer, (2019)Extended Dependency Graphs and Efficient Distributed Fixed-Point Computation.A. Dalsgaard, S. Enevoldsen, P. Fogh, L. Jensen, T. Jepsen, I. Kaufmann, K. Larsen, S. Nielsen, M. Olesen, S. Pastva and 1 other author(s). Petri Nets, volume 10258 of Lecture Notes in Computer Science, page 139-158. Springer, (2017)High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems.L. Brim, M. Demko, S. Pastva, and D. Safránek. HSB, volume 9271 of Lecture Notes in Computer Science, page 58-74. Springer, (2015)Accelerating Parameter Synthesis Using Semi-algebraic Constraints.N. Benes, L. Brim, M. Geletka, S. Pastva, and D. Safránek. IFM, volume 11918 of Lecture Notes in Computer Science, page 27-45. Springer, (2019)Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-affine Systems.N. Benes, L. Brim, M. Demko, S. Pastva, and D. Safránek. ATVA, volume 9938 of Lecture Notes in Computer Science, page 192-208. (2016)A Model Checking Approach to Discrete Bifurcation Analysis.N. Benes, L. Brim, M. Demko, S. Pastva, and D. Safránek. FM, volume 9995 of Lecture Notes in Computer Science, page 85-101. (2016)Detecting Attractors in Biological Models with Uncertain Parameters.J. Barnat, N. Benes, L. Brim, M. Demko, M. Hajnal, S. Pastva, and D. Safránek. CMSB, volume 10545 of Lecture Notes in Computer Science, page 40-56. Springer, (2017)Model Checking Approach to the Analysis of Biological Systems.N. Benes, L. Brim, S. Pastva, and D. Safránek. Automated Reasoning for Systems Biology and Medicine, volume 30 of Computational Biology, Springer, (2019)Digital Bifurcation Analysis of TCP Dynamics.N. Benes, L. Brim, S. Pastva, and D. Safránek. TACAS (2), volume 11428 of Lecture Notes in Computer Science, page 339-356. Springer, (2019)