Formal Methods Syst. Des.

Publications

volume 62, number 1, 2024

Luca Di Stefano, Frédéric Lang
Compositional verification of priority systems using sharp bisimulation. Formal Methods Syst. Des. 62 (1) (2024)
Saumya Shankar, Ankit Pradhan, Srinivas Pinisetty, Antoine Rollet, Yliès Falcone
Bounded-memory runtime enforcement with probabilistic and performance analysis. Formal Methods Syst. Des. 62 (1) (2024)
Cliff B. Jones, Alan Burns
Extending rely-guarantee thinking to handle real-time scheduling. Formal Methods Syst. Des. 62 (1) (2024)
Benedikt Bollig, Mathieu Lehaut, Nathalie Sznajder
Round- and context-bounded control of dynamic pushdown systems. Formal Methods Syst. Des. 62 (1) (2024)
Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar
Dynamic dependability analysis of shuffle-exchange networks. Formal Methods Syst. Des. 62 (1) (2024)
Muhammad Osama, Anton Wijs, Armin Biere
Certified SAT solving with GPU accelerated inprocessing. Formal Methods Syst. Des. 62 (1) (2024)
Sebastian Junges, Erika Ábrahám, Christian Hensel, Nils Jansen, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk
Parameter synthesis for Markov models: covering the parameter space. Formal Methods Syst. Des. 62 (1) (2024)
Akshay Mambakam, José Ignacio Requeno Jarabo, Alexey Bakhirkin, Nicolas Basset, Thao Dang
Mining of extended signal temporal logic specifications with ParetoLib 2.0. Formal Methods Syst. Des. 62 (1) (2024)

volume 61, number 1, 2022

volume 61, number 2, 2022

volume 60, number 1, 2022

volume 60, number 2, 2022

volume 60, number 3, 2022

volume 59, number 1, 2021

volume 58, number 3, 2021

Dana Fisman, Rishabh Singh, Armando Solar-Lezama
Special Issue on Syntax-Guided Synthesis Preface. Formal Methods Syst. Des. 58 (3) (2021)
Rajeev Alur, Dana Fisman
Colored nested words. Formal Methods Syst. Des. 58 (3) (2021)
Rohit Dureja, Kristin Y. Rozier
Incremental design-space model checking via reusable reachable state approximations. Formal Methods Syst. Des. 58 (3) (2021)