Multi-µ: An Ada 95 Based Architecture for Fault Tolerance Support of Real-Time Systems. - Luís Miguel Pinho; Francisco Vasques (SIGAda, 1998)

Replica management in real-time Ada 95 applications. - Luís Miguel Pinho; Francisco Vasques (IRTAW, 1999)

An Architecture for Reliable Distributed Computer-Controlled Systems. - Luís Miguel Pinho; Francisco Vasques (DIPES, 2000)

Session summary: distribution and real-time. - Michael González Harbour; Luís Miguel Pinho (IRTAW, 2000)

Programming atomic multicast in CAN. - Luís Miguel Pinho; Francisco Vasques; Luis Lino Ferreira (IRTAW, 2000)

Reliable Communication in Distributed Computer-Controlled Systems. - Luís Miguel Pinho; Francisco Vasques (Ada-Europe, 2001)

Timing Analysis of Reliable Real-Time Communication in CAN Networks. - Luís Miguel Pinho; Francisco Vasques (ECRTS, 2001)

Improved fault tolerant broadcasts in CAN. - Luís Miguel Pinho; Francisco Vasques (ETFA (1), 2001)

Transparent Environment for Replicated Ravenscar Applications. - Luís Miguel Pinho; Francisco Vasques (Ada-Europe, 2002)

Using Ravenscar to support fault-tolerant real-time applications. - Luís Miguel Pinho; Francisco Vasques (IRTAW, 2002)

Session summary: safety improvements for consideration. - Juan Antonio de la Puente; Luís Miguel Pinho (IRTAW, 2002)

Verifying, validating and monitoring the open Ravenscar real time kernel. - Ricardo Maia; Flávio Moreira; R. Barbosa; Diamantino Costa; Kjeld Hjortaes; Patricia Rodríguez; Luís Miguel Pinho (IRTAW, 2003)

Session summary: the future of IRTAW. - Tullio Vardanega; Luís Miguel Pinho (IRTAW, 2003)

Reliable Real-Time Communication in CAN Networks. - Luís Miguel Pinho; Francisco Vasques (IEEE Trans. Computers, 2003)

INDEPTH: Timeliness Assessment of Ethernet/IP-Based Systems. - Nuno Pereira 001; Eduardo Tovar; Luís Miguel Pinho (MASCOTS, 2004)

Replication Management in Reliable Real-Time Systems. - Luís Miguel Pinho; Francisco Vasques; Andy J. Wellings (Real Time Syst., 2004)

An Ada Framework for QoS-Aware Applications. - Luís Miguel Pinho; Luís Nogueira; Ricardo Barbosa 004 (Ada-Europe, 2005)

Dynamic QoS-Aware Coalition Formation. - Luís Nogueira; Luís Miguel Pinho (IPDPS, 2005)

POSIX Trace Based Behavioural Reflection. - Filipe Valpereiro; Luís Miguel Pinho (Ada-Europe, 2006)

Iterative Refinement Approach for QOS-Aware Service Configuration. - Luís Nogueira; Luís Miguel Pinho (DIPES, 2006)

Dynamic Adaptation of Stability Periods for Service Level Agreements. - Luís Nogueira; Luís Miguel Pinho (RTCSA, 2006)

A Complex Protocol Layer as a linux User-Space Process. - Antonio Barros; Filipe Pacheco; Luís Miguel Pinho (IES, 2006)

Capacity Sharing and Stealing in Dynamic Server-based Real-Time Systems. - Luís Nogueira; Luís Miguel Pinho (IPDPS, 2007)

Dynamic QoS adaptation of inter-dependent task sets in cooperative embedded systems. - Luís Nogueira; Luís Miguel Pinho (Autonomics, 2008)

Handling QoS Dependencies in Distributed Cooperative Real-Time Systems. - Luís Nogueira; Luís Miguel Pinho (DIPES, 2008)

Shared resources and precedence constraints with capacity sharing and stealing. - Luís Nogueira; Luís Miguel Pinho (IPDPS, 2008)

Coordinated Runtime Adaptations in Cooperative Open Real-Time Systems. - Luís Nogueira; Luís Miguel Pinho; Jorge Coelho 001 (CSE (2), 2009)

