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
Reliable Real-Time Communication in CAN Networks HURRAY-TR-0301 
Luis Miguel Pinho, Francisco VasquesIEEE Transactions on Computers, IEEE. Dec 2003, Volume 52, Issue 12, pp 1594-1607.
Conference or Workshop Papers/Talks
Session Summary: The future of IRTAW HURRAY-TR-0313 
Luis Miguel Pinho, Tullio Vardanega12th International Real-Time Ada Workshop (IRTAW '03), ACM New York. 15, Sep, 2003, pp 96-96. Viana do Castelo, Portugal.Also in ACM Ada Letters, Volume XXIII, Number 4, Dec 2003, pp. 96.
Verifying, Validating and Monitoring the Open Ravenscar Real Time Kernel HURRAY-TR-0312 
Ricardo Maia, Francisco Moreira, Ricardo Barbosa, Diamantino Costa, Patricia Rodriguez, Kjeld Hjortnaes, Luis Miguel Pinho12th International Real-Time Ada Workshop (IRTAW '03), ACM New York. 15, Sep, 2003, pp 74-81. Viana do Castelo, Portugal.Also in ACM Ada Letters, Volume XXIII, Number 4, Dec 2003, pp. 74-81.
Bringing Industrial Multimedia to the Factory-Floor: What is at stake with RFieldbus HURRAY-TR-0311 
Filipe Pacheco, Mário Alves, Luis Miguel Pinho, Eduardo Tovar5th IFAC International Conference on Fieldbus Systems and their Applications (FET '03). 7, Jul, 2003, pp 131-138. Aveiro, Portugal.
Monitoring and Profiling Business and Mission Critical Real-Time Systems HURRAY-TR-0306 
Ricardo Barbosa, Ricardo Maia, Luis Miguel PinhoWork in Progress Session, 15th Euromicro Conference on Real-Time Systems (ECRTS 2003). 2, Jul, 2003, pp 41-44. Porto, Portugal.
Supporting Networked Control Systems: Assessment of the CAN Protocol Considering Periods of Network Inaccessibility HURRAY-TR-0304 
Luis Miguel Pinho, Francisco Vasques21st Brazilian Symposium on Computer Networks (SBRC 2003). 19, May, 2003, pp 633-648. Natal, Brasil.
Technical Reports
Models of Ethernet/IP Devices HURRAY-TR-0314 
Nuno Pereira, Luis Miguel Pinho, Eduardo Tovar1, Dec, 2003.
Engineering Real-Time Distributed Applications with RFieldbus HURRAY-TR-0305 
Sandra Machado, Mário Alves, Luis Miguel Pinho, Eduardo Tovar1, May, 2003.