Journal: Formal Methods in System Design

Volume 40, Issue 3

283 -- 329Michael Mendler, Thomas R. Shiple, Gérard Berry. Constructive Boolean circuits and the exactness of timed ternary simulation
330 -- 355Sandie Balaguer, Thomas Chatain, Stefan Haar. A concurrency-preserving translation from time Petri nets to networks of timed automata
356 -- 376Silvia Crafa, Francesco Ranzato. Bisimulation and simulation algorithms on probabilistic transition systems by abstract interpretation

Volume 40, Issue 2

117 -- 120Orna Grumberg, Moshe Y. Vardi, Joseph Sifakis, Rajeev Alur. 2010 CAV award announcement
121 -- 0Tayssir Touili. Preface
122 -- 146Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz. Efficient emptiness check for timed Büchi automata
147 -- 169Satrajit Chatterjee, Michael Kishinevsky. Automatic generation of inductive invariants from high-level microarchitectural models of communication fabrics
170 -- 205Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell. Fences in weak memory models (extended version)
206 -- 231Pierre Ganty, Rupak Majumdar, Benjamin Monmege. Bounded underapproximations
232 -- 262Rüdiger Ehlers. Symbolic bounded synthesis
263 -- 281Susanne Graf, Doron Peled, Sophie Quinton. Achieving distributed control through model checking

Volume 40, Issue 1

1 -- 19Stephen F. Siegel. Transparent partial order reduction
20 -- 40Ilan Beer, Shoham Ben-David, Hana Chockler, Avigail Orni, Richard J. Trefler. Explaining counterexamples using causality
41 -- 87Béatrice Bérard, Serge Haddad, Mathieu Sassolas. Interrupt Timed Automata: verification and expressiveness
88 -- 115Franck Cassez, Jérémy Dubreil, Hervé Marchand. Synthesis of opaque systems with static and dynamic masks