Time-bounded distributed QoS-aware service configuration in heterogeneous cooperative environments. - Luís Nogueira; Luís Miguel Pinho (J. Parallel Distributed Comput., 2009)

Implementing Multicore Real-Time Scheduling Algorithms Based on Task Splitting Using Ada 2012. - Björn Andersson; Luís Miguel Pinho (Ada-Europe, 2010)

Handling Mobility on a QoS-Aware Service-based Framework for Mobile Systems. - Joel Gonçalves; Luis Lino Ferreira; Luís Miguel Pinho; Guilherme D. Silva (EUC, 2010)

Flexible and Dynamic Replication Control for Interdependent Distributed Real-Time Embedded Systems. - Luís Nogueira; Luís Miguel Pinho; Jorge Coelho 001 (DIPES/BICC, 2010)

Experiences on the implementation of a cooperative embedded system framework: short paper. - Cláudio Maia; Luís Nogueira; Luís Miguel Pinho (JTRES, 2010)

A capacity sharing and stealing strategy for open real-time systems. - Luís Nogueira; Luís Miguel Pinho (J. Syst. Archit., 2010)

Service offloading in adaptive real-time systems. - Luis Lino Ferreira; Guilherme D. Silva; Luís Miguel Pinho (ETFA, 2011)

Software Transactional Memory as a Building Block for Parallel Embedded Real-Time Systems. - Antonio Barros; Luís Miguel Pinho (EUROMICRO-SEAA, 2011)

sMapReduce: a programming pattern for wireless sensor networks. - Vikram Gupta; Eduardo Tovar; Luís Miguel Pinho; Junsung Kim 001; Karthik Lakshmanan; Ragunathan Rajkumar (SESENA@ICSE, 2011)

Combining RTSJ with Fork/Join: a priority-based model. - Cláudio Maia; Luís Nogueira; Luís Miguel Pinho (JTRES, 2011)

A parallel programming model for ada. - Hazem Ismail Ali; Luís Miguel Pinho (SIGAda, 2011)

Supporting Parallelism in Server-based Multiprocessor Systems - Luís Nogueira; Luís Miguel Pinho (CoRR, 2011)

Dynamic Global Scheduling of Parallel Real-Time Tasks. - Luís Nogueira; José Carlos Fonseca; Cláudio Maia; Luís Miguel Pinho (CSE, 2012)

Server-based scheduling of parallel real-time tasks. - Luís Nogueira; Luís Miguel Pinho (EMSOFT, 2012)

A Framework for the Development of Parallel and Distributed Real-Time Embedded Systems. - Ricardo Garibay-Martínez; Luis Lino Ferreira; Luís Miguel Pinho (EUROMICRO-SEAA, 2012)

A feedback-based decentralised coordination model for distributed open real-time systems. - Luís Nogueira; Luís Miguel Pinho; Jorge Coelho 001 (J. Syst. Softw., 2012)

Tasklettes - A Fine Grained Parallelism for Ada on Multicores. - Stephen Michell; Brad Moore; Luís Miguel Pinho (Ada-Europe, 2013)

QoS enabled middleware for real-time industrial control systems. - Luis Lino Ferreira; Michele Albano; Luís Miguel Pinho (ETFA, 2013)

The ENCOURAGE ICT architecture for heterogeneous smart grids. - Michele Albano; Luis Lino Ferreira; Thibaut Le Guilly; Manuel Ramiro; J. Eduardo Faria; Lara Perez Duenas; Rodrigo Ferreira; Earl Gaylard; David Jorquera Cubas; Eammon Roarke; Daniel Lux; Sandra Scalari; et al. (EUROCON, 2013)

Critical-Path-First based allocation of real-time streaming applications on 2D mesh-type multi-cores. - Hazem Ismail Abdel Aziz Ali; Luís Miguel Pinho; Benny Akesson (RTCSA, 2013)

Are virtual channels the bottleneck of priority-aware wormhole-switched NoC-based many-cores? - Borislav Nikolic; Hazem Ismail Ali; Stefan M. Petters; Luís Miguel Pinho (RTNS, 2013)

Task Partitioning and Priority Assignment for Hard Real-time Distributed Systems. - Ricardo Garibay-Martínez; Geoffrey Nelissen; Luis Lino Ferreira; Luís Miguel Pinho (REACTION, 2013)

Towards transparent parallel/distributed support for real-time embedded applications. - Ricardo Garibay-Martínez; Luis Lino Ferreira; Cláudio Maia; Luís Miguel Pinho (SIES, 2013)

Scheduling parallel real-time tasks using a fixed-priority work-stealing algorithm on multiprocessors. - Cláudio Maia; Luís Nogueira; Luís Miguel Pinho (SIES, 2013)

Real-time programming on accelerator many-core processors. - Stephen Michell; Brad Moore; Luís Miguel Pinho (HILT, 2013)

Towards a Runtime Verification Framework for the Ada Programming Language. - André de Matos Pedro; David Pereira; Luís Miguel Pinho; Jorge Sousa Pinto (Ada-Europe, 2014)

Parallelism in Ada: Status and Prospects. - Luís Miguel Pinho; Brad Moore; Stephen Michell (Ada-Europe, 2014)

Non-preemptive Scheduling of Real-Time Software Transactional Memory. - Antonio Barros; Luís Miguel Pinho (ARCS, 2014)

P-SOCRATES: A Parallel Software Framework for Time-Critical Many-Core Systems. - Luís Miguel Pinho; Eduardo Quiñones; Marko Bertogna; Andrea Marongiu; Jorge Pereira Carlos; Claudio Scordino; Michele Ramponi (DSD, 2014)

A Compositional Monitoring Framework for Hard Real-Time Systems. - André de Matos Pedro; David Pereira; Luís Miguel Pinho; Jorge Sousa Pinto (NASA Formal Methods, 2014)

Response-Time Analysis of Synchronous Parallel Tasks in Multiprocessor Systems. - Cláudio Maia; Marko Bertogna; Luís Nogueira; Luís Miguel Pinho (RTNS, 2014)

On the scheduling of fork-join parallel/distributed real-time tasks. - Ricardo Garibay-Martínez; Geoffrey Nelissen; Luis Lino Ferreira; Luís Miguel Pinho (SIES, 2014)

Safe parallel programming in ada with language extensions. - S. Tucker Taft; Brad Moore; Luís Miguel Pinho; Stephen Michell (HILT, 2014)

The Challenge of Time-Predictability in Modern Many-Core Architectures. - Vincent Nélis; Patrick Meumeu Yomsi; Luís Miguel Pinho; José Carlos Fonseca; Marko Bertogna; Eduardo Quiñones; Roberto Vargas; Andrea Marongiu (WCET, 2014)

A Novel Run-Time Monitoring Architecture for Safe and Efficient Inline Monitoring. - Geoffrey Nelissen; David Pereira; Luís Miguel Pinho (Ada-Europe, 2015)

An Execution Model for Fine-Grained Parallelism in Ada. - Luís Miguel Pinho; Brad Moore; Stephen Michell; S. Tucker Taft (Ada-Europe, 2015)

Allocation of Parallel Real-Time Tasks in Distributed Multi-core Architectures Supported by an FTT-SE Network. - Ricardo Garibay-Martínez; Geoffrey Nelissen; Luis Lino Ferreira; Luís Miguel Pinho (ARCS, 2015)

Investigation on AUTOSAR-Compliant Solutions for Many-Core Architectures. - Matthias Becker 004; Dakshina Dasari; Vincent Nélis; Moris Behnam; Luís Miguel Pinho; Thomas Nolte (DSD, 2015)

Methodologies for the WCET Analysis of Parallel Applications on Many-Core Architectures. - Vincent Nélis; Patrick Meumeu Yomsi; Luís Miguel Pinho (DSD, 2015)

A real-time semantics for the IEC 61499 standard. - Per Lindgren; Marcus Lindner; Andreas Lindner; Valeriy Vyatkin; David Pereira; Luís Miguel Pinho (ETFA, 2015)

Semi-Partitioned Scheduling of Fork-Join Tasks Using Work-Stealing. - Cláudio Maia; Patrick Meumeu Yomsi; Luís Nogueira; Luís Miguel Pinho (EUC, 2015)

