Journal: Formal Methods in System Design

Volume 41, Issue 3

233 -- 235Oleg Sokolsky, Grigore Rosu. Introduction to the special issue on runtime verification
236 -- 268Deian Tabakov, Kristin Y. Rozier, Moshe Y. Vardi. Optimized temporal monitors for SystemC
269 -- 294Christian Colombo, Gordon J. Pace, Patrick Abela. Safer asynchronous runtime monitoring using compensations
295 -- 320Justin Seyster, Ketan Dixit, Xiaowan Huang, Radu Grosu, Klaus Havelund, Scott A. Smolka, Scott D. Stoller, Erez Zadok. InterAspect: aspect-oriented instrumentation with GCC
321 -- 347Raghavan Raman, Jisheng Zhao, Vivek Sarkar, Martin T. Vechev, Eran Yahav. Efficient data race detection for async-finish parallelism

Volume 41, Issue 2

129 -- 177Moritz Martens, Mila E. Majster-Cederbaum. Deadlock-freedom in component systems with architectural constraints
178 -- 210Jade Alglave. A formal hierarchy of weak memory models
211 -- 231Gregor Gößler, Dana N. Xu, Alain Girault. Probabilistic contracts for component-based design

Volume 41, Issue 1

1 -- 2Moshe Y. Vardi, Thomas A. Henzinger, Rajeev Alur, Marta Z. Kwiatkowska. 2011 CAV award announcement
3 -- 0Ganesh Gopalakrishnan, Shaz Qadeer. Preface
4 -- 24Oukseh Lee, Hongseok Yang, Rasmus Petersen. A divide-and-conquer approach for analysing overlaid data structures
25 -- 44Alastair F. Donaldson, Alexander Kaiser 0001, Daniel Kroening, Michael Tautschnig, Thomas Wahl. Counterexample-guided abstraction refinement for symmetric concurrent programs
45 -- 65Valeriy Balabanov, Jie-Hong R. Jiang. Unified QBF certification and its applications
66 -- 82Byron Cook, Eric Koskinen, Moshe Y. Vardi. Temporal property verification as a program analysis task - Extended Version
83 -- 106Peter Habermehl, Lukás Holík, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar. Forest automata for verification of heap manipulation
107 -- 128Domagoj Babic, Daniel Reynaud, Dawn Song. Recognizing malicious software behaviors with tree automata inference