Luís Miguel Pinho

Orcid: 0000-0001-6888-1340

According to our database1, Luís Miguel Pinho authored at least 121 papers between 1998 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Time-predictable task-to-thread mapping in multi-core processors.
J. Syst. Archit., 2024

2023
Real-Time Parallel Programming: State of Play and Open Issues.
CoRR, 2023

Framework for the Analysis and Configuration of Real-Time OpenMP Applications.
Proceedings of the 21st IEEE International Conference on Industrial Informatics, 2023

A Scalable Clustered Architecture for Cyber-Physical Systems.
Proceedings of the 21st IEEE International Conference on Industrial Informatics, 2023

2022
Configuration of Parallel Real-Time Applications on Multi-Core Processors.
Proceedings of the 20th IEEE International Conference on Industrial Informatics, 2022

Global Resource Management in the ELASTIC Architecture.
Proceedings of the 5th IEEE International Conference on Industrial Cyber-Physical Systems, 2022

A Model Annotation Approach for the Support of Software Energy Properties Management using AMALTHEA.
Proceedings of the 5th IEEE International Conference on Industrial Cyber-Physical Systems, 2022

Heuristic-based Task-to-Thread Mapping in Multi-Core Processors.
Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022

An Elastic Software Architecture for Extreme-Scale Big Data Analytics.
Proceedings of the Technologies and Applications for Big Data Value, 2022

2020
Enabling Ada and OpenMP runtimes interoperability through template-based execution.
J. Syst. Archit., 2020

The AMPERE Project: : A Model-driven development framework for highly Parallel and EneRgy-Efficient computation supporting multi-criteria optimization.
Proceedings of the 23rd IEEE International Symposium on Real-Time Distributed Computing, 2020

2018
Runtime verification of autopilot systems using a fragment of MTL- $${\int }$$ ∫.
Int. J. Softw. Tools Technol. Transf., 2018

Guest editorial: real-time networks and systems.
Real Time Syst., 2018

Emulation-in-the-loop for simulation and testing of real-time critical CPS.
Proceedings of the IEEE Industrial Cyber-Physical Systems, 2018

Converging safety and high-performance domains: Integrating OpenMP into Ada.
Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

Safe Parallelism: Compiler Analysis Techniques for Ada and OpenMP.
Proceedings of the Reliable Software Technologies - Ada-Europe 2018, 2018

2017
Reducing the Complexity of Dataflow Graphs Using Slack-Based Merging.
ACM Trans. Design Autom. Electr. Syst., 2017

End-to-End Response Time of IEC 61499 Distributed Applications Over Switched Ethernet.
IEEE Trans. Ind. Informatics, 2017

SMT-based schedulability analysis using RMTL-∫.
SIGBED Rev., 2017

Erratum to: Optimal minimal routing and priority assignment for priority-preemptive real-time NoCs.
Real Time Syst., 2017

Optimal minimal routing and priority assignment for priority-preemptive real-time NoCs.
Real Time Syst., 2017

Real-time semi-partitioned scheduling of fork-join tasks using work-stealing.
EURASIP J. Embed. Syst., 2017

The P-SOCRATES Timing Analysis Methodology for Parallel Real-Time Applications Deployed on Many-Core Platforms.
Proceedings of the 17th International Workshop on Worst-Case Execution Time Analysis, 2017

Combining Dataflow Applications and Real-time Task Sets on Multi-core Platforms.
Proceedings of the 20th International Workshop on Software and Compilers for Embedded Systems, 2017

Schedulability analysis for global fixed-priority scheduling of the 3-phase task model.
Proceedings of the 23rd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2017

The EnerGAware middleware platform.
Proceedings of the IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29, 2017

A serious game enhancing social tenants' behavioral change towards energy efficiency.
Proceedings of the Global Internet of Things Summit, 2017

OpenMP Tasking Model for Ada: Safety and Correctness.
Proceedings of the Reliable Software Technologies - Ada-Europe 2017, 2017

2016
Improved Holistic Analysis for Fork-Join Distributed Real-Time Tasks Supported by the FTT-SE Protocol.
IEEE Trans. Ind. Informatics, 2016

Abstract timers and their implementation onto the ARM Cortex-M family of MCUs.
SIGBED Rev., 2016

The Variability of Application Execution Times on a Multi-Core Platform.
Proceedings of the 16th International Workshop on Worst-Case Execution Time Analysis, 2016

Response time analysis of sporadic DAG tasks under partitioned scheduling.
Proceedings of the 11th IEEE Symposium on Industrial Embedded Systems, 2016

Response time analysis of hard real-time tasks sharing software transactional memory data under fully partitioned scheduling.
Proceedings of the 11th IEEE Symposium on Industrial Embedded Systems, 2016

On Routing Flexibility of Wormhole-Switched Priority-Preemptive NoCs.
Proceedings of the 22nd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2016

Contract based verification of IEC 61499.
Proceedings of the 14th IEEE International Conference on Industrial Informatics, 2016

A closer look into the AER Model.
Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

Towards certified compilation of RTFM-core applications.
Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

ENCOURAGEing results on ICT for energy efficient buildings.
Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

2015
Convergence of Smart Grid ICT Architectures for the Last Mile.
IEEE Trans. Ind. Informatics, 2015

Logic-based schedulability analysis for compositional hard real-time embedded systems.
SIGBED Rev., 2015

Adaptive offloading for infotainment systems.
SIGBED Rev., 2015

P-SOCRATES: A parallel software framework for time-critical many-core systems.
Microprocess. Microsystems, 2015

Non-preemptive and SRP-based fully-preemptive scheduling of real-time Software Transactional Memory.
J. Syst. Archit., 2015

Task partitioning and priority assignment for distributed hard real-time systems.
J. Comput. Syst. Sci., 2015

Message-oriented middleware for smart grids.
Comput. Stand. Interfaces, 2015

Holistic analysis for fork-join distributed tasks supported by the FTT-SE protocol.
Proceedings of the IEEE World Conference on Factory Communication Systems, 2015

A Formal Perspective on IEC 61499 Execution Control Chart Semantics.
Proceedings of the 2015 IEEE TrustCom/BigDataSE/ISPA, 2015

A multi-DAG model for real-time parallel applications with conditional execution.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Monitoring for a Decidable Fragment of MTL-∫.
Proceedings of the Runtime Verification - 6th International Conference, 2015

Real-Time Support in the Proposal for Fine-Grained Parallelism in Ada.
Proceedings of the 2015 IEEE Real-Time Systems Symposium, 2015

Generalized Extraction of Real-Time Parameters for Homogeneous Synchronous Dataflow Graphs.
Proceedings of the 23rd Euromicro International Conference on Parallel, 2015

Well-formed control flow for critical sections in RTFM-core.
Proceedings of the 13th IEEE International Conference on Industrial Informatics, 2015

Response time for IEC 61499 over Ethernet.
Proceedings of the 13th IEEE International Conference on Industrial Informatics, 2015

Semi-Partitioned Scheduling of Fork-Join Tasks Using Work-Stealing.
Proceedings of the 13th IEEE International Conference on Embedded and Ubiquitous Computing, 2015

A real-time semantics for the IEC 61499 standard.
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

Methodologies for the WCET Analysis of Parallel Applications on Many-Core Architectures.
Proceedings of the 2015 Euromicro Conference on Digital System Design, 2015

Investigation on AUTOSAR-Compliant Solutions for Many-Core Architectures.
Proceedings of the 2015 Euromicro Conference on Digital System Design, 2015

Allocation of Parallel Real-Time Tasks in Distributed Multi-core Architectures Supported by an FTT-SE Network.
Proceedings of the Architecture of Computing Systems - ARCS 2015, 2015

An Execution Model for Fine-Grained Parallelism in Ada.
Proceedings of the Reliable Software Technologies - Ada-Europe 2015, 2015

A Novel Run-Time Monitoring Architecture for Safe and Efficient Inline Monitoring.
Proceedings of the Reliable Software Technologies - Ada-Europe 2015, 2015

2014
The Challenge of Time-Predictability in Modern Many-Core Architectures.
Proceedings of the 14th International Workshop on Worst-Case Execution Time Analysis, 2014

Safe parallel programming in ada with language extensions.
Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, 2014

On the scheduling of fork-join parallel/distributed real-time tasks.
Proceedings of the 9th IEEE International Symposium on Industrial Embedded Systems, 2014

Response-Time Analysis of Synchronous Parallel Tasks in Multiprocessor Systems.
Proceedings of the 22nd International Conference on Real-Time Networks and Systems, 2014

A Compositional Monitoring Framework for Hard Real-Time Systems.
Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

P-SOCRATES: A Parallel Software Framework for Time-Critical Many-Core Systems.
Proceedings of the 17th Euromicro Conference on Digital System Design, 2014

Non-preemptive Scheduling of Real-Time Software Transactional Memory.
Proceedings of the Architecture of Computing Systems - ARCS 2014, 2014

Parallelism in Ada: Status and Prospects.
Proceedings of the Reliable Software Technologies, 2014

Towards a Runtime Verification Framework for the Ada Programming Language.
Proceedings of the Reliable Software Technologies, 2014

2013
Real-time programming on accelerator many-core processors.
Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, 2013

Scheduling parallel real-time tasks using a fixed-priority work-stealing algorithm on multiprocessors.
Proceedings of the 8th IEEE International Symposium on Industrial Embedded Systems, 2013

Towards transparent parallel/distributed support for real-time embedded applications.
Proceedings of the 8th IEEE International Symposium on Industrial Embedded Systems, 2013

Task Partitioning and Priority Assignment for Hard Real-time Distributed Systems.
Proceedings of the REACTION 2013, 2013

Are virtual channels the bottleneck of priority-aware wormhole-switched NoC-based many-cores?
Proceedings of the 21st International Conference on Real-Time Networks and Systems, 2013

Critical-Path-First based allocation of real-time streaming applications on 2D mesh-type multi-cores.
Proceedings of the 2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications, 2013


QoS enabled middleware for real-time industrial control systems.
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

Tasklettes - A Fine Grained Parallelism for Ada on Multicores.
Proceedings of the Reliable Software Technologies, 2013

2012
A feedback-based decentralised coordination model for distributed open real-time systems.
J. Syst. Softw., 2012

A Framework for the Development of Parallel and Distributed Real-Time Embedded Systems.
Proceedings of the 38th Euromicro Conference on Software Engineering and Advanced Applications, 2012

Server-based scheduling of parallel real-time tasks.
Proceedings of the 12th International Conference on Embedded Software, 2012

Dynamic Global Scheduling of Parallel Real-Time Tasks.
Proceedings of the 15th IEEE International Conference on Computational Science and Engineering, 2012

2011
Supporting Parallelism in Server-based Multiprocessor Systems
CoRR, 2011

A parallel programming model for ada.
Proceedings of the 2011 Annual ACM SIGAda International Conference on Ada, 2011

Combining RTSJ with Fork/Join: a priority-based model.
Proceedings of the 9th International Workshop on Java Technologies for Real-time and Embedded Systems, 2011

sMapReduce: a programming pattern for wireless sensor networks.
Proceedings of the 2nd Workshop on Software Engineering for Sensor Network Applications, 2011

Software Transactional Memory as a Building Block for Parallel Embedded Real-Time Systems.
Proceedings of the 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30, 2011

Service offloading in adaptive real-time systems.
Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

2010
A capacity sharing and stealing strategy for open real-time systems.
J. Syst. Archit., 2010

Experiences on the implementation of a cooperative embedded system framework: short paper.
Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2010

Flexible and Dynamic Replication Control for Interdependent Distributed Real-Time Embedded Systems.
Proceedings of the Distributed, Parallel and Biologically Inspired Systems, 2010

