Cláudio Filipe Belo da Silva Lourenço
AuthID: R-00F-KKK
1
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
2
TÃTULO: Automated formal analysis of temporal properties of Ladder programs
AUTORES: Cláudio Belo Lourenço; Denis Cousineau; Florian Faissole; Claude Marché; David Mentré; Hiroaki Inoue;
PUBLICAÇÃO: 2022, FONTE: Int. J. Softw. Tools Technol. Transf., VOLUME: 24, NÚMERO: 6
AUTORES: Cláudio Belo Lourenço; Denis Cousineau; Florian Faissole; Claude Marché; David Mentré; Hiroaki Inoue;
PUBLICAÇÃO: 2022, FONTE: Int. J. Softw. Tools Technol. Transf., VOLUME: 24, NÚMERO: 6
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP3
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: Formal Methods for Industrial Critical Systems - 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings, VOLUME: 12863
AUTORES: Cláudio Belo Lourenço; Denis Cousineau; Florian Faissole; Claude Marché; David Mentré; Hiroaki Inoue;
PUBLICAÇÃO: 2021, FONTE: Formal Methods for Industrial Critical Systems - 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings, VOLUME: 12863
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP4
TÃTULO: Explaining Counterexamples with Giant-Step Assertion Checking
AUTORES: Benedikt F H Becker; Cláudio Belo Lourenço; Claude Marché;
PUBLICAÇÃO: 2021, FONTE: CoRR, VOLUME: abs/2108.02967
AUTORES: Benedikt F H Becker; Cláudio Belo Lourenço; Claude Marché;
PUBLICAÇÃO: 2021, FONTE: CoRR, VOLUME: abs/2108.02967
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP5
TÃTULO: Explaining Counterexamples with Giant-Step Assertion Checking Full Text
AUTORES: Benedikt Becker; Cláudio Belo Lourenço; Claude Marché;
PUBLICAÇÃO: 2021, FONTE: Electronic Proceedings in Theoretical Computer Science, VOLUME: 338
AUTORES: Benedikt Becker; Cláudio Belo Lourenço; Claude Marché;
PUBLICAÇÃO: 2021, FONTE: Electronic Proceedings in Theoretical Computer Science, VOLUME: 338
6
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: Formal Methods for Industrial Critical Systems - Lecture Notes in Computer Science
AUTORES: Cláudio Belo Lourenço; Denis Cousineau; Florian Faissole; Claude Marché; David Mentré; Hiroaki Inoue;
PUBLICAÇÃO: 2021, FONTE: Formal Methods for Industrial Critical Systems - Lecture Notes in Computer Science
7
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: 7th IEEE/ACM International Workshop on Formal Methods in Software Engineering, FormaliSE 2019 in Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, May 27, 2019.
AUTORES: Cláudio Belo Lourenço; Maria João Frade ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2019, FONTE: 7th IEEE/ACM International Workshop on Formal Methods in Software Engineering, FormaliSE 2019 in Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, May 27, 2019.
8
TÃTULO: GOSPEL—providing OCaml with a formal specification language
AUTORES: Charguéraud, A; Filliâtre, JC; Lourenço, C; Pereira, M;
PUBLICAÇÃO: 2019, FONTE: 23rd Symposium on Formal Methods, FM 2019, in the form of the 3rd World Congress on Formal Methods, 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11800 LNCS
AUTORES: Charguéraud, A; Filliâtre, JC; Lourenço, C; Pereira, M;
PUBLICAÇÃO: 2019, FONTE: 23rd Symposium on Formal Methods, FM 2019, in the form of the 3rd World Congress on Formal Methods, 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11800 LNCS
9
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: Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, VOLUME: 11800
AUTORES: Arthur Charguéraud; Jean Christophe Filliâtre; Cláudio Lourenço; Mário Pereira;
PUBLICAÇÃO: 2019, FONTE: Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, VOLUME: 11800
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP10
TÃTULO: A Generalized Approach to Verification Condition Generation Full Text
AUTORES: Cláudio Belo Lourenço; Maria João Frade ; Shin Nakajima; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2018, FONTE: 42nd IEEE Computer Software and Applications Conference, COMPSAC 2018 in 2018 IEEE 42nd Annual Computer Software and Applications Conference, COMPSAC 2018, Tokyo, Japan, 23-27 July 2018, Volume 1, VOLUME: 1
AUTORES: Cláudio Belo Lourenço; Maria João Frade ; Shin Nakajima; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2018, FONTE: 42nd IEEE Computer Software and Applications Conference, COMPSAC 2018 in 2018 IEEE 42nd Annual Computer Software and Applications Conference, COMPSAC 2018, Tokyo, Japan, 23-27 July 2018, Volume 1, VOLUME: 1
