???global.info.a_carregar???
Luis Miguel Pinho has a MSc (1997) and a PhD (2001) in Electrical and Computer Engineering from the University of Porto, Portugal, and the Habilitation Title in Informatics Engineering in the same school in 2023. Since 1996 he is at the Polytechnic Institute of Porto, where he is currently Coordinator Professor with tenure. He has been responsible for defining and coordinating courses in the areas of reliability and concurrency, programming languages and real-time systems, and teaching a large spectrum of topics, including, in addition to the above, courses in operating systems and data structures. Miguel has more than 20 years of experience in research and development activities in the areas of high-performance real-time and embedded systems. He is a Senior Researcher at the INESC TEC Institute, coordinating the area of Computing for Embedded and Cyber-Physical Systems. From 1996 to 2020 he was Research Associate at the CISTER research unit, having served as Vice-Director of the unit from 2010 to 2017, coordinating projects and interfacing with funding programs such as ITEA, FP7 and H2020. Miguel promotes and leads activities in, among others, parallel real-time programming models, scheduling of real-time parallel tasks, real-time middleware, reliable software technologies and run-time monitoring, having supervised 6 PhD students in these topics. A prevailing focus of interest is on the software infrastructure for high-performance real-time embedded systems, and in particular safe languages and operating systems. He is deeply involved with Ada, the best suited language for safe software. Miguel is a member of ISO/IEC JTC1/SC22/WG9 and board member of Ada-Europe. Miguel has published more than 150 papers in international conferences and journals in the area of real-time embedded systems, participated in the Organization and Program Committees of several international conferences in the area, and served as guest editor in several scientific journals. He served as General Chair and Program Co-Chair of Ada-Europe 2006 and General Co-Chair of ARCS 2015, and Program Co-Chair of Ada-Europe 2012, Ada-Europe 2016 and RTNS 2016. He was a Keynote Speaker at RTCSA 2010, and Editor-in-Chief of the Ada User Journal. Miguel was Senior Researcher of the ArtistDesign NoE and is currently a member of the HiPEAC NoE/CSA and of the CERCIRAS Cost Action. He has participated in more than 25 R&D projects, from fundamental research projects to industry funded technology transfer, including both single partner and in-consortia projects. Miguel was Project Coordinator and Technical Manager of the FP7 R&D European Project P-SOCRATES (Parallel SOftware framework for time-CRitical mAny-core sysTEmS) and is site coordinator/work package leader in the European projects H2020 ELASTIC (A Software Architecture for Extreme-ScaLe Big-Data AnalyticS in Fog CompuTIng ECosystems) and H2020 EnerGAware (Energy Game for Awareness of energy efficiency in social housing communities) and Portuguese P2020 Khronosim (Control real-time physical and virtual systems) project. In the past, Miguel was also Coordinator and Principal Investigator of CooperatES and Reflect FCT-funded national research projects, and site coordinator/work package leader of the European projects ENCOURAGE (Artemis program), ITEA 2 CarCoDe (Platform for Smart Car to Car Content Delivery) and REMPLI (FP5 NNES), as well as national FCT-funded projects AVIACC, RESCUE, MethoDES and TERRA, and national QREN project V-SIS, among others. Miguel was Pro-President for Research and Innovation at the Polytechnic of Porto (P.PORTO), and Executive Director of P.PORTO infrastructure for R&D, PORTIC, the Porto Research, Technology & Innovation Center. In this context he lead several initiatives and projects, among which the Norte 2020 CybersSeCIP project (CYBERSecurity SciEntific Competences and Innovation Potential) or the Interreg Europe RegionArts project.
Ler resumo completo ↓
Identificação

Identificação pessoal

Nome completo
Luís Miguel Rosário da Silva Pinho

Nomes de citação

  • Pinho, Luís
  • Pinho, Luis Miguel

Identificadores de autor

Ciência ID
8112-2108-F3B2
ORCID iD
0000-0001-6888-1340

Endereços de correio eletrónico

  • lmp@isep.ipp.pt (Profissional)
  • luis.pinho@inesctec.pt (Profissional)

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 - Ciências da Computação

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Portuguê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)
Espanhol; Castelhano Utilizador independente (B1) Utilizador proficiente (C1) Utilizador elementar (A1) Utilizador independente (B1)
Francês Utilizador elementar (A1) Utilizador independente (B1) Utilizador elementar (A1) Utilizador elementar (A1)
Formação
Grau Classificação
2023/02
Concluído
 Habilitation, Informatics Engineering (Título de Agregado)
Universidade do Porto Faculdade de Engenharia, Portugal
2001
Concluído
 PhD, Electrical and Computer Engineering (Doutoramento)
