| 2026 | ECOOP | Automatic Code and Test Generation of Smart Contracts from Coordination Models. | Elvis Konjoh Selabi, Maurizio Murgia, Antnio Ravara, Emilio Tuosto |
| 2026 | FORTE | Soundness of Typed Transitions in the Linear π-Calculus. | Adrian Francalanza, Marco Giunti, Antnio Ravara |
| 2024 | Coordination | TRAC: A Tool for Data-Aware Coordination - (with an Application to Smart Contracts). | Joo Afonso, Elvis Konjoh Selabi, Maurizio Murgia, Antnio Ravara, Emilio Tuosto |
| 2024 | ECOOP | Behavioural Up/down Casting For Statically Typed Languages. | Lorenzo Bacchiani, Mario Bravetti, Marco Giunti, Joo Mota, Antnio Ravara |
| 2023 | ECOOP | On Using VeriFast, VerCors, Plural, and KeY to Check Object Usage (Experience Paper). | Joo Mota, Marco Giunti, Antnio Ravara |
| 2023 | SAC | Anticipation of Method Execution in Mixed Consistency Systems. | Marco Giunti, Herv Paulino, Antnio Ravara |
| 2021 | CAV | Cameleer: A Deductive Verification Tool for OCaml. | Mrio Pereira, Antnio Ravara |
| 2021 | Coordination | Java Typestate Checker. | Joo Mota, Marco Giunti, Antnio Ravara |
| 2020 | APLAS | Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language. | Mario Bravetti, Adrian Francalanza, Iaroslav Golovanov, Hans Httel, Mathias Jakobsen, Mikkel Kettunen, Antnio Ravara |
| 2020 | CADE | Animated Logic: Correct Functional Conversion to Conjunctive Normal Form. | Pedro Barroso, Mrio Pereira, Antnio Ravara |
| 2017 | SAC | From object-oriented code with assertions to behavioural types. | Cludio Vasconcelos, Antnio Ravara |
| 2016 | SAC | From atomic variables to data-centric concurrency control. | Herv Paulino, Daniel Parreira, Nuno Delgado, Antnio Ravara, Ana Gualdina Almeida Matos |
| 2015 | PDP | Revisiting Concurrent Separation Logic and Operational Semantics. | Pedro Soares, Antnio Ravara, Simo Melo de Sousa |
| 2010 | LICS | A simple proof system for lock-free concurrency. | Lus Caires, Carla Ferreira, Antnio Ravara |
| 2010 | POPL | Modular session types for distributed object-oriented programming. | Simon J. Gay, Vasco Thudichum Vasconcelos, Antnio Ravara, Nils Gesbert, Alexandre Z. Caldeira |
| 2007 | SEFM | Disciplining Orchestration and Conversation in Service-Oriented Computing. | Ivan Lanese, Francisco Martins, Vasco Thudichum Vasconcelos, Antnio Ravara |
| 2004 | CONCUR | Session Types for Functional Multithreading. | Vasco Thudichum Vasconcelos, Antnio Ravara, Simon J. Gay |
| 2000 | CONCUR | Typing Non-uniform Concurrent Objects. | Antnio Ravara, Vasco Thudichum Vasconcelos |
| 1997 | EuroPar | Behavioural Types for a Calculus of Concurrent Objects. | Antnio Ravara, Vasco Thudichum Vasconcelos |