1
TÍTULO: Special issue on testing, analysis and debugging of concurrent programs  Full Text
AUTORES: Eitan Farchi; Robert M Hierons; Joao Lourenco;
PUBLICAÇÃO: 2015, FONTE: SOFTWARE TESTING VERIFICATION & RELIABILITY, VOLUME: 25, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef
2
TÍTULO: Special Track on Multicore Software Engineering, Performance, Applications, and Tools (MUSEPAT)
AUTORES: Bradbury, JS; Farchi, E; Lourenço, J;
PUBLICAÇÃO: 2015, FONTE: 30th Annual ACM Symposium on Applied Computing, SAC 2015 in Proceedings of the ACM Symposium on Applied Computing, VOLUME: 13-17-April-2015
INDEXADO EM: Scopus
3
TÍTULO: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
AUTORES: Lourenco, JM ; Farchi, E;
PUBLICAÇÃO: 2013, FONTE: International Conference on Multicore Software Engineering, Performance, and Tools, MUSEPAT 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8063 LNCS
INDEXADO EM: Scopus
4
TÍTULO: Using program closures to make an application programming interface (API) implementation thread safe
AUTORES: Farchi, E; Segall, I; Lourenco, JM ; Sousa, D;
PUBLICAÇÃO: 2012, FONTE: 2012 10th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2012 in 2012 10th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2012 - Proceedings
INDEXADO EM: Scopus
5
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
6
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
8
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
9
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