default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFormal Methods in System Design, Volume 53
Volume 53, Number 1, August 2018
- Yliès Falcone
, César Sánchez:
Introduction to the special issue on runtime verification. 1-5 - Jean Goubault-Larrecq, Jean-Philippe Lachance:
On the complexity of monitoring Orchids signatures, and recurrence equations. 6-32 - Jinghao Shi, Shuvendu K. Lahiri, Ranveer Chandra, Geoffrey Challen:
Wireless protocol validation under uncertainty. 33-53 - Sean Kauffman, Klaus Havelund, Rajeev Joshi, Sebastian Fischmeister:
Inferring event stream abstractions. 54-82 - Stefan Jaksic, Ezio Bartocci, Radu Grosu, Thang Nguyen, Dejan Nickovic:
Quantitative monitoring of STL with edit distance. 83-112 - Carlos Moreno, Sebastian Fischmeister:
Non-intrusive runtime monitoring through power consumption to enforce safety and security properties in embedded systems. 113-137 - Grigore Rosu:
Finite-trace linear temporal logic: coinductive completeness. 138-163
Volume 53, Number 2, October 2018
- Xavier Rival:
Foreword. 165 - Chaoqiang Deng, Kedar S. Namjoshi:
Securing a compiler transformation. 166-188 - Kihong Heo, Hakjoo Oh, Hongseok Yang:
Learning analysis strategies for octagon and context sensitivity from labeled data generated by static analyses. 189-220 - Matthieu Journault, Antoine Miné:
Inferring functional properties of matrix manipulating programs by abstract interpretation. 221-258 - Francesco Ranzato:
Abstracting Nash equilibria of supermodular games. 259-285 - Pierre Roux, Yuen-Lam Voronin, Sriram Sankaranarayanan:
Validating numerical semidefinite programming solvers for polynomial invariants. 286-312 - Stefan Schulze Frielinghaus, Helmut Seidl, Ralf Vogler:
Enforcing termination of interprocedural analysis. 313-338
Volume 53, Number 3, December 2018
- Benedikt Bollig, Manuela-Lidia Grindei, Peter Habermehl:
Realizability of concurrent recursive programs. 339-362 - Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg:
An improved algorithm for the control synthesis of nonlinear sampled switched systems. 363-383 - Rémy Boutonnet, Nicolas Halbwachs:
Improving the results of program analysis by abstract interpretation beyond the decreasing sequence. 384-406 - Hernán Ponce de León, Andrey Mokhov:
Compact and efficiently verifiable models for concurrent systems. 407-431
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-15 22:37 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:
