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
A Feedback-based Decentralised Coordination Model for Distributed Open Real-Time Systems HURRAY-TR-120713 
Luis Miguel Nogueira, Luis Miguel Pinho, Jorge CoelhoJournal of Systems and Software (JSS), Elsevier. Sep 2012, Volume 85, Issue 9, pp 2145-2159.
Conference or Workshop Papers/Talks
Dynamic Global Scheduling of Parallel Real-Time Tasks HURRAY-TR-121005 
Luis Miguel Nogueira, José Fonseca, Cláudio Maia, Luis Miguel Pinho10th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC 2012). 5 to 7, Dec, 2012, pp 500-507. Paphos, Cyprus.
Server-based Scheduling of Parallel Real-Time Tasks HURRAY-TR-121001 
Luis Miguel Nogueira, Luis Miguel Pinho12th International Conference on Embedded Software (EMSOFT 2012), ACM New York. 7 to 12, Oct, 2012, pp 73-82. Tampere, Finland.
ENCOURAGE architecture: support for heterogeneous smart grids CISTER-TR-121101 
Luis Lino Ferreira, Michele Albano, Thibaut Le Guilly, Manuel Ramiro, Eduardo Faria, Lara Pérez Dueñas, Rodrigo Ferreira, Earl Gaylard, Francesc Pelegrin, Eammon Roarke, Daniel Lux, Sandra Scalari, Susanne Majlund Sørensen, Marta Gangolells, Luis Miguel Pinho, Arne SkouIEEE International Energy Conference and Exhibition (ENERGYCON 2012). 9 to 12, Sep, 2012. Florence, Italy.
Real-Time Scheduling of Parallel Tasks in the Linux Kernel HURRAY-TR-120714 
José Fonseca, Luis Miguel Nogueira, Cláudio Maia, Luis Miguel PinhoSimpósio de Informática (INForum 2012). 6 to 7, Sep, 2012. Lisboa, Portugal.Best paper of the Real-time and Embedded Systems track.
A Framework for the Development of Parallel and Distributed Real-Time Embedded Systems HURRAY-TR-120403 
Ricardo Garibay-Martínez, Luis Lino Ferreira, Luis Miguel Pinho38th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2012), IEEE. 5 to 8, Sep, 2012, pp 39-46. Cesme, Türkiye.
Conference or Workshop Posters/Demos
Towards Specification and Verification Frameworks for Concurrent Real-Time Systems CISTER-TR-130109 
David Pereira, André Pedro, Luis Miguel Pinho, Jorge Sousa PintoPoster presented in High Integrity Language Technology ACM SIGAda’s Annual International Conference (HILT 2012). 2 to 6, Dec, 2012. Boston, U.S.A..
Supporting Real-Time Parallel Task Models with Work-Stealing HURRAY-TR-120301 
Cláudio Maia, Luis Miguel Nogueira, Luis Miguel PinhoPoster presented in DATE'12 Fourth Friday Workshop on Designing for Embedded Parallel Computing Platforms: Architectures, Design Tools, and Applications (DEPCP 2012). 16, Mar, 2012. Dresden, Germany.
Parallel Real-time Support for Distributed Adaptive Embedded Applications HURRAY-TR-120101 
Ricardo Garibay-Martínez, Luis Lino Ferreira, Luis Miguel PinhoPoster presented in Design Tools and Architectures for Multi-Core Embedded Computing Platforms (PARMA-DITAM). 24, Jan, 2012. Paris, France.Workshop in conjunction with the 7th International Conference on High-Performance and Embedded Architectures and Compilers (HiPEAC 2012).