Especialização em Sem especialidade
Universidade do Porto Faculdade de Engenharia, Portugal
"A Framework for the Transparent Replication of Real-time Applications" (TESE/DISSERTAÇÃO)
1997
Concluído
 Master, Electrical and Computer Engineering (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
1994
Concluído
 Licenciate Degree, Electrical and Computer Engineering (Licenciatura)
Universidade do Porto Faculdade de Engenharia, Portugal
"(não aplicável)" (TESE/DISSERTAÇÃO)
Percurso profissional

Ciência

Categoria Profissional
Instituição de acolhimento		 Empregador
2022/12 - Atual Investigador Coordenador (carreira) (Investigação) Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
2020/12 - Atual Investigador Coordenador (carreira) (Investigação) Software Technologies for Cyber-Physical Systems Laboratory (SoftCPS), Portugal
Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
1996 - 2020/12 Investigador Coordenador (carreira) (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
2010 - Atual Professor Coordenador (Docente Ensino Superior Politécnico) Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
2004 - 2010 Professor Adjunto (Docente Ensino Superior Politécnico) Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
1996 - 2004 Assistente (Docente Ensino Superior Politécnico) Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal

Cargos e Funções

Categoria Profissional
Instituição de acolhimento		 Empregador
2019/09/01 - 2022/04/22 Executive Director Porto Design Factory, Portugal
2019/12/01 - 2022/04/04 Executive Director Porto Research, Technology & Innovation Center - Polytechnic of Porto, Portugal
2018 - 2022/04/04 Pro-president for Research & Innovation Instituto Politécnico do Porto, Portugal
2010 - 2017 Research Unit Vice-Director Instituto Politécnico do Porto Centro de Investigação em Sistemas Computacionais Embebidos e de Tempo-Real, Portugal
2013 - 2016 Scientific Council Member Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
2006 - 2010 Pro-president for Information and Communication Systems Instituto Politécnico do Porto, Portugal
Projetos

Projeto

Designação Financiadores
2025/03 - Atual Portuguese Competence Centre in Semiconductors (POEMS)
101217646
Partner coordinator & WP Leader
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
 European Commission
Em curso
2025/01 - Atual Homogenous Cyber Management of End-Points and OT (HOMEPOT)
23022
Partner coordinator & WP Leader
Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
 Agência Nacional de Inovação SA
Em curso
2024/09 - Atual Model-Based Engineering of Digital Twins for early Verification and Validation of Industrial Systems (MATISSE)
101140216
Partner coordinator
Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
 European Commission
Em curso
2024/03 - Atual SmART and connected WORKer (ARTWORK)
22019
Partner coordinator & WP Leader
Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
 Agência Nacional de Inovação SA
Em curso
2024/01 - Atual Transforming Healthcare Through Semantic Interoperability & Patient Self-Efficacy (TREAT)
22022
Partner coordinator & WP Leader
Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
 Agência Nacional de Inovação SA
Em curso
2023/01/01 - Atual Generating and Deploying Lightweight, Secure and Zero-overhead Software for Multipurpose IoT Devices
ITEA 21014
Partner coordinator & WP Leader
Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
 Agência Nacional de Inovação SA
Em curso
2021/01 - 2025/12 Laboratório Associado de Sistemas Inteligentes
168241UID
LA/P/0104/2020
10.54499/LA/P/0104/2020
Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
 Fundação para a Ciência e a Tecnologia
Em curso
2020/01 - 2023/06 AMPERE - A Model-driven development framework for highly Parallel and EneRgy-Efficient computation supporting multi-criteria optimisation
871669
Partner coordinator & WP Leader
Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
 European Commission
Concluído
2020/05/01 - 2023/04/30 IPP4COVID: Scaling up of Prevention and Sustainable Otimization of COVID-19Diagnosis
SAICTCOVID/72560/2020
10.54499/SAICTCOVID/72560/2020
Instituto Politécnico do Porto, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2018/12 - 2022/11 A Software Architecture for Extreme-ScaLe Big-Data AnalyticS in Fog CompuTing ECosystems
825473
Partner coordinator & WP Leader
European Commission
Concluído
2020/10 - 2022/09 Panorama - Accelerating design efficiency for automotive and aerospace systems
17003
Partner coordinator & WP Leader
Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
 Eureka
Concluído
2020/10/01 - 2022/04 CYBERSecurity SciEntific Competences and Innovation Potential (CybersSeCIP)
NORTE-01-0145-FEDER-000044
Investigador responsável
Porto Research, Technology & Innovation Center - Polytechnic of Porto, Portugal
 Comissao de Coordenacao e Desenvolvimento Regional do Norte
Concluído
2019/08 - 2022/04 RegionArts - Enhancing SME growth by the integration of Artists in ICT projects
PGI05301
Investigador responsável
Porto Research, Technology & Innovation Center - Polytechnic of Porto, Portugal
 Interreg Europe
Concluído
2018/07/04 - 2021/07/03 Verificação em Tempo de Execução Segura para Software Embebido de Tempo-Real Confiável
PTDC/EEI-COM/28550/2017
Partner coordinator
Universidade do Minho, Portugal

Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2015/02 - 2018/01 Energy Game for Awareness of energy efficiency in social housing communities
649673
Partner coordinator & WP Leader
Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
 European Commission
Concluído
2014/04/01 - 2017/06/30 Embedded multi-core systems for mixed criticality applications in dynamic and changeable real-time environments
ARTEMIS/0001/2013
Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2013/10/01 - 2016/12/31 Parallel SOftware framework for time-CRitical mAny-core sysTEmS
611016
Investigador responsável
Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
 European Commission
Concluído
2013/05 - 2016/04 Methods and processes for safety-relevant embedded systems Computing platforms for embedded systems
Provided by PTCRIS: 135653
ARTEMIS/0003/2012
Team coordinator
Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2013/06/01 - 2015/09/30 PATTERN - Programming AbsTracTions for wireless sEnsoR Networks
PTDC/EEI-SCR/2171/2012
Provided by PTCRIS: 127799
Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2012/04/01 - 2015/07/31 Escalonamento Tempo-Real em Processadores Gráficos de Uso Genérico
PTDC/EIA-CCO/118080/2010
Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2012/05 - 2015/04 Analysis and Verification of Critical Concurrent Programs
Provided by PTCRIS: 117590
Partner coordinator
Fundação para a Ciência e a Tecnologia
2013/01/01 - 2014/12/31 Projecto Estratégico - LA 14 - 2013-2014
PEst-C/EEI/LA0014/2013
Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal

Instituto de Engenharia de Sistemas e Computadores, Portugal

Instituto de Engenharia Mecânica, Portugal

Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2011/06/01 - 2014/11/30 ENCOURAGE - Controlos Embebidos Inteligentes para Edíficios com Geração e Armazenamento de Energias Renováveis
ARTEMIS/0002/2010
Partner coordinator & WP Leader
Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2011/06 - 2014/11 ENCOURAGE - Embedded iNtelligent COntrols for bUildings with Renewable generAtion and storaGE
Provided by PTCRIS: 123635
 Fundação para a Ciência e a Tecnologia
2011/02/01 - 2014/06/30 Virtual Processor-based Multicore Scheduling ViPCore
PTDC/EIA-CCO/111799/2009
Provided by PTCRIS: 111799
Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
 Universidade de Coimbra

Fundação para a Ciência e a Tecnologia
Concluído
2010/10 - 2013/12 Cyber-Physical Systems Technologies for Energy-Optimized Data Centers
Provided by PTCRIS: 111257
CMU-PT/SIA/0045/2009
Carnegie Mellon University, Estados Unidos

Universidade do Porto Faculdade de Engenharia, Portugal

Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
 Universidade de Coimbra

Fundação para a Ciência e a Tecnologia
Concluído
2011/01/01 - 2012/12/31 Projecto Estratégico - LA 14 - 2011-2012
PEst-C/EEI/LA0014/2011
Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal

Instituto de Engenharia de Sistemas e Computadores, Portugal

Instituto de Engenharia Mecânica, Portugal

Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2008/01/01 - 2011/03/31 RESCUE, Execução Fiável e Segura de Programas em Sistemas Embebidos
PTDC/EIA/65862/2006
Universidade do Minho, Portugal

Universidade do Porto Faculdade de Ciências, Portugal

Universidade da Beira Interior, Portugal

Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal

Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2008/01/01 - 2010/12/31 Sistemas Embebidos Cooperativos com Suporte a Qualidade de Serviço CooperatES
PTDC/EIA/71624/2006
Investigador responsável
Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2008/01 - 2010/12 QoS-Aware Cooperative Embedded Systems (CooperatES)
Provided by PTCRIS: 71624
 Fundação para a Ciência e a Tecnologia
2007/10/15 - 2010/10/14 Escalonamento Tempo-Real em Processadores Multicore (RESCORE)
PTDC/EIA/78141/2006
Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2005/01 - 2007/09 Reflection Mechanisms in Real-Time Embedded Systems
Provided by PTCRIS: 65862
Investigador responsável
Fundação para a Ciência e a Tecnologia
Concluído
Produções

Publicações

Artigo em conferência
  1. Soares, Nuno; Carvalho, Tiago; Pinho, Luis M.. "Lightweight Performance Monitoring of Real-Time Applications in RISC-V Platforms*". Trabalho apresentado em Euromicro Symposium on Digital System Design, 2025.
    10.1109/dsd67783.2025.00062
  2. Paschoaletto, Alexander; Sousa, Paulo Baltarejo; Pinho, Luís Miguel; Carvalho, Tiago. "Supporting Soft Real-Time Tasks in Zephyr With Constant Bandwidth Servers". Trabalho apresentado em 2025 28th International Symposium on Real-Time Distributed Computing (ISORC), 2025.
    Publicado • 10.1109/isorc65339.2025.00017
  3. Carvalho, Tiago; Müller, Tobias; Reiter, Sebastian; Pinho, Luis; Oliveira, André. "Energy Monitoring Systems Analysis and Development: A Case Study for Graph-Based Modelling". Trabalho apresentado em 13th International Conference on Model-Based Software and Systems Engineering, 2025.
    Publicado • 10.5220/0013170000003896
  4. Carvalho, Tiago; Pinho, Luis Miguel; Samadi, Mohammad; Royuela, Sara; Munera, Adrian; Quiñones, Eduardo. "Framework for the Analysis and Configuration of Real-Time OpenMP Applications". 2023.
    10.1109/indin51400.2023.10218276
  5. Samadi Gharajeh, Mohammad; Royuela, Sara; Miguel Pinho, Luis; Carvalho, Tiago; Quinones, Eduardo. "Heuristic-based Task-to-Thread Mapping in Multi-Core Processors". 2022.
    10.1109/etfa52439.2022.9921453
  6. Gharajeh, Mohammad Samadi; Carvalho, Tiago; Pinho, Luis Miguel. "Configuration of Parallel Real-Time Applications on Multi-Core Processors". 2022.
    10.1109/indin51773.2022.9976163
  7. Gomes, Ricardo; Carvalho, Tiago; Barros, Antonio; Pinho, Luis Miguel. "A Model Annotation Approach for the Support of Software Energy Properties Management using AMALTHEA". 2022.
    10.1109/icps51978.2022.9816987
  8. Sousa, Rita; Nogueira, Luis; Rodrigues, Fatima; Pinho, Luis Miguel. "Global Resource Management in the ELASTIC Architecture". 2022.
    10.1109/icps51978.2022.9816988
  9. Quinones, E.; Royuela, S.; Scordino, C.; Gai, P.; Pinho, L.M.; Nogueira, L.; Rollo, J.; et al. "The ampere project: A model-driven development framework for highly parallel and energy-efficient computation supporting multi-criteria optimization". 2020.
    10.1109/ISORC49007.2020.00042
  10. Pinho, Luís Miguel; Quiñonez, Eduardo; Royuela, Sara; Pinho, L.M.; Quinones, E.; Royuela, S.. "Combining the tasklet model with OpenMP". 2018.
    10.1145/3241950.3241952
  11. Oliveira, Renato; Meireles, Manuel; Maia, Cláudio; Miguel Pinho, Luis. "Emulation-in-the-loop for simulation and testing of real-time critical CPS". 2018.
    10.1109/ICPHYS.2018.8387669
  12. Royuela, Sara; Martorell, Xavier; Quiñones, Eduardo; Miguel Pinho, Luis; Royuela, S.; Martorell, X.; Quiñones, E.; Pinho, L.M.. "Safe Parallelism: Compiler Analysis Techniques for Ada and OpenMP". 2018.
    https://doi.org/10.1007/978-3-319-92432-8_9
  13. Pinho, Luís Miguel. "High-Performance Parallelisation of Real-Time Applications with the Upscale SDK". 2017.
  14. Barbosa, Paulo; Barros, António; Pinho, Luís Miguel; Barbosa, P.; Barros, A.; Pinho, L.M.. "The EnerGAware Middleware Platform". 2017.
    10.1109/IECON.2017.8217521
  15. Barbosa, Paulo; Barros, António; Pinho, Luís Miguel. "IoT for Energy-Efficiency: connecting a serious game with energy metering in the EnerGAware project". 2017.
  16. Ali, Hazem; Åkesson, Benny; Pinho, Luís Miguel; Ali, H.I.; Akesson, B.; Pinho, L.M.. "Combining Dataflow Applications and Real-time Task Sets on Multi-core Platforms". 2017.
    http://dx.doi.org/10.1145/3078659.3078671
  17. Nélis, Vincent; Yomsi, Patrick Meumeu; Pinho, Luís Miguel. "The P-SOCRATES timing analysis methodology for parallel real-time applications deployed on many-core platforms". 2017.
    10.4230/OASIcs.WCET.2017.10
  18. Royuela, S.; Martorell, X.; Quiñones, E.; Pinho, L.M.. "OpenMP tasking model for Ada: Safety and correctness". 2017.
    10.1007/978-3-319-60588-3_12
  19. Lindgren, P.; Lindner, M.; Pereira, D.; Pinho, L.M.. "Contract based verification of IEC 61499". 2017.
    10.1109/INDIN.2016.7819147
  20. Casals, M.; Gangolells, M.; Macarulla, M.; Fuertes, A.; Vimont, V.; Pinho, L.M.. "A serious game enhancing social tenants' behavioral change towards energy efficiency". 2017.
    10.1109/GIOTS.2017.8016257
  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. Faucou, S.; Pinho, L.M.. "Message from the program chairs". 2016.
  23. Lindgren, P.; Lindner, M.; Pereira, D.; Pinho, L.M.. "Towards certified compilation of RTFM-core applications". 2016.
    10.1109/ETFA.2016.7733551
  24. Pinho, L.M.; Moore, B.; Michell, S.; Taft, S.T.. "Real-Time Support in the Proposal for Fine-Grained Parallelism in Ada". 2016.
    10.1109/RTSS.2015.43
  25. Le Guilly, T.; Skou, A.; Olsen, P.; Madsen, P.P.; Albano, M.; Ferreira, L.L.; Pinho, L.M.; et al. "ENCOURAGEing results on ICT for energy efficient buildings". 2016.
    10.1109/ETFA.2016.7733715
  26. Nikolic, B.; Pinho, L.M.; Indrusiak, L.S.. "On Routing Flexibility of Wormhole-Switched Priority-Preemptive NoCs". 2016.
    10.1109/RTCSA.2016.37
  27. Maia, C.; Nogueira, L.; Pinho, L.M.; Perez, D.G.. "A closer look into the AER Model". 2016.
    10.1109/ETFA.2016.7733567
  28. Nélis, V.; Yomsi, P.M.; Pinho, L.M.. "The variability of application execution times on a multi-core platform". 2016.
    10.4230/OASIcs.WCET.2016.6
  29. 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
  30. Barros, A.; Yomsi, P.M.; Pinho, L.M.. "Response time analysis of hard real-Time tasks sharing software transactional memory data under fully partitioned scheduling". 2016.
    10.1109/SIES.2016.7509442
  31. Nelissen, G.; Pereira, D.; Pinho, L.M.. "A novel run-time monitoring architecture for safe and efficient inline monitoring". 2015.
    10.1007/978-3-319-19584-1_5
  32. Pinho, L.M.; Moore, B.; Michell, S.; Taft, S.T.. "An execution model for fine-grained parallelism in Ada". 2015.
    10.1007/978-3-319-19584-1_13
  33. Pedro, A.M.; Pereira, D.; Pinho, L.M.; Pinto, J.S.. "Monitoring for a decidable fragment of mtl-¿". 2015.
    10.1007/978-3-319-23820-3_11
  34. 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". 2015.
    10.1007/978-3-319-16086-3_18
  35. Lindgren, P.; Fresk, E.; Lindner, M.; Lulea, A.L.; Pereira, D.; Pinho, L.M.. "Abstract Timers and their Implementation onto the ARM Cortex-M family of MCUs". 2015.
  36. Lindgren, P.; Lindner, M.; Pereira, D.; Pinho, L.M.. "A Formal Perspective on IEC 61499 Execution Control Chart Semantics". 2015.
    10.1109/Trustcom.2015.647
  37. Ali, H.I.; Akesson, B.; Pinho, L.M.. "Generalized extraction of real-time parameters for Homogeneous Synchronous Dataflow graphs". 2015.
    10.1109/PDP.2015.57
  38. Lindgren, P.; Lindner, M.; Lindner, A.; Vyatkin, V.; Pereira, D.; Pinho, L.M.. "A real-time semantics for the IEC 61499 standard". 2015.
    10.1109/ETFA.2015.7301558
  39. Maia, C.; Yomsi, P.M.; Nogueira, L.; Pinho, L.M.. "Semi-Partitioned scheduling of fork-join tasks using work-stealing". 2015.
    10.1109/EUC.2015.30
  40. Lindgren, P.; Eriksson, J.; Lindner, M.; Lindner, A.; Pereira, D.; Pinho, L.M.. "Response time for IEC 61499 over Ethernet". 2015.
    10.1109/INDIN.2015.7281907
  41. Fonseca, J.C.; Nélis, V.; Raravi, G.; Pinho, L.M.. "A multi-DAG model for real-time parallel applications with conditional execution". 2015.
    10.1145/2695664.2695808
  42. Becker, M.; Dasari, D.; Nelis, V.; Behnam, M.; Pinho, L.M.; Nolte, T.. "Investigation on AUTOSAR-Compliant solutions for many-core architectures". 2015.
    10.1109/DSD.2015.63
  43. Lindgren, P.; Lindner, M.; Lindner, A.; Pereira, D.; Pinho, L.M.. "RTFM-core: Language and implementation". 2015.
    10.1109/ICIEA.2015.7334252
  44. Nelis, V.; Yomsi, P.M.; Pinho, L.M.. "Methodologies for the WCET analysis of parallel applications on many-core architectures". 2015.
    10.1109/DSD.2015.105
  45. 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
  46. Lindgren, P.; Lindner, M.; Lindner, A.; Pereira, D.; Pinho, L.M.. "Well-formed control flow for critical sections in RTFM-core". 2015.
    10.1109/INDIN.2015.7281944
  47. De Matos Pedro, A.; Pereira, D.; Pinho, L.M.; Pinto, J.S.. "A compositional monitoring framework for hard real-time systems". 2014.
    10.1007/978-3-319-06200-6_2
  48. De Matos Pedro, A.; Pereira, D.; Pinho, L.M.; Pinto, J.S.. "Towards a runtime verification framework for the Ada programming language". 2014.
    10.1007/978-3-319-08311-7_6
  49. Pinho, L.M.; Moore, B.; Michell, S.. "Parallelism in Ada: Status and prospects". 2014.
    10.1007/978-3-319-08311-7_8
  50. Barros, A.; Pinho, L.M.. "Non-preemptive scheduling of real-time software transactional memory". 2014.
    10.1007/978-3-319-04891-8_3
  51. Pinho, L.M.; Quiñones, E.; Bertogna, M.; Marongiu, A.; Carlos, J.P.; Scordino, C.; Ramponi, M.. "P-SOCRATES: A Parallel Software Framework for Time-Critical Many-Core Systems". 2014.
    10.1109/DSD.2014.94
  52. 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
  53. Nélis, V.; Yomsi, P.M.; Pinho, L.M.; Fonseca, J.C.; Bertogna, M.; Quiñones, E.; Vargas, R.; Marongiu, A.. "The challenge of time-predictability in modern many-core architectures". 2014.
    10.4230/OASIcs.WCET.2014.63
  54. Taft, S.T.; Moore, B.; Pinho, L.M.; Michell, S.. "Safe parallel programming in Ada with language extensions". 2014.
    10.1145/2663171.2663181
  55. Maia, C.; Bertogna, M.; Nogueira, L.; Pinho, L.M.. "Response-time analysis of synchronous parallel tasks in multiprocessor systems". 2014.
    10.1145/2659787.2659815
  56. Lindgren, P.; Eriksson, J.; Lindner, M.; Pereira, D.; Pinho, L.M.. "RTFM-lang static semantics for systems with mixed criticality". 2014.
  57. Michell, S.; Moore, B.; Pinho, L.M.. "Tasklettes - A fine grained parallelism for Ada on multicores". 2013.
    10.1007/978-3-642-38601-5_2
  58. Michell, S.; Moore, B.; Pinho, L.M.. "Real-time programming on accelerator many-core processors". 2013.
    10.1145/2527269.2527270
  59. Nikolic, B.; Ali, H.I.; Petters, S.M.; Pinho, L.M.. "Are virtual channels the bottleneck of priority-aware wormhole-switched NoC-based many-cores?". 2013.
    10.1145/2516821.2516845
  60. Ali, H.I.A.A.; Pinho, L.M.; Akesson, B.. "Critical-Path-First based allocation of real-time streaming applications on 2D mesh-type multi-cores". 2013.
    10.1109/RTCSA.2013.6732220
  61. Albano, M.; Ferreira, L.; Le Guilly, T.; Ramiro, M.; Faria, J.E.; Dueñas, L.P.; Ferreira, R.; et al. "The ENCOURAGE ICT architecture for heterogeneous smart grids". 2013.
    10.1109/EUROCON.2013.6625159
  62. Garibay-Martínez, R.; Ferreira, L.L.; Maia, C.; Pinho, L.M.. "Towards transparent parallel/distributed support for real-time embedded applications". 2013.
    10.1109/SIES.2013.6601483
  63. Maia, C.; Nogueira, L.; Pinho, L.M.. "Scheduling parallel real-time tasks using a fixed-priority work-stealing algorithm on multiprocessors". 2013.
    10.1109/SIES.2013.6601477
  64. Ferreira, L.L.; Albano, M.; Pinho, L.M.. "QoS enabled middleware for real-time industrial control systems". 2013.
    10.1109/ETFA.2013.6648074
  65. Garibay-Martínez, R.; Ferreira, L.L.; Pinho, L.M.. "A framework for the development of parallel and distributed real-time embedded systems". 2012.
    10.1109/SEAA.2012.60
  66. Nogueira, L.; Pinho, L.M.. "Server-based scheduling of parallel real-time tasks". 2012.
    10.1145/2380356.2380374
  67. Barros, A.; Pinho, L.M.. "Software transactional memory as a building block for parallel embedded real-time systems". 2011.
    10.1109/SEAA.2011.46
  68. Maia, C.; Nogueira, L.; Pinho, L.M.. "Combining RTSJ with fork/join: A priority-based model". 2011.
    10.1145/2043910.2043924
  69. Ferreira, L.L.; Silva, G.; Pinho, L.M.. "Service offloading in adaptive real-time systems". 2011.
    10.1109/ETFA.2011.6059236
  70. Ali, H.I.; Pinho, L.M.. "A parallel programming model for ada". 2011.
    10.1145/2070337.2070350
  71. Gupta, V.; Tovar, E.; Pinho, L.M.; Kim, J.; Lakshmanan, K.; Rajkumar, R.. "sMapReduce: A programming pattern forwireless sensor networks". 2011.
    10.1145/1988051.1988059
  72. Nogueira, L.; Pinho, L.M.. "Dynamic QoS adaptation of inter-dependent task sets in cooperative embedded systems". 2011.
    10.4108/ICST.AUTONOMICS2008.4488
  73. Nogueira, L.; Pinho, L.M.; Coelho, J.. "Flexible and dynamic replication control for interdependent distributed real-time embedded systems". 2010.
  74. Andersson, B.; Pinho, L.-M.. "Implementing multicore real-time scheduling algorithms based on task splitting using Ada 2012". 2010.
    10.1007/978-3-642-13550-7_4
  75. Gonçalves, J.; Ferreira, L.L.; Pinho, L.M.; Silva, G.. "Handling mobility on a QoS-aware service-based framework for mobile systems". 2010.
    10.1109/EUC.2010.24
  76. Maia, C.; Nogueira, L.; Pinho, L.M.. "Short paper: Experiences on the implementation of a Cooperative Embedded System framework". 2010.
    10.1145/1850771.1850780
  77. Nogueira, L.; Pinho, L.M.; Coelho, J.. "Coordinated runtime adaptations in cooperative open real-time systems". 2009.
    10.1109/CSE.2009.64
  78. Nogueira, L.; Pinho, L.M.. "Handling QoS dependencies in distributed cooperative real-time systems". 2008.
    10.1007/978-0-387-09661-2_19
  79. Nogueira, L.; Pinho, L.M.. "Shared resources and precedence constraints with capacity sharing and stealing". 2008.
    10.1109/IPDPS.2008.4536568
  80. Nogueira, L.; Pinho, L.M.. "Capacity sharing and stealing in dynamic server-based real-time systems". 2007.
    10.1109/IPDPS.2007.370349
  81. Nogueira, L.; Pinho, L.M.. "Iterative refinement approach for QOS-aware service configuration". 2006.
    10.1007/978-0-387-39362-9_17
  82. Valpereiro, F.; Pinho, L.M.. "POSIX trace based behavioural reflection". 2006.
    10.1007/11767077_3
  83. Nogueira, L.; Pinho, L.M.. "Dynamic adaptation of stability periods for service level agreements". 2006.
    10.1109/RTCSA.2006.28|
  84. Barros, A.; Pacheco, F.; Pinho, L.M.. "A complex protocol layer as a linux user-space process". 2006.
    10.1109/IES.2006.357478
  85. Nogueira, L.; Pinho, L.M.. "Dynamic QoS-aware coalition formation". 2005.
    10.1109/IPDPS.2005.179
  86. Pacheco, F.; Pinho, L.M.; Tovar, E.. "Queuing and routing in a hierarchical powerline communication system". 2005.
  87. Pinho, L.M.; Nogueira, L.; Barbosa, R.. "An ada framework for QoS-aware applications". 2005.
  88. Pereira, N.; Tovar, E.; Pinho, L.M.. "INDEPTH: Timeliness assessment of Ethernet/IP-based systems". 2004.
    10.1109/MASCOT.2004.1348197
  89. Pereira, N.; Tovar, E.; Pinho, L.M.. "Timeliness in COTS factory-floor distributed systems: What role for simulation?". 2004.
  90. Tovar, E.; Pinho, L.M.; Pacheco, F.; Alves, M.. "Bringing industrial multimedia to the factory floor: What is at stake with rfieldbus?". 2003.
    10.1016/S1474-6670(17)32474-6
  91. Maia, R.; Moreira, F.; Barbosa, R.; Costa, D.; Hjortaes, K.; Rodriguez, P.; Pinho, L.M.. "Verifying, validating and monitoring the open Ravenscar real time kernel". 2003.
    10.1145/959222.959236
  92. Vardanega, T.; Pinho, L.M.. "Session summary: The future of IRTAW". 2003.
    10.1145/959222.959240
  93. Pinho, L.M.; Vasques, F.. "Transparent environment for replicated ravenscar applications". 2002.
  94. De La Puente, J.A.; Pinho, L.M.. "Session summary: Safety improvements for consideration". 2002.
    10.1145/584418.584433
  95. Pinho, L.M.; Vasques, F.. "Using Ravenscar to support fault-tolerant real-time applications". 2002.
    10.1145/584418.584424
  96. Pinho, L.M.; Vasques, F.. "Reliable communication in distributed computer-controlled systems". 2001.
  97. Pinho, L.M.; Vasques, F.. "An architecture for reliable Distributed Computer-Controlled Systems". 2001.
    10.1007/978-0-387-35409-5
  98. González Harbour, M.; Pinho, L.M.. "Session summary: Distribution and real-time". 2001.
    10.1145/374370.374374
  99. Pinho, L.M.; Vasques, F.; Ferreira, L.. "Programming atomic muiticasts in CAN". 2001.
    10.1145/374370.374386
  100. Pinho, L.M.; Vasques, F.. "Timing analysis of reliable real-time communication in CAN networks". 2001.
    10.1109/EMRTS.2001.934010
  101. Pinho, L.M.; Vasques, F.. "Improved fault tolerant broadcasts in CAN". 2001.
  102. Pinho, Luis Miguel; Vasques, Francisco; Tovar, Eduardo. "Integrating inaccessibility in response time analysis of CAN networks". 2000.
  103. Pinho, L.M.; Vasques, F.. "Replica management in real-time Ada 95 applications". 1999.
    10.1145/329607.334731
  104. Pinho, L.M.; Vasques, F.. "Multi-µ: An Ada 95 based architecture for fault tolerance support of real-time systems". 1998.
    10.1145/289524.289532
Artigo em revista
  1. Mohammad Samadi; Tiago Carvalho; Luís Miguel Pinho; Sara Royuela. "Task-to-accelerator mapping for predictable OpenMP applications". Journal of Systems Architecture (2026): https://doi.org/10.1016/j.sysarc.2026.103901.
    10.1016/j.sysarc.2026.103901
  2. Samadi, Mohammad; Royuela, Sara; Pinho, Luis Miguel; Carvalho, Tiago; Quiñones, Eduardo. "Time-Predictable Task-to-Thread Mapping in Multi-Core Processors". Journal of Systems Architecture (2024): 103068. http://dx.doi.org/10.1016/j.sysarc.2024.103068.
    10.1016/j.sysarc.2024.103068
  3. Sousa, Rita; Sabate, Eudald; Gonzalez-Hierro, Marco; Barros, António; Zubia, Cristina; Pinho, Luis Miguel; Kartsakli, Elli. "Managing Non-functional Requirements in an ELASTIC Edge-Cloud Continuum". ACM SIGAda Ada Letters 42 2 (2023): 114-118. http://dx.doi.org/10.1145/3591335.3591352.
    Publicado • 10.1145/3591335.3591352
  4. Nogueira, Luís; Barros, António; Zubia, Cristina; Faura, David; Gracia Pérez, Daniel; Pinho, Luis Miguel. "Non-functional requirements in the ELASTIC architecture". ACM SIGAda Ada Letters 40 1 (2020): 85-90. http://dx.doi.org/10.1145/3431235.3431243.
    Publicado • 10.1145/3431235.3431243
  5. Royuela, S.; Pinho, L.M.; Quiñones, E.. "Enabling Ada and OpenMP runtimes interoperability through template-based execution". Journal of Systems Architecture 105 (2020): http://www.scopus.com/inward/record.url?eid=2-s2.0-85077952920&partnerID=MN8TOARS.
    10.1016/j.sysarc.2019.101702
  6. Matos Pedro, André; Pinto, Jorge Sousa; Pereira, David; Pinho, Luís Miguel. "Runtime verification of autopilot systems using a fragment of MTL-¿". Current real-time embedded systems development frameworks lack support for the verification of properties using explicit time where counting time (i.e., durations) may play an important role in the development process. Focusing on the real-time constraints inherent to these systems, we present a framework that addresses the specification of duration properties for runtime verification by employing (2018): http://hdl.handle.net/1822/51757.
    de Matos Pedro, A., Pinto, J.S., Pereira, D. et al. Int J Softw Tools Technol Transfer (2017). https://doi.org/10.1007/s10009-017-0470-5
  7. Maia, C.; Yomsi, P.M.; Nogueira, L.; Pinho, L.M.. "Real-time semi-partitioned scheduling of fork-join tasks using work-stealing". Eurasip Journal on Embedded Systems 2017 1 (2017): http://www.scopus.com/inward/record.url?eid=2-s2.0-85029653209&partnerID=MN8TOARS.
    10.1186/s13639-017-0079-5
  8. Ali, H.I.; Stuijk, S.; Akesson, B.; Pinho, L.M.. "Reducing the complexity of dataflow graphs using slack-based merging". ACM Transactions on Design Automation of Electronic Systems 22 2 (2017): http://www.scopus.com/inward/record.url?eid=2-s2.0-85011411549&partnerID=MN8TOARS.
    10.1145/2956232
  9. Lindgren, P.; Eriksson, J.; Lindner, M.; Lindner, A.; Pereira, D.; Pinho, L.M.. "End-to-End Response Time of IEC 61499 Distributed Applications over Switched Ethernet". IEEE Transactions on Industrial Informatics 13 1 (2017): 287-297. http://www.scopus.com/inward/record.url?eid=2-s2.0-85013444377&partnerID=MN8TOARS.
    10.1109/TII.2016.2626463
  10. Nikolic, B.; Pinho, L.M.. "Optimal minimal routing and priority assignment for priority-preemptive real-time NoCs". Real-Time Systems (2017): 1-35. http://www.scopus.com/inward/record.url?eid=2-s2.0-85016463082&partnerID=MN8TOARS.
    10.1007/s11241-017-9273-8
  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. Pinho, L.M.; Nélis, V.; Yomsi, P.M.; Quiñones, E.; Bertogna, M.; Burgio, P.; Marongiu, A.; et al. "P-SOCRATES: A parallel software framework for time-critical many-core systems". Microprocessors and Microsystems 39 8 (2015): 1190-1203. http://www.scopus.com/inward/record.url?eid=2-s2.0-84949785179&partnerID=MN8TOARS.
    10.1016/j.micpro.2015.06.004
  13. Barros, A.; Pinho, L.M.; Meumeu Yomsi, P.. "Non-preemptive and SRP-based fully-preemptive scheduling of real-time Software Transactional Memory". Journal of Systems Architecture 61 10 (2015): 553-566. http://www.scopus.com/inward/record.url?eid=2-s2.0-84948576422&partnerID=MN8TOARS.
    10.1016/j.sysarc.2015.07.008
  14. Albano, M.; Ferreira, L.L.; Pinho, L.M.. "Convergence of smart grid ICT architectures for the last mile". IEEE Transactions on Industrial Informatics 11 1 (2015): 187-197. http://www.scopus.com/inward/record.url?eid=2-s2.0-84923059665&partnerID=MN8TOARS.
    10.1109/TII.2014.2379436
  15. 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
  16. Albano, M.; Ferreira, L.L.; Pinho, L.M.; Alkhawaja, A.R.. "Message-oriented middleware for smart grids". Computer Standards and Interfaces 38 (2015): 133-143. http://www.scopus.com/inward/record.url?eid=2-s2.0-84913585400&partnerID=MN8TOARS.
    10.1016/j.csi.2014.08.002
  17. Nogueira, Luís; Pinho, Luis Miguel; Coelho, Jorge. "A feedback-based decentralised coordination model for distributed open real-time systems". Journal of Systems and Software 85 9 (2012): 2145-2159.
    10.1016/j.jss.2012.04.033
  18. Barros, António; Pinho, Luís. "Revisiting transactions in Ada". ACM SIGAda Ada Letters 33 1 (2011): 84-92. http://dx.doi.org/10.1145/2492312.2492321.
    Publicado • 10.1145/2492312.2492321
  19. Nogueira, Luís; Pinho, Luis Miguel. "A capacity sharing and stealing strategy for open real-time systems". Journal of Systems Architecture 56 4 (2010): 163-179.
    10.1016/j.sysarc.2010.02.003
  20. Nogueira, L.; Pinho, L.M.. "Time-bounded distributed QoS-aware service configuration in heterogeneous cooperative environments". Journal of Parallel and Distributed Computing 69 6 (2009): 491-507. http://www.scopus.com/inward/record.url?eid=2-s2.0-67349274958&partnerID=MN8TOARS.
    10.1016/j.jpdc.2009.03.002
  21. Pinho, L.M.; Vasques, F.; Wellings, A.. "Replication Management in Reliable Real-Time Systems". Real-Time Systems 26 3 (2004): 261-296. http://www.scopus.com/inward/record.url?eid=2-s2.0-2142713908&partnerID=MN8TOARS.
    10.1023/B:TIME.0000018248.18519.46
  22. Pinho, L.M.; Vasques, F.. "Reliable Real-Time Communication in CAN Networks". IEEE Transactions on Computers 52 12 (2003): 1594-1607. http://www.scopus.com/inward/record.url?eid=2-s2.0-0346119948&partnerID=MN8TOARS.
    10.1109/TC.2003.1252855
Capítulo de livro
  1. Serrano, Maria A.; Marín, César A.; Queralt, Anna; Cordeiro, Cristovao; Gonzalez, Marco; Pinho, Luis Miguel; Quiñones, Eduardo. "An Elastic Software Architecture for Extreme-Scale Big Data Analytics". In Technologies and Applications for Big Data Value, 89-110. Springer International Publishing, 2021.
    10.1007/978-3-030-78307-5_5
  2. Nélis, V.; Yomsi, P.M.; Pinho, L.M.; Nélis, Vincent; Meumeu Yomsi, Patrick; Miguel Pinho, Luis. "Timing analysis methodology". 113-144. Portugal: River Publishers, 2018.
    10.13052/rp-9788793609624
Livro
  1. Pinho, Luis Miguel; Quinones, Eduardo; Bertogna, Marko; Marongiu, Andrea; Nélis, Vincent; Gai, Paolo; Sancho, Juan. High-Performance and Time-Predictable Embedded Computing. River Publisher. 2018.
    Publicado • 10.13052/rp-9788793609624 • Editor
  2. Pinho, L.M.; Quiñones, E.; Bertogna, M.; Marongiu, A.; Nélis, V.; Gai, P.; Sancho, J.. Introduction. 2018.
  3. Pinho, L.M.; Quiñones, E.; Bertogna, M.; Marongiu, A.; Nélis, V.; Gai, P.; Sancho, J.. Preface. 2018.
  4. Bertogna, M.; Pinho, L.M.; Quiñones, E.. Preface. 2016.
    10.1007/978-3-319-39083-3
  5. Pinho, L.M.; Karl, W.; Cohen, A.; Brinkschulte, U.. Preface. 2015.
  6. Pinho, Luís Miguel. Reliable software technologies-Ada-Europe 2007: proceedings. 2007.

Outros

Outra produção
  1. Platform for Smart Car to Car Content Delivery: Results of CISTER Research Centre within CarCoDe project. Poster presented in Redes de Veiculos nas sociedades do futuro (RVSF 2015). 3, Jun, 2015. Castelo Branco, Portugal.. A vehicular mobility model - For simulations on inter-vehicular communication. Both realistic and easy-to-use - Included into the framework “network simulator 3”. 2015. Albano, Michele; Cerqueira, Tiago; Lino Ferreira, Luis; Pinho, Luis Miguel; Pacheco Paulo, Filipe. http://hdl.handle.net/10400.22/6891.
Atividades

Apresentação oral de trabalho

Título da apresentação Nome do evento
Anfitrião (Local do evento)
2010 Keynote Talk: Real-Time Systems Programming Paradigms and Languages 6th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2010)
(Macau)

Orientação

Título / Tema
Papel desempenhado		 Curso (Tipo)
Instituição / Organização
2022/10/01 - 2026/02 Predictable Real-Time Systems Using Parallel Models
Orientador
 Doctoral Program on Computer Architecture (Doutoramento)
Universitat Politècnica de Catalunya, Espanha
2014 - 2019 Multiprocessor Scheduling and Mapping Techniques for Real-Time Parallel Applications
Coorientador
 Engenharia Electrotécnica e de Computadores (Doutoramento)
Universidade do Porto Faculdade de Engenharia, Portugal
2014 - 2018 Scheduling parallel real-time tasks in multiprocessor platforms
Coorientador
 Engenharia Electrotécnica e de Computadores (Doutoramento)
Universidade do Porto Faculdade de Engenharia, Portugal
2014 - 2018 Real-Time Software Transactional Memory
Orientador
 Engenharia Eletrotécnica e de Computadores (Doutoramento)
Universidade do Porto Faculdade de Engenharia, Portugal
2014 - 2018 Dynamic contracts for verification and enforcement of real-time systems properties
Orientador
 Ciências da Engenharia (Doutoramento)
Universidade do Minho, Portugal
2012 - 2017 Integrating dataflow and non-dataflow real-time application models on multi-core platforms
Orientador
 Engenharia Eletrotécnica e de Computadores (Doutoramento)
Universidade do Porto Faculdade de Engenharia, Portugal
2012 - 2016 A Framework for the Development of Parallel and Distributed Real-Time Embedded Systems
Coorientador
 Engenharia Eletrotécnica e de Computadores (Doutoramento)
Universidade do Porto Faculdade de Engenharia, Portugal
2005 - 2009 Time-Bounded Adaptive Quality of Service Management for Cooperative Embedded Real-Time Systems
Orientador
 Ciência de Computadores (Doutoramento)
Universidade do Porto Faculdade de Ciências, Portugal

Organização de evento

Nome do evento
Tipo de evento (Tipo de participação)		 Instituição / Organização
2024 - 2024 Journal-track Co-Chair at the 28th Ada-Europe International Conference on Reliable Software Technologies (2024 - 2024)
Conferência (Outra)
2018 - 2018 Track Co-Chair, track “Real-time and Networked Embedded Computing”, “16th IEEE International Conference on Industrial Informatics” (2018 - 2018)
2016 - 2016 Program Co-Chair of the 24th International Conference on Real-Time Networks and Systems (2016 - 2016)
Conferência (Presidente da Comissão Organizadora)
2015 - 2015 General Co-Chair of the 28th GI/ITG International Conference on Architecture of Computing Systems (2015 - 2015)
Conferência (Presidente da Comissão Organizadora)
2012 - 2012 Program Co-Chair of the 17th International Conference on Reliable Software Technologies (Ada-Europe 2012) (2012 - 2012)
Conferência (Presidente da Comissão Organizadora)
2006 - 2006 General Chair and Program Co-Chair of the 11th International Conference on Reliable Software Technologies (Ada-Europe 2006) (2006 - 2006)
Conferência (Presidente da Comissão Organizadora)

Arbitragem científica em revista

Nome da revista (ISSN) Editora
2019 - Atual Editor, ACM SIGAda Ada Letters ACM
2023 - 2024 Guest Co-Editor, "Special issue on Reliable Software Technologies", Journal of System Architecture. Elsevier
2007 - 2019 Editor-in-Chief of the Ada User Journal Ada-Europe
2018 - 2018 Guest Co-Editor, "Real-Time Networks and Systems" special issue, Real-Time Systems Journal Springer

Curso / Disciplina lecionado

Disciplina Curso (Tipo) Instituição / Organização
2022/07/01 - Atual Director, Master of Critical Computing Systems Engineering (Mestrado) Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
2019/09 - 2022/04 Director, post-graduation on Product Innovation (Pós-Graduação) Porto Design Factory, Portugal

Membro de associação

Nome da associação Tipo de participação
2024/06 - Atual President of the Ada-Europe International Organization President
2021/07/01 - Atual ACM SIGAda Executive Committee Secretary/Treasurer
2007 - Atual Board member of the Ada-Europe International Association Board Member

Membro de comissão

Descrição da atividade
Tipo de participação		 Instituição / Organização
2015 - Atual Expert member in ISO/IEC JTC1/SC22/WG9
Outro
Distinções

Prémio

2025 Outstanding Paper Award
28th IEEE International Synpoisum on Real-Time Distributed Computing (ISORC 2025) , França
2022 ACM SIGAda Distinguished Service Award
2022 Best presentation award
IEEE International Conference on Industrial Cyber-Physical Systems 2022, Reino Unido
2015 Best paper Award
International Conference on Reliable Software Technologies 2015, Espanha
2012 ACM SIGAda Outstanding Ada Community Contribution Award

Título

2016 Senior Member
Association for Computing Machinery, Estados Unidos
2015 Senior Member
IEEE, Estados Unidos