Journal: Formal Methods in System Design

Volume 11, Issue 3

223 -- 237Christoph Meinel, Anna Slobodov√°. A Unifying Theoretical Background for Some Bdd-based Data Structures
239 -- 264Robin Sharp, Ole Rasmussen. The T-Ruby Design System
265 -- 294Henrik Hulgaard, Steven M. Burns. Bounded Delay Timing Analysis of a Class of CSP Programs

Volume 11, Issue 2

111 -- 112Costas Courcoubetis. Introduction to the Special Issue on Computer-Aided Verification (CAV93)
113 -- 136Mihalis Yannakakis, David Lee. An Efficient Algorithm for Minimizing Real-Time Transition Systems
137 -- 155Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger. Computing Accumulated Delays in Real-time Systems
157 -- 185Nicolas Halbwachs, Yann-Erick Proy, Patrick Roumanoff. Verification of Real-Time Systems using Linear Relation Analysis
187 -- 215Tomohiro Yoneda, Bernd-Holger Schlingloff. Efficient Verification of Parallel Real-Time Systems

Volume 11, Issue 1

5 -- 21Bernd Becker, Rolf Drechsler, Michael Theobald. On the Expressive Power of OKFDDs
23 -- 40Robert H. Sloan, Ugo A. Buy. Stubborn Sets for Real-Time Petri Nets
41 -- 70Praveen K. Murthy, Shuvra S. Bhattacharyya, Edward A. Lee. Joint Minimization of Code and Data for Synchronous Dataflow Programs
71 -- 104Bishop Brock, Warren A. Hunt Jr.. The DUAL-EVAL Hardware Description Language and Its Use in the Formal Specification and Verification of the FM9001 Microprocessor