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.

 

Thesis
A Framework for the Transparent Replication of Real-Time Applications HURRAY-TR-0135 
Luis Miguel PinhoPhD Thesis. 1, Sep, 2001. Porto, Portugal.
Conference or Workshop Papers/Talks
Improved Fault-Tolerant Broadcasts in CAN HURRAY-TR-0127 
Luis Miguel Pinho, Francisco Vasques8th IEEE Conference on Emerging Technologies and Factory Automation (ETFA'01), IEEE. 15, Oct, 2001, 1, pp 305-313. Antibes - Juan les Pins, France.
Timing Analysis of Reliable Real-Time Communication in CAN Networks HURRAY-TR-0111 
Luis Miguel Pinho, Francisco Vasques13th Euromicro Conference on Real-Time Systems. 13, Jun, 2001, pp 103-114. Delft, Netherlands.
The DEAR-COTS Replication Framework HURRAY-TR-0113 
Luis Miguel Pinho, Francisco Vasques, Andy Wellings13th Euromicro Conference on Real-Time Systems. 13, Jun, 2001, Work-In-Progress Session, pp 17-20. Delft, Netherlands.
Atomic Multicast Protocols for Reliable CAN Communication HURRAY-TR-0112 
Luis Miguel Pinho, Francisco Vasques19th Brazilian Symposium on Computer Networks (SBRC 2001). 21, May, 2001, pp 194-209. Florianópolis, Brasil.
Reliable Communication in Distributed Computer-Controlled Systems HURRAY-TR-0114 
Luis Miguel Pinho, Francisco Vasques6th Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe'2001). 14, May, 2001, Lecture Notes in Computer Science, 2043, pp 136-147. Leuven, Belgium.
Merging Reliability and Timeliness Requirements in Distributed Computer-Controlled Systems HURRAY-TR-0105 
Luis Miguel Pinho, Francisco Vasques9th International Conference on Real-Time Systems (RTS 2001). 6, Mar, 2001, pp 79-92. Paris, France.
Technical Reports
Specification of the Manufacturing Automation Field Trial HURRAY-BTR-0131 
Veríssimo Brandão Lima, Filipe Pacheco, Mário Alves, Luis Miguel Pinho, Eduardo Tovar1, Dec, 2001.
Fault-Tolerant Real-Time Applications in the DEAR-COTS Architecture HURRAY-TR-0128 
Luis Miguel Pinho, Francisco Vasques1, May, 2001.