???global.info.a_carregar???
Short bio: Nelissen Geoffrey completed his PhD in 2013 and Master in Electrical engineering in 2008 at the Université Libre de Bruxelles (ULB), Belgium. He is Assistant Professor at TU Eindhoven in the Mathematics and Computer Science department. He published 12 articles in journals and 30+ publications in renown conferences. He is co-supervises 1 PhD thesis. Has received 5 awards and/or honors. Participated in several projects funded by the European Commission and the Portuguese FCT. Work description: My work is essentially articulated around the analysis and design of real-time embedded computing systems. Embedded systems have evolved from simple processors executing a few tasks to become parts of large cyber-physical systems composed of several nodes interconnected by complex communication networks. This constant growth of the complexity of embedded systems is not expected to slow down as there is an increasing demand from consumers for smarter, more autonomous, more connected and more integrated features. Concurrently, there is a drive from the industry to introduce new technologies (e.g., multicore processors, Ethernet technologies) in their products. These new components introduce yet new sources of interference (e.g., through memories, caches, switches) between tasks executing on the same or different processing nodes. Models and analyses must therefore be developed to consider the impact of these new trends on the timing properties of each individual application. Those models and analyses can then be used to develop new design methodologies for improving the predictability, efficiency and/or quality of service (QoS) of modern CPSs. I organised my research around the following focal points: (1) The design of real-time scheduling algorithms for new computing architectures, including but not limited to multicore processors, Network-on-Chips and distributed systems. (2) Analyses of real-time scheduling protocols, providing safe bounds on application response times on processors and in distributed systems, and transmission times of messages in networks, whilst considering the impact of the computing architecture on those timing properties. (3) Run-time verification of functional and timing properties of safety critical systems to check if system requirements are respected during the runtime and trigger counter-measures if errors or faults are detected. (4) Implementation and integration of algorithms, protocols and services in real-time operating systems. This means that my research spans from the high level modelling of real-time systems to the actual implementation of protocols and algorithms in operating systems micro-kernels. My work resulted so far in 12 journal publications and 30+ papers published in peer-reviewed conferences, among which 4 received outstanding or best paper awards. Several of those works result from international collaborations with renown research institutions (among others: Max Planck Institute for Software Systems, University of York, University of Amsterdam and INRIA).
Ler resumo completo ↓
Identificação

Identificação pessoal

Nome completo
Geoffrey Nelissen

Nomes de citação

  • Geoffrey, Nelissen

Identificadores de autor

Ciência ID
E51E-C723-0D77
ORCID iD
0000-0003-4141-6718

Websites

Domínios de atuação

  • Ciências da Engenharia e Tecnologias - Engenharia Eletrotécnica, Eletrónica e Informática - Hardware e Arquitetura de Computadores
  • Ciências Exatas - Ciências da Computação e da Informação

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Francês Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1)
Inglês Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1)
Formação
Grau Classificação
2013
Concluído
 Doctorat en sciences the l'ingénieur (Doktor (PhD))
Université Libre de Bruxelles, Bélgica
"Efficient Optimal Multiprocessor Scheduling Algorithms for Real-Time Systems" (TESE/DISSERTAÇÃO)
 N/A
2003/09 - 2008/07
Concluído
 Ingénieur civil électricien (Electrical engineering) (Master)
Especialização em Electronic
Université Libre de Bruxelles, Bélgica
"Implémentation d'un calculateur RPN sur base d'algorithmes CORDIC en virgule folttante décimale sur une plate-forme FPGA" (TESE/DISSERTAÇÃO)
 Greatest honor
Percurso profissional

Ciência

Categoria Profissional
Instituição de acolhimento 		Empregador
2019/03 - 2020/02 Investigador Auxiliar (carreira) (Investigação) Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
2013 - 2019/02 Investigador (Investigação) Instituto Politécnico do Porto Centro de Investigação em Sistemas Computacionais Embebidos e de Tempo-Real, Portugal

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2020/03 - Atual Professor Auxiliar (Docente Universitário) Technische Universiteit Eindhoven Faculty of Mathematics and Computer Science, Países Baixos
Projetos

Bolsa

Designação Financiadores
2019 - 2020/02 THERMAC: Thermal-aware Resource Management for Modern Computing Platforms in the Next Generation of Aircraft
Clean Sky 2 H2020-CS2-CFP08-2018-01 nr. 832011
Investigador responsável
Em curso
2018 - 2020/02 PReFECT: Predictable Multiprocessor Platforms for Embedded Safety Critical Systems
POCI-01-0145-FEDER-029119
Investigador responsável
Fundação para a Ciência e a Tecnologia
Em curso
2018 - 2020/02 REASSURE: Secure Runtime Verification for Reliable Real-Time Embedded Software
NORTE-01-0145-FEDER-028550
Investigador
Em curso
2016 - 2017 P-SOCRATES: Parallel Software framework for time-critical many-core systems
FP7-ICT-611016
Investigador
2015 - 2017 EMC2: Embedded multi-core systems for mixed criticality applications in dynamic and changeable real-time environments
JU grant nr. 621429 | ARTEMIS/0001/2013
Bolseiro de Investigação
Concluído
2013 - 2016 CONCERTO: Guaranteed Component Assembly with Round Trip Analysis for Energy Efficient High-Integrity Multi-core Systems
JU grant nr. 333053 ARTEMIS/0003/2012
Bolseiro de Investigação
Concluído
Produções

Publicações

