default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDModels, Mindsets, Meta - Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday, 2018
- Tiziana Margaria, Susanne Graf, Kim G. Larsen:
Models, Mindsets, Meta: The What, the How, and the Why Not? - Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 11200, Springer 2019, ISBN 978-3-030-22347-2
Introduction
- Tiziana Margaria, Susanne Graf, Kim G. Larsen:
Models, Mindsets, Meta: The What, the How, and the Why Not? 3-13
Kiel 1983-1987
- Hardi Hungar:
Applying Decision Graphs in the Context of Automated Driving. 17-23
Edinburgh 1987-1989
- Thomas Bøgholm, Kim G. Larsen
, Marco Muñiz, Bent Thomsen, Lone Leth Thomsen:
Analyzing Spreadsheets for Parallel Execution via Model Checking. 27-35 - Eugenio Moggi, Amin Farjudian, Walid Taha:
System Analysis and Robustness. 36-44 - Michael Mendler, Joaquín Aguado, Bruno Bodin, Partha S. Roop, Reinhard von Hanxleden:
Logic Meets Algebra: Compositional Timing Analysis for Synchronous Reactive Multithreading. 45-67 - Mariangiola Dezani-Ciancaglini, Paola Giannini, Betti Venneri:
Intersection Types in Java: Back to the Future. 68-86
Aarhus 1989-1990
- Flemming Nielson, Hanne Riis Nielson, Fuyuan Zhang:
Multi-valued Logic for Static Analysis and Model Checking. 89-109 - Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti:
States and Events in KandISTI - A Retrospective. 110-128 - Tiziana Margaria:
Making Sense of Complex Applications: Constructive Design, Features, and Questions. 129-148
Aachen 1990-1993
- Johannes Gareis, Gerald Lüttgen, Ayleen Schinko, Walter Vogler:
Interface Automata for Shared Memory. 151-166
Passau 1993-1997
- Didier Caucal, Chloé Rispal:
Boolean Algebras by Length Recognizability. 169-185 - Hubert Garavel, Radu Mateescu:
Reflections on Bernhard Steffen's Physics of Software Tools. 186-207 - Sergei Gorlatch:
Toward Structured Parallel Programming: Send-Receive Considered Harmful. 208-217 - Doron Peled, Klaus Havelund:
Refining the Safety-Liveness Classification of Temporal Properties According to Monitorability. 218-234 - Ulrike Lechner:
Future Security: Processes or Properties? - Research Directions in Cybersecurity. 235-246
Dortmund 1997 - Today
- Yuning He, Dimitra Giannakopoulou, Johann Schumann:
Statistical Prediction of Failures in Aircraft Collision Avoidance Systems. 249-267 - Emil Vassev, Mike Hinchey:
The ASSL Approach to Formal Specification of Self-managing Systems. 268-296 - Michael Huth:
The Merits of Compositional Abstraction: A Case Study in Propositional Logic. 297-309 - Falk Howar, Fadi Jabbour, Malte Mues:
JConstraints: A Library for Working with Logic Expressions in Java. 310-325 - Thomas Given-Wilson, Axel Legay:
On the Expressiveness of Joining and Splitting. 326-355 - Jan Bessai, Jakob Rehof, Boris Düdder:
Fast Verified BCD Subtyping. 356-371 - Wolfgang Reisig:
Composition: A Fresh Look at an Old Topic. 372-389 - Daniel Neider, Rick Smetsers, Frits W. Vaandrager, Harco Kuppens:
Benchmarks for Automata Learning and Conformance Testing. 390-416 - Jaco van de Pol, Jeroen Meijer:
Synchronous or Alternating? - LTL Black-Box Checking of Mealy Machines by Combining the LearnLib and LTSmin. 417-430
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-18 22:29 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:
