Journal: Formal Methods in System Design

Volume 27, Issue 3

211 -- 212Klaus Havelund, Grigore Rosu. Foreword
213 -- 251Karthikeyan Bhargavan, Carl A. Gunter. Network Event Recognition
253 -- 274Bernd Finkbeiner, Sriram Sankaranarayanan, Henny Sipma. Collecting Statistics Over Runtime Executions
275 -- 312Murat Karaorman, Parker Abercrombie. jContractor: Introducing Design-by-Contract to Java Using Reflective Bytecode Instrumentation
313 -- 334Suan Hsi Yong, Susan Horwitz. Using Static Analysis to Reduce Dynamic Analysis Overhead
335 -- 360Lenore D. Zuck, Amir Pnueli, Benjamin Goldberg, Clark W. Barrett, Yi Fang, Ying Hu. Translation and Run-Time Validation of Loop Transformations

Volume 27, Issue 1-2

5 -- 17Milos Besta, Frank A. Stomp. A Complete Mechanization of Correctness of a String-Preprocessing Algorithm
29 -- 66Sharon Barner, Orna Grumberg. Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking
67 -- 112Jayanta Bhadra, Andrew K. Martin, Jacob A. Abraham. A Formal Framework for Verification of Embedded Custom Memories of the Motorola MPC7450 Microprocessor
113 -- 172Alberto Verdejo, Narciso Martí-Oliet. Two Case Studies of Semantics Execution in Maude: CCS and LOTOS
173 -- 200Behzad Akbarpour, Sofiène Tahar, Abdelkader Dekdouk. Formalization of Fixed-Point Arithmetic in HOL