Artigo em conferência
  1. Sayra Ranjha; Mitra Nasri; Geoffrey Nelissen. "Work-in-Progress: Partial-Order Reduction in Reachability-based Response-Time Analyses". Trabalho apresentado em 2021 IEEE 42nd Real-Time Systems Symposium, 2021.
    10.1109/RTSS52674.2021.00061
  2. González, Y.R.; Nelissen, G.; Tovar, E.. "nDimNoC: Real-time D-dimensional NoC". 2021.
    10.4230/LIPIcs.ECRTS.2021.5
  3. Aromolo, F.; Biondi, A.; Nelissen, G.; Buttazzo, G.. "Event-driven delay-induced tasks: Model, analysis, and applications". 2021.
    10.1109/RTAS52030.2021.00013
  4. Arora, J.; Maia, C.; Aftab Rashid, S.; Nelissen, G.; Tovar, E.. "Bus-Contention Aware Schedulability Analysis for the 3-Phase Task Model with Partitioned Scheduling". 2021.
    10.1145/3453417.3453433
  5. Benny Akesson; Mitra Nasri; Geoffrey Nelissen; S. Altmeyer; R.I. Davis. "An Empirical Survey-based Study into Industry Practice in Real-time Systems". 2020.
    10.1109/RTSS49844.2020.00012
  6. Daniel Casini; Alessandro Biondi; Geoffrey Nelissen; Giorgio Buttazzo. "A Holistic Memory Contention Analysis for Parallel Real-Time Tasks under Partitioned Scheduling". 2020.
    10.1109/RTAS48715.2020.000-3
  7. Rashid, S.A.; Nelissen, G.; Tovar, E.. "Cache Persistence-Aware Memory Bus Contention Analysis for Multicore Systems". 2020.
    10.23919/DATE48585.2020.9116265
  8. Nogd, S.; Nelissen, G.; Nasri, M.; Brandenburg, B.B.. "Response-Time Analysis for Non-Preemptive Global Scheduling with FIFO Spin Locks". 2020.
    10.1109/RTSS49844.2020.00021
  9. Carvalho, H.; Nelissen, G.; Zaykov, P.. "McQEMU: Time-Accurate Simulation of Multi-core platforms using QEMU". 2020.
    10.1109/DSD51259.2020.00024
  10. Rashid, S.A.; Nelissen, G.; Tovar, E.. "Bounding cache persistence reload overheads for set-associative caches". 2020.
    10.1109/RTCSA50079.2020.9203583
  11. Arora, J.; Maia, C.; Rashid, S.A.; Nelissen, G.; Tovar, E.. "Work-In-Progress: WCRT Analysis for the 3-Phase Task Model in Partitioned Scheduling". 2020.
    10.1109/RTSS49844.2020.00050
  12. Nelissen, G.; Biondi, A.. "The SRP Resource Sharing Protocol for Self-Suspending Tasks". 2019.
    10.1109/RTSS.2018.00051
  13. Casini, D.; Biondi, A.; Nelissen, G.; Buttazzo, G.. "Partitioned Fixed-Priority Scheduling of Parallel Tasks Without Preemptions". 2019.
    10.1109/RTSS.2018.00056
  14. Casini, D.; Biondi, A.; Nelissen, G.; Buttazzo, G.. "Memory Feasibility Analysis of Parallel Tasks Running on Scratchpad-Based Architectures". 2019.
    10.1109/RTSS.2018.00047
  15. Nasri, M.; Nelissen, G.; Brandenburg, B.B.. "Response-time analysis of limited-preemptive parallel DAG tasks under global scheduling". 2019.
    10.4230/LIPIcs.ECRTS.2019.21
  16. Saranya Natarajan; Mitra Nasri; David Broman; Björn Brandenburg; Geoffrey, Nelissen. "From Code to Weakly Hard Constraints: A Pragmatic End-to-End Toolchain for Timed C". Trabalho apresentado em IEEE Real-Time Systems Symposium, 2019.
    10.1109/RTSS46320.2019.00025
  17. Rashid, S.A.; Nelissen, G.; Altmeyer, S.; Davis, R.I.; Tovar, E.. "Integrated Analysis of Cache Related Preemption Delays and Cache Persistence Reload Overheads". 2018.
    10.1109/RTSS.2017.00025
  18. Rashid, S.A.; Nelissen, G.; Tovar, E.. "Trading between intra-and inter-task cache interference to improve schedulability". 2018.
    10.1145/3273905.3273924
  19. Nasri, M.; Nelissen, G.; Brandenburg, B.B.. "A response-time analysis for non-preemptive job sets under global scheduling". 2018.
    10.4230/LIPIcs.ECRTS.2018.9
  20. Cerqueira, F.; Nelissen, G.; Brandenburg, B.B.. "On strong and weak sustainability, with an application to self-suspending real-time tasks". 2018.
    10.4230/LIPIcs.ECRTS.2018.26
  21. Maia, C.; Nelissen, G.; Nogueira, L.; Pinho, L.M.; Perez, D.G.. "Schedulability analysis for global fixed-priority scheduling of the 3-phase task model". 2017.
    10.1109/RTCSA.2017.8046313
  22. Fonseca, J.; Nelissen, G.; Nélis, V.. "Improved response time analysis of sporadic dag tasks for global FP scheduling". 2017.
    10.1145/3139258.3139288
  23. Nasri, M.; Nelissen, G.; Fohler, G.. "A New Approach for Limited Preemptive Scheduling in Systems with Preemption Overhead". 2016.
    10.1109/ECRTS.2016.15
  24. Rashid, S.A.; Nelissen, G.; Hardy, D.; Akesson, B.; Puaut, I.; Tovar, E.. "Cache-Persistence-Aware Response-Time Analysis for Fixed-Priority Preemptive Systems". 2016.
    10.1109/ECRTS.2016.25
  25. Chen, J.-J.; Nelissen, G.; Huang, W.-H.. "A Unifying Response Time Analysis Framework for Dynamic Self-Suspending Tasks". 2016.
    10.1109/ECRTS.2016.31
  26. Fonseca, J.; Nelissen, G.; Nelis, V.; Pinho, L.M.. "Response time analysis of sporadic DAG tasks under partitioned scheduling". 2016.
    10.1109/SIES.2016.7509443
  27. Rashid, S.A.; Nelissen, G.; Tovar, E.. "Integrating the calculation of preemption and persistence related cache overhead". 2016.
    10.1109/RTSS.2016.045
  28. Kochanthara, S.; Nelissen, G.; Pereira, D.; Purandare, R.. "REVERT: Runtime Verification for Real-Time Systems". 2016.
    10.1109/RTSS.2016.044
  29. Garibay-Martínez, R.; Nelissen, G.; Ferreira, L.L.; Pinho, L.M.. "Allocation of parallel real-time tasks in distributed multi-core architectures supported by an FTT-SE network". Trabalho apresentado em International Conference on Architecture of Computing Systems, 2015.
    10.1007/978-3-319-16086-3_18
  30. Nelissen, G.; Pereira, D.; Pinho, L.M.. "A novel run-time monitoring architecture for safe and efficient inline monitoring". Trabalho apresentado em Ada-Europe International Conference on Reliable Software Technologies, 2015.
    10.1007/978-3-319-19584-1_5
  31. Baldovin, A.; Zovi, A.; Nelissen, G.; Puri, S.. "The CONCERTO methodology for model-based development of avionics software". Trabalho apresentado em Ada-Europe International Conference on Reliable Software Technologies, 2015.
    10.1007/978-3-319-19584-1_9
  32. Nelissen, G.; Fonseca, J.; Raravi, G.; Nelis, V.. "Timing Analysis of Fixed Priority Self-Suspending Sporadic Tasks". 2015.
    10.1109/ECRTS.2015.15
  33. Esper, A.; Nelissen, G.; Nélis, V.; Tovar, E.. "How realistic is the mixed-criticality real-time system model?". 2015.
    10.1145/2834848.2834869
  34. Garibay-Martinez, R.; Nelissen, G.; Ferreira, L.L.; Pedreiras, P.; Pinho, L.M.. "Holistic analysis for fork-join distributed tasks supported by the FTT-SE protocol". 2015.
    10.1109/WFCS.2015.7160571
  35. Baldovin, A.; Nelissen, G.; Vardanega, T.; Tovar, E.. "SPRINT: Extending RUN to schedule sporadic tasks". 2014.
    10.1145/2659787.2659828
  36. Allard, Y.; Nelissen, G.; Goossens, J.; Milojevic, D.. "A context aware cache controller to bridge the gap between theory and practice in real-time systems". 2014.
    10.1109/RTCSA.2014.6910503
  37. Garibay-Martinez, R.; Nelissen, G.; Lino Ferreira, L.; Pinho, L.M.. "On the scheduling of fork-join parallel/distributed real-time tasks". 2014.
    10.1109/SIES.2014.6871184
  38. Santy, F.; Raravi, G.; Nelissen, G.; Nelis, V.; Kumar, P.; Goossens, J.; Tovar, E.. "Two protocols to reduce the criticality level of multiprocessor mixed-criticality systems". 2013.
    10.1145/2516821.2516834
  39. Nelissen, G.; Berten, V.; Nélis, V.; Goossens, J.; Milojevic, D.. "U-EDF: An unfair but optimal multiprocessor scheduling algorithm for sporadic tasks". 2012.
    10.1109/ECRTS.2012.36
  40. Nelissen, G.; Funk, S.; Goossens, J.. "Reducing preemptions and migrations in EKG". 2012.
    10.1109/RTCSA.2012.47
  41. Nelissen, G.; Berten, V.; Goossens, J.; Milojevic, D.. "Techniques optimizing the number of processors to schedule multi-threaded tasks". 2012.
    10.1109/ECRTS.2012.37
  42. Nelissen, G.; Berten, V.; Goossens, J.; Milojevic, D.. "Reducing preemptions and migrations in real-time multiprocessor scheduling algorithms by releasing the fairness". 2011.
    10.1109/RTCSA.2011.57
Artigo em revista
  1. Jatin Arora; Cláudio Maia; Syed Aftab Rashid; Geoffrey Nelissen; Eduardo Tovar. "Bus-contention aware WCRT analysis for the 3-phase task model considering a work-conserving bus arbitration scheme". Journal of Systems Architecture 122 (2022): 102345-102345. https://doi.org/10.1016/j.sysarc.2021.102345.
    10.1016/j.sysarc.2021.102345
  2. Syed Aftab Rashid; Geoffrey Nelissen; Eduardo Tovar. "Tightening the CRPD bound for multilevel non-inclusive caches". Journal of Systems Architecture 122 (2022): 102340-102340. https://doi.org/10.1016/j.sysarc.2021.102340.
    10.1016/j.sysarc.2021.102340
  3. Yilian Ribot Gonzalez; Geoffrey Nelissen. "HopliteRT*: Real-Time NoC for FPGA". IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 39 11 (2020): 3650-3661. https://research.tue.nl/en/publications/5335f98c-8ebb-468d-972b-b0967a125bc6.
    10.1109/TCAD.2020.3012748
  4. Jian-Jia Chen; Geoffrey Nelissen; Wen-Hung Huang; Maolin Yang; Björn Brandenburg; Konstantinos Bletsas; Cong Liu; et al. "Many suspensions, many problems: a review of self-suspending tasks in real-time systems". Real-Time Systems 55 1 (2019): 144-207. https://doi.org/10.1007/s11241-018-9316-9.
    10.1007/s11241-018-9316-9
  5. Gujarati, A.; Cerqueira, F.; Brandenburg, B.B.; Nelissen, G.. "Correspondence article: a correction of the reduction-based schedulability analysis for APA scheduling". Real-Time Systems 55 1 (2019): 136-143. http://www.scopus.com/inward/record.url?eid=2-s2.0-85051723454&partnerID=MN8TOARS.
    10.1007/s11241-018-9315-x
  6. Fonseca, J.; Nelissen, G.; Nélis, V.. "Schedulability analysis of DAG tasks with arbitrary deadlines under global fixed-priority scheduling". Real-Time Systems (2019): http://www.scopus.com/inward/record.url?eid=2-s2.0-85061722840&partnerID=MN8TOARS.
    10.1007/s11241-018-09325-5
  7. Esper, A.; Nelissen, G.; Nélis, V.; Tovar, E.. "An industrial view on the common academic understanding of mixed-criticality systems". Real-Time Systems 54 3 (2018): 745-795. http://www.scopus.com/inward/record.url?eid=2-s2.0-85046766298&partnerID=MN8TOARS.
    10.1007/s11241-018-9308-9
  8. Konstantinos Bletsas; Neil C. Audsley; Wen-Hung Huang; Jian Chen; Geoffrey Nelissen. "Errata for Three Papers (2004-05) on Fixed-Priority Scheduling with Self-Suspensions". Leibniz Transactions on Embedded Systems 5 1 (2018): 02:1-02:20. https://research.tue.nl/en/publications/9607d49d-daea-4d66-9075-2a0ee83e795c.
    10.4230/LITES-v005-i001-a002
  9. Awan, M.A.; Nelissen, G.; Yomsi, P.M.; Petters, S.M.. "Online slack consolidation in global-EDF for energy consumption minimisation". Journal of Systems Architecture 63 (2016): 1-15. http://www.scopus.com/inward/record.url?eid=2-s2.0-84957031038&partnerID=MN8TOARS.
    10.1016/j.sysarc.2016.01.001
  10. Godard, W.; Nelissen, G.. "Model-based design and schedulability analysis for avionic applications on multicore platforms". Ada User Journal 37 3 (2016): 157-163. http://www.scopus.com/inward/record.url?eid=2-s2.0-84997113345&partnerID=MN8TOARS.
  11. Garibay-Martinez, R.; Nelissen, G.; Ferreira, L.L.; Pedreiras, P.; Pinho, L.M.. "Improved Holistic Analysis for Fork-Join Distributed Real-Time Tasks Supported by the FTT-SE Protocol". IEEE Transactions on Industrial Informatics 12 5 (2016): 1865-1876. http://www.scopus.com/inward/record.url?eid=2-s2.0-85027017888&partnerID=MN8TOARS.
    10.1109/TII.2016.2603461
  12. Awan, M.A.; Yomsi, P.M.; Nelissen, G.; Petters, S.M.. "Energy-aware task mapping onto heterogeneous platforms using DVFS and sleep states". Real-Time Systems 52 4 (2016): 450-485. http://www.scopus.com/inward/record.url?eid=2-s2.0-84938717829&partnerID=MN8TOARS.
    10.1007/s11241-015-9236-x
  13. Garibay-Martínez, R.; Nelissen, G.; Ferreira, L.L.; Pinho, L.M.. "Task partitioning and priority assignment for distributed hard real-time systems". Journal of Computer and System Sciences 81 8 (2015): 1542-1555. http://www.scopus.com/inward/record.url?eid=2-s2.0-84940447874&partnerID=MN8TOARS.
    10.1016/j.jcss.2015.05.005
  14. Nelissen, G.; Su, H.; Guo, Y.; Zhu, D.; Nélis, V.; Goossens, J.. "An optimal boundary fair scheduling". Real-Time Systems 50 4 (2014): 456-508. http://www.scopus.com/inward/record.url?eid=2-s2.0-84903608931&partnerID=MN8TOARS.
    10.1007/s11241-014-9201-0
  15. Nelissen, G.; Bletsas, K.; Goossens, J.. "CPMD-mindful task assignment for NPS-F". Real-Time Systems 50 5-6 (2014): 585-591. http://www.scopus.com/inward/record.url?eid=2-s2.0-84910116852&partnerID=MN8TOARS.
    10.1007/s11241-014-9206-8
  16. Nelissen, G.; Goossens, J.. "A counter-example to: Sticky-ERfair: A task-processor affinity aware proportional fair scheduler". Real-Time Systems 47 4 (2011): 378-381. http://www.scopus.com/inward/record.url?eid=2-s2.0-79959534956&partnerID=MN8TOARS.
    10.1007/s11241-011-9128-7
