Cláudio Filipe Belo da Silva Lourenço
AuthID: R-00F-KKK
1
TÃTULO: Closure Conversion, Flat Environments, and the Complexity of Abstract Machines Full Text
AUTORES: Beniamino Accattoli; Cláudio Belo Lourenço; Dan R Ghica; Giulio Guerrieri; Claudio Sacerdoti Coen;
PUBLICAÇÃO: 2025, FONTE: PPDP
AUTORES: Beniamino Accattoli; Cláudio Belo Lourenço; Dan R Ghica; Giulio Guerrieri; Claudio Sacerdoti Coen;
PUBLICAÇÃO: 2025, FONTE: PPDP
2
TÃTULO: Why3-do: The Way of Harmonious Distributed System Proofs
AUTORES: Lourenco, Claudio Belo; Pinto, Jorge Sousa ;
PUBLICAÇÃO: 2022, FONTE: 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
AUTORES: Lourenco, Claudio Belo; Pinto, Jorge Sousa ;
PUBLICAÇÃO: 2022, FONTE: 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
TÃTULO: Automated Verification of Temporal Properties of Ladder Programs
AUTORES: Cláudio Belo Lourenço; Denis Cousineau; Florian Faissole; Claude Marché; David Mentré; Hiroaki Inoue;
PUBLICAÇÃO: 2021, FONTE: FMICS
AUTORES: Cláudio Belo Lourenço; Denis Cousineau; Florian Faissole; Claude Marché; David Mentré; Hiroaki Inoue;
PUBLICAÇÃO: 2021, FONTE: FMICS
4
TÃTULO: Explaining Counterexamples with Giant-Step Assertion Checking Full Text
AUTORES: Benedikt F H Becker; Cláudio Belo Lourenço; Claude Marché;
PUBLICAÇÃO: 2021, FONTE: F-IDE@NFM, VOLUME: 338
AUTORES: Benedikt F H Becker; Cláudio Belo Lourenço; Claude Marché;
PUBLICAÇÃO: 2021, FONTE: F-IDE@NFM, VOLUME: 338
5
TÃTULO: A generalized program verification workflow based on loop elimination and SA form
AUTORES: Cláudio Belo Lourenço; Maria João Frade ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2019, FONTE: FormaliSE@ICSE
AUTORES: Cláudio Belo Lourenço; Maria João Frade ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2019, FONTE: FormaliSE@ICSE
6
TÃTULO: GOSPEL - Providing OCaml with a Formal Specification Language
AUTORES: Arthur Charguéraud; Jean Christophe Filliâtre; Cláudio Lourenço; Mário Pereira;
PUBLICAÇÃO: 2019, FONTE: 23rd Symposium on Formal Methods, FM 2019, in the form of the 3rd World Congress on Formal Methods, 2019 in FM, VOLUME: 11800 LNCS
AUTORES: Arthur Charguéraud; Jean Christophe Filliâtre; Cláudio Lourenço; Mário Pereira;
PUBLICAÇÃO: 2019, FONTE: 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
TÃTULO: A Generalized Approach to Verification Condition Generation
AUTORES: Cláudio Belo Lourenço; Maria João Frade ; Shin Nakajima; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2018, FONTE: COMPSAC (1), VOLUME: 1
AUTORES: Cláudio Belo Lourenço; Maria João Frade ; Shin Nakajima; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2018, FONTE: COMPSAC (1), VOLUME: 1
8
TÃTULO: Single-assignment program verification
AUTORES: Cláudio Belo Lourenço;
PUBLICAÇÃO: 2018
AUTORES: Cláudio Belo Lourenço;
PUBLICAÇÃO: 2018
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP