Cláudio Belo Lourenço

Publication Activity (10 Years)

Years Active: 2014-2022
Publications (10 Years): 9

Top Topics

Temporal Properties

Automated Verification

Formal Analysis

Top Venues

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

Publications

Cláudio Belo Lourenço, Denis Cousineau, Florian Faissole, Claude Marché, David Mentré, Hiroaki Inoue
Automated formal analysis of temporal properties of Ladder programs. Int. J. Softw. Tools Technol. Transf. 24 (6) (2022)
Cláudio Belo Lourenço, Jorge Sousa Pinto
Why3-do: The Way of Harmonious Distributed System Proofs. ESOP (2022)
Benedikt F. H. Becker, Cláudio Belo Lourenço, Claude Marché
Explaining Counterexamples with Giant-Step Assertion Checking. F-IDE@NFM (2021)
Cláudio Belo Lourenço, Denis Cousineau, Florian Faissole, Claude Marché, David Mentré, Hiroaki Inoue
Automated Verification of Temporal Properties of Ladder Programs. FMICS (2021)
Cláudio Belo Lourenço, Maria João Frade, Jorge Sousa Pinto
A generalized program verification workflow based on loop elimination and SA form. FormaliSE@ICSE (2019)
Cláudio Belo Lourenço, Maria João Frade, Shin Nakajima, Jorge Sousa Pinto
A Generalized Approach to Verification Condition Generation. COMPSAC (1) (2018)
Cláudio Belo Lourenço, Maria João Frade, Jorge Sousa Pinto
Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach. ESOP (2016)
Cláudio Belo Lourenço, Maria João Frade, Jorge Sousa Pinto
A Single-Assignment Translation for Annotated Programs. CoRR (2016)
Cláudio Belo Lourenço, Si-Mohamed Lamraoui, Shin Nakajima, Jorge Sousa Pinto
Studying Verification Conditions for Imperative Programs. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 72 (2015)
Cláudio Belo Lourenço, Maria João Frade, Jorge Sousa Pinto
A Bounded Model Checker for SPARK Programs. ATVA (2014)