Atividades

Orientação

Título / Tema
Papel desempenhado 		Curso (Tipo)
Instituição / Organização
2020/06 - Atual Analysis and Configuration of Time-Sensitive Networks using Schedule Abstraction Graphs
Coorientador
2019 - Atual Predictable Network on Chip for Real-Time Systems
Coorientador
Universidade do Porto Faculdade de Engenharia, Portugal
2016 - 2021/04 Towards Predictable Multi-core Platforms for Safety Critical Real-Time Systems
Coorientador de Syed Aftab Rashid
Universidade do Porto Faculdade de Engenharia, Portugal
2016 - 2017 Scheduling High Criticality Real-Time Systems
Coorientador
Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
2015 - 2016 REVERT: Runtime Verification for Real-Time Systems
Coorientador de Sangeeth Kochanthara
Indraprastha Institute of Information Technology Delhi, Índia

Organização de evento

Nome do evento
Tipo de evento (Tipo de participação) 		Instituição / Organização
2018 - 2020 Publication chair of the IEEE Real-Time Systems Symposium (RTSS) from 2018 to 2020 (2018)
2018 - 2018 Publication chair of the CPS week 2018 (including the fours conferences RTAS, HSCC, ICCPS, IPSN and 12 workshops) (2018 - 2018)
Conferência (Membro da Comissão Organizadora)

Arbitragem científica em conferência

Nome da conferência Local da conferência
2020 - 2020 Design Automation Conference (DAC)
2020 - 2020 IEEE Mediterranean Eletrotechnical Conference (MELECON)
2017 - 2020 Euromicro Technical Committee on Real-Time Systems (ECRTS)
2019 - 2019 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)
2018 - 2019 International Conference on Embedded Software (EMSOFT)
2018 - 2019 IEEE Real-Time Systems Symposium (RTSS)
2016 - 2019 Workshop on Mixed Criticality Systems (WMC)
2017 - 2017 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)
2017 - 2017 International Conference on Real-Time Networks and Systems (RTNS)
2016 - 2017 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)
2015 - 2017 IEEE International Conference on Embedded Software and Systems (ICESS)

Consultoria / Parecer

Descrição da atividade Instituição / Organização
2017 - 2019 Activity subcontracted by Honeywell International (under NDA). Topic: Timing accurate simulation environment for multicore platforms.
2016 - 2017 Activity subcontracted by Honeywell International (under NDA). Topic: Memory architectures analysis. Result: The results of the project are considered a trade secret of Honeywell International.

Curso / Disciplina lecionado

Disciplina Curso (Tipo) Instituição / Organização
2020 - Atual Operating systems (Bachelor) Technische Universiteit Eindhoven Faculty of Mathematics and Computer Science, Países Baixos
2020 - Atual Real-time systems (Master) Technische Universiteit Eindhoven Faculty of Mathematics and Computer Science, Países Baixos
2020 - Atual Homologatie C++ and Computer Organization Technische Universiteit Eindhoven Faculty of Mathematics and Computer Science, Países Baixos
Distinções

Prémio

2020 best-paper candidates of the 2020 edition of RTCSA
2018 Outstanding Paper Award at Euromicro Conference on Real-Time Systems
2017 Best Paper Award at International Conference on Real-Time Networks and Systems
2016 Outstanding Paper Award at Euromicro Conference on Real-Time Systems
2015 Outstanding Paper Award at International Conference on Real-Time Networks and Systems

Outra distinção

2008 FRIA grant (Fund for Research Training in Industry and Agriculture)
Fonds de la Recherche Scientific, Bélgica