bibliographer - Klaus Havelund

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Does Every Computer Scientist Need to Know Formal Methods Manfred Broy Achim D. Brucker Alessandro Fantechi Mario Gleirscher Klaus Havelund Markus Alexander Kuppe Alexandra Mendes André Platzer Jan Oliver Ringert Allison Sullivan [github]

Synthesizing Monitors for Safety Properties Klaus Havelund Grigore Roşu [github]

Refining the SafetytextendashLiveness Classification of Temporal Properties According to Monitorability Doron Peled Klaus Havelund [github]

Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors Howard Barringer Yliès Falcone Klaus Havelund Giles Reger David Rydeheard [github]

What can we monitor over unreliable channels Sean Kauffman Klaus Havelund Sebastian Fischmeister [github]

An Overview of the Runtime Verification Tool Java PathExplorer Klaus Havelund Grigore Roşu [github]

Library Size: 13G (6 entries), Last Updated: Apr 05, 2026, 08:41:35, Build Time: N/A

[show logs] [hide logs]