Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID65th Birthday: Klaus Havelund , 2021
- 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
- Xiaohong Chen, Grigore Rosu:
The K Vision for the Future of Programming Language Design and Analysis. 3-9 - Manfred Broy:
Refining the Safety-Liveness Classification of Temporal Properties According to Realizability. 10-31
Static Analysis
- Dines Bjørner:
Domain Analysis and Description - Sorts, Types, Intents. 35-60 - Patrick Cousot:
Dynamic interval analysis by abstract interpretation. 61-86
Runtime Verification
- Christian Colombo, Gordon J. Pace, Gerardo Schneider:
Runtime Verification: Passing on the Baton. 89-107 - Faustin Ahishakiye, José-Ignacio Requeno Jarabo, Violet Ka I Pun, Volker Stolz:
Hardware-Assisted Online Data Race Detection. 108-126 - Gerard J. Holzmann:
Comparing Two Methods for Checking Runtime Properties. 127-133
Dynamic Assurance
- Ivan Ruchkin, Matthew Cleaveland, Oleg Sokolsky, Insup Lee:
Confidence Monitoring and Composition for Dynamic Assurance of Learning-Enabled Autonomous Systems - Position Paper. 137-146 - Usama Mehmood, Scott D. Stoller, Radu Grosu, Scott A. Smolka:
Collision-Free 3D Flocking Using the Distributed Simplex Architecture. 147-156
Automata Learning
- Markus Frohme, Bernhard Steffen:
A Context-Free Symbiosis of Runtime Verification and Automata Learning. 159-181 - Doron Peled:
Reverse Engineering Through Automata Learning. 182-192
a service of 
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-06-10 21:35 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:
