default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID65th Birthday:
Wolfgang Reif 2025
- Gidon Ernst
, Matthias Güdemann, Alexander Knapp, Florian Nafz, Frank Ortmeier, Hella Ponsar, Gerhard Schellhorn, Alexander Schiendorfer:
Go Where the Bugs Are - Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 15765, Springer 2025, ISBN 978-3-031-92195-7 - Dominik Haneberg, Alexander Knapp, Oliver Kosak, Florian Nafz, Hella Ponsar, Gerhard Schellhorn, Martin Wirsing:
A Tale of Formal Methods, Organic Computing, and Intelligent Robotics - The Scientific Life of Wolfgang Reif. 1-19 - Gidon Ernst, Dominik Haneberg, Matthias Güdemann, Oliver Kosak, Florian Nafz, Hella Ponsar, Gerhard Schellhorn:
Eine REIFe Leistung - Anecdotes from Behind the Scenes. 20-35 - Sven Tomforde, Jonas Lange, Pia Schweizer, Christian Krupitzer:
Observation and Control of Hybrid Organic Computing Systems - Centralised Planning Combined with Autonomous Entities. 36-55 - Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich:
The Many Uses of Dynamic Logic. 56-82 - Christoph Walther:
A Largely Automated Verification of GHC's Natural Mergesort. 83-103 - Jeremy Pitt, Matthew Scott, Mikayel Suvaryan, Ana Dimoska, Asimina Mertzani, Ciske Smit:
Software Engineering and Society Engineering for Self-organising Multi-agent Systems. 104-131 - Christof Obertscheider, Leonard Heber, Carola Lenzen, Ewald Fauster:
Refactoring of LCMsim: A Lightweight Julia Package for Mould Filling Simulations in Liquid Composite Moulding. 132-154 - Stefan Wildermann, Nils Wilbert, Tobias Häberlein, Jürgen Teich:
Self-powered Embedded Systems: The Role of Non-volatile Memory Technology in IoT Devices. 155-177 - Matthias Güdemann:
Overview of Bounded Model Checking for Stack-Based Virtual Machines. 178-194 - Leonhard Alkewitz, Timo Zuccarello, Alexander Raschke, Matthias Tichy:
How to Drawjectory? - Trajectory Planning Using Programming by Demonstration. 195-219 - Benjamin Weigel, Bernhard Bauer:
Go Where Energy Can be Saved: A Vision for a Green Infrastructure Evaluation, Optimization, and Alignment System. 220-241 - Mischa Ahrens, Hartmut Schmeck:
Organic Computing for Adaptive and Resilient Electricity Grid Management. 242-261 - Manfred Broy:
Specifying and Implementing Interface Moore Machines by a Logic of Actions. 262-281 - Florian Nafz, Magdalena Krajinovic, Martin Ley:
Artificial Intelligence in Software Documentation: Embracing the Documentation as Code Paradigm. 282-302 - Gidon Ernst, Marian Lingsch Rosenfeld:
Towards Automatic Structured Inference of Module Abstractions. 303-324 - Gerhard Schellhorn, Stefan Bodenmüller, Brijesh Dongol, Heike Wehrheim:
Mirror is Not Strong: Discovery of a Persistent Memory Bug using Refinement in KIV. 325-355 - Franz Wotawa:
On the Quest for Criticality Searching for Interactions that Matter When Hunting for Bugs. 356-373
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-10-05 22:25 CEST 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:
