1
TITLE: A Framework for Quality Assessment of ROS Repositories
AUTHORS: Andre Santos ; Alcino Cunha ; Nuno Macedo ; Claudio Lourenco ;
SOURCE: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) in 2016 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS 2016), VOLUME: 2016-November, PUBLISHED: 2016
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID | DBLP
2
TITLE: A Single-Assignment Translation for Annotated Programs PDF
AUTHORS: Cláudio Belo Lourenço ; Maria João Frade ; Jorge Sousa Pinto ;
SOURCE: CoRR, VOLUME: abs/1601.00584, PUBLISHED: 2016
INDEXED IN: DBLP arXiv
IN MY: ORCID | DBLP
3
TITLE: Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach
AUTHORS: Claudio Belo Lourenco ; Maria Joao Frade ; Jorge Sousa Pinto ;
SOURCE: 25th European Symposium on Programming (ESOP) Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS) in PROGRAMMING LANGUAGES AND SYSTEMS (ESOP 2016), VOLUME: 9632, PUBLISHED: 2016
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
4
TITLE: Studying Verification Conditions for Imperative Programs  Full Text
AUTHORS: Cláudio Belo Lourenço ; Si Mohamed Lamraoui; Shin Nakajima; Jorge Sousa Pinto ;
SOURCE: ECEASST, VOLUME: 72, PUBLISHED: 2015
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
5
TITLE: A Bounded Model Checker for SPARK Programs
AUTHORS: Claudio Belo Lourenco ; Maria Joao Frade ; Jorge Sousa Pinto ;
SOURCE: 12th International Symposium on Automated Technology for Verification and Analysis (ATVA) in AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2014, VOLUME: 8837, PUBLISHED: 2014
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP