Cláudio Filipe Belo da Silva Lourenço


AuthID: R-00F-KKK

Publicações Confirmadas: 5



1
TÍTULO: A Framework for Quality Assessment of ROS Repositories
AUTORES: Andre Santos ; Alcino Cunha ; Nuno Macedo ; Claudio Lourenco ;
PUBLICAÇÃO: 2016, FONTE: 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
INDEXADO EM: Scopus WOS DBLP CrossRef: 11
NO MEU: ORCID | DBLP
2
TÍTULO: A Single-Assignment Translation for Annotated Programs PDF
AUTORES: Cláudio Belo Lourenço ; Maria João Frade ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2016, FONTE: CoRR, VOLUME: abs/1601.00584
INDEXADO EM: DBLP arXiv
NO MEU: ORCID | DBLP
3
TÍTULO: Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach
AUTORES: Claudio Belo Lourenco ; Maria Joao Frade ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2016, FONTE: 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
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
4
TÍTULO: Studying Verification Conditions for Imperative Programs  Full Text
AUTORES: Cláudio Belo Lourenço ; Si Mohamed Lamraoui; Shin Nakajima; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2015, FONTE: ECEASST, VOLUME: 72
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP
5
TÍTULO: A Bounded Model Checker for SPARK Programs
AUTORES: Claudio Belo Lourenco ; Maria Joao Frade ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2014, FONTE: 12th International Symposium on Automated Technology for Verification and Analysis (ATVA) in AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2014, VOLUME: 8837
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service