Cludio Belo Loureno
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2014–2025
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | PPDP | Closure Conversion, Flat Environments, and the Complexity of Abstract Machines. | Beniamino Accattoli, Cludio Belo Loureno, Dan R. Ghica, Giulio Guerrieri, Claudio Sacerdoti Coen |
| 2022 | ESOP | Why3-do: The Way of Harmonious Distributed System Proofs. | Cludio Belo Loureno, Jorge Sousa Pinto |
| 2021 | FMICS | Automated Verification of Temporal Properties of Ladder Programs. | Cludio Belo Loureno, Denis Cousineau, Florian Faissole, Claude March, David Mentr, Hiroaki Inoue |
| 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 |
| 2016 | ESOP | Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach. | Cludio Belo Loureno, Maria Joo Frade, Jorge Sousa Pinto |
| 2014 | ATVA | A Bounded Model Checker for SPARK Programs. | Cludio Belo Loureno, Maria Joo Frade, Jorge Sousa Pinto |