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
A Complex Protocol Layer as a linux User-Space Process HURRAY-TR-061006 
António Barros, Filipe Pacheco, Luis Miguel PinhoIEEE Symposium on Industrial Embedded Systems (IES’06), IEEE. 18 to 20, Oct, 2006, Work-In-Progress Session, pp 1-4. Antibes - Juan les Pins, France.
Iterative Refinement Approach for QoS-aware Service configuration HURRAY-TR-061001 
Luis Miguel Nogueira, Luis Miguel Pinho5th IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006), Springer US. 11 to 13, Oct, 2006, pp 155-164. Braga, Portugal.Also published in "From Model-Driven Design to Resource Management for Distributed Embedded Systems", B. Kleinjohann, L. Kleinjohann, R. Machado, C. Pereira, P. Thiagarajan (Eds.), IFIP Vol. 225, 2006, Springer, pp. 155-164.
Building Adaptable, QoS-aware Dependable Embedded Systems HURRAY-TR-061005 
Luis Miguel Nogueira, Luis Miguel Pinho3rd International Workshop on Dependable Embedded Systems. 1, Oct, 2006. Leeds, United Kingdom.
Dynamic Adaptation of Stability Periods for Service Level Agreements HURRAY-TR-060801 
Luis Miguel Nogueira, Luis Miguel Pinho12th IEEE International Conference on Embedded and Real-Time Computing and Applications (RTCSA 2006), IEEE. 16 to 18, Aug, 2006, pp 77-81. Sydney, Australia.
POSIX Trace Based Behavioural Reflection HURRAY-TR-060203 
Filipe Valpereiro, Luis Miguel Pinho11th International Conference on Reliable Software Technologies (Ada-Europe 2006), Springer Berlin Heidelberg. 5 to 9, Jun, 2006, Lecture Notes in Computer Science, 4006, pp 27-39. Porto, Portugal.
Technical Reports
Time-bounded Distributed QoS-Aware Service Configuration in Heterogeneous Cooperative Environments HURRAY-TR-060105 
Luis Miguel Nogueira, Luis Miguel Pinho1, Jan, 2006.
Run-time Monitoring Approach for the Shark Kernel HURRAY-TR-060104 
Filipe Valpereiro, Luis Miguel Pinho1, Jan, 2006.