Journal: Formal Methods in System Design

Volume 49, Issue 3

159 -- 189Fatemeh Ghassemi, Wan Fokkink. Model checking mobile ad hoc networks
190 -- 218Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta. Infinite-state invariant checking with IC3 and predicate abstraction
219 -- 271Javier Esparza, Jan Kretínský, Salomon Sickert. From LTL to deterministic automata - A safraless compositional approach
272 -- 323Ajith K. John, Supratik Chakraborty. A layered algorithm for quantifier elimination from linear modular constraints

Volume 49, Issue 1-2

1 -- 32Mitra Tabaei Befrouei, Chao Wang, Georg Weissenbacher. Abstraction and mining of traces to explain concurrency bugs
33 -- 74Stefan Mitsch, André Platzer. ModelPlex: verified runtime validation of verified cyber-physical system models
75 -- 108David A. Basin, Germano Caronni, Sarah Ereth, Matús Harvan, Felix Klaedtke, Heiko Mantel. Scalable offline monitoring of temporal specifications
109 -- 158Christian Colombo, Yliès Falcone. Organising LTL monitors over distributed systems with a global clock