Luis Miguel Pinho | Academic Influence

Luis Miguel Pinho's AcademicInfluence.com Rankings

Luis Miguel Pinho

Computer Science

#10853

World Rank

#11440

Historical Rank

Machine Learning

#5567

World Rank

#5641

Historical Rank

Artificial Intelligence

#6009

World Rank

#6101

Historical Rank

Database

#9201

World Rank

#9682

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Luis Miguel Pinho's Degrees

PhD Computer Science University of Lisbon
Masters Computer Engineering University of Porto
Bachelors Computer Science University of Coimbra

Similar Degrees You Can Earn

Why Is Luis Miguel Pinho Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Luis Miguel Pinho is a Professor and Researcher in the Computer Engineering Department of the Polytechnic of Porto - School of Engineering , in Portugal. He was a member of the Research Center in Real-Time and Embedded Computing Systems, and is Executive Director of the Porto Research, Technology & Innovation Center.

(See a Problem?)

Luis Miguel Pinho's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Evaluating Android OS for Embedded Real-Time Systems (2010) (80)
Response-Time Analysis of Synchronous Parallel Tasks in Multiprocessor Systems (2014) (69)
Message-oriented middleware for smart grids (2015) (64)
Reliable Real-Time Communication in CAN Networks (2003) (62)
Response time analysis of sporadic DAG tasks under partitioned scheduling (2016) (51)
Convergence of Smart Grid ICT Architectures for the Last Mile (2015) (43)
Integrating inaccessibility in response time analysis of CAN networks (2000) (42)
A multi-DAG model for real-time parallel applications with conditional execution (2015) (40)
Are virtual channels the bottleneck of priority-aware wormhole-switched NoC-based many-cores? (2013) (35)
Time-bounded distributed QoS-aware service configuration in heterogeneous cooperative environments (2009) (34)
P-SOCRATES: A Parallel Software Framework for Time-Critical Many-Core Systems (2014) (31)
Timing analysis of reliable real-time communication in CAN networks (2001) (31)
Schedulability analysis for global fixed-priority scheduling of the 3-phase task model (2017) (23)
Generalized Extraction of Real-Time Parameters for Homogeneous Synchronous Dataflow Graphs (2015) (23)
A closer look into the AER Model (2016) (22)
Server-based scheduling of parallel real-time tasks (2012) (21)
Capacity Sharing and Stealing in Dynamic Server-based Real-Time Systems (2007) (20)
The Challenge of Time-Predictability in Modern Many-Core Architectures (2014) (19)
Dynamic QoS-aware coalition formation (2005) (19)
A serious game enhancing social tenants' behavioral change towards energy efficiency (2017) (19)
A Novel Run-Time Monitoring Architecture for Safe and Efficient Inline Monitoring (2015) (17)
The Variability of Application Execution Times on a Multi-Core Platform (2016) (17)
The ENCOURAGE ICT architecture for heterogeneous smart grids (2013) (17)
Tasklettes - A Fine Grained Parallelism for Ada on Multicores (2013) (17)
Replication Management in Reliable Real-Time Systems (2004) (17)
OpenMP Tasking Model for Ada: Safety and Correctness (2017) (16)
Service offloading in adaptive real-time systems (2011) (16)
Logic-based schedulability analysis for compositional hard real-time embedded systems (2015) (15)
A capacity sharing and stealing strategy for open real-time systems (2010) (15)
RTFM-core: Language and implementation (2015) (15)
On the scheduling of fork-join parallel/distributed real-time tasks (2014) (15)
Iterative Refinement Approach for QOS-Aware Service Configuration (2006) (14)
Timeliness in COTS factory-floor distributed systems: what role for simulation? (2004) (14)
Safe parallel programming in ada with language extensions (2014) (14)
Critical-Path-First based allocation of real-time streaming applications on 2D mesh-type multi-cores (2013) (14)
An Execution Model for Fine-Grained Parallelism in Ada (2015) (12)
A real-time semantics for the IEC 61499 standard (2015) (12)
Queuing and routing in a hierarchical powerline communication system (2005) (12)
INDEPTH: timeliness assessment of Ethernet/IP-based systems (2004) (12)
End-to-End Response Time of IEC 61499 Distributed Applications Over Switched Ethernet (2017) (12)
Real-time semi-partitioned scheduling of fork-join tasks using work-stealing (2015) (11)
Integration of TCP/IP and PROFIBUS Protocols (2002) (11)
Distributed Computer-Controlled Systems: the DEAR-COTS approach (2000) (11)
Methodologies for the WCET Analysis of Parallel Applications on Many-Core Architectures (2015) (11)
Handling Mobility on a QoS-Aware Service-based Framework for Mobile Systems (2010) (10)
Software Transactional Memory as a Building Block for Parallel Embedded Real-Time Systems (2011) (10)
A few what-ifs on using statistical analysis of stochastic simulation runs to extract timeliness properties (2004) (10)
An Ada Framework for QoS-Aware Applications (2005) (9)
sMapReduce: a programming pattern for wireless sensor networks (2011) (9)
Dynamic Global Scheduling of Parallel Real-Time Tasks (2012) (9)
Converging safety and high-performance domains: Integrating OpenMP into Ada (2018) (9)
Runtime verification of autopilot systems using a fragment of MTL-$${\int }$$∫ (2018) (9)
Shared resources and precedence constraints with capacity sharing and stealing (2008) (9)
Implementing Multicore Real-Time Scheduling Algorithms Based on Task Splitting Using Ada 2012 (2010) (9)
Parallelism in Ada: Status and Prospects (2014) (8)
A feedback-based decentralised coordination model for distributed open real-time systems (2012) (8)
Dynamic QoS adaptation of inter-dependent task sets in cooperative embedded systems (2008) (8)
Investigation on AUTOSAR-Compliant Solutions for Many-Core Architectures (2015) (8)
Mechanisms for Reflection-based Monitoring of Real-Time Systems (2004) (8)
Engineering Real-Time Applications with WorldFIP: Analysis and Tools (2000) (7)
Programming atomic multicast in CAN (2001) (7)
Session summary: language and distribution issues (2010) (7)
Safe Parallelism: Compiler Analysis Techniques for Ada and OpenMP (2018) (7)
Task Partitioning and Priority Assignment for Hard Real-time Distributed Systems (2013) (7)
A framework for the transparent replication of real-time applications (2001) (7)
Improved Holistic Analysis for Fork–Join Distributed Real-Time Tasks Supported by the FTT-SE Protocol (2016) (7)
A Compositional Monitoring Framework for Hard Real-Time Systems (2014) (6)
A Formal Perspective on IEC 61499 Execution Control Chart Semantics (2015) (6)
A parallel programming model for ada (2011) (6)
Verifying, validating and monitoring the open Ravenscar real time kernel (2003) (6)
Atomic Multicast Protocols for Reliable CAN Communication (2001) (6)
Real-Time Fine-Grained Parallelism in Ada (2015) (6)
Dynamic Adaptation of Stability Periods for Service Level Agreements (2006) (6)
Task partitioning and priority assignment for distributed hard real-time systems (2015) (6)
Experiences on the implementation of a cooperative embedded system framework: short paper (2010) (6)
Scheduling parallel real-time tasks using a fixed-priority work-stealing algorithm on multiprocessors (2013) (6)
Towards a Runtime Verification Framework for the Ada Programming Language (2014) (6)
Parallelism in Ada: general model and ravenscar (2013) (6)
RTFM-lang Static Semantics for Systems with Mixed Criticality (2014) (6)
Improved fault tolerant broadcasts in CAN (2001) (5)
Response-Time Analysis of Fork/Join Tasks in Multiprocessor Systems (2013) (5)
Monitoring of Real Time Systems: a case for Reflection? (2004) (5)
On the use of Work-Stealing Strategies in Real-Time Systems (2013) (5)
The AMPERE Project: : A Model-driven development framework for highly Parallel and EneRgy-Efficient computation supporting multi-criteria optimization (2020) (5)
Reliable Software Technologies – Ada-Europe 2012 (2012) (5)
Time Criticality Challenge in the Presence of Parallelised Execution (2014) (5)
The EnerGAware middleware platform (2017) (5)
Programming Atomic Multicasts in CAN (2001) (5)
Reducing the Complexity of Dataflow Graphs Using Slack-Based Merging (2017) (5)
Specification of the Manufacturing Automation Field Trial (2001) (4)
Optimal minimal routing and priority assignment for priority-preemptive real-time NoCs (2017) (4)
Multi-μ: an Ada 95 based architecture for fault tolerance support of real-time systems (1998) (4)
Enabling Ada and OpenMP runtimes interoperability through template-based execution (2020) (4)
High-Performance and Time-Predictable Embedded Computing (2018) (4)
Bringing Industrial Multimedia to the Factory-Floor: What is at stake with RFieldbus (2003) (4)
Real-Time Scheduling of Parallel Tasks in the Linux Kernel (2012) (4)
Non-preemptive and SRP-based fully-preemptive scheduling of real-time Software Transactional Memory (2015) (4)
Reliable Communication in Distributed Computer-Controlled Systems (2001) (4)
Holistic analysis for fork-join distributed tasks supported by the FTT-SE protocol (2015) (4)
A Framework for the Development of Parallel and Distributed Real-Time Embedded Systems (2012) (4)
Emulation-in-the-loop for simulation and testing of real-time critical CPS (2018) (4)
Capacity Sharing and Stealing in Server-based Real-Time Systems (2005) (4)
Combining RTSJ with Fork/Join: a priority-based model (2011) (4)
Combining the tasklet model with OpenMP (2018) (3)
Coordinated Runtime Adaptations in Cooperative Open Real-Time Systems (2009) (3)
Flexible and Dynamic Replication Control for Interdependent Distributed Real-Time Embedded Systems (2010) (3)
On Routing Flexibility of Wormhole-Switched Priority-Preemptive NoCs (2016) (3)
Short Paper: Experiences on the Implementation of a Cooperative Embedded System Framework (2010) (3)
SMT-based schedulability analysis using RMTL-∫ (2016) (3)
Towards transparent parallel/distributed support for real-time embedded applications (2013) (3)
Using Ravenscar to support fault-tolerant real-time applications (2002) (3)
Building adaptable, QoS-aware dependable embedded systems (2006) (3)
Session Summary: Fine-grained parallelism (2015) (3)
Transparent Environment for Replicated Ravenscar Applications (2002) (3)
Non-preemptive Scheduling of Real-Time Software Transactional Memory (2014) (3)
Characterizing the Timing Behaviour of Power-Line Communications by Means of Simulation (2004) (3)
Real-time programming on accelerator many-core processors (2013) (3)
Managing contention of software transactional memory in real-time systems (2010) (3)
Session summary: parallel and multicore systems (2013) (3)
Session summary: distribution and real-time (2001) (3)
Replica management in real-time Ada 95 applications (1999) (2)
A Complex Protocol Layer as a linux User-Space Process (2006) (2)
To Ada or not to Ada: Adaing vs. Javaing in real-time systems (1998) (2)
An Elastic Software Architecture for Extreme-Scale Big Data Analytics (2022) (2)
Revisiting transactions in Ada (2013) (2)
Abstract timers and their implementation onto the ARM Cortex-M family of MCUs (2015) (2)
Platform for Smart Car to Car Content Delivery: Results of CISTER Research Centre within CarCoDe project (2015) (2)
Contract based verification of IEC 61499 (2016) (2)
Monitoring for a Decidable Fragment of MTL-∫ (2015) (2)
From Sensor Networks to Internet of Things: Wireless Sensor Networks as an Infrastructure Technology (2013) (2)
Session summary: multiprocessor issues, part 2 (resource control protocols) (2013) (2)
Monitoring for a decidable fragment of MTL-R (2015) (2)
Allocation of Parallel Real-Time Tasks in Distributed Multi-core Architectures Supported by an FTT-SE Network (2015) (2)
Industrial Multimedia put into Practice (2002) (2)
Position Paper on Time and Event-triggered Communication Services in the Context of e-Manufacturing (2002) (2)
Handling Shared Resources and Precedence Constraints in Open Systems (2007) (2)
Another look at the pWCET estimation problem (2014) (2)
Supporting Parallelism in Server-based Multiprocessor Systems (2010) (2)
A Model Annotation Approach for the Support of Software Energy Properties Management using AMALTHEA (2022) (1)
Technical Report: Holistic Analysis for Fork-Join Parallel Distributed Real-Time Tasks using the FTT-SE Protocol (2015) (1)
Guest editorial: real-time networks and systems (2018) (1)
Manufacturing Automation Field Trial: October 2002 Report (2002) (1)
The DEAR-COTS Replication Framework (2001) (1)
Comments on the R-Fieldbus User Requirements Questionnaire (2000) (1)
Response time for IEC 61499 over Ethernet (2015) (1)
Heuristic-based Task-to-Thread Mapping in Multi-Core Processors (2022) (1)
Models of Ethernet/IP Devices (2003) (1)
Ada and many-core platforms (2013) (1)
The capacity exchange protocol (2007) (1)
Reduction of Parallel Computation in the Parallel Model for Ada (2016) (1)
Analysis of self-interference within DAG tasks (2015) (1)
Session Summary: Parallel Programming (2018) (1)
Handling QoS Dependencies in Distributed Cooperative Real-Time Systems (2008) (1)
Adaptive offloading for infotainment systems (2015) (1)
Merging Reliability and Timeliness Requirements in Distributed Computer-Controlled Systems (2001) (1)
Engineering Real-Time Distributed Applications with RFieldbus (2003) (1)
Supporting Real-Time Parallel Task Models with Work-Stealing (2012) (1)
ENCOURAGEing results on ICT for energy efficient buildings (2016) (1)
An Architecture for Reliable Distributed Computer-Controlled Systems (2000) (1)
Response time analysis of hard real-time tasks sharing software transactional memory data under fully partitioned scheduling (2016) (1)
Combining Dataflow Applications and Real-time Task Sets on Multi-core Platforms (2017) (1)
A system model and stack for the parallelization of time-critical applications on many-core architectures (2015) (1)
Using Quicktrace to collect runtime execution traces easily and automatically (2015) (1)
From Simulation to Statistical Analysis: Timeliness Assessment of Ethernet/IP-based Distributed Systems (2004) (1)
Response time analysis of hard real-time tasks with STM transactions on multi-core platforms (2015) (1)
Monitoring and Profiling Business and Mission Critical Real-Time Systems (2003) (1)
Towards a flexible and dynamic replication control for distributed real-time embedded systems with QoS interdependencies (2010) (1)
Global Resource Management in the ELASTIC Architecture (2022) (1)
The P-SOCRATES Timing Analysis Methodology for Parallel Real-Time Applications Deployed on Many-Core Platforms (2017) (1)
Exploiting a Throttle Mechanism for QEMU (2018) (1)
SMT-based Schedulability Analysis using RMTL- R (2016) (1)
Towards Holistic Analysis for Fork-Join Parallel/Distributed Real-Time Tasks (2014) (1)
QoS enabled middleware for real-time industrial control systems (2013) (1)
Online Admission of Parallel Real-Time Tasks (2015) (1)
POSIX Trace Based Behavioural Reflection (2006) (1)
Erratum to: Optimal minimal routing and priority assignment for priority-preemptive real-time NoCs (2017) (1)
Reliable Software Technologies -- Ada-Europe 2006: 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, ... (Lecture Notes in Computer Science) (2006) (1)
Reducing the Complexity of Dataflow Graphs using (2017) (0)
CISTER-TR-141207 A Multi-DAG Model for Real-Time Parallel Applications with (2014) (0)
Verification of Hard Real-Time Systems (2013) (0)
Proceedings of the 17th Ada-Europe international conference on Reliable Software Technologies (2006) (0)
Using Ravenscar (0)
Real-Time and Dependability Requirements in R-Fieldbus (2000) (0)
Session summary: safety improvements for consideration (2002) (0)
Real-time Parallel Applications on Many-core Architectures (2015) (0)
IPP-HURRAY! A R&D Group in ISEP-IPP (1999) (0)
A Novel Runtime Monitoring Architecture (2015) (0)
Architecture of Computing Systems – ARCS 2015: 28th International Conference, Porto, Portugal, March 24-27, 2015, Proceedings (2015) (0)
Replication of IEC 61499 Applications (2014) (0)
Timing Analysis Solutions for Multicore Systems (2017) (0)
Real-Time Support in the Proposal for Fine-Grained Parallelism in Ada (2015) (0)
R-Fieldbus D1.1 Application Requirements Report (2000) (0)
Parallelising Real-Time Software (2013) (0)
A Toolkit for Reliable Communication in Distributed Computer-Controlled Systems (2000) (0)
Reliable and Real-Time Communication in the DEAR-COTS Architecture (2000) (0)
Session Summary : Language and Distribution Issues Chairs : (2010) (0)
Implementation Model for the Monitoring Framework (2005) (0)
Erratum to: Optimal minimal routing and priority assignment for priority-preemptive real-time NoCs (2017) (0)
Exploiting a Throttle Mechanism for QEMU Conference Paper (2018) (0)
Multicore emulation-in-the-loop in the Khronosim project (2018) (0)
Online Admission of Parallel Real-Time Tasks Technical Report (2015) (0)
Reliable Software Technologies – Ada-Europe 2016 (2016) (0)
Reliable Software Technologies - Ada-Europe 2006, 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006, Proceedings (2006) (0)
SMT-based Schedulability Analysis using RMTL-∫ Conference Paper (2017) (0)
Parallel Real-time Support for Distributed Adaptive Embedded Applications (2012) (0)
The P-SOCRATES timing analysis metho dology for parallel real-time applications deployed on many-core platforms Conference Paper (2017) (0)
Reflective Monitoring using the POSIX Trace in MaRTEOS (2005) (0)
Session summary: the future of IRTAW (2003) (0)
High-performance parallelisation of real-time applications (2017) (0)
Supporting Networked Control Systems: Assessment of the CAN Protocol Considering Periods of Network Inaccessibility (2003) (0)
Run-time Monitoring Architecture for Real-Time Systems (2015) (0)
Proceedings of the 24th International Conference on Real-Time Networks and Systems (2016) (0)
A ComplexProtocol Layerasalinux User-Space Process (2006) (0)
On Program Restructuring for Cluster-based Highly Parallel Embedded Architectures (2014) (0)
A Framework for Offloading Real-Time Applications in a Distributed Environment (2011) (0)
Towards Specification and Verification Frameworks for Concurrent Real-Time Systems (2012) (0)
Abstract Timers and their Implementation onto the ARM Cor tex-M family of MCUs Conference Paper CISTER-TR-151202 (2015) (0)
Implementation of the Manufacturing Automation Field Trial: Current Status (2002) (0)
Optimal minimal routing and priority assignment for priority-preemptive real-time NoCs (2017) (0)
Architecture of Computing Systems – ARCS 2015 (2015) (0)
High-Performance Parallelisation of Real-Time Applications with the Upscale SDK (2017) (0)
Run-time monitoring in real-time operating systems (2005) (0)
Fault-Tolerant Real-Time Applications in the DEAR-COTS Architecture (2001) (0)
Monitoring for a decidable fragment of MTLD Conference Paper (2015) (0)
IoT for Energy-Efficiency: connecting a serious game with energy metering in the EnerGAware project (2017) (0)
The DEAR-COTS Hard Real-Time Subsystem (2000) (0)
QoS-based surrogates selection and service proposal formulation in offloading environments (2005) (0)
Run-time Monitoring Approach for the Shark Kernel (2006) (0)
Well-formed control flow for critical sections in RTFM-core (2015) (0)
High Performance Embedded Computing (2022) (0)
Session Summary: Clock Issues (2018) (0)
Scheduling Parallel Real-Time Tasks in Multiprocessor Platforms (2018) (0)
Formal Contracts for Runtime Verification Support in the Ada Programming Language (2015) (0)
Combining the tasklet model with OpenMP Conference Paper (2018) (0)
Conference Paper CISTER-TR-170801 The EnerGAware (2017) (0)
Guest editorial: real-time networks and systems (2018) (0)
Timing Analysis Methodology (2018) (0)
ENCOURAGE architecture: support for heterogeneous smart grids (2012) (0)
How to deal with control-flow information in parallel real-time applications? (2014) (0)
Analysis of self-interference within DAG tasks Conference (2015) (0)
Towards certified compilation of RTFM-core applications (2016) (0)
Real-Time Parallel Programming: State of Play and Open Issues (2023) (0)
Towards the Combination of Work-Stealing and Semi-Partitioned Scheduling for Parallel Tasks (2015) (0)
D2.3 - ENCOURAGE platform reference architecture (2012) (0)
Middlewares for Embedded Systems (2013) (0)
Constraints on the Use of Executors in Real-time Systems (2016) (0)
A serious game enhancing social tenants 19 behavioral change towards energy efficiency Conference (2017) (0)
Toward a Run-Time Verification Framework for Real-Time Safety-Critical Systems (2015) (0)
Configuration of Parallel Real-Time Applications on Multi-Core Processors (2022) (0)
Special Issue on Real Time Networks and Systems (2018) (0)
Supporting Parallelism in Server-based (2010) (0)
SENODs Architecture Overview (2011) (0)

This paper list is powered by the following services:

Other Resources About Luis Miguel Pinho

en.wikipedia.org

What Schools Are Affiliated With Luis Miguel Pinho?

Luis Miguel Pinho is affiliated with the following schools: