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
Another look at the pWCET estimation problem CISTER-TR-141105 
Vincent Nélis, Patrick Meumeu Yomsi, Luis Miguel Pinho, Guillem BernatWork in Progress Session, IEEE Real-Time Systems Symposium (RTSS 2014). 2 to 5, Dec, 2014. Rome, Italy.
Safe Parallel Programming in Ada with Language Extensions CISTER-TR-141010 
S. Tucker Taft, Brad Moore, Luis Miguel Pinho, Stephen MichellHigh Integrity Language Technology ACM SIGAda’s Annual International Conference (HILT 2014). 20 to 22, Oct, 2014. Portland, U.S.A..
Response-Time Analysis of Synchronous Parallel Tasks in Multiprocessor Systems CISTER-TR-141001 
Cláudio Maia, Marko Bertogna, Luis Miguel Nogueira, Luis Miguel Pinho22nd International Conference on Real-Time Networks and Systems (RTNS 2014). 8 to 10, Oct, 2014. Versailles, France.
P-SOCRATES: a Parallel Software Framework for Time-Critical Many-Core Systems CISTER-TR-140710 
Luis Miguel Pinho, Eduardo Quiñones, Marko Bertogna, Andrea Marongiu, Jorge Pereira Carlos, Claudio Scordino, Michele RamponiEuromicro Conference on Digital System Design (DSD) (DSD 2014). 27 to 29, Aug, 2014. Verona, Italy.
Towards a Runtime Verification Framework for the Ada Programming Language CISTER-TR-140305 
André Pedro, David Pereira, Luis Miguel Pinho, Jorge Sousa PintoLecture Notes in Computer Science, Reliable Software Technologies – Ada-Europe 2014 (LNCS), Springer International Publishing. 23 to 27, Aug, 2014, 8454, pp 58-73.
Towards Holistic Analysis for Fork-Join Parallel/Distributed Real-Time Tasks CISTER-TR-140707 
Ricardo Garibay-Martínez, Luis Lino Ferreira, Geoffrey Nelissen, Luis Miguel PinhoWork in Progress Session, 26th Euromicro Conference on Real-Time Systems (ECRTS 2014). 8 to 11, Jul, 2014, pp 21-24. Madrid, Spain.
The challenge of time-predictability in modern many-core architectures CISTER-TR-140624 
Vincent Nélis, Patrick Meumeu Yomsi, Luis Miguel Pinho, José Fonseca, Marko Bertogna, Eduardo Quiñones, Roberto Vargas, Andrea Marongiu14th International Workshop on Worst-Case Execution Time Analysis (WCET 2014). 8, Jul, 2014. Madrid, Spain.
How to deal with control-flow information in parallel real-time applications? CISTER-TR-141201 
José Fonseca, Vincent Nélis, Gurulingesh Raravi, Luis Miguel Pinho5th Real-Time Scheduling Open Problems Seminar (RTSOPS 2014). 8, Jul, 2014. Madrid, Spain.
RTFM-lang Static Semantics for Systems with Mixed Criticality CISTER-TR-140625 
Per Lindgren, Johan Eriksson, Marcus Lindner, David Pereira, Luis Miguel PinhoProc of Workshop on Mixed Criticality for Industrial Systems (WMCIS’2014), Ada User Journal, 35(2):128–132, 2014. (WMCIS 2014). 23 to 26, Jun, 2014. Paris, France.
Parallelism in Ada: Status and Prospects CISTER-TR-140307 
Luis Miguel Pinho, Brad Moore, Stephen Michell19th International Conference on Reliable Software Technologies - Ada-Europe 2014 (Lecture Notes in Computer Science), Springer International Publishing. 23, Jun, 2014, pp 91-106. Paris, France.
On the Scheduling of Fork-Join Parallel/Distributed Real-Time Tasks CISTER-TR-140601 
Ricardo Garibay-Martínez, Geoffrey Nelissen, Luis Lino Ferreira, Luis Miguel Pinho9th IEEE International Symposium on Industrial Embedded Systems (SIES 2014). 15 to 17, Jun, 2014, Real-time scheduling. Pisa, Italy.
A Compositional Monitoring Framework for Hard Real-Time Systems CISTER-TR-140104 
André Pedro, David Pereira, Luis Miguel Pinho, Jorge Sousa PintoNASA Formal Methods Symposium 2014 (NFM14), Springer International Publishing. 29, Apr, 2014, LNCS 8430, pp 16-30. Houston, TX, U.S.A..
Non-preemptive scheduling of Real-Time Software Transactional Memory CISTER-TR-140207 
António Barros, Luis Miguel Pinhothe Conference on Architecture of Computing Systems (ARCS 2014). 25 to 28, Feb, 2014. Lubeck, Germany.
Time Criticality Challenge in the Presence of Parallelised Execution CISTER-TR-140105 
Luis Miguel Pinho, Eduardo Quiñones, Marko Bertogna, Luca Benini, Jorge Pereira Carlos, Claudio Scordino, Michele Ramponi2nd Workshop on High-performance and Real-time Embedded Systems (HiRES 2014). 20, Jan, 2014. Vienna, Austria.
Conference or Workshop Posters/Demos
Another look at the pWCET estimation problem CISTER-TR-151101 
Vincent Nélis, Patrick Meumeu Yomsi, Luis Miguel Pinho, Guillem BernatPoster presented in Work in Progress Session, IEEE Real-Time System Symposium, Work-in-progress session, 2014 (RTSS 2014). 2 to 5, Dec, 2014. Roma, Italy.
On Program Restructuring for Cluster-based Highly Parallel Embedded Architectures CISTER-TR-140908 
Luis Miguel Pinho, Ismael Marín Carrión, Luis Lino FerreiraPoster presented in INFORUM - Simpósio de Informática (INFORUM 2014). 4 to 5, Sep, 2014. Porto, Portugal.