default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRetirement: Hans Langmaack , 1999
- Ernst-Rüdiger Olderog, Bernhard Steffen:
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
I Methodology
- C. A. R. Hoare:
Theories of Programming: Top-Down and Bottom-Up and Meeting in the Middle. 3-28 - Dines Bjørner:
A Triptych Software Development Paradigm: Domain, Requirements and Software. 29-60 - Anders P. Ravn, Hans Rischel:
Real-Time Constraints Through the ProCoS Layers. 61-78 - David Gries:
Monotonicity in Calculational Proofs. 79-85
II Programming
- Krzysztof R. Apt, Andrea Schaerf:
The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming. 89-113 - Flemming Nielson, Hanne Riis Nielson:
Type and Effect Systems. 114-136
III Automation
- J Strother Moore:
Proving Theorems About Java-Like Byte Code. 139-162 - Armin Biere, Edmund M. Clarke, Yunshan Zhu:
Multiple State and Single State Tableaux for Combining Local and Global Model Checking. 163-179 - Parosh Aziz Abdulla, Bengt Jonsson:
On the Existence of Network Invariants for Verifying Parameterized Systems. 180-197
IV Compilation
- Gerhard Goos, Wolf Zimmermann:
Verification of Compilers. 201-230 - Amir Pnueli, Ofer Strichman, Michael Siegel:
Translation Validation: From SIGNAL to C. 231-255 - Martin Fränzle, Markus Müller-Olm:
Compilation and Synthesis for Real-Time Embedded Controllers. 256-287 - Jens Knoop, Oliver Rüthing:
Optimization Under the Perspective of Soundness, Completeness, and Reusability. 288-315
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 - Ernst-Rüdiger Olderog:
Correct Real-Time Software for Programmable Logic Controllers. 342-362 - Jan Peleska, Bettina Buth:
Formal Methods for the International Space Station ISS. 363-389 - Bernhard Steffen, Tiziana Margaria:
METAFrame in Practice: Design of Intelligent Network Services. 390-415
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-15 19:45 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
