Institute of

Theoretical Computer Science

Carl-Friedrich-Gauß-Fakultät

Technische Universität Braunschweig

Publications by Emanuele D'Osualdo

Publications by Emanuele D'Osualdo

Conference contributions

  1. On Hierarchical Communication Topologies in the pi-calculus, with C.-H. Luke Ong.
    In Proceedings of ESOP 2016.
    DOI | arXiv | Tool

  2. First-order logic with reachability for infinite-state systems, with Roland Meyer and Georg Zetzsche.
    In Proceedings of LICS 2016.
    PDF | DOI

  3. Automatic Verification of Erlang-Style Concurrency, with Jonathan Kochems and C.-H. Luke Ong.
    In Proceedings of SAS 13.
    DOI | arXiv | Slides | Project's website

  4. Soter: An Automatic Safety Verifier for Erlang, with Jonathan Kochems and C.-H. Luke Ong.
    In Proceedings of AGERE! 12.
    DOI | Tool

Theses

  1. Verification of Message Passing Concurrent Systems. PhD Thesis.
    University of Oxford, 2015.
    PDF