Retirement: Hans Langmaack, 1999

Ernst-Rüdiger Olderog, Bernhard Steffen (Eds.): Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel). Lecture Notes in Computer Science 1710 Springer 1999, ISBN 3-540-66624-9 BibTeX

@proceedings{DBLP:conf/birthday/1999langmaack,
  editor    = {Ernst-R{\"u}diger Olderog and
               Bernhard Steffen},
  title     = {Correct System Design, Recent Insight and Advances, (to Hans
               Langmaack on the occasion of his retirement from his professorship
               at the University of Kiel)},
  booktitle = {Correct System Design, Recent Insight and Advances},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1710},
  year      = {1999},
  isbn      = {3-540-66624-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

I Methodology

C. A. R. Hoare:
Theories of Programming: Top-Down and Bottom-Up and Meeting in the Middle. 3-28
Electronic Edition (Springer LINK) BibTeX
Dines Bjørner:
A Triptych Software Development Paradigm: Domain, Requirements and Software. 29-60
Electronic Edition (Springer LINK) BibTeX
Anders P. Ravn, Hans Rischel:
Real-Time Constraints Through the ProCoS Layers. 61-78
Electronic Edition (Springer LINK) BibTeX
David Gries:
Monotonicity in Calculational Proofs. 79-85
Electronic Edition (Springer LINK) BibTeX

II Programming

Krzysztof R. Apt, Andrea Schaerf:
The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming. 89-113
Electronic Edition (Springer LINK) BibTeX
Flemming Nielson, Hanne Riis Nielson:
Type and Effect Systems. 114-136
Electronic Edition (Springer LINK) BibTeX

III Automation

J. Strother Moore:
Proving Theorems About Java-Like Byte Code. 139-162
Electronic Edition (Springer LINK) BibTeX
Armin Biere, Edmund M. Clarke, Yunshan Zhu:
Multiple State and Single State Tableaux for Combining Local and Global Model Checking. 163-179
Electronic Edition (Springer LINK) BibTeX
Parosh Aziz Abdulla, Bengt Jonsson:
On the Existence of Network Invariants for Verifying Parameterized Systems. 180-197
Electronic Edition (Springer LINK) BibTeX

IV Compilation

Gerhard Goos, Wolf Zimmermann:
Verification of Compilers. 201-230
Electronic Edition (Springer LINK) BibTeX
Amir Pnueli, Ofer Strichman, Michael Siegel:
Translation Validation: From SIGNAL to C. 231-255
Electronic Edition (Springer LINK) BibTeX
Martin Fränzle, Markus Müller-Olm:
Compilation and Synthesis for Real-Time Embedded Controllers. 256-287
Electronic Edition (Springer LINK) BibTeX
Jens Knoop, Oliver Rüthing:
Optimization Under the Perspective of Soundness, Completeness, and Reusability. 288-315
Electronic Edition (Springer LINK) BibTeX

V Application

Tom Bienmüller, Jürgen Bohn, Henning Brinkmann, Udo Brockmeyer, Werner Damm, Hardi Hungar, Peter Jansen:
Verification of Automotive Control Units. 319-341
Electronic Edition (Springer LINK) BibTeX
Ernst-Rüdiger Olderog:
Correct Real-Time Software for Programmable Logic Controllers. 342-362
Electronic Edition (Springer LINK) BibTeX
Jan Peleska, Bettina Buth:
Formal Methods for the International Space Station ISS. 363-389
Electronic Edition (Springer LINK) BibTeX
Bernhard Steffen, Tiziana Margaria:
METAFrame in Practice: Design of Intelligent Network Services. 390-415
Electronic Edition (Springer LINK) BibTeX