default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDEssays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday: 2022
- Wolfgang Ahrendt
, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen:
The Logic of Software. A Tasting Menu of Formal Methods - Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 13360, Springer 2022, ISBN 978-3-031-08165-1 - Ole Jørgen Abusdal, Crystal Chang Din, Violet Ka I Pun, Volker Stolz:
I Can See Clearly Now: Clairvoyant Assertions for Deadlock Checking. 1-18 - Elvira Albert, Samir Genaim, Alicia Merayo, Guillermo Román-Díez:
When COSTA Met KeY: Verified Cost Bounds. 19-37 - Alexander Bainczyk, Bernhard Steffen, Falk Howar:
Lifelong Learning of Reactive Systems in Practice. 38-53 - Roberto Guanciale, Christoph Baumann, Pablo Buiras, Mads Dam, Hamed Nemati:
A Case Study in Information Flow Refinement for Low Level Systems. 54-79 - Tabea Bordis, Loek Cleophas, Alexander Kittelmann, Tobias Runge, Ina Schaefer, Bruce W. Watson:
Re-CorC-ing KeY: Correct-by-Construction Software Development Based on KeY. 80-104 - David R. Cok, K. Rustan M. Leino:
Specifying the Boundary Between Unverified and Verified Code. 105-128 - Silvia Crafa, Cosimo Laneve:
Programming Legal Contracts - A Beginners Guide to Stipula. 129-146 - Ferruccio Damiani, Michael Lienhardt, Bruno Maugars, Bertrand Michel:
Towards a Modular and Variability-Aware Aerodynamic Simulator. 147-172 - Frank S. de Boer, Stijn de Gouw:
Reasoning About Active Objects: A Sound and Complete Assertional Proof Method. 173-192 - Jürgen Giesl, Nils Lommen, Marcel Hark, Fabian Meyer:
Improving Automatic Complexity Analysis of Integer Programs. 193-228 - Dilian Gurov, Christian Lidström, Philipp Rümmer:
Alice in Wineland: A Fairy Tale with Contracts. 229-242 - Marieke Huisman, Raúl E. Monti:
Teaching Design by Contract Using Snap! 243-263 - Eduard Kamburjan, Sandro Rama Fiorini:
On the Notion of Naturalness in Formal Modeling. 264-289 - Jonas Klamroth, Florian Lanzinger, Wolfram Pfeifer, Mattias Ulbrich:
The Karlsruhe Java Verification Suite. 290-312 - Gary T. Leavens, David R. Cok, Amirfarhad Nilizadeh:
Further Lessons from the JML Project. 313-349 - Chu Min Li, Felip Manyà:
Inference in MaxSAT and MinSAT. 350-369 - Wojciech Mostowski:
Implications of Deductive Verification on Research Quality - Field Study. 370-381 - Daniele Mundici:
Computing in Łukasiewicz Logic and AF-Algebras. 382-396 - Aarne Ranta:
Speaking About Wine: Another Case Study in Bridging the Gap Between Formal and Informal Knowledge. 397-407 - Gerhard Schellhorn, Stefan Bodenmüller, Martin Bitterlich, Wolfgang Reif:
Software & System Verification with KIV. 408-436 - Rudolf Schlatte:
A Note on Idleness Detection of Actor Systems. 437-445 - Dominic Steinhöfel:
Symbolic Execution: Foundations, Techniques, Applications, and Future Perspectives. 446-480 - Silvia Lizeth Tapia Tarifa:
Locally Abstract Globally Concrete Semantics of Time and Resource Aware Active Objects. 481-499 - Nathan Wasser:
Transparent Treatment of for-Loops in Proofs. 500-519
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 2025-11-26 07:51 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:
