About Me


I am a research scientist at CISTER (Research Centre in Real-Time and Embedded Computing Systems), a research unit co-hosted by the Faculty of Engineering of the University of Porto (FEUP) and the School of Engineering (ISEP) of the Polytechnic Institute of Porto.

Prior to joining CISTER, I studied in Brussels at the Université Libre de Bruxelles (ULB), where I obtained my PhD in January 2013 and my Master degree in electrical engineering in 2008. 


Research Interests


My work is mostly related to the modelling and analysis of real-time and embedded systems. My research interests include scheduling on multicore and distributed systems, cache analysis, solutions for safety critical systems, real-time network and everything related to the analysis and configuration of real-time parallel applications on multicore and distributed platforms.


Students


I am currently advising the following students
I also worked with Ricardo Garibay (PhD obtained in 2016) and co-advised Sangeeth Kochanthara (who won the best Master Thesis award from IIIT-Delhi in 2017).


Research Projects

Ongoing projects

PReFECT (as Co-PI): Predictable Multiprocessor Platforms for Embedded Safety Critical Systems, (FCT grant - Portugal)
REASSURE: Secure Runtime Verification for Reliable Real-Time Embedded Software, (FCT grant - Portugal).
ENABLE-S3Novel Validation Procedures for Highly Automated Systems (ECSEL project - EU).

Past projects

P-SOCRATES: Parallel Software Framework for Time-Critical Many-core Systems (FP7 project - EU)
EMC2Embedded multi-core systems for mixed criticality applications in dynamic and changeable real-time environments (ARTEMIS project - EU)
CONCERTO (as Task Leader): Guaranteed Component Assembly with Round Trip Analysis for Energy Efficient High-integrity Multi-core Systems (ARTEMIS project - EU)


Professional Activities

Upcoming Events

Program Committee: RTAS 2019; ECRTS 2019; EMSOFT 2019 
Publication Chair: RTSS 2019

Past Events

Program Co-chair: CRTS 2016 (co-located with RTSS 2016); JRWRTC 2014 (co-located with RTNS 2014)
Publication Chair/Co-chair: RTSS 2018CPSweek 2018
Program CommitteeEMSOFT 2018RTSS 2018;  ECRTS 2018WMC 2018; Brief Presentations RTAS 2018RTNS 2017CRTS 2017WMC 2017ECRTS 2017RTAS 2017 + WiPRTCSA 2017;  ICESS 2017RTCSA 2016; ICESS 2016; WMC 2016; JRWRTC 2016; SEsCPS 2016; ICESS 2015; JRWRTC 2012
 
 

Contact

Mailing address:

CISTER Research Centre
ISEP - Instituto Superior de Engenharia do Porto
Rua Dr. António Bernardino de Almeida 431 
4249-015 Porto
Portugal 

Phone: +351 22 83 40 502