Cláudio Filipe Belo da Silva Lourenço
AuthID: R-00F-KKK
1
TITLE: Closure Conversion, Flat Environments, and the Complexity of Abstract Machines Full Text
AUTHORS: Beniamino Accattoli; Cláudio Belo Lourenço; Dan R Ghica; Giulio Guerrieri; Claudio Sacerdoti Coen;
PUBLISHED: 2025, SOURCE: PPDP
AUTHORS: Beniamino Accattoli; Cláudio Belo Lourenço; Dan R Ghica; Giulio Guerrieri; Claudio Sacerdoti Coen;
PUBLISHED: 2025, SOURCE: PPDP
2
TITLE: Why3-do: The Way of Harmonious Distributed System Proofs
AUTHORS: Lourenco, Claudio Belo; Pinto, Jorge Sousa ;
PUBLISHED: 2022, SOURCE: 31st European Symposium on Programming (ESOP) Held as Part of the 25th European Joint Conferences on Theory and Practice of Software (ETAPS) in PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2022, VOLUME: 13240
AUTHORS: Lourenco, Claudio Belo; Pinto, Jorge Sousa ;
PUBLISHED: 2022, SOURCE: 31st European Symposium on Programming (ESOP) Held as Part of the 25th European Joint Conferences on Theory and Practice of Software (ETAPS) in PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2022, VOLUME: 13240
3
TITLE: Automated Verification of Temporal Properties of Ladder Programs
AUTHORS: Cláudio Belo Lourenço; Denis Cousineau; Florian Faissole; Claude Marché; David Mentré; Hiroaki Inoue;
PUBLISHED: 2021, SOURCE: FMICS
AUTHORS: Cláudio Belo Lourenço; Denis Cousineau; Florian Faissole; Claude Marché; David Mentré; Hiroaki Inoue;
PUBLISHED: 2021, SOURCE: FMICS
4
TITLE: Explaining Counterexamples with Giant-Step Assertion Checking Full Text
AUTHORS: Benedikt F H Becker; Cláudio Belo Lourenço; Claude Marché;
PUBLISHED: 2021, SOURCE: F-IDE@NFM, VOLUME: 338
AUTHORS: Benedikt F H Becker; Cláudio Belo Lourenço; Claude Marché;
PUBLISHED: 2021, SOURCE: F-IDE@NFM, VOLUME: 338
5
TITLE: A generalized program verification workflow based on loop elimination and SA form
AUTHORS: Cláudio Belo Lourenço; Maria João Frade ; Jorge Sousa Pinto ;
PUBLISHED: 2019, SOURCE: FormaliSE@ICSE
AUTHORS: Cláudio Belo Lourenço; Maria João Frade ; Jorge Sousa Pinto ;
PUBLISHED: 2019, SOURCE: FormaliSE@ICSE
6
TITLE: GOSPEL - Providing OCaml with a Formal Specification Language
AUTHORS: Arthur Charguéraud; Jean Christophe Filliâtre; Cláudio Lourenço; Mário Pereira;
PUBLISHED: 2019, SOURCE: 23rd Symposium on Formal Methods, FM 2019, in the form of the 3rd World Congress on Formal Methods, 2019 in FM, VOLUME: 11800 LNCS
AUTHORS: Arthur Charguéraud; Jean Christophe Filliâtre; Cláudio Lourenço; Mário Pereira;
PUBLISHED: 2019, SOURCE: 23rd Symposium on Formal Methods, FM 2019, in the form of the 3rd World Congress on Formal Methods, 2019 in FM, VOLUME: 11800 LNCS
7
TITLE: A Generalized Approach to Verification Condition Generation
AUTHORS: Cláudio Belo Lourenço; Maria João Frade ; Shin Nakajima; Jorge Sousa Pinto ;
PUBLISHED: 2018, SOURCE: COMPSAC (1), VOLUME: 1
AUTHORS: Cláudio Belo Lourenço; Maria João Frade ; Shin Nakajima; Jorge Sousa Pinto ;
PUBLISHED: 2018, SOURCE: COMPSAC (1), VOLUME: 1
8
TITLE: Single-assignment program verification
AUTHORS: Cláudio Belo Lourenço;
PUBLISHED: 2018
AUTHORS: Cláudio Belo Lourenço;
PUBLISHED: 2018
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP