Cláudio Belo Lourenço

14 papers A 2B 1C 2Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
Auto-active verification of distributed systems and specification refinements with Why3-do.
Sci. Comput. Program.
Cláudio Belo Lourenço, Jorge Sousa Pinto
2025 C conf
Closure Conversion, Flat Environments, and the Complexity of Abstract Machines.
PPDP
Beniamino Accattoli, Cláudio Belo Lourenço, Dan R. Ghica, Giulio Guerrieri, Claudio Sacerdoti Coen
2025 J jnl
Closure Conversion, Flat Environments, and the Complexity of Abstract Machines.
CoRR
Beniamino Accattoli, Dan R. Ghica, Giulio Guerrieri, Cláudio Belo Lourenço, Claudio Sacerdoti Coen
2022 J jnl
Automated formal analysis of temporal properties of Ladder programs.
Int. J. Softw. Tools Technol. Transf.
Cláudio Belo Lourenço, Denis Cousineau, Florian Faissole, Claude Marché, David Mentré, Hiroaki Inoue
2022 A conf
Why3-do: The Way of Harmonious Distributed System Proofs.
ESOP
Cláudio Belo Lourenço, Jorge Sousa Pinto
2021 C conf
Automated Verification of Temporal Properties of Ladder Programs.
FMICS
Cláudio Belo Lourenço, Denis Cousineau, Florian Faissole, Claude Marché, David Mentré, Hiroaki Inoue
2021 — conf
Explaining Counterexamples with Giant-Step Assertion Checking.
F-IDE@NFM
Benedikt F. H. Becker, Cláudio Belo Lourenço, Claude Marché
2019 — conf
A generalized program verification workflow based on loop elimination and SA form.
FormaliSE@ICSE
Cláudio Belo Lourenço, Maria João Frade, Jorge Sousa Pinto
2018 — conf
A Generalized Approach to Verification Condition Generation.
COMPSAC (1)
Cláudio Belo Lourenço, Maria João Frade, Shin Nakajima, Jorge Sousa Pinto
2018 — —
Single-assignment program verification
Cláudio Belo Lourenço
2016 J jnl
A Single-Assignment Translation for Annotated Programs.
CoRR
Cláudio Belo Lourenço, Maria João Frade, Jorge Sousa Pinto
2016 A conf
Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach.
ESOP
Cláudio Belo Lourenço, Maria João Frade, Jorge Sousa Pinto
2015 J jnl
Studying Verification Conditions for Imperative Programs.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Cláudio Belo Lourenço, Si-Mohamed Lamraoui, Shin Nakajima, Jorge Sousa Pinto
2014 B conf
A Bounded Model Checker for SPARK Programs.
ATVA
Cláudio Belo Lourenço, Maria João Frade, Jorge Sousa Pinto