Response time for IEC 61499 over Ethernet. - Per Lindgren; Johan Eriksson; Marcus Lindner; Andreas Lindner; David Pereira; Luís Miguel Pinho (INDIN, 2015)

Well-formed control flow for critical sections in RTFM-core. - Per Lindgren; Marcus Lindner; Andreas Lindner; David Pereira; Luís Miguel Pinho (INDIN, 2015)

Generalized Extraction of Real-Time Parameters for Homogeneous Synchronous Dataflow Graphs. - Hazem Ismail Ali; Benny Akesson; Luís Miguel Pinho (PDP, 2015)

Real-Time Support in the Proposal for Fine-Grained Parallelism in Ada. - Luís Miguel Pinho; Brad Moore; Stephen Michell; S. Tucker Taft (RTSS, 2015)

Monitoring for a Decidable Fragment of MTL-∫. - André de Matos Pedro; David Pereira; Luís Miguel Pinho; Jorge Sousa Pinto (RV, 2015)

A multi-DAG model for real-time parallel applications with conditional execution. - José Carlos Fonseca; Vincent Nélis; Gurulingesh Raravi; Luís Miguel Pinho (SAC, 2015)

A Formal Perspective on IEC 61499 Execution Control Chart Semantics. - Per Lindgren; Marcus Lindner; David Pereira; Luís Miguel Pinho (TrustCom/BigDataSE/ISPA (3), 2015)

Holistic analysis for fork-join distributed tasks supported by the FTT-SE protocol. - Ricardo Garibay-Martínez; Geoffrey Nelissen; Luis Lino Ferreira; Paulo Pedreiras; Luís Miguel Pinho (WFCS, 2015)

Message-oriented middleware for smart grids. - Michele Albano; Luis Lino Ferreira; Luís Miguel Pinho; Abdel Rahman Alkhawaja (Comput. Stand. Interfaces, 2015)

Task partitioning and priority assignment for distributed hard real-time systems. - Ricardo Garibay-Martínez; Geoffrey Nelissen; Luis Lino Ferreira; Luís Miguel Pinho (J. Comput. Syst. Sci., 2015)

Non-preemptive and SRP-based fully-preemptive scheduling of real-time Software Transactional Memory. - Antonio Barros; Luís Miguel Pinho; Patrick Meumeu Yomsi (J. Syst. Archit., 2015)

P-SOCRATES: A parallel software framework for time-critical many-core systems. - Luís Miguel Pinho; Vincent Nélis; Patrick Meumeu Yomsi; Eduardo Quiñones; Marko Bertogna; Paolo Burgio; Andrea Marongiu; Claudio Scordino; Paolo Gai; Michele Ramponi; Michal Mardiak (Microprocess. Microsystems, 2015)

Adaptive offloading for infotainment systems. - Luis Lino Ferreira; Luís Miguel Pinho; Michele Albano; César Teixeira (SIGBED Rev., 2015)

Logic-based schedulability analysis for compositional hard real-time embedded systems. - André de Matos Pedro; David Pereira; Luís Miguel Pinho; Jorge Sousa Pinto (SIGBED Rev., 2015)

Convergence of Smart Grid ICT Architectures for the Last Mile. - Michele Albano; Luis Lino Ferreira; Luís Miguel Pinho (IEEE Trans. Ind. Informatics, 2015)

ENCOURAGEing results on ICT for energy efficient buildings. - Thibaut Le Guilly; Arne Skou; Petur Olsen; Per Printz Madsen; Michele Albano; Luis Lino Ferreira; Luís Miguel Pinho; Keld Pedersen; Miquel Casals; Marcel Macarulla; Marta Gangolells (ETFA, 2016)

Towards certified compilation of RTFM-core applications. - Per Lindgren; Marcus Lindner; David Pereira; Luís Miguel Pinho (ETFA, 2016)

A closer look into the AER Model. - Cláudio Maia; Luís Nogueira; Luís Miguel Pinho; Daniel Gracia Pérez (ETFA, 2016)

Contract based verification of IEC 61499. - Per Lindgren; Marcus Lindner; David Pereira; Luís Miguel Pinho (INDIN, 2016)

On Routing Flexibility of Wormhole-Switched Priority-Preemptive NoCs. - Borislav Nikolic; Luís Miguel Pinho; Leandro Soares Indrusiak (RTCSA, 2016)

Response time analysis of hard real-time tasks sharing software transactional memory data under fully partitioned scheduling. - Antonio Barros; Patrick Meumeu Yomsi; Luís Miguel Pinho (SIES, 2016)

Response time analysis of sporadic DAG tasks under partitioned scheduling. - José Carlos Fonseca; Geoffrey Nelissen; Vincent Nélis; Luís Miguel Pinho (SIES, 2016)

The Variability of Application Execution Times on a Multi-Core Platform. - Vincent Nélis; Patrick Meumeu Yomsi; Luís Miguel Pinho (WCET, 2016)

Abstract timers and their implementation onto the ARM Cortex-M family of MCUs. - Per Lindgren; Emil Fresk; Marcus Lindner; Andreas Lindner; David Pereira; Luís Miguel Pinho (SIGBED Rev., 2016)

Improved Holistic Analysis for Fork-Join Distributed Real-Time Tasks Supported by the FTT-SE Protocol. - Ricardo Garibay-Martínez; Geoffrey Nelissen; Luis Lino Ferreira; Paulo Pedreiras; Luís Miguel Pinho (IEEE Trans. Ind. Informatics, 2016)

OpenMP Tasking Model for Ada: Safety and Correctness. - Sara Royuela; Xavier Martorell; Eduardo Quiñones; Luís Miguel Pinho (Ada-Europe, 2017)

A serious game enhancing social tenants' behavioral change towards energy efficiency. - Miquel Casals; Marta Gangolells; Marcel Macarulla; Alba Fuertes; V. Vimont; Luís Miguel Pinho (GIoTS, 2017)

The EnerGAware middleware platform. - Paulo Barbosa; Antonio Barros; Luís Miguel Pinho (IECON, 2017)

Schedulability analysis for global fixed-priority scheduling of the 3-phase task model. - Cláudio Maia; Geoffrey Nelissen; Luís Nogueira; Luís Miguel Pinho; Daniel Gracia Pérez (RTCSA, 2017)

Combining Dataflow Applications and Real-time Task Sets on Multi-core Platforms. - Hazem Ismail Ali; Benny Akesson; Luís Miguel Pinho (SCOPES, 2017)

The P-SOCRATES Timing Analysis Methodology for Parallel Real-Time Applications Deployed on Many-Core Platforms. - Vincent Nélis; Patrick Meumeu Yomsi; Luís Miguel Pinho (WCET, 2017)

Real-time semi-partitioned scheduling of fork-join tasks using work-stealing. - Cláudio Maia; Patrick Meumeu Yomsi; Luís Nogueira; Luís Miguel Pinho (EURASIP J. Embed. Syst., 2017)

Optimal minimal routing and priority assignment for priority-preemptive real-time NoCs. - Borislav Nikolic; Luís Miguel Pinho (Real Time Syst., 2017)

Erratum to: Optimal minimal routing and priority assignment for priority-preemptive real-time NoCs. - Borislav Nikolic; Luís Miguel Pinho (Real Time Syst., 2017)

SMT-based schedulability analysis using RMTL-∫. - André de Matos Pedro; David Pereira; Luís Miguel Pinho; Jorge Sousa Pinto (SIGBED Rev., 2017)

End-to-End Response Time of IEC 61499 Distributed Applications Over Switched Ethernet. - Per Lindgren; Johan Eriksson; Marcus Lindner; Andreas Lindner; David Pereira; Luís Miguel Pinho (IEEE Trans. Ind. Informatics, 2017)

Reducing the Complexity of Dataflow Graphs Using Slack-Based Merging. - Hazem Ismail Ali; Sander Stuijk; Benny Akesson; Luís Miguel Pinho (ACM Trans. Design Autom. Electr. Syst., 2017)

Safe Parallelism: Compiler Analysis Techniques for Ada and OpenMP. - Sara Royuela; Xavier Martorell; Eduardo Quiñones; Luís Miguel Pinho (Ada-Europe, 2018)

