Research

Below there is information regarding my research activities, namely publications and projects.

Publications

For a complete list of publications, check my Google Scholar profile. Author of 230 highly influential citations, according to SemanticScholar.

  • Total number of publications: 118

The following metrics were obtained from Google Scholar on November 5, 2017.

  • Citations: 2681
  • h-index: 24
  • i10-index 45
My Profile in Scientific databases:

Projects

GreenSoftwareLab - Towards an Engineering Discipline for Green Software

  • Position: Task Leader
  • Line of Attention: Programming Refactorings for Better Energy Performance
  • Partners: University of Minho, INESC TEC, University of Beira Interior, New University of Lisbon
  • Dates: April 2016 - March 2029
  • Funding: Portuguese Foundation for Science and Technology (FCT, PTD- C/EEIESS/5341/2014)

ANTAREX - AutoTuning and Adaptivity approach for Energy efficient eXascale HPC systems

  • Position: Task Leader
  • Line of Attention: Programming Models and Languages for Self-adaptivity
  • Partners: Politecnico di Milano, University of Porto, INRIA Rennes, CINECA, IT4Innovation, Sygic, ETH Zurich, Dompe ́
  • Dates: September 2015 - August 2019
  • Funding: Horizon 2020 - Research and Innovation Framework Programme, European Commission

ADAPT - A Diagnostics Approach for Persistent Threat Detection

  • Position: Task Leader
  • Line of Attention: Detection and Diagnosis of Advanced Persistent Threats
  • Partners: Galois, Inc.; PARC, Inc.; University of Edinburgh; Oregon State University
  • Dates: July 2015 - June 2018
  • Funding: Defense Advanced Research Projects Agency (DARPA)

AIMS2 - Accelerated Improvement Method Strongstep 2

  • Position: Project Member
  • Line of Attention: Aigle Software Development Methodologies
  • Partners: University of Porto; Strongstep; Match Profiler
  • Dates: December 2015 - May 2017
  • Funding: Portugal 2020 – Portuguese Innovation Agency, S.A.

AIMS - Accelerated Improvement Method Support

  • Position: Project member (work package leader)
  • Line of Attention: Platform Service
  • Partners: University of Porto, Strongstep, Multicert
  • Dates: November 2011 - October 2013
  • Funding: Portuguese Innovation Agency, S.A.

AutoSeer - Automatic generation of Test Oracles for Software Error Detection

  • Position: Project Leader
  • Line of Attention: Devising methods and techniques for automatic error detection
  • Partners: University of Porto, University of Minho, Critical Software
  • Dates: April 2012 - March 2015
  • Funding: Portuguese Foundation for Science and Technology (FCT, PTDC/EIA-CCO/116796/2010)

PBGT - Pattern-based GUI testing

  • Position: Project member (work package leader, co-submitted)
  • Line of Attention: Automating the testing phase of software applications exploiting patterns
  • Partners: University of Porto, University of Minho, TelBit
  • Dates: April 2012 - March 2015
  • Funding: Portuguese Foundation for Science and Technology (FCT, PTDC/EIA-EIA/119479/2010)

ArchDiag - Architecture-based Run-time Fault Diagnosis

  • Position: Co-Project Leader (with David Garlan)
  • Line of Attention: Methods and techniques for self-healing systems based on their architectures. 11
  • Partners: University of Porto, Carnegie Mellon University, NASA Jet Propulsion Laboratory
  • Dates: September 2011 - August 2014
  • Funding: National Science Foundation (NSF), United States of America

SSaaPP - Spreadsheets as a Programming Paradigm

  • Position: Project member
  • Line of Attention: Diagnosis of Spreadsheets, developing intuitive ways to communicate diagnostic results to end-users
  • Partners: University of Porto, University of Minho, Software Improvement Group
  • Dates: May 2005 - April 2013
  • Funding: Portuguese Foundation for Science and Technology (FCT, PTDC/EIA- CCO/108613/2008)

GZoltar

  • Position: Project Leader
  • Line of Attention: Contributed to the development and progress of GZoltar. He also promotes GZoltar by presenting the techniques at various venues and companies
  • Partners: University of Porto, Delft University of Technology
  • Dates: November 2009 - today
  • Position: Project member (PhD Student)
  • Line of Attention: Analysis and detection of imminent product failures, namely techniques for automatic error detection and diagnosis
  • Partners: NXP Semiconductors, NXP Research, Philips TASS, Philips Consumer Electronics, Delft University of Technology, Design Technology Institute/Eindhoven University of Technology, IMEC, Leiden University, Embedded Systems Institute
  • Dates: August 2005 - November 2009
  • Funding: Dutch Ministry of Economic Affairs (BSIK03021 program).