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 Capacity Sharing and Stealing Strategy for Open Real-time Systems HURRAY-TR-100503 
Luis Miguel Nogueira, Luis Miguel PinhoJournal of Systems Architecture, Elsevier. Apr 2010, Volume 56, Issue 4-6, pp 163-179.
Conference or Workshop Papers/Talks
Handling Mobility on a QoS-Aware Service-based Framework for Mobile Systems HURRAY-TR-101202 
Joel Gonçalves, Luis Lino Ferreira, Luis Miguel Pinho, Guilherme Silva8th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC 2010), IEEE. 11 to 14, Dec, 2010, pp 67-104. Hong Kong, China.
Managing contention of software transactional memory in real-time systems HURRAY-TR-101102 
António Barros, Luis Miguel Pinho31st IEEE Real-Time Systems Symposium (RTSS 2010). 30, Nov to 3, Dec, 2010, Work-In-Progress Session. San Diego, U.S.A..
Supporting Parallelism in Server-based Multiprocessor Systems HURRAY-TR-101103 
Luis Miguel Nogueira, Luis Miguel Pinho31st IEEE Real-Time Systems Symposium (RTSS 2010). 30, Nov to 3, Dec, 2010, Work-In-Progress Session. San Diego, U.S.A..
Flexible and Dynamic Replication Control for Interdependent Distributed Real-Time Embedded Systems HURRAY-TR-100904 
Luis Miguel Nogueira, Luis Miguel Pinho, Jorge Coelho7th IFIP TC 10 Working Conference (DIPES 2010). 20 to 23, Sep, 2010, 329, pp 66-77. Brisbane, Australia.3rd IFIP TC 10 International Conference, BICC 2010, incluida em WCC 2010. Distributed, Parallel and Biologically Inspired Systems. IFIP Advances in Information and Communication Technology
Experiences on the Implementation of a Cooperative Embedded System Framework: Short Paper HURRAY-TR-100801 
Cláudio Maia, Luis Miguel Nogueira, Luis Miguel Pinho8th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES 2010), ACM New York. 19, Aug, 2010, pp 70-72. Prague, Czechia.
Evaluating Android OS for Embedded Real-Time Systems HURRAY-TR-100604 
Cláudio Maia, Luis Miguel Nogueira, Luis Miguel Pinho6th International Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT 2010). 6 to 9, Jul, 2010, pp 63-70. Brussels, Belgium.
Implementing Multicore Real-Time Scheduling Algorithms Based on Task Splitting Using Ada 2012 HURRAY-TR-100301 
Björn Andersson, Luis Miguel Pinho15th International Conference on Reliable Software Technologies (Ada-Europe 2010), Springer Berlin Heidelberg. 14 to 18, Jun, 2010, pp 54-67. Valencia, Spain.
Technical Reports
Experiences on the Implementation of a Cooperative Embedded System Framework HURRAY-TR-100605 
Cláudio Maia, Luis Miguel Nogueira, Luis Miguel Pinho29, Jun, 2010.
Towards a Flexible and Dynamic Replication Control for Distributed Real-Time Embedded Systems with QoS Interdependencies HURRAY-TR-100202 
Luis Miguel Nogueira, Luis Miguel Pinho, Jorge Coelho16, Feb, 2010.