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: 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
DBLP9
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
10
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