default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFormal 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
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.
last updated on 2024-10-31 20:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
