default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFormal Methods in System Design, Volume 59
Volume 59, Number 1, December 2021
- David Monniaux
:
The complexity gap in the static analysis of cache accesses grows if procedure calls are added. 1-20 - Lisbeth Fajstrup:
Cut-off theorems for the PV-model. 21-43 - Angelo Ferrando, Rafael C. Cardoso, Marie Farrell, Matt Luckcuck, Fabio Papacchini, Michael Fisher, Viviana Mascardi:
Bridging the gap between single- and multi-model predictive runtime verification. 44-76 - Davide Bresolin, Khaled El-Fakih, Tiziano Villa, Nina Yevtushenko:
Equivalence checking and intersection of deterministic timed finite state machines. 77-102 - Clément Ballabriga, Julien Forget, Jordy Ruiz:
Relational abstract interpretation of arrays in assembly code. 103-135 - Martin Kölbl, Stefan Leue, Thomas Wies:
Automated repair for timed systems. 136-169 - Corto Mascle, Daniel Neider, Maximilian Schwenger, Paulo Tabuada, Alexander Weinert, Martin Zimmermann:
From LTL to rLTL monitoring: improved monitorability through robust semantics. 170-204 - Srinivas Pinisetty, Ankit Pradhan, Partha S. Roop, Stavros Tripakis:
Compositional runtime enforcement revisited. 205-252 - Étienne André, Hoang Gia Nguyen, Laure Petrucci, Jun Sun:
Distributed parametric model checking timed automata under non-Zenoness assumption. 253-290
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 2025-12-16 23:54 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:
