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
Task Partitioning and Priority Assignment for Hard Real-time Distributed Systems CISTER-TR-131111 
Ricardo Garibay-Martínez, Geoffrey Nelissen, Luis Lino Ferreira, Luis Miguel Pinho2nd International Workshop on Real-Time and Distributed Computing in Emerging Applications (REACTION 2013). 3, Dec, 2013. Vancouver, Canada.Co-located within the IEEE Real-Time Systems Symposium (RTSS 2013).
Logic-based Schedulability Analysis for Compositional Hard Real-Time Embedded Systems CISTER-TR-131201 
André Pedro, David Pereira, Luis Miguel Pinho, Jorge Sousa Pinto6th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2013). 3, Dec, 2013. Vancouver, Canada.Co-located within the IEEE Real-Time Systems Symposium (RTSS'13).
Real-Time Programming on Accelerator Many-Core Processors CISTER-TR-131112 
Stephen Michell, Brad Moore, Luis Miguel PinhoACM SIGAda High Integrity Language Technology Conference (HILT'13), ACM. 10 to 14, Nov, 2013, pp 23-26. Pittsburgh, U.S.A..
Are Virtual Channels the Bottleneck of Priority-Aware Wormhole-Switched NoC-Based Many-Cores? CISTER-TR-130901 
Borislav Nikolic, Hazem Ali, Stefan M. Petters, Luis Miguel Pinho21st International Conference on Real-Time Networks and Systems (RTNS 2013), ACM New York. 16 to 18, Oct, 2013, pp 13-22. Sophia Antipolis, France.
Desarrollo de aplicaciones con requisitos de criticidad temporal mixta utilizando C-Forge CISTER-TR-130702 
Francisco Sanchez, Luis Miguel Pinho, Diego Alonso, Juan Pastor4th Spanish Symposium of Real-Time Systems. 17 to 19, Sep, 2013. Madrid, Spain.
QoS enabled Middleware for Real-time Industrial Control Systems CISTER-TR-131003 
Luis Lino Ferreira, Michele Albano, Luis Miguel Pinho18th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2013), IEEE. 10 to 13, Sep, 2013. Cagliari, Italy.
Critical-Path-First Based Allocation of Real-Time Streaming Applications on 2D Mesh-Type Multi-Cores CISTER-TR-130606 
Hazem Ali, Luis Miguel Pinho, Benny Åkesson19th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2013). 19 to 21, Aug, 2013. Taipei, Taiwan.
Response-Time Analysis of Fork/Join Tasks in Multiprocessor Systems CISTER-TR-130701 
Cláudio Maia, Luis Miguel Nogueira, Luis Miguel Pinho, Marko Bertogna
ABSTRACTPDFPDF Additional Files: PDFPoster
Work in Progress Session, 25th Euromicro Conference on Real-Time Systems (ECRTS 2013). 9 to 12, Jul, 2013. Paris, France.
Towards Transparent Parallel/Distributed Support for Real-Time Embedded Applications CISTER-TR-130202 
Ricardo Garibay-Martínez, Luis Lino Ferreira, Cláudio Maia, Luis Miguel Pinho8th IEEE International Symposium on Industrial Embedded Systems (SIES 2013), IEEE. 19 to 21, Jun, 2013, Work-In-Progress Session, pp 114-117. Porto, Portugal.
Scheduling Parallel Real-Time Tasks using a Fixed-Priority Work-Stealing Algorithm on Multiprocessors CISTER-TR-130607 
Cláudio Maia, Luis Miguel Nogueira, Luis Miguel Pinho8th IEEE International Symposium on Industrial Embedded Systems (SIES2013). 19 to 21, Jun, 2013. Porto, Portugal.
Tasklettes – a Fine Grained Parallelism for Ada on Multicores CISTER-TR-130304 
Stephen Michell, Brad Moore, Luis Miguel Pinho18th International Conference on Reliable Software Technologies (Ada-Europe 2013). 10 to 14, Jun, 2013, pp 17-34. Berlin, Germany.
Ada and Many-core Platforms CISTER-TR-130404 
Luis Miguel Pinho, Stephen Michell, Brad Moore16th International Real-Time Ada Workshop (IRTAW 2013), ACM New York. 17 to 19, Apr, 2013, 33, 2, pp 40-48. York, United Kingdom.
Parallelism in Ada: General Model and Ravenscar CISTER-TR-130405 
Brad Moore, Stephen Michell, Luis Miguel Pinho16th International Real-Time Ada Workshop (IRTAW 2013), ACM New York. 17 to 19, Apr, 2013, 33, 2, pp 14-32. York, United Kingdom.
The ENCOURAGE ICT architecture for heterogeneous smart grids CISTER-TR-130403 
Michele Albano, Luis Lino Ferreira, Thibaut Le Guilly, Manuel Ramiro, Eduardo Faria, Lara Pérez Dueñas, Rodrigo Ferreira, Earl Gaylard, David Jorquera Cubas, Eammon Roarke, Daniel Lux, Sandra Scalari, Susanne Majlund Sørensen, Marta Gangolells, Luis Miguel Pinho, Arne Skou11, Apr, 2013.IEEE EuroCon 2013, Zagreb, Croatia, 1-4 July 2013.
On the use of Work-Stealing Strategies in Real-Time Systems CISTER-TR-130110 
Luis Miguel Nogueira, Luis Miguel Pinho, José Fonseca, Cláudio MaiaHigh-performance and Real-time Embedded Systems (HiRES 2013). 23, Jan, 2013. Berlin, Germany.In conjunction with the 8th International Conference on High-Performance and Embedded Architectures and Compilers (HiPEAC 2013)
Conference or Workshop Posters/Demos
From Sensor Networks to Internet of Things: Wireless Sensor Networks as an Infrastructure Technology CISTER-TR-140611 
Vikram Gupta, Eduardo Tovar, Nuno Pereira, Filipe Pacheco, Luis Miguel Pinho, Raj RajkumarPoster presented in 8th IEEE International Symposium on Industrial Embedded Systems (SIES'13). 19 to 21, Jun, 2013. Porto, Portugal.
Middlewares for Embedded Systems CISTER-TR-140609 
César Teixeira, Joel Gonçalves, Luis Lino Ferreira, Ricardo Garibay-Martínez, Michele Albano, Luis Miguel PinhoPoster presented in 8th IEEE International Symposium on Industrial Embedded Systems (SIES'13). 19 to 21, Jun, 2013. Porto, Portugal.
Verification of Hard Real-Time Systems CISTER-TR-140608 
David Pereira, André Pedro, Luis Miguel PinhoPoster presented in CISTER 1st Industrial Workshop on Real-Time and Embedded Systems (CiWork 2013). 18, Jun, 2013. Porto, Portugal.
Parallelising Real-Time Software CISTER-TR-140606 
Cláudio Maia, Luis Miguel Nogueira, José Fonseca, Luis Miguel Pinho, António BarrosPoster presented in CISTER 1st Industrial Workshop on Real-Time and Embedded Systems (CiWork 2013). 18, Jun, 2013. Porto, Portugal.