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.

 

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Journal Papers
Erratum to: Optimal minimal routing and priority assignment for priority-preemptive real-time NoCs CISTER-TR-181126 
Borislav Nikolic, Luis Miguel PinhoReal-time Systems, Springer US. Jul 2017, Volume 53, Issue 4, pp 613-613.
Optimal Minimal Routing and Priority Assignment for Priority-Preemptive Real-Time NoCs CISTER-TR-170301 
Borislav Nikolic, Luis Miguel PinhoReal-Time Systems, Springer. 30, Mar, 2017, Volume 53, Issue 4, pp 578-612.
End-to-End Response Time of 61499 Distributed Applications over Switched Ethernet CISTER-TR-170502 
Per Lindgren, Johan Eriksson, Marcus Lindner, Andreas Lindner, David Pereira, Luis Miguel PinhoIEEE Transactions on Industrial Informatics (TII), IEEE. Feb 2017, Volume 13, Issue 1, pp 287-297.
Real-time semi-partitioned scheduling of fork-join tasks using work-stealing CISTER-TR-170803 
Cláudio Maia, Patrick Meumeu Yomsi, Luis Miguel Nogueira, Luis Miguel PinhoEURASIP Journal on Embedded Systems, Article No 2017:31, Springer International Publishing. 2017, pp 1-14.
Reducing the Complexity of Dataflow Graphs using Slack-based Merging CISTER-TR-160607 
Hazem Ali, Sander Stuijk, Benny Åkesson, Luis Miguel PinhoACM Transactions on Design Automation of Electronic Systems (TODAES), Article No 24, ACM. Jan 2017, Volume 22, Issue 2, pp 24:1-24:22.
Conference or Workshop Papers
The EnerGAware Middleware Platform CISTER-TR-170801 
Paulo Barbosa, António Barros, Luis Miguel PinhoIECON 2017. 29, Oct to 1, Nov, 2017, 43rd Annual Conference of the IEEE Industrial Electronics Society (IES), pp 8662-8667. Beijing, China.
Schedulability Analysis for Global Fixed-Priority Scheduling of the 3-Phase Task Model CISTER-TR-170603 
Cláudio Maia, Geoffrey Nelissen, Luis Miguel Nogueira, Luis Miguel Pinho, Daniel Gracia Pérez23rd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2017). 16 to 18, Aug, 2017. Hsinchu, Taiwan.
The P-SOCRATES timing analysis methodology for parallel real-time applications deployed on many-core platforms CISTER-TR-170505 
Vincent Nélis, Patrick Meumeu Yomsi, Luis Miguel Pinho29th Euromicro Conference on Real-Time Systems (ECRTS 2017), Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. 27 to 30, Jun, 2017, WCET 2017, pp 10:1-10:9. Dubrovnik, Croatia.
OpenMP tasking model for Ada: safety and correctness CISTER-TR-170503 
Sara Royuela, Xavier Martorell, Eduardo Quiñones, Luis Miguel Pinho22nd International Conference on Reliable Software Technologies (Ada-Europe 2017). 12 to 16, Jun, 2017, pp 184-200. Vienna, Austria.Part of the Lecture Notes in Computer Science book series (LNCS, volume 10300)
Combining Dataflow Applications and Real-time Task Sets on Multi-core Platforms CISTER-TR-170405 
Hazem Ali, Benny Åkesson, Luis Miguel Pinho20th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2017). 12 to 13, Jun, 2017, pp 60-63. Sankt Goar, Germany.
A serious game enhancing social tenants’ behavioral change towards energy efficiency CISTER-TR-170504 
Miquel Casals, Marta Gangolells, Marcel Macarulla, Alba Fuertes, Vincent Vimont, Luis Miguel PinhoWorkshop on Energy Efficient Solutions based on IoT (EESIoT 2017). 6 to 9, Jun, 2017, pp 279-284. Geneve, Switzerland.Workshop of Global IoT Summit 2017
High-performance parallelisation of real-time applications CISTER-TR-170203 
Luis Miguel Pinho, Vincent Nélis, Eduardo Quinoñes, Paolo Burgio, Andrea Marongiu, Paolo Gai, Juan Sancho
ABSTRACTPDFPDF Additional Files: PDFPresentation
Embedded World Conference 2017. 14 to 16, Mar, 2017, Session 19: HiPEAC – High Performance Embedded Architectures. Nuremberg, Germany.
Conference or Workshop Posters/Demos
Timing Analysis Solutions for Multicore Systems CISTER-TR-170601 
Luis Miguel PinhoDemo in EMC2 Open Day. 31, May to 1, Jun, 2017. Granada.
High-Performance Parallelisation of Real-Time Applications with the Upscale SDK CISTER-TR-170204 
Luis Miguel PinhoDemo in Design, Automation and Test in Europe (DATE 2017). 27 to 31, Mar, 2017, 6.8 HiPEAC: European Network on High Performance and Embedded Architecture and Compilation. Lausanne.
IoT for Energy-Efficiency: connecting a serious game with energy metering in the EnerGAware project CISTER-TR-170903 
Paulo Barbosa, António Barros, Luis Miguel Pinho
ABSTRACTPDFPDF Additional Files: PDFPoster
Poster presented in INForum Simpósio de Informática 2017 (INForum 2017). 12 to 13, Oct, 2017. Aveiro, Australia.