Eitan Farchi
AuthID: R-006-E1X
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
AUTORES: Eitan Farchi; Robert M Hierons; Joao Lourenco;
PUBLICAÇÃO: 2015, FONTE: SOFTWARE TESTING VERIFICATION & RELIABILITY, VOLUME: 25, NÚMERO: 3
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
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
Scopus3
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
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
Scopus4
TÃTULO: Multicore Software Engineering, Performance, and Tools. International Conference, MUSEPAT 2013, Saint Petersburg, Russia, August 19-20, 2013, Proceedings
AUTORES: João M Lourenço; Eitan Farchi;
PUBLICAÇÃO: 2013
AUTORES: João M Lourenço; Eitan Farchi;
PUBLICAÇÃO: 2013
INDEXADO EM: 
Openlibrary
Openlibrary5
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
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
Scopus6
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
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
7
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
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
Scopus8
TÃTULO: Proceedings of the 9th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2011, Toronto, ON, Canada, July 17-21, 2011
AUTORES: João Lourenço ; Eitan Farchi;
PUBLICAÇÃO: 2011, FONTE: PADTAD
AUTORES: João Lourenço ; Eitan Farchi;
PUBLICAÇÃO: 2011, FONTE: PADTAD
INDEXADO EM: 
DBLP
DBLP9
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
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
Scopus10
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
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
