João Manuel dos Santos Lourenço


AuthID: R-000-742

Confirmed Publications: 84



51
TITLE: Special Session on Debugging
AUTHORS: Hollander, Y; Hu, A; Lourenço, J ; Morad, R;
PUBLISHED: 2011, SOURCE: 6th Haifa Verification Conference in HARDWARE AND SOFTWARE: VERIFICATION AND TESTING, VOLUME: 6504
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
52
TITLE: Understanding Transactional Memory (Extended Abstract)
AUTHORS: Lourenco, J ;
PUBLISHED: 2011, SOURCE: 6th Haifa Verification Conference in HARDWARE AND SOFTWARE: VERIFICATION AND TESTING, VOLUME: 6504
INDEXED IN: Scopus WOS
IN MY: ORCID
53
TITLE: Detection of Transactional Memory anomalies using static analysis
AUTHORS: Bruno C Teixeira; João Lourenço ; Eitan Farchi; Ricardo J Dias; Diogo Sousa;
PUBLISHED: 2010, SOURCE: PDATAD
INDEXED IN: Scopus DBLP CrossRef: 6
IN MY: ORCID
54
TITLE: Open virtualization framework for testing ground systems
AUTHORS: Nuno Duro; Rui Santos; João Lourenço ; Hervé Paulino ; João Martins;
PUBLISHED: 2010, SOURCE: PDATAD
INDEXED IN: Scopus DBLP CrossRef: 3
IN MY: ORCID
55
TITLE: PADTAD 2010 - International Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging: Foreword
AUTHORS: Lourenco, J ; Farchi, E; Ur, S;
PUBLISHED: 2010, SOURCE: 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
INDEXED IN: Scopus
IN MY: ORCID
56
57
TITLE: SmART: An Application Reconfiguration Framework
AUTHORS: Paulino, H ; Martins, JA; Lourenço, J ; Duro, N;
PUBLISHED: 2010, SOURCE: 1st International Conference on Complex System Design and Management (csdm 2010) in COMPLEX SYSTEMS DESIGN AND MANAGEMENT
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID
58
TITLE: Understanding Transactional Memory (Extended Abstract)
AUTHORS: João Lourenço ;
PUBLISHED: 2010, SOURCE: Hardware and Software: Verification and Testing - 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers, VOLUME: 6504
INDEXED IN: DBLP CrossRef
IN MY: ORCID | DBLP
59
TITLE: Understanding the behavior of transactional memory applications
AUTHORS: João Lourenço ; Ricardo J Dias; João Luís; Miguel Rebelo; Vasco Pessanha;
PUBLISHED: 2009, SOURCE: 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD '09, in conjunction with the International Symposium on Software Testing and Analysis, ISSTA 2009 in Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2009, Chicago, Illinois, USA, July 19-20, 2009
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
60
TITLE: Unifying Memory and Database Transactions
AUTHORS: Dias, RJ; Lourenço, JM ;
PUBLISHED: 2009, SOURCE: 15th International Euro-Par Conference on Parallel Computing in EURO-PAR 2009: PARALLEL PROCESSING, PROCEEDINGS, VOLUME: 5704
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: ORCID
Page 6 of 9. Total results: 84.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service