???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/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
2023/01/01 - Atual Generating and Deploying Lightweight, Secure and Zero-overhead Software for Multipurpose IoT Devices
ITEA 21014
Team coordinator
Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
Em curso
2020/01 - 2023/06 AMPERE - A Model-driven development framework for highly Parallel and EneRgy-Efficient computation supporting multi-criteria optimisation
871669
Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
 European Commission
Em curso
2018/12 - 2022/11 A Software Architecture for Extreme-ScaLe Big-Data AnalyticS in Fog CompuTing ECosystems
825473
 European Commission
2020/10 - 2022/09 Panorama - Accelerating design efficiency for automotive and aerospace systems
17003
Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
 Eureka
Em curso
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
Em curso
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
Em curso
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
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
Em curso
2015/02 - 2018/01 Energy Game for Awareness of energy efficiency in social housing communities
649673
 European Commission
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
 Fundação para a Ciência e a Tecnologia
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
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 - 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
 Fundação para a Ciência e a Tecnologia
Produções

Publicações

Artigo em conferência
  1. 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
  2. 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
  3. Gharajeh, Mohammad Samadi; Carvalho, Tiago; Pinho, Luis Miguel. "Configuration of Parallel Real-Time Applications on Multi-Core Processors". 2022.
    10.1109/indin51773.2022.9976163
  4. 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
  5. Sousa, Rita; Nogueira, Luis; Rodrigues, Fatima; Pinho, Luis Miguel. "Global Resource Management in the ELASTIC Architecture". 2022.
    10.1109/icps51978.2022.9816988
  6. 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
  7. 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
  8. 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
  9. 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
  10. Pinho, Luís Miguel. "High-Performance Parallelisation of Real-Time Applications with the Upscale SDK". 2017.
  11. 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
  12. 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.
  13. 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
  14. 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
  15. 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
  16. Lindgren, P.; Lindner, M.; Pereira, D.; Pinho, L.M.. "Contract based verification of IEC 61499". 2017.
    10.1109/INDIN.2016.7819147
  17. 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
  18. 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
  19. Faucou, S.; Pinho, L.M.. "Message from the program chairs". 2016.
  20. Lindgren, P.; Lindner, M.; Pereira, D.; Pinho, L.M.. "Towards certified compilation of RTFM-core applications". 2016.
    10.1109/ETFA.2016.7733551
  21. 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
  22. 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
  23. Nikolic, B.; Pinho, L.M.; Indrusiak, L.S.. "On Routing Flexibility of Wormhole-Switched Priority-Preemptive NoCs". 2016.
    10.1109/RTCSA.2016.37
  24. Maia, C.; Nogueira, L.; Pinho, L.M.; Perez, D.G.. "A closer look into the AER Model". 2016.
    10.1109/ETFA.2016.7733567
  25. 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
  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. 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
  28. 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
  29. 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
  30. 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
  31. 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
  32. 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.
  33. 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
  34. 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
  35. 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
  36. 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
  37. 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
  38. 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
  39. 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
  40. Lindgren, P.; Lindner, M.; Lindner, A.; Pereira, D.; Pinho, L.M.. "RTFM-core: Language and implementation". 2015.
    10.1109/ICIEA.2015.7334252
  41. 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
  42. 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
  43. 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
  44. 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
  45. 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
  46. Pinho, L.M.; Moore, B.; Michell, S.. "Parallelism in Ada: Status and prospects". 2014.
    10.1007/978-3-319-08311-7_8
  47. Barros, A.; Pinho, L.M.. "Non-preemptive scheduling of real-time software transactional memory". 2014.
    10.1007/978-3-319-04891-8_3
  48. 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
  49. 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
  50. 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
  51. Taft, S.T.; Moore, B.; Pinho, L.M.; Michell, S.. "Safe parallel programming in Ada with language extensions". 2014.
    10.1145/2663171.2663181
  52. Maia, C.; Bertogna, M.; Nogueira, L.; Pinho, L.M.. "Response-time analysis of synchronous parallel tasks in multiprocessor systems". 2014.
    10.1145/2659787.2659815
  53. Lindgren, P.; Eriksson, J.; Lindner, M.; Pereira, D.; Pinho, L.M.. "RTFM-lang static semantics for systems with mixed criticality". 2014.
  54. 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
  55. Michell, S.; Moore, B.; Pinho, L.M.. "Real-time programming on accelerator many-core processors". 2013.
    10.1145/2527269.2527270
  56. 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
  57. 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
  58. 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
  59. 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
  60. 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
  61. Ferreira, L.L.; Albano, M.; Pinho, L.M.. "QoS enabled middleware for real-time industrial control systems". 2013.
    10.1109/ETFA.2013.6648074
  62. 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
  63. Nogueira, L.; Pinho, L.M.. "Server-based scheduling of parallel real-time tasks". 2012.
    10.1145/2380356.2380374
  64. Barros, A.; Pinho, L.M.. "Software transactional memory as a building block for parallel embedded real-time systems". 2011.
    10.1109/SEAA.2011.46
  65. Maia, C.; Nogueira, L.; Pinho, L.M.. "Combining RTSJ with fork/join: A priority-based model". 2011.
    10.1145/2043910.2043924
  66. Ferreira, L.L.; Silva, G.; Pinho, L.M.. "Service offloading in adaptive real-time systems". 2011.
    10.1109/ETFA.2011.6059236
  67. Ali, H.I.; Pinho, L.M.. "A parallel programming model for ada". 2011.
    10.1145/2070337.2070350
  68. 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
  69. Nogueira, L.; Pinho, L.M.. "Dynamic QoS adaptation of inter-dependent task sets in cooperative embedded systems". 2011.
    10.4108/ICST.AUTONOMICS2008.4488
  70. Nogueira, L.; Pinho, L.M.; Coelho, J.. "Flexible and dynamic replication control for interdependent distributed real-time embedded systems". 2010.
  71. 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
  72. 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
  73. Maia, C.; Nogueira, L.; Pinho, L.M.. "Short paper: Experiences on the implementation of a Cooperative Embedded System framework". 2010.
    10.1145/1850771.1850780
  74. Nogueira, L.; Pinho, L.M.; Coelho, J.. "Coordinated runtime adaptations in cooperative open real-time systems". 2009.
    10.1109/CSE.2009.64
  75. Nogueira, L.; Pinho, L.M.. "Handling QoS dependencies in distributed cooperative real-time systems". 2008.
    10.1007/978-0-387-09661-2_19
  76. Nogueira, L.; Pinho, L.M.. "Shared resources and precedence constraints with capacity sharing and stealing". 2008.
    10.1109/IPDPS.2008.4536568
  77. Nogueira, L.; Pinho, L.M.. "Capacity sharing and stealing in dynamic server-based real-time systems". 2007.
    10.1109/IPDPS.2007.370349
  78. Nogueira, L.; Pinho, L.M.. "Iterative refinement approach for QOS-aware service configuration". 2006.
    10.1007/978-0-387-39362-9_17
  79. Valpereiro, F.; Pinho, L.M.. "POSIX trace based behavioural reflection". 2006.
    10.1007/11767077_3
  80. Nogueira, L.; Pinho, L.M.. "Dynamic adaptation of stability periods for service level agreements". 2006.
    10.1109/RTCSA.2006.28|
  81. Barros, A.; Pacheco, F.; Pinho, L.M.. "A complex protocol layer as a linux user-space process". 2006.
    10.1109/IES.2006.357478
  82. Nogueira, L.; Pinho, L.M.. "Dynamic QoS-aware coalition formation". 2005.
    10.1109/IPDPS.2005.179
  83. Pacheco, F.; Pinho, L.M.; Tovar, E.. "Queuing and routing in a hierarchical powerline communication system". 2005.
  84. Pinho, L.M.; Nogueira, L.; Barbosa, R.. "An ada framework for QoS-aware applications". 2005.
  85. Pereira, N.; Tovar, E.; Pinho, L.M.. "INDEPTH: Timeliness assessment of Ethernet/IP-based systems". 2004.
    10.1109/MASCOT.2004.1348197
  86. Pereira, N.; Tovar, E.; Pinho, L.M.. "Timeliness in COTS factory-floor distributed systems: What role for simulation?". 2004.
  87. 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
  88. 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
  89. Vardanega, T.; Pinho, L.M.. "Session summary: The future of IRTAW". 2003.
    10.1145/959222.959240
  90. Pinho, L.M.; Vasques, F.. "Transparent environment for replicated ravenscar applications". 2002.
  91. De La Puente, J.A.; Pinho, L.M.. "Session summary: Safety improvements for consideration". 2002.
    10.1145/584418.584433
  92. Pinho, L.M.; Vasques, F.. "Using Ravenscar to support fault-tolerant real-time applications". 2002.
    10.1145/584418.584424
  93. Pinho, L.M.; Vasques, F.. "Reliable communication in distributed computer-controlled systems". 2001.
  94. Pinho, L.M.; Vasques, F.. "An architecture for reliable Distributed Computer-Controlled Systems". 2001.
    10.1007/978-0-387-35409-5
  95. González Harbour, M.; Pinho, L.M.. "Session summary: Distribution and real-time". 2001.
    10.1145/374370.374374
  96. Pinho, L.M.; Vasques, F.; Ferreira, L.. "Programming atomic muiticasts in CAN". 2001.
    10.1145/374370.374386
  97. Pinho, L.M.; Vasques, F.. "Timing analysis of reliable real-time communication in CAN networks". 2001.
    10.1109/EMRTS.2001.934010
  98. Pinho, L.M.; Vasques, F.. "Improved fault tolerant broadcasts in CAN". 2001.
  99. Pinho, Luis Miguel; Vasques, Francisco; Tovar, Eduardo. "Integrating inaccessibility in response time analysis of CAN networks". 2000.
  100. Pinho, L.M.; Vasques, F.. "Replica management in real-time Ada 95 applications". 1999.
    10.1145/329607.334731
  101. 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. 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
  2. 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
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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
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
2021/10/01 - Atual 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

Membro de associação

Nome da associação Tipo de participação
2021/07/01 - Atual ACM SIGAda 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

2022 ACM SIGAda Distinguished Service Award
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