Formal Methods in System Design, Volume 11

Volume 11, Number 1, July 1997

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

Volume 11, Number 2, August 1997

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

Volume 11, Number 3, October 1997

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