Cláudio Filipe Belo da Silva Lourenço
AuthID: R-00F-KKK
1
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
2
TITLE: Automated formal analysis of temporal properties of Ladder programs
AUTHORS: Cláudio Belo Lourenço; Denis Cousineau; Florian Faissole; Claude Marché; David Mentré; Hiroaki Inoue;
PUBLISHED: 2022, SOURCE: Int. J. Softw. Tools Technol. Transf., VOLUME: 24, ISSUE: 6
AUTHORS: Cláudio Belo Lourenço; Denis Cousineau; Florian Faissole; Claude Marché; David Mentré; Hiroaki Inoue;
PUBLISHED: 2022, SOURCE: Int. J. Softw. Tools Technol. Transf., VOLUME: 24, ISSUE: 6
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP3
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: Formal Methods for Industrial Critical Systems - 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings, VOLUME: 12863
AUTHORS: Cláudio Belo Lourenço; Denis Cousineau; Florian Faissole; Claude Marché; David Mentré; Hiroaki Inoue;
PUBLISHED: 2021, SOURCE: Formal Methods for Industrial Critical Systems - 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings, VOLUME: 12863
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP4
TITLE: Explaining Counterexamples with Giant-Step Assertion Checking
AUTHORS: Benedikt F H Becker; Cláudio Belo Lourenço; Claude Marché;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2108.02967
AUTHORS: Benedikt F H Becker; Cláudio Belo Lourenço; Claude Marché;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2108.02967
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP5
TITLE: Explaining Counterexamples with Giant-Step Assertion Checking Full Text
AUTHORS: Benedikt Becker; Cláudio Belo Lourenço; Claude Marché;
PUBLISHED: 2021, SOURCE: Electronic Proceedings in Theoretical Computer Science, VOLUME: 338
AUTHORS: Benedikt Becker; Cláudio Belo Lourenço; Claude Marché;
PUBLISHED: 2021, SOURCE: Electronic Proceedings in Theoretical Computer Science, VOLUME: 338
6
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: Formal Methods for Industrial Critical Systems - Lecture Notes in Computer Science
AUTHORS: Cláudio Belo Lourenço; Denis Cousineau; Florian Faissole; Claude Marché; David Mentré; Hiroaki Inoue;
PUBLISHED: 2021, SOURCE: Formal Methods for Industrial Critical Systems - Lecture Notes in Computer Science
7
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: 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.
AUTHORS: Cláudio Belo Lourenço; Maria João Frade ; Jorge Sousa Pinto ;
PUBLISHED: 2019, SOURCE: 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
TITLE: GOSPEL—providing OCaml with a formal specification language
AUTHORS: Charguéraud, A; Filliâtre, JC; Lourenço, C; Pereira, M;
PUBLISHED: 2019, SOURCE: 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
AUTHORS: Charguéraud, A; Filliâtre, JC; Lourenço, C; Pereira, M;
PUBLISHED: 2019, SOURCE: 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
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: Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, VOLUME: 11800
AUTHORS: Arthur Charguéraud; Jean Christophe Filliâtre; Cláudio Lourenço; Mário Pereira;
PUBLISHED: 2019, SOURCE: Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, VOLUME: 11800
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP10
TITLE: A Generalized Approach to Verification Condition Generation Full Text
AUTHORS: Cláudio Belo Lourenço; Maria João Frade ; Shin Nakajima; Jorge Sousa Pinto ;
PUBLISHED: 2018, SOURCE: 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
AUTHORS: Cláudio Belo Lourenço; Maria João Frade ; Shin Nakajima; Jorge Sousa Pinto ;
PUBLISHED: 2018, SOURCE: 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
