Cláudio Belo Lourenço
Cláudio Belo Lourenço
LRI, INRIA, University Paris Sud
Verified email at lri.fr
TitleCited byYear
A framework for quality assessment of ROS repositories
A Santos, A Cunha, N Macedo, C Lourenço
Intelligent Robots and Systems (IROS), 2016 IEEE/RSJ International …, 2016
132016
Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach
CB Lourenço, MJ Frade, JS Pinto
European Symposium on Programming, 41-67, 2016
42016
Studying Verification Conditions for Imperative Programs
CB Lourenço, SM Lamraoui, S Nakajima, JS Pinto
15th International Workshop on Automated Verification of Critical Systems 72, 2015
42015
A bounded model checker for SPARK programs
CB Lourenço
Master’s thesis, University of Minho, 2013
42013
A Generalized Approach to Verification Condition Generation
CB Lourenço, MJ Frade, S Nakajima, JS Pinto
2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC …, 2018
22018
A Tutorial on Verification Conditions Using Single-Assignment Form
CB Lourenço, MJ Frade, JS Pinto
unpublished draft available from http://haslab. uminho. pt/jsp), University …, 2015
12015
A Bounded Model Checker for SPARK Programs
CB Lourenço, MJ Frade, JS Pinto
International Symposium on Automated Technology for Verification and …, 2014
12014
Experimenting with predicate abstraction
VC Miraldo, MJ Frade, C Lourenço, JS Pinto
12013
GOSPEL-Providing OCaml with a Formal Specification Language
A Charguéraud, JC Filliâtre, C Lourenço, M Pereira
2019
A generalized program verification workflow based on loop elimination and SA form
CB Lourenço, MJ Frade, JS Pinto
Proceedings of the 7th International Workshop on Formal Methods in Software …, 2019
2019
A Single-Assignment Translation for Annotated Programs
CB Lourenço, MJ Frade, JS Pinto
arXiv preprint arXiv:1601.00584, 2016
2016
SPARK-BMC: checking SPARK code for bugs
C Lourenço, VC Miraldo, MJ Frade, JS Pinto
Simpósio de Informática-Inforum 2013, 2013
2013
The system can't perform the operation now. Try again later.
Articles 1–12