Journal: Formal Methods in System Design

Volume 12, Issue 3

223 -- 239Farhad Mavaddat, T. Gahlinger. On Deducing Timing Constraints in the Verification of Interfaces
241 -- 265Ti-Yen Yen, Alex Ishii, Albert E. Casavant, Wayne Wolf. Efficient Algorithms for Interface Timing Verification
267 -- 289Gianpiero Cabodi, Paolo Camurati, Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda. The General Product Machine: a New Model for Symbolic FSM Traversal

Volume 12, Issue 2

123 -- 124Stefania Gnesi, Diego Latella. Special Issue on the First International workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, St. Hugh s College, Oxford, March 19, 1996 - Selected Papers
125 -- 137James L. Caldwell. Formal Methods Technology Transfer: A View from NASA
139 -- 161Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Giorgio Mongardi, Dario Romano. A Formal Verification Environment for Railway Signaling System Design
163 -- 187Axel Poigné, Matthew Morley, Olivier Maffeïs, Leszek Holenderski, Reinhard Budde. The Synchronous Approach to Designing Reactive Systems
189 -- 216Joost-Pieter Katoen, Rom Langerak, Ed Brinksma, Diego Latella, Tommaso Bolognesi. A Consistent Causality-Based View on a Timed Process Algebra Including Urgent Interactions

Volume 12, Issue 1

5 -- 38Alex Kondratyev, Michael Kishinevsky, Alexander Taubin, Sergei Ten. Analysis of Petri Nets by Ordering Relations in Reduced Unfoldings
39 -- 71Alexandre Yakovlev. Designing Control Logic for Counterflow Pipeline Processor Using Petri Nets
73 -- 115Radu Negulescu, Janusz A. Brzozowski. Relative Liveness: From Intuition to Automated Verification