Login

Luis Miguel Pinho (Publications)

Luis Miguel Pinho (Publications)

Luis Miguel Pinho (Publications)

PhD University of Porto, Portugal
Professor, Integrated PhD Researcher

Luis Miguel Pinho has a MSc (1997) and a PhD (2001) in Electrical and Computer Engineering at the University of Porto. He is Coordinator Professor at the Department of Computer Engineering - School of Engineering of the Polytechnic Institute of Porto, and Research Associate at the CISTER research unit, where he currently promotes and leads activities in, among others, real-time parallel programming models, scheduling of real-time parallel tasks, reliable software, run-time monitoring and real-time middleware.

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 CISTER coordinator in the H2020 EnerGAware and P2020 Khronosim projects. In the past, Miguel was also Coordinator of CooperatES and Reflect FCT-funded Research Projects, and CISTER Coordinator of the ITEA 2 CarCoDe, Artemis project ENCOURAGE and FP5 NNES project REMPLI, among others.

His main research interest is on the software infrastructure for real-time embedded systems, in particular languages and operating systems. He is especially interested in Ada, the best language for real-time embedded systems. Miguel is a member of ISO/IEC JTC1/SC22/WG9 and board member of Ada-Europe.

Miguel has published several papers in international conferences and journals in the area of real-time embedded systems, and participated in the Organization and Program Committees of several international conferences in the area. He served as General Chair and Program Co-Chair of Ada-Europe 2006 and General Co-Chair of ARCS 2015, was a Keynote Speaker at RTCSA 2010 and Program Co-Chair of Ada-Europe 2012, Ada-Europe 2016 and RTNS 2016. He is Editor-in-Chief of the Ada User Journal, and a member of the HiPEAC network of excellence.

 

Books & Book Chapters
Timing Analysis Methodology CISTER-TR-180707 
Vincent Nélis, Patrick Meumeu Yomsi, Luis Miguel PinhoChapter in "High-Performance and Time-Predictable Embedded Computing", River Publishers. 1, Jul, 2018, pp 113-144, 144, 144, 144, 144, 144, ,.Open Access
High-Performance and Time-Predictable Embedded Computing CISTER-TR-180705 
Luis Miguel Pinho, Eduardo Quiñones, Marko Bertogna, Andrea Marongiu, Vincent Nélis, Paolo Gai, Juan Sancho1, Jul, 2018, 236 pages.Open Access Book
Guest editorial: real-time networks and systems CISTER-TR-181111 
Sébastien Faucou, Luis Miguel PinhoPart of the Special Issue on Real Time Networks and Systems Volume 54, Issue 4 ISSN: 0922-6443 (Print) 1573-1383 (Online)
Session Summary: Clock Issues CISTER-TR-181204 
Kristoffer Nyborg Gregertsen, Luis Miguel PinhoNewsletter ACM SIGAda Ada Letters Publisher ACM New York Volume 38, Issue 1, Pages 77-78 ISSN: 1094-3641
Session Summary: Parallel Programming CISTER-TR-181205 
Luis Miguel Pinho, Tullio VardanegaNewsletter ACM SIGAda Ada Letters Volume 38, Issue 1, Pages 58-60 Publisher ACM New York, NY, USA ISSN: 1094-3641
Journal Papers
Runtime verification of autopilot systems using a fragment of MTL-∫ CISTER-TR-170802 
André Pedro, Jorge Sousa Pinto, David Pereira, Luis Miguel PinhoInternational Journal on Software Tools for Technology Transfer (STTT), Springer Berlin Heidelberg. Aug 2018, Volume 20, Issue 4, pp 379-395.
Conference or Workshop Papers/Talks
Exploiting a Throttle Mechanism for QEMU CISTER-TR-180704 
Renato Oliveira, Cláudio Maia, Luis Miguel PinhoINForum 2018 - Simpósio de Informática (INForum 2018). 3 to 4, Sep, 2018, Real-Time and Embedded Systems. Coimbra, Portugal.
Safe Parallelism: Compiler Analysis Techniques for Ada and OpenMP CISTER-TR-180505 
Sara Royuela, Xavier Martorell, Eduardo Quiñones, Luis Miguel Pinho23rd International Conference on Reliable Software Technologies (Ada-Europe 2018). 18 to 22, Jun, 2018, pp 141-157. Lisboa, Portugal.Volume 10873
Emulation-in-the-loop for simulation and testing of real-time critical CPS CISTER-TR-180501 
Renato Oliveira, Manuel Meireles, Cláudio Maia, Luis Miguel Pinho1st IEEE International Conference on Industrial Cyber-Physical Systems (ICPS 2018). 15 to 18, May, 2018, pp 258-263. Saint Petersburg, Russia.
Combining the tasklet model with OpenMP CISTER-TR-180301 
Luis Miguel Pinho, Eduardo Quiñonez, Sara Royuela19th International Real-Time Ada Workshop (IRTAW 2018). 18 to 20, Apr, 2018, pp 14-18. Benicàssim, Spain.Volume 38, Issue 1
Converging Safety and High-performance Domains: Integrating OpenMP into Ada CISTER-TR-180201 
Sara Royuela, Luis Miguel Pinho, Eduardo QuiñonesDesign, Automation, and Test in Europe conference (DATE 2018). 19 to 23, Mar, 2018, pp 1021-1026. Dresden, Germany.
Conference or Workshop Posters/Demos
Multicore emulation-in-the-loop in the Khronosim project CISTER-TR-180112 
Luis Miguel PinhoDemo in 6th International workshop on the “Integration of mixed-criticality subsystems on multi-core and manycore processors” (MCS 2018). 23, Jan, 2018, Embedded parallel architectures for mixed-criticality. Manchester.MCS 2018 was held as part of the High Performance and Embedded Architecture and Compilation Conference (HiPEAC 2018), January 22-24, 2018.
Scheduling Parallel Real-Time Tasks in Multiprocessor Platforms CISTER-TR-180410 
Cláudio Maia, Luis Miguel Nogueira, Luis Miguel PinhoPoster presented in Cyber-Physical Systems Week (CPS Week 2018). 10 to 13, Apr, 2018, CPS Student Forum Portugal. Porto, Portugal.