Journal: Formal Methods in System Design

Volume 53, Issue 3

339 -- 362Benedikt Bollig, Manuela-Lidia Grindei, Peter Habermehl. Realizability of concurrent recursive programs
363 -- 383Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg. An improved algorithm for the control synthesis of nonlinear sampled switched systems
384 -- 406Rémy Boutonnet, Nicolas Halbwachs. Improving the results of program analysis by abstract interpretation beyond the decreasing sequence
407 -- 431Hernán Ponce de León, Andrey Mokhov. Compact and efficiently verifiable models for concurrent systems

Volume 53, Issue 2

165 -- 0Xavier Rival. Foreword
166 -- 188Chaoqiang Deng, Kedar S. Namjoshi. Securing a compiler transformation
189 -- 220Kihong Heo, Hakjoo Oh, Hongseok Yang. Learning analysis strategies for octagon and context sensitivity from labeled data generated by static analyses
221 -- 258Matthieu Journault, Antoine Miné. Inferring functional properties of matrix manipulating programs by abstract interpretation
259 -- 285Francesco Ranzato. Abstracting Nash equilibria of supermodular games
286 -- 312Pierre Roux, Yuen-Lam Voronin, Sriram Sankaranarayanan. Validating numerical semidefinite programming solvers for polynomial invariants
313 -- 338Stefan Schulze Frielinghaus, Helmut Seidl, Ralf Vogler. Enforcing termination of interprocedural analysis

Volume 53, Issue 1

1 -- 5Yliès Falcone, César Sánchez. Introduction to the special issue on runtime verification
6 -- 32Jean Goubault-Larrecq, Jean-Philippe Lachance. On the complexity of monitoring Orchids signatures, and recurrence equations
33 -- 53Jinghao Shi, Shuvendu K. Lahiri, Ranveer Chandra, Geoffrey Challen. Wireless protocol validation under uncertainty
54 -- 82Sean Kauffman, Klaus Havelund, Rajeev Joshi, Sebastian Fischmeister. Inferring event stream abstractions
83 -- 112Stefan Jaksic, Ezio Bartocci, Radu Grosu, Thang Nguyen, Dejan Nickovic. Quantitative monitoring of STL with edit distance
113 -- 137Carlos Moreno 0002, Sebastian Fischmeister. Non-intrusive runtime monitoring through power consumption to enforce safety and security properties in embedded systems
138 -- 163Grigore Rosu. Finite-trace linear temporal logic: coinductive completeness