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 | 30 | 2016 |
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 | 8 | 2015 |
GOSPEL—Providing OCaml with a Formal Specification Language A Charguéraud, JC Filliâtre, C Lourenço, M Pereira International Symposium on Formal Methods, 484-501, 2019 | 5 | 2019 |
Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach CB Lourenço, MJ Frade, JS Pinto European Symposium on Programming, 41-67, 2016 | 4 | 2016 |
Single-assignment program verification CFBS Lourenço | 3 | 2018 |
A Bounded Model Checker for SPARK Programs CB Lourenço, MJ Frade, JS Pinto International Symposium on Automated Technology for Verification and …, 2014 | 3 | 2014 |
A bounded model checker for SPARK programs CB Lourenço Master’s thesis, University of Minho, 2013 | 3 | 2013 |
A generalized program verification workflow based on loop elimination and SA form CB Lourenço, MJ Frade, JS Pinto 2019 IEEE/ACM 7th International Conference on Formal Methods in Software …, 2019 | 2 | 2019 |
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 | 2 | 2018 |
Experimenting with predicate abstraction VC Miraldo, MJ Frade, C Lourenço, JS Pinto | 2 | 2013 |
A Toolchain to Produce Verified OCaml Libraries JC Filliâtre, L Gondelman, C Lourenço, A Paskevich, M Pereira, ... | 1 | 2020 |
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 | 1 | 2015 |
SPARK-BMC: checking SPARK code for bugs C Lourenço, VC Miraldo, MJ Frade, JS Pinto Simpósio de Informática-Inforum 2013, 2013 | 1 | 2013 |
You-Know-Why: an Early-Stage Prototype of a Key Server Developed using Why3 D Diverio, C Lourenço, C Marché VerifyThis 2020-Long-term Challenge, 4--7, 2020 | | 2020 |
A Single-Assignment Translation for Annotated Programs CB Lourenço, MJ Frade, JS Pinto arXiv preprint arXiv:1601.00584, 2016 | | 2016 |