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
Distributed Computer-Controlled Systems: the DEAR-COTS approach HURRAY-TR-0021 
Paulo Veríssimo, António Casimiro, Luis Rodrigues, Luis Miguel Pinho, Eduardo Tovar, Francisco Vasques16th IFAC Workshop on Distributed Computer Control Systems (DCCS'2000), Pergamon. 29, Nov, 2000, pp 128-135. Sydney, Australia.
An Architecture for Reliable Distributed Computer-Controlled Systems HURRAY-TR-0012 
Luis Miguel Pinho, Francisco VasquesInternational Workshop on Distributed and Parallel Embedded Systems (DIPES 2000), Springer US. 18, Oct, 2000, 61, pp 43-52. Paderborn, Germany.Also published in "Architecture and Design of Distributed Embedded Systems", B. Kleinjohann (Ed.), Kluwer Academic Publishers, Boston, April 2001, ISBN 0-7923-7345-6, pp. 43-52.
Session Summary: Distribution and Real-Time HURRAY-TR-0023 
Michael González Harbour, Luis Miguel Pinho10th International Real-Time Ada Workshop (IRTAW '00), ACM New York. 1, Oct, 2000, pp 14-16. Avila, Spain.Also published in ACM Ada Letters, Vol XXI, N. 1, pp. 79-84, ACM Press, March 2001.
Programming Atomic Multicasts in CAN HURRAY-TR-0014 
Luis Miguel Pinho, Francisco Vasques, Luis Lino Ferreira10th International Real-Time Ada Workshop (IRTAW '00), ACM New York. 1, Oct, 2000, pp 79-84. Avila, Spain.Also published in ACM Ada Letters, Vol XXI, N. 1, pp. 79-84, ACM Press, March 2001.
Engineering Real-Time Applications with WorldFIP: analysis and tools HURRAY-TR-9912 
Eduardo Tovar, Francisco Vasques, Luis Miguel Pinho4th IFAC International Symposium on Intelligent Components and Instruments for Control Applications (SICICA'2000), Pergamon. 13, Sep, 2000, pp 297-302. Buenos Aires.
Integrating Inacessibility in Response Time Analysis of CAN Networks HURRAY-TR-0004 
Luis Miguel Pinho, Eduardo Tovar, Francisco Vasques3rd IEEE International Workshop on Factory Communication Systems (WFCS'2000), IEEE. 6, Sep, 2000, pp 77-84. Porto, Portugal.
Technical Reports
Reliable and Real-Time Communication in the DEAR-COTS Architecture HURRAY-TR-0025 
Luis Miguel Pinho, Francisco Vasques1, Dec, 2000.
A Toolkit for Reliable Communication in Distributed Computer-Controlled Systems HURRAY-TR-0022 
Luis Miguel Pinho, Francisco Vasques1, Oct, 2000.
The DEAR-COTS Hard Real-Time Subsystem HURRAY-TR-0003 
Luis Miguel Pinho, Francisco Vasques2nd Dear-Cots Workshop. 8, May, 2000. Lisbon, Portugal.
R-Fieldbus D1.1 Application Requirements Report HURRAY-TR-000420 
Filipe Pacheco, Mário Alves, Luis Miguel Pinho8, Apr, 2000.R-Fieldbus Deliverable.
Order of authors does not apply to this document. Not all authors are listed.

Real-Time and Dependability Requirements in R-Fieldbus HURRAY-TR-0010 
Mário Alves, Luis Miguel Pinho, Eduardo Tovar, Francisco Vasques1, Apr, 2000.
Comments on the R-Fieldbus User Requirements Questionnaire HURRAY-TR-0008 
Filipe Pacheco, Luis Lino Ferreira, Mário Alves, Luis Miguel Pinho, Eduardo Tovar, Francisco Vasques1, Mar, 2000.
R-Fieldbus - Report on MDA (Simoldes) User Questionnaire HURRAY-BTR-0003 
Luis Miguel Pinho1, Mar, 2000.R-Fieldbus project internal technical report.