Handling Mobility on a QoS-Aware Service-based Framework for Mobile Systems.
Proceedings of the IEEE/IFIP 8th International Conference on Embedded and Ubiquitous Computing, 2010

Implementing Multicore Real-Time Scheduling Algorithms Based on Task Splitting Using Ada 2012.
Proceedings of the Reliable Software Technologiey, 2010

2009
Time-bounded distributed QoS-aware service configuration in heterogeneous cooperative environments.
J. Parallel Distributed Comput., 2009

Coordinated Runtime Adaptations in Cooperative Open Real-Time Systems.
Proceedings of the 12th IEEE International Conference on Computational Science and Engineering, 2009

2008
Shared resources and precedence constraints with capacity sharing and stealing.
Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008

Handling QoS Dependencies in Distributed Cooperative Real-Time Systems.
Proceedings of the Distributed Embedded Systems: Design, 2008

Dynamic QoS adaptation of inter-dependent task sets in cooperative embedded systems.
Proceedings of the 2nd International Conference on Autonomic Computing and Communication Systems, 2008

2007
Capacity Sharing and Stealing in Dynamic Server-based Real-Time Systems.
Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

2006
A Complex Protocol Layer as a linux User-Space Process.
Proceedings of the International Symposium on Industrial Embedded Systems, 2006

Dynamic Adaptation of Stability Periods for Service Level Agreements.
Proceedings of the 12th IEEE Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2006), 2006

Iterative Refinement Approach for QOS-Aware Service Configuration.
Proceedings of the From Model-Driven Design to Resource Management for Distributed Embedded Systems, 2006

POSIX Trace Based Behavioural Reflection.
Proceedings of the Reliable Software Technologies, 2006

2005
Dynamic QoS-Aware Coalition Formation.
Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005

An Ada Framework for QoS-Aware Applications.
Proceedings of the Reliable Software Technology, 2005

2004
Replication Management in Reliable Real-Time Systems.
Real Time Syst., 2004

INDEPTH: Timeliness Assessment of Ethernet/IP-Based Systems.
Proceedings of the 12th International Workshop on Modeling, 2004

2003
Reliable Real-Time Communication in CAN Networks.
IEEE Trans. Computers, 2003

Session summary: the future of IRTAW.
Proceedings of the 12th International Workshop on Real-Time Ada, 2003

Verifying, validating and monitoring the open Ravenscar real time kernel.
Proceedings of the 12th International Workshop on Real-Time Ada, 2003

2002
Session summary: safety improvements for consideration.
Proceedings of the 11th International Workshop on Real-Time Ada, 2002

Using Ravenscar to support fault-tolerant real-time applications.
Proceedings of the 11th International Workshop on Real-Time Ada, 2002

Transparent Environment for Replicated Ravenscar Applications.
Proceedings of the Reliable Software Technologies, 2002

2001
Improved fault tolerant broadcasts in CAN.
Proceedings of 8th IEEE International Conference on Emerging Technologies and Factory Automation, 2001

Timing Analysis of Reliable Real-Time Communication in CAN Networks.
Proceedings of the 13th Euromicro Conference on Real-Time Systems (ECRTS 2001), 2001

Reliable Communication in Distributed Computer-Controlled Systems.
Proceedings of the Reliable Software Technologies: Ada Europe 2001, 2001

2000
Programming atomic multicast in CAN.
Proceedings of the 10th International Workshop on Real-Time Ada, 2000

Session summary: distribution and real-time.
Proceedings of the 10th International Workshop on Real-Time Ada, 2000

An Architecture for Reliable Distributed Computer-Controlled Systems.
Proceedings of the Architecture and Design of Distributed Embedded Systems, 2000

1999
Replica management in real-time Ada 95 applications.
Proceedings of the Ninth International Workshop on Real-Time Ada, 1999

1998
Multi-µ: An Ada 95 Based Architecture for Fault Tolerance Support of Real-Time Systems.
Proceedings of the ACM SIGAda Annual International Conference on Ada Technology, 1998


  Loading...