default search action

combined dblp search
author search
venue search
publication search

ask others

Formal Methods in System Design, Volume 59

> Home > Journals > Formal Methods in System Design

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 59, Number 1, December 2021

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/Monniaux21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/Monniaux21
David Monniaux:
The complexity gap in the static analysis of cache accesses grows if procedure calls are added. 1-20
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/Fajstrup21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/Fajstrup21
Lisbeth Fajstrup:
Cut-off theorems for the PV-model. 21-43
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fmsd/FerrandoCFLPFM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/FerrandoCFLPFM21
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
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fmsd/BresolinEVY21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BresolinEVY21
Davide Bresolin, Khaled El-Fakih, Tiziano Villa, Nina Yevtushenko:
Equivalence checking and intersection of deterministic timed finite state machines. 77-102
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BallabrigaFR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BallabrigaFR21
Clément Ballabriga, Julien Forget, Jordy Ruiz:
Relational abstract interpretation of arrays in assembly code. 103-135
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fmsd/KolblLW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/KolblLW21
Martin Kölbl, Stefan Leue, Thomas Wies:
Automated repair for timed systems. 136-169
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fmsd/MascleNSTWZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/MascleNSTWZ21
Corto Mascle, Daniel Neider, Maximilian Schwenger, Paulo Tabuada, Alexander Weinert, Martin Zimmermann:
From LTL to rLTL monitoring: improved monitorability through robust semantics. 170-204
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/PinisettyPRT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/PinisettyPRT21
Srinivas Pinisetty, Ankit Pradhan, Partha S. Roop, Stavros Tripakis:
Compositional runtime enforcement revisited. 205-252
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/AndreNPS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/AndreNPS21
É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.