Cláudio Belo Lourenço

According to our database, Cláudio Belo Lourenço authored at least 13 papers between 2014 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Automated formal analysis of temporal properties of Ladder programs.

Cláudio Belo Lourenço, Denis Cousineau, Florian Faissole, Claude Marché, David Mentré, Hiroaki Inoue

Int. J. Softw. Tools Technol. Transf., 2022

Why3-do: The Way of Harmonious Distributed System Proofs.

Cláudio Belo Lourenço, Jorge Sousa Pinto

Proceedings of the Programming Languages and Systems, 2022

2021

Explaining Counterexamples with Giant-Step Assertion Checking.

Benedikt F. H. Becker, Cláudio Belo Lourenço, Claude Marché

Proceedings of the 6th Workshop on Formal Integrated Development Environment, 2021

Automated Verification of Temporal Properties of Ladder Programs.

Cláudio Belo Lourenço, Denis Cousineau, Florian Faissole, Claude Marché, David Mentré, Hiroaki Inoue

Proceedings of the Formal Methods for Industrial Critical Systems, 2021

2019

A generalized program verification workflow based on loop elimination and SA form.

Cláudio Belo Lourenço, Maria João Frade, Jorge Sousa Pinto

Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, 2019

GOSPEL - Providing OCaml with a Formal Specification Language.

Arthur Charguéraud, Jean-Christophe Filliâtre, Cláudio Lourenço, Mário Pereira

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

2018

Single-assignment program verification

Cláudio Belo Lourenço

PhD thesis, 2018

A Generalized Approach to Verification Condition Generation.

Cláudio Belo Lourenço, Maria João Frade, Shin Nakajima, Jorge Sousa Pinto

Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

2016

A Single-Assignment Translation for Annotated Programs.

Cláudio Belo Lourenço, Maria João Frade, Jorge Sousa Pinto

CoRR, 2016

A framework for quality assessment of ROS repositories.

André Santos, Alcino Cunha, Nuno Macedo, Cláudio Lourenço

Proceedings of the 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2016

Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach.

Cláudio Belo Lourenço, Maria João Frade, Jorge Sousa Pinto

Proceedings of the Programming Languages and Systems, 2016

2015

Studying Verification Conditions for Imperative Programs.

Cláudio Belo Lourenço, Si-Mohamed Lamraoui, Shin Nakajima, Jorge Sousa Pinto

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

2014

A Bounded Model Checker for SPARK Programs.

Cláudio Belo Lourenço, Maria João Frade, Jorge Sousa Pinto

Proceedings of the Automated Technology for Verification and Analysis, 2014