Felix Klaedtke

Identifiers

No identifiers captured yet.

Papers (3)

1. Runtime Verification of Temporal Properties over Out-of-order Data Streams cs.LO · 2017 · author #2
2. Fingerprinting Software-defined Networks cs.CR · 2015 · author #3
3. Bounds on the Automata Size for Presburger Arithmetic cs.LO · 2005 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• David Basin 1 shared papers
• Eugen Z\u{a}linescu 1 shared papers
• Ghassan O. Karame 1 shared papers
• Heng Cui 1 shared papers
• Roberto Bifulco 1 shared papers