Scientific Activities
- Posters and Informal Demonstrations at the 34th International Conference on Software Engineering (ICSE'12), 2012 (Program committee member)
- 27th Annual ACM Symposium on Applied Computing - SE Track (SAC/SE), 2012 (Program committee member)
- 22nd International Workshop on Principles of Diagnosis (DX'11), 2011 (Program committee member)
- Third International Diagnostic Competition (DXC-2011), 2011 (Organizer)
- 6th Doctoral Symposium in Informatics Engineering (DSIE'11), 2011 (Program committee member)
- 1st Workshop on Formal Methods in the Development of Software (WS-FMDS), 2011 (Program committee member)
- 26th Annual ACM Symposium on Applied Computing - SE Track (SAC/SE), 2011 (Program committee member)
- 1st International Workshop on Testing and Debugging (TeBug2011), 2011 (General co-chair)
- 2011 African Conference on Software Engineering & Applied Computing (ACSEAC'11), 2011 (Program committe member)
- 21st International Workshop on the Principles of Diagnosis (DX'10), 2010 (Program committee member)
- 7th International Conference on the Quality of Information and Communications Technology (QUATIC'10) - Quality in ICT Validation & Verification Track, 2010 (Program committee member)
- The Testing: Academic and Industrial Conference - Practice and Research Techniques (TAIC PART'10), 2010 (Program committee member)
- 5th Doctoral Symposium in Informatics Engineering (DSIE'10), 2010 (Program committee member)
Reviewer
- Transactions on Software Engineering and Methodology (TOSEM), 2011
- Journal of Systems and Software (JSS), 2011
- Special Issue on selected papers of the TAIC PART 2010 conference of the Software: Practice and Experience (SPE), 2011
- Special Issue on Analysis and Testing of Embedded Software of the Journal of Systems and Software (JSS), 2011
- Special Issue on Model-Based Testing for Embedded and Real-Time Communication Systems (MBT4ERTCS) of the International Journal of Embedded and Real-time Communication Systems (IJERTCS), 2010
- IEEE Working Conference on Mining Software Repositories (MSR'10), 2010
- Applied Mathematics Letters, Elsevier, 2010
- IEEE International Conference on Software Maintenance (ICSM'09), 2009
- International Workshop on Principles of Diagnosis (DX'09), 2009
- IEEE International Conference on Program Comprehension (ICPC'09), 2009
- International Conference On Evaluation Novel Approaches to Software Engineering (ENASE'08), 2008
- IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'06), 2006
Students
I am having the privilege of supervising the following PhD students:
- Nuno Cardoso
- André Riboira
I've had / am having the privilege of supervising the following MSc students:
- Alexandre Perez (FEUP): Dynamic Code Coverage with Progressive Detail Levels (in progress)
- João Santos (FEUP): Automatic Error Detection Using Program Invariants for Fault Localization (in progress)
- Afonso Graça (FEUP/BME): Peer to Peer Multicast Overlay for Smart Content Delivery (in progress)
- José Carlos Campos (FEUP): Testing and Debugging Combined, February 2012
- João Sousa (FEUP/Fraunhofer Portugal): Development Of Services and Applications for Set-Top Boxes in Ambient Assisted Living Environments, June 2011
- Shekhar Gupta (TUDelft): Applying SFL to logic circuits, May 2011
- André Riboira (FEUP): GZoltar: A Graphical Debugger Interface (web), February 2011
- Hélder Branco (FEUP/I2S): Autonomic Computing: Processamento de Eventos, July 2010
- Rui Azevedo (FEUP/I2S): Monitorização Integrada de Aplicações Empresariais, July 2010
- Marcelo Barreira (FEUP/I2S): Autonomic Computing – Registo de Eventos, July 2010
- Ricardo Castilho (FEUP/TUDelft): Reducing Screened Program Points for Efficient Error Detection, July 2010
- André Cunha (FEUP/TUDelft): An Empirical Investigation of Source Code Metrics and FindBugs Warnings, July 2010
- Michel Wilson (TUDelft): Bacinol: Bayesian Circuit Analysis by Topology, February 2010
- Ricardo Gonzalez (TUDelft/UValladolid): Applying SFL Diagnosis to CIG, September 2009
- Mario Plasencia (TUDelft/UValladolid): Automatic Error Detection Techniques Based on Bloom Filters, February 2008
- Alberto González Sanchez (TUDelft/UValladolid): Automatic Error Detection Techniques Based on Dynamic Invariants, August 2007
- Rafi Vayani (TUDelft): Improving Automatic Software Fault Localization, July 2007. (best TUDelft/EWI MSc Thesis Award)