Login

Luis Miguel Pinho (Publications)

Luis Miguel Pinho (Publications)

Luis Miguel Pinho (Publications)

PhD University of Porto, Portugal
Research Centre Vice-Director
Professor, Research Associate

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 Vice-Director 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 is 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 ITEA 2 CarCoDe projects. In the past, Miguel was also Coordinator of CooperatES and Reflect FCT-funded Research Projects, and CISTER Coordinator of the Artemis project ENCOURAGE and FP5 NNES project REMPLI.

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
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. 21, Aug, 2017, pp 1-17.
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.
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 PinhoAccepted in IECON 2017. 29, Oct to 1, Nov, 2017, 43rd Annual Conference of the IEEE Industrial Electronics Society (IES). 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
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 PinhoFuture Demo in INForum Simpósio de Informática 2017 (INForum 2017). 12 to 13, Oct, 2017. Aveiro.
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.