Emanuele D'Osualdo
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2013–2025
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ESOP | An Automata-theoretic Basis for Specification and Type Checking of Multiparty Protocols. | Felix Stutz, Emanuele D'Osualdo |
| 2020 | CONCUR | Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions. | Emanuele D'Osualdo, Felix Stutz |
| 2016 | ESOP | On Hierarchical Communication Topologies in the \pi -calculus. | Emanuele D'Osualdo, C.-H. Luke Ong |
| 2016 | LICS | First-order logic with reachability for infinite-state systems. | Emanuele D'Osualdo, Roland Meyer, Georg Zetzsche |
| 2013 | SAS | Automatic Verification of Erlang-Style Concurrency. | Emanuele D'Osualdo, Jonathan Kochems, C.-H. Luke Ong |