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.

 

Conference or Workshop Papers/Talks
Position Paper on Time and Event-triggered Communication Services in the Context of e-Manufacturing HURRAY-TR-0219 
Eduardo Tovar, Luis Miguel Pinho, Luís AlmeidaIEEE Workshop on Large Scale Real-Time and Embedded Systems (LARTES 2002). 5, Dec, 2002. Austin, U.S.A..Satellite Event to the RTSS 2002
Industrial Multimedia put into Practice HURRAY-TR-0218 
Filipe Pacheco, Nuno Pereira, Bertil Marques, Sandra Machado, Luis Miguel Marques, Luis Miguel Pinho, Eduardo Tovar7th CaberNet Radicals Workshop. 13, Oct, 2002. Bertinoro - Forlì, Italy.
Integration of TCP/IP and PROFIBUS Protocols HURRAY-TR-0216 
Nuno Pereira, Filipe Pacheco, Luis Miguel Pinho, Aggeliki Prayati, Efstratios Nikoloutsos, Athanassios Kalogeras, Elke Hintze, Heiko Adamczyk, Lutz RauchhauptWork in Progress Session, 4th IEEE International Workshop on Factory Communication Systems (WFCS'2002). 27, Aug, 2002. Vasteras, Sweden.
Transparent Environment for Replicated Ravenscar Applications HURRAY-TR-0204 
Luis Miguel Pinho, Francisco Vasques7th International Conference on Reliable Software Technologies (Ada-Europe 2002), Springer Berlin Heidelberg. 17, Jun, 2002, pp 297-308. Vienna, Austria.Lecture Notes in Computer Science, nº 2361.
Session Summary: Safety Improvements for Consideration HURRAY-TR-0207 
Luis Miguel Pinho, Juan Antonio de la Puente11th International Real-Time Ada Workshop (IRTAW '02), ACM New York. 9, Apr, 2002, pp 120-122. Mt. Tremblant - Quebec, Canada.
Using Ravenscar to Support Fault-Tolerant Real-Time Applications HURRAY-TR-0203 
Luis Miguel Pinho, Francisco Vasques11th International Real-Time Ada Workshop (IRTAW '02), ACM New York. 1, Apr, 2002, pp 47-52. Mt. Tremblant - Quebec, Canada.Also in ACM Ada Letters, Volume XXII, Number 4,Dec 2002, pp. 47-52.
Technical Reports
Manufacturing Automation Field Trial: October 2002 Report HURRAY-BTR-0206 
Filipe Pacheco, Luis Miguel Pinho1, Oct, 2002.
Implementation of the Manufacturing Automation Field Trial: Current Status HURRAY-BTR-0202 
Luis Miguel Pinho, Eduardo Tovar1, Jul, 2002.