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
Improved Holistic Analysis for Fork–Join Distributed Real-Time Tasks Supported by the FTT-SE Protocol CISTER-TR-170117 
Ricardo Garibay-Martínez, Geoffrey Nelissen, Luis Lino Ferreira, Paulo Pedreiras, Luis Miguel PinhoIEEE Transactions on Industrial Informatics, IEEE. Aug 2016, Volume 12, Issue 5, pp 1865-1876.
Conference or Workshop Papers/Talks
SMT-based Schedulability Analysis using RMTL-∫ CISTER-TR-161101 
André Pedro, David Pereira, Luis Miguel Pinho, Jorge Sousa PintoIEEE Real-Time Systems Symposium (RTSS 2016). 29, Nov to 2, Dec, 2016, CRTS. Porto, Portugal.
A Closer Look into the AER Model CISTER-TR-160701 
Cláudio Maia, Luis Miguel Nogueira, Luis Miguel Pinho, Daniel Gracia Pérez21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2016). 6 to 9, Sep, 2016. Berlin, Germany.
ENCOURAGEing Results on ICT for Energy Efficient Buildings CISTER-TR-160601 
Thibaut Le Guilly, Arne Skou, Petur Olsen, Per Printz Madsen, Michele Albano, Luis Lino Ferreira, Luis Miguel Pinho, Miquel Casals, Marcel Macarulla, Marta Gangolells
ABSTRACTPDFPDF Additional Files: PDFPresentation
21st IEEE International Conference on Emerging Technologies & Factory Automation (ETFA 2016). 6 to 9, Sep, 2016. Berlin, Germany.
Towards Certified Compilation of RTFM-core Applications CISTER-TR-161105 
Per Lindgren, Marcus Lindner, David Pereira, Luis Miguel Pinho21st International Conference on Emerging Technologies and Factory Automation (ETFA 2016). 6 to 9, Sep, 2016. Berlin, Germany.
On Routing Flexibility of Wormhole-Switched Priority-Preemptive NoCs CISTER-TR-160602 
Borislav Nikolic, Luis Miguel Pinho, Leandro Indrusiak22nd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2016). 17 to 19, Aug, 2016. Daegu, South Korea.
Contract Based Verification of IEC 61499 CISTER-TR-161106 
Per Lindgren, Marcus Lindner, David Pereira, Luis Miguel Pinho14th International Conference on Industrial Informatics (INDIN 2016). 18 to 21, Jul, 2016, Factory Automation. Poitiers, France.
The variability of application execution times on a multi-core platform CISTER-TR-160608 
Vincent Nélis, Patrick Meumeu Yomsi, Luis Miguel Pinho16th International Workshop on Worst-Case Execution Time Analysis (WCET 2016). 5, Jul, 2016. Toulouse, France.WCET was held as part of ECRTS 2016 that took place in Toulouse, France on July 5-8, 2016.
Response Time Analysis of Sporadic DAG Tasks under Partitioned Scheduling CISTER-TR-160502 
José Fonseca, Geoffrey Nelissen, Vincent Nélis, Luis Miguel Pinho11th IEEE International Symposium on Industrial Embedded Systems (SIES 2016). 23 to 25, May, 2016. Krakow, Poland.
Response time analysis of hard real-time tasks sharing software transactional memory data under fully partitioned scheduling CISTER-TR-160408 
António Barros, Patrick Meumeu Yomsi, Luis Miguel Pinho11th IEEE International Symposium on Industrial Embedded Systems (SIES 2016). 23 to 25, May, 2016. Krakow, Poland.
Constraints on the Use of Executors in Real-time Systems CISTER-TR-160404 
Stephen Michell, Brad Moore, Luis Miguel Pinho, S. Tucker Taft18th International Real-Time Ada Workshop (IRTAW 2016). 11 to 13, Apr, 2016. Benicàssim, Spain.
Reduction of Parallel Computation in the Parallel Model for Ada CISTER-TR-160403 
S. Tucker Taft, Brad Moore, Luis Miguel Pinho, Stephen Michell18th International Real-Time Ada Workshop (IRTAW 2016). 11 to 13, Apr, 2016. Benicàssim, Spain.