Eugen Z\u{a}linescu

Identifiers

No identifiers captured yet.

Papers (2)

1. Verifying Security Policies in Multi-agent Workflows with Loops cs.LO · 2017 · author #4
2. Runtime Verification of Temporal Properties over Out-of-order Data Streams cs.LO · 2017 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Bernd Finkbeiner 1 shared papers
• Christian M\"uller 1 shared papers
• David Basin 1 shared papers
• Felix Klaedtke 1 shared papers
• Helmut Seidl 1 shared papers