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
To Ada or not To Ada: Adaing vs. Javaing in Real-Time Systems HURRAY-TR-9904 
Luis Miguel Pinho, Francisco VasquesACM Ada Letters, Association for Computing Machinery. Dec 1999, Volume 19, Issue 4, pp 37-43.Revised version of HURRAY-TR-9820.
Conference or Workshop Papers/Talks
Replica Management in Real-Time Ada Applications HURRAY-TR-9906 
Luis Miguel Pinho, Francisco Vasques9th International Real-Time Ada Workshop (IRTAW '99), ACM Ada Letters. 8, Mar, 1999, 19, 2, pp 21-27. Wakulla Springs Lodge, U.S.A..
Technical Reports
IPP-HURRAY! A R&D Group in ISEP-IPP HURRAY-BTR-9901 
Luis Lino Ferreira, Mário Alves, Luis Miguel Pinho, Eduardo TovarISEP Workshop. 1, Sep, 1999. Porto, Portugal.
Replica Management in Real-Time Ada 95 Applications HURRAY-TR-9918 
Luis Miguel Pinho, Francisco Vasques1st DEAR-COTS Workshop. 1, Jun, 1999. Porto, Portugal.