Formal Methods in System Design, Volume 12

Volume 12, Number 1, January 1998

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

Volume 12, Number 2, March 1998

• Stefania 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. 123-124 BibTeX
• James L. Caldwell: Formal Methods Technology Transfer: A View from NASA. 125-137 BibTeX
• Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Giorgio Mongardi, Dario Romano: A Formal Verification Environment for Railway Signaling System Design. 139-161 BibTeX
• Axel Poigné, Matthew Morley, Olivier Maffeïs, Leszek Holenderski, Reinhard Budde: The Synchronous Approach to Designing Reactive Systems. 163-187 BibTeX
• Joost-Pieter Katoen, Rom Langerak, Ed Brinksma, Diego Latella, Tommaso Bolognesi: A Consistent Causality-Based View on a Timed Process Algebra Including Urgent Interactions. 189-216 BibTeX

Volume 12, Number 3, April 1998

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