Converging safety and high-performance domains: Integrating OpenMP into Ada. - Sara Royuela; Luís Miguel Pinho; Eduardo Quiñones (DATE, 2018)

Emulation-in-the-loop for simulation and testing of real-time critical CPS. - Paulo Renato Oliveira; Manuel Meireles; Cláudio Maia; Luís Miguel Pinho; Gonçalo Gouveia; João Esteves (ICPS, 2018)

Guest editorial: real-time networks and systems. - Sébastien Faucou; Luís Miguel Pinho (Real Time Syst., 2018)

Runtime verification of autopilot systems using a fragment of MTL- $${ int }$$ ∫. - André de Matos Pedro; Jorge Sousa Pinto; David Pereira; Luís Miguel Pinho (Int. J. Softw. Tools Technol. Transf., 2018)

The AMPERE Project: : A Model-driven development framework for highly Parallel and EneRgy-Efficient computation supporting multi-criteria optimization. - Eduardo Quiñones; Sara Royuela; Claudio Scordino; Paolo Gai; Luís Miguel Pinho; Luís Nogueira; Jan Rollo; Tommaso Cucinotta; Alessandro Biondi 001; Arne Hamann 001; Dirk Ziegenbein; Hadi Saoud; et al. (ISORC, 2020)

Enabling Ada and OpenMP runtimes interoperability through template-based execution. - Sara Royuela; Luís Miguel Pinho; Eduardo Quiñones (J. Syst. Archit., 2020)

An Elastic Software Architecture for Extreme-Scale Big Data Analytics. - Maria A. Serrano; César A. Marín; Anna Queralt; Cristovao Cordeiro; Marco Gonzalez; Luís Miguel Pinho; Eduardo Quiñones (Technologies and Applications for Big Data Value, 2022)

Heuristic-based Task-to-Thread Mapping in Multi-Core Processors. - Mohammad Samadi Gharajeh; Sara Royuela; Luís Miguel Pinho; Tiago Carvalho 001; Eduardo Quiñones (ETFA, 2022)

A Model Annotation Approach for the Support of Software Energy Properties Management using AMALTHEA. - Ricardo Gomes; Tiago Carvalho 001; António Barros; Luís Miguel Pinho (ICPS, 2022)

Global Resource Management in the ELASTIC Architecture. - Rita Sousa; Luís Nogueira; Fátima Rodrigues 001; Luís Miguel Pinho (ICPS, 2022)

Configuration of Parallel Real-Time Applications on Multi-Core Processors. - Mohammad Samadi Gharajeh; Tiago Carvalho 001; Luís Miguel Pinho (INDIN, 2022)

A Scalable Clustered Architecture for Cyber-Physical Systems. - Bernardo Cabral; Pedro Costa; Tiago Fonseca; Luis Lino Ferreira; Luís Miguel Pinho; Pedro Ribeiro (INDIN, 2023)

Framework for the Analysis and Configuration of Real-Time OpenMP Applications. - Tiago Carvalho 001; Luís Miguel Pinho; Mohammad Samadi; Sara Royuela; Adrian Munera; Eduardo Quiñones (INDIN, 2023)

Real-Time Parallel Programming: State of Play and Open Issues. - Luís Miguel Pinho (CoRR, 2023)

Evaluation of Heuristic Task-to-Thread Mapping Using Static and Dynamic Approaches. - Mohammad Samadi; Tiago Carvalho 001; Luís Miguel Pinho; Sara Royuela (JSSPP, 2024)

Real-Time Parallel Programming for Homogeneous Multicores. - Luís Miguel Pinho (SIES, 2024)

Time-predictable task-to-thread mapping in multi-core processors. - Mohammad Samadi; Sara Royuela; Luís Miguel Pinho; Tiago Carvalho 001; Eduardo Quiñones (J. Syst. Archit., 2024)

Energy Monitoring Systems Analysis and Development: A Case Study for Graph-Based Modelling. - Tiago Carvalho 001; Tobias Müller; Sebastian Reiter 003; Luís Miguel Pinho; André Oliveira (MODELSWARD, 2025)