default search action

combined dblp search
author search
venue search
publication search

ask others

65th Birthday: Klaus Havelund, 2021

> Home > Conferences and Workshops > Birthday

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/birthday/2021havelund
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/2021havelund
Ezio Bartocci, Yliès Falcone, Martin Leucker:
Formal Methods in Outer Space - Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 13065, Springer 2021, ISBN 978-3-030-87347-9

Foundations

- view
  authority control:
- export record
  dblp key:
  - conf/birthday/0002R21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/0002R21
Xiaohong Chen, Grigore Rosu:
The K Vision for the Future of Programming Language Design and Analysis. 3-9
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Broy21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Broy21
Manfred Broy:
Refining the Safety-Liveness Classification of Temporal Properties According to Realizability. 10-31

Static Analysis

- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Bjorner21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Bjorner21
Dines Bjørner:
Domain Analysis and Description - Sorts, Types, Intents. 35-60
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Cousot21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Cousot21
Patrick Cousot:
Dynamic interval analysis by abstract interpretation. 61-86

Runtime Verification

- view
  authority control:
- export record
  dblp key:
  - conf/birthday/0001PS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/0001PS21
Christian Colombo, Gordon J. Pace, Gerardo Schneider:
Runtime Verification: Passing on the Baton. 89-107
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/AhishakiyeJPS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/AhishakiyeJPS21
Faustin Ahishakiye, José Ignacio Requeno Jarabo, Violet Ka I Pun, Volker Stolz:
Hardware-Assisted Online Data Race Detection. 108-126
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Holzmann21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Holzmann21
Gerard J. Holzmann:
Comparing Two Methods for Checking Runtime Properties. 127-133

Dynamic Assurance

- view
  authority control:
- export record
  dblp key:
  - conf/birthday/RuchkinCSL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/RuchkinCSL21
Ivan Ruchkin, Matthew Cleaveland, Oleg Sokolsky, Insup Lee:
Confidence Monitoring and Composition for Dynamic Assurance of Learning-Enabled Autonomous Systems - Position Paper. 137-146
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/MehmoodSGS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/MehmoodSGS21
Usama Mehmood, Scott D. Stoller, Radu Grosu, Scott A. Smolka:
Collision-Free 3D Flocking Using the Distributed Simplex Architecture. 147-156

Automata Learning

- view
  authority control:
- export record
  dblp key:
  - conf/birthday/FrohmeS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/FrohmeS21
Markus Frohme, Bernhard Steffen:
A Context-Free Symbiosis of Runtime Verification and Automata Learning. 159-181
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Peled21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Peled21
Doron Peled:
Reverse Engineering Through Automata Learning. 182-192

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.