| 2022 | ESOP | Why3-do: The Way of Harmonious Distributed System Proofs. | Cludio Belo Loureno, Jorge Sousa Pinto |
| 2020 | TAP | Testing for Race Conditions in Distributed Systems via SMT Solving. | Joo Carlos Pereira, Nuno Machado, Jorge Sousa Pinto |
| 2020 | TASE | Real-time MTL with durations as SMT with applications to schedulability analysis. | Andr de Matos Pedro, Martin Leucker, David Pereira, Jorge Sousa Pinto |
| 2019 | ICSE | A generalized program verification workflow based on loop elimination and SA form. | Cludio Belo Loureno, Maria Joo Frade, Jorge Sousa Pinto |
| 2018 | COMPSAC | A Generalized Approach to Verification Condition Generation. | Cludio Belo Loureno, Maria Joo Frade, Shin Nakajima, Jorge Sousa Pinto |
| 2018 | ENASE | K-Taint: An Executable Rewriting Logic Semantics for Taint Analysis in the K Framework. | Md. Imran Alam, Raju Halder, Harshita Goswami, Jorge Sousa Pinto |
| 2016 | ESOP | Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach. | Cludio Belo Loureno, Maria Joo Frade, Jorge Sousa Pinto |
| 2015 | RV | Monitoring for a Decidable Fragment of MTL-∫. | Andr de Matos Pedro, David Pereira, Lus Miguel Pinho, Jorge Sousa Pinto |
| 2014 | ATVA | A Bounded Model Checker for SPARK Programs. | Cludio Belo Loureno, Maria Joo Frade, Jorge Sousa Pinto |
| 2013 | COMPSAC | Interactive Verification of Safety-Critical Software. | Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto |
| 2012 | SAC | Verification conditions for single-assignment programs. | Daniela Carneiro da Cruz, Maria Joo Frade, Jorge Sousa Pinto |
| 2012 | SAT | Using Term Rewriting to Solve Bit-Vector Arithmetic Problems - (Poster Presentation). | Iago Abal, Alcino Cunha, Joe Hurd, Jorge Sousa Pinto |
| 2010 | ISoLA | Model-Checking Temporal Properties of Real-Time HTL Programs. | Andr Carvalho, Joel Carvalho, Jorge Sousa Pinto, Simo Melo de Sousa |
| 2010 | ISoLA | Contract-Based Slicing. | Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto |
| 2010 | SEFM | Assertion-based Slicing and Slice Graphs. | Jos Bernardo Barros, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto |
| 2009 | FMICS | Verifying Cryptographic Software Correctness with Respect to Reference Implementations. | Jos Bacelar Almeida, Manuel Barbosa, Jorge Sousa Pinto, Brbara Vieira |
| 2008 | DIAGRAMS | Visual Programming with Interaction Nets. | Abubakar Hassan, Ian Mackie, Jorge Sousa Pinto |
| 2000 | FOSSACS | Sequential and Concurrent Abstract Machines for Interaction Nets. | Jorge Sousa Pinto |
| 1996 | ITiCSE | Using Internet technology for course support. | Jos Eduardo Pina Miranda, Jorge Sousa Pinto |