. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Journal Papers
Non-preemptive and SRP-based fully-preemptive scheduling of real-time Software Transactional Memory CISTER-TR-151005 
António Barros, Luis Miguel Pinho, Patrick Meumeu YomsiJournal of Systems Architecture (JSA), Elsevier. 26, Nov, 2015, Volume 61, Issue 10, pp 553-566.
Logic-based schedulability analysis for compositional hard real-time embedded systems CISTER-TR-150411 
André Pedro, David Pereira, Luis Miguel Pinho, Jorge Sousa PintoSIGBED Review (SIGBED Rev.), ACM. Feb 2015, Volume 12, Issue 1, pp 56-64.
Conference or Workshop Papers
Towards a Runtime Verification Framework for the Ada Programming Language CISTER-TR-140305 
André Pedro, David Pereira, Luis Miguel Pinho, Jorge Sousa PintoLecture Notes in Computer Science, Reliable Software Technologies – Ada-Europe 2014 (LNCS), Springer International Publishing. 23 to 27, Aug, 2014, 8454, pp 58-73.
A Compositional Monitoring Framework for Hard Real-Time Systems CISTER-TR-140104 
André Pedro, David Pereira, Luis Miguel Pinho, Jorge Sousa PintoNASA Formal Methods Symposium 2014 (NFM14), Springer International Publishing. 29, Apr, 2014, LNCS 8430, pp 16-30. Houston, TX, U.S.A..
Non-preemptive scheduling of Real-Time Software Transactional Memory CISTER-TR-140207 
António Barros, Luis Miguel Pinhothe Conference on Architecture of Computing Systems (ARCS 2014). 25 to 28, Feb, 2014. Lubeck, Germany.
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.
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.
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.
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.
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.
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.
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)
Server-based Scheduling of Parallel Real-Time Tasks HURRAY-TR-121001 
Luis Miguel Nogueira, Luis Miguel Pinho12th International Conference on Embedded Software (EMSOFT 2012), ACM New York. 7 to 12, Oct, 2012, pp 73-82. Tampere, Finland.
Real-Time Scheduling of Parallel Tasks in the Linux Kernel HURRAY-TR-120714 
José Fonseca, Luis Miguel Nogueira, Cláudio Maia, Luis Miguel PinhoSimpósio de Informática (INForum 2012). 6 to 7, Sep, 2012. Lisboa, Portugal.Best paper of the Real-time and Embedded Systems track.
A Framework for the Development of Parallel and Distributed Real-Time Embedded Systems HURRAY-TR-120403 
Ricardo Garibay-Martínez, Luis Lino Ferreira, Luis Miguel Pinho38th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2012), IEEE. 5 to 8, Sep, 2012, pp 39-46. Cesme, Turkey.
A Parallel Programming Model for Ada HURRAY-TR-110902 
Hazem Ali, Luis Miguel PinhoACM's Annual International Conference on Ada and Related Technologies Engineering Safe, Secure, and Reliable Software (SIGAda 2011), ACM New York. 6 to 10, Nov, 2011, pp 19-26. Denver, U.S.A..
Revisiting Transactions in Ada HURRAY-TR-110707 
António Barros, Luis Miguel Pinho15th International Real-Time Ada Workshop (IRTAW-15), ACM New York. 14 to 16, Sep, 2011, 33, pp 84-92. Liébana, Spain.
Software transactional memory as a building block for parallel embedded real-time systems HURRAY-TR-110706 
António Barros, Luis Miguel Pinho37th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA 2011), IEEE. 30, Aug to 2, Sep, 2011, pp 251-255. Oulu, Finland.
Conference or Workshop Posters/Demos
Parallel Real-time Support for Distributed Adaptive Embedded Applications HURRAY-TR-120101 
Ricardo Garibay-Martínez, Luis Lino Ferreira, Luis Miguel PinhoPoster presented in Design Tools and Architectures for Multi-Core Embedded Computing Platforms (PARMA-DITAM). 24, Jan, 2012. Paris, France.Workshop in conjunction with the 7th International Conference on High-Performance and Embedded Architectures and Compilers (HiPEAC 2012).