Dagstuhl Seminar: Formal Methods for Industrial Applications 1995

@proceedings{DBLP:conf/dagstuhl/1995fm,
  editor    = {Jean-Raymond Abrial and
               Egon B{\"o}rger and
               Hans Langmaack},
  title     = {Formal Methods for Industrial Applications, Specifying and Programming
               the Steam Boiler Control (the book grow out of a Dagstuhl Seminar,
               June 1995)},
  booktitle = {Formal Methods for Industrial Applications},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1165},
  year      = {1996},
  isbn      = {3-540-61929-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Jean-Raymond Abrial, Egon Börger, Hans Langmaack: The Stream Boiler Case Study: Competition of Formal Program Specification and Development Methods. 1-12 BibTeX
• Mattin Addibpour, Enn Tyugu: Structural Synthesis of Programs from Refined User Requirements (Programming Boiler Control in NUT). 13-34 BibTeX
• Christoph Andriessens, Thomas Lindner: Using FOCUS, LUSTRE, and Probability Theory for the Design of a Reliable Control Program. 35-51 BibTeX
• Christoph Beierle, Egon Börger, Igor Durdanovic, Uwe Glässer, Elvinia Riccobene: Refining Abstract Machine Specifications of the Steam Boiler Control to Well Documented Executable Code. 52-78 BibTeX
• Michel Bidoit, Claude Chevenier, Christine Pellen, Jérôme Ryckbosch: An Algebraic Specification of the Steam-Boiler Control System. 79-108 BibTeX
• Robert Büssow, Matthias Weber: A Steam-Boiler Control Specification with Statecharts and Z. 109-128 BibTeX
• Michael J. Butler, Emil Sekerinski, Kaisa Sere: An Action System Approach to the Steam Boiler Problem. 129-148 BibTeX
• Thierry Cattel, Grégory Duval: The Steam-Boiler Problem in Lustre. 149-164 BibTeX
• Jorge Cuéllar, Isolde Wildgruber: The Steam-Boiler Problem - A TLT Solution. 165-183 BibTeX
• Jorge Cuéllar, Isolde Wildgruber: The Real-Time Behavior of the Steam Boiler. 184-202 BibTeX
• Grégory Duval, Thierry Cattel: Specifying and Verifying the Steam-Boiler Problem with SPIN. 203-217 BibTeX
• Angelo Gargantini, Angelo Morzenti: TRIO Specification of a Steam Boiler Controller. 218-232 BibTeX
• Marie-Claude Gaudel, Pierre Dauchy, Carole Khoury: A Formal Specification of the Steam-Boiler Control Problem by Algebraic Specifications with Implicit State. 233-264 BibTeX
• Thomas A. Henzinger, Howard Wong-Toi: Using HyTech to Synthesize Control Parameters for a Steam Boiler. 265-282 BibTeX
• Yves Ledru, Marie-Laure Potet: A VDM Specification of the Steam-Boiler Problem. 283-317 BibTeX
• Gunter Leeb, Nancy A. Lynch: Proving Safety Properties of the Steam Boiler Controller. 318-338 BibTeX
• Frank Lesske, Stephan Merz: Steam Boiler Control Specification Problem: A TLA Solution. 339-358 BibTeX
• Xiaoshan Li, Wang Juan: Specifying Optimal Design of a Steam-Boiler System. 359-378 BibTeX
• Peter Csaba Ölveczky, Piotr Kosiuczenko, Martin Wirsing: An Object-Oriented Algebraic Steam-Boiler Control Specification. 379-402 BibTeX
• Michael Schenke, Anders P. Ravn: Refinement from a Control Problem to Programs. 403-427 BibTeX
• Christian P. Schinagl: VDM Specification of the Steam-Boiler Control Using RSL Notation. 428-452 BibTeX
• Jan Vitt, Jozef Hooman: Assertional Specification and Verification Using PVS of the Steam Boiler Control System. 453-472 BibTeX
• Andreas Willig, Ina Schieferdecker: Specifying and Verifying the Steam-Boiler Control System with Time Extended LOTOS. 473-492 BibTeX
• Annette Lötzbeyer: Simulation of a Steam-Boiler. 493-499 BibTeX
• Jean-Raymond Abrial: Steam-Boiler Control Specification Problem. 500-509 BibTeX