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
Replication Management in Reliable Real-Time Systems HURRAY-TR-0206 
Luis Miguel Pinho, Francisco Vasques, Andy WellingsKluwer Journal of Real-Time Systems, Kluwer Academic Publishers. 1, Apr, 2004, Volume 26, Issue 3, pp 261-296.
Conference or Workshop Papers/Talks
INDEPTH: Timeliness Assessment of Ethernet/IP-based Systems HURRAY-TR-0433 
Nuno Pereira, Luis Miguel Pinho, Eduardo Tovar12th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS'04), IEEE. 4, Oct, 2004, pp 192-201. Volendam, Netherlands.
A Few What-Ifs on Using Statistical Analysis of Stochastic Simulation Runs to Extract Timeliness Properties HURRAY-TR-0419 
Berta Batista, Ian Broster, Nuno Pereira, Luis Miguel Pinho, Eduardo Tovar1st International Workshop on Probabilistic Analysis Techniques for Real-Time Systems (PARTES '04). 26, Sep, 2004. Piza, Italy.
Timeliness in COTS Factory-Floor Distributed Systems: What Role for Simulation? HURRAY-TR-0428 
Nuno Pereira, Luis Miguel Pinho, Eduardo Tovar5th IEEE Workshop on Factory Communication Systems (WFCS '04). 1, Sep, 2004, pp 13-21. Vienna, Austria.
Characterizing the Timing Behaviour of Power-Line Communications by Means of Simulation HURRAY-TR-0429 
Luis Miguel Marques, Filipe Pacheco, Luis Miguel Pinho3rd International Workshop on Real- Time Networks (RTN 2004). 30, Jun, 2004, pp 81-84. Catania, Italy.
Mechanisms for Reflection-based Monitoring of Real-Time Systems HURRAY-TR-0420 
Ricardo Barbosa, Luis Miguel PinhoWork in Progress Session, 16th Euromicro Conference on Real-Time Systems (ECRTS '04). 30, Jun, 2004, pp 21-24. Catania, Italy.
Ethernet-based Systems: Contributions to the Holistic Analysis HURRAY-TR-0418 
Nuno Pereira, Luis Miguel Pinho, Eduardo TovarWork in Progress Session, 16th Euromicro Conference on Real-time Systems (ECRTS '04). 30, Jun, 2004, pp 25-28. Catania, Italy.
Technical Reports
Dynamic QoS-Aware Coalition Formation HURRAY-TR-0425 
Luis Miguel Nogueira, Luis Miguel Pinho1, Aug, 2004.
From Simulation to Statistical Analysis: Timeliness Assessment of Ethernet/IP-based Distributed Systems HURRAY-TR-0416 
Nuno Pereira, Luis Miguel Pinho, Eduardo Tovar1, Apr, 2004.
Monitoring of Real Time Systems: a case for Reflection? HURRAY-TR-0413 
Ricardo Barbosa, Luis Miguel Pinho1, Apr, 2004.
Timeliness in COTS Factory-Floor Distributed Systems: What Role for Simulation? HURRAY-TR-0409 
Nuno Pereira, Luis Miguel Pinho, Eduardo Tovar1, Mar, 2004.