João Manuel dos Santos Lourenço


AuthID: R-000-742

Publicações Confirmadas: 88



51
TÍTULO: Detecting concurrency anomalies in transactional memory programs  Full Text
AUTORES: João Lourenço ; Diogo Sousa; Bruno C Teixeira; Ricardo J Dias;
PUBLICAÇÃO: 2011, FONTE: Comput. Sci. Inf. Syst., VOLUME: 8, NÚMERO: 2
INDEXADO EM: DBLP CrossRef
NO MEU: ORCID | DBLP
52
TÍTULO: Foreword
AUTORES: Lourenco, J ; Farchi, E; Ur, S;
PUBLICAÇÃO: 2011, FONTE: 9th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2011 in Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2011 - Proceedings
INDEXADO EM: Scopus
NO MEU: ORCID
53
TÍTULO: Practical verification of high-level dataraces in transactional memory programs
AUTORES: Pessanha, V; Dias, RJ; Lourenco, JM ; Farchi, E; Sousa, D;
PUBLICAÇÃO: 2011, FONTE: 9th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2011 in Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2011 - Proceedings
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
54
55
TÍTULO: Special Session on Debugging
AUTORES: Hollander, Y; Hu, A; Lourenço, J ; Morad, R;
PUBLICAÇÃO: 2011, FONTE: 6th Haifa Verification Conference in HARDWARE AND SOFTWARE: VERIFICATION AND TESTING, VOLUME: 6504
INDEXADO EM: Scopus WOS DBLP CrossRef
56
TÍTULO: Understanding Transactional Memory (Extended Abstract)
AUTORES: Lourenco, J ;
PUBLICAÇÃO: 2011, FONTE: 6th Haifa Verification Conference in HARDWARE AND SOFTWARE: VERIFICATION AND TESTING, VOLUME: 6504
INDEXADO EM: Scopus WOS
NO MEU: ORCID
57
TÍTULO: Detection of Transactional Memory anomalies using static analysis
AUTORES: Teixeira, B; Lourenco, J ; Farchi, E; Dias, R; Sousa, D;
PUBLICAÇÃO: 2010, FONTE: 8th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD'10 in PADTAD 2010 - International Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
58
TÍTULO: Open virtualization framework for testing ground systems
AUTORES: Nuno Duro; Rui Santos; João Lourenço ; Hervé Paulino ; João Martins;
PUBLICAÇÃO: 2010, FONTE: PDATAD
INDEXADO EM: Scopus DBLP CrossRef: 3
59
TÍTULO: PADTAD 2010 - International Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging: Foreword
AUTORES: Lourenco, J ; Farchi, E; Ur, S;
PUBLICAÇÃO: 2010, FONTE: 8th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD'10 in PADTAD 2010 - International Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
INDEXADO EM: Scopus
NO MEU: ORCID
60
Página 6 de 9. Total de resultados: 88.

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

Links Úteis

Ajuda

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