Publications

[1] Cláudio Belo Lourenço, Maria João Frade, Shin Nakajima, and Jorge Sousa Pinto. A generalized approach to verification condition generation. In COMPSAC (1), pages 194--203. IEEE Computer Society, 2018. [ bib ]
[2] André Santos, Alcino Cunha, Nuno Macedo, and Cláudio Lourenço. A framework for quality assessment of ROS repositories. In IROS, pages 4491--4496. IEEE, 2016. [ bib ]
[3] Cláudio Belo Lourenço, Maria João Frade, and Jorge Sousa Pinto. Formalizing single-assignment program verification: An adaptation-complete approach. In ESOP, volume 9632 of Lecture Notes in Computer Science, pages 41--67. Springer, 2016. [ bib ]
[4] Cláudio Belo Lourenço, Si-Mohamed Lamraoui, Shin Nakajima, and Jorge Sousa Pinto. Studying verification conditions for imperative programs. ECEASST, 72, 2015. [ bib ]
[5] Cláudio Belo Lourenço, Maria João Frade, and Jorge Sousa Pinto. A bounded model checker for SPARK programs. In ATVA, volume 8837 of Lecture Notes in Computer Science, pages 24--30. Springer, 2014. [ bib ]
[6] Victor Cacciari Miraldo, Maria João Frade, Cláudio Belo Lourenço, and Jorge Sousa Pinto. Experimenting with predicate abstraction. In Atas do 5º Simpósio de Informática in INForum 2013, pages 102--114, 2013. [ bib ]
[7] Cláudio Belo Lourenço, Victor Cacciari Miraldo, Maria João Frade, and Jorge Sousa Pinto. SPARK-BMC : Checking SPARK code for bugs. In Coletânea de Comunicações do 5º Simpósio de Informática in INForum 2013, pages 242--253, 2013. [ bib ]

This content was generated by bibtex2html 1.99.


DBLP Google Scholar