Journal: Formal Methods in System Design

Volume 46, Issue 3

197 -- 225Romain Demangeon, Kohei Honda, Raymond Hu, Rumyana Neykova, Nobuko Yoshida. Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python
226 -- 261Adrian Francalanza, Aldrin Seychell. Synthesising correct concurrent runtime monitors
262 -- 285David A. Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zalinescu. Monitoring of temporal first-order properties with aggregations
286 -- 316Andreas Bauer 0002, Jan-Christoph Küster, Gil Vegliach. The ins and outs of first-order runtime verification
317 -- 348Shay Berkovich, Borzoo Bonakdarpour, Sebastian Fischmeister. Runtime verification with minimal intrusion through parallelism

Volume 46, Issue 2

105 -- 134Pavithra Prabhakar, Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan 0001. Hybrid automata-based CEGAR for rectangular hybrid systems
135 -- 162Gianpiero Cabodi, Carmelo Loiacono, Danilo Vendraminetto. Optimization techniques for craig interpolant compaction in unbounded model checking
163 -- 196Pierre Roux, Pierre-Loïc Garoche. Practical policy iterations - A practical use of policy iterations for static analysis: the quadratic case

Volume 46, Issue 1

1 -- 41Fides Aarts, Bengt Jonsson, Johan Uijen, Frits W. Vaandrager. Generating models of infinite-state communication protocols using regular inference with abstraction
42 -- 80Nathalie Bertrand, Amélie Stainer, Thierry Jéron, Moez Krichen. A game approach to determinize timed automata
81 -- 104Shoham Ben-David, Fady Copty, Dana Fisman, Sitvanit Ruah. Vacuity in practice: temporal antecedent failure