![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Formal Methods in System Design, Volume 62
Volume 62, Number 1, June 2024
- Luca Di Stefano
, Frédéric Lang
:
Compositional verification of priority systems using sharp bisimulation. 1-40 - Benedikt Bollig, Mathieu Lehaut
, Nathalie Sznajder:
Round- and context-bounded control of dynamic pushdown systems. 41-78 - Muhammad Osama
, Anton Wijs
, Armin Biere
:
Certified SAT solving with GPU accelerated inprocessing. 79-118 - Cliff B. Jones
, Alan Burns:
Extending rely-guarantee thinking to handle real-time scheduling. 119-140 - Saumya Shankar
, Ankit Pradhan, Srinivas Pinisetty, Antoine Rollet, Yliès Falcone:
Bounded-memory runtime enforcement with probabilistic and performance analysis. 141-180 - 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. 181-259 - Akshay Mambakam, José Ignacio Requeno Jarabo
, Alexey Bakhirkin, Nicolas Basset, Thao Dang:
Mining of extended signal temporal logic specifications with ParetoLib 2.0. 260-284 - Yassmeen Elderhalli
, Osman Hasan, Sofiène Tahar:
Dynamic dependability analysis of shuffle-exchange networks. 285-325
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.