João Manuel dos Santos Lourenço


AuthID: R-000-742

Confirmed Publications: 88



51
TITLE: Detecting Concurrency Anomalies in Transactional Memory Programs  Full Text
AUTHORS: Joao Lourenco ; Diogo Sousa; Bruno Teixeira; Ricardo Dias;
PUBLISHED: 2011, SOURCE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 8, ISSUE: 2
INDEXED IN: Scopus WOS
IN MY: ORCID | ResearcherID
52
TITLE: Foreword
AUTHORS: Lourenco, J ; Farchi, E; Ur, S;
PUBLISHED: 2011, SOURCE: 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
INDEXED IN: Scopus
IN MY: ORCID
53
TITLE: Practical verification of high-level dataraces in transactional memory programs
AUTHORS: Pessanha, V; Dias, RJ; Lourenco, JM ; Farchi, E; Sousa, D;
PUBLISHED: 2011, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
54
55
TITLE: Special Session on Debugging  Full Text
AUTHORS: Yoav Hollander; Alan Hu; Joao Lourenco ; Ronny Morad;
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 | DBLP
56
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
57
TITLE: Detection of Transactional Memory anomalies using static analysis
AUTHORS: Teixeira, B; Lourenco, J ; Farchi, E; Dias, R; Sousa, D;
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 DBLP CrossRef
IN MY: ORCID | DBLP
58
TITLE: Open virtualization framework for testing Ground Systems
AUTHORS: Duro, N; Santos, R; Lourenco, J ; Paulino, H ; Martins, J;
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 DBLP CrossRef
IN MY: ORCID | DBLP
59
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
60
Page 6 of 9. Total results: 88.

footer slogan

Useful Links

Get Help

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