Luís Miguel Pinho

ORCID

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 37

Top Venues

Publications

Mohammad Samadi, Sara Royuela, Luís Miguel Pinho, Tiago Carvalho, Eduardo Quiñones
Time-predictable task-to-thread mapping in multi-core processors. J. Syst. Archit. 148 (2024)
Tiago Carvalho, Luís Miguel Pinho, Mohammad Samadi, Sara Royuela, Adrian Munera, Eduardo Quiñones
Framework for the Analysis and Configuration of Real-Time OpenMP Applications. INDIN (2023)
Luís Miguel Pinho
Real-Time Parallel Programming: State of Play and Open Issues. CoRR (2023)
Bernardo Cabral, Pedro Costa, Tiago Fonseca, Luis Lino Ferreira, Luís Miguel Pinho, Pedro Ribeiro
A Scalable Clustered Architecture for Cyber-Physical Systems. INDIN (2023)
Rita Sousa, Luís Nogueira, Fátima Rodrigues, Luís Miguel Pinho
Global Resource Management in the ELASTIC Architecture. ICPS (2022)
Ricardo Gomes, Tiago Carvalho, António Barros, Luís Miguel Pinho
A Model Annotation Approach for the Support of Software Energy Properties Management using AMALTHEA. ICPS (2022)
Mohammad Samadi Gharajeh, Sara Royuela, Luís Miguel Pinho, Tiago Carvalho, Eduardo Quiñones
Heuristic-based Task-to-Thread Mapping in Multi-Core Processors. ETFA (2022)
Mohammad Samadi Gharajeh, Tiago Carvalho, Luís Miguel Pinho
Configuration of Parallel Real-Time Applications on Multi-Core Processors. INDIN (2022)
Eduardo Quiñones, Sara Royuela, Claudio Scordino, Paolo Gai, Luís Miguel Pinho, Luís Nogueira, Jan Rollo, Tommaso Cucinotta, Alessandro Biondi, Arne Hamann, Dirk Ziegenbein, Hadi Saoud, Romain Soulat, Björn Forsberg, Luca Benini, Gianluca Mandò, Luigi Rucher
The AMPERE Project: : A Model-driven development framework for highly Parallel and EneRgy-Efficient computation supporting multi-criteria optimization. ISORC (2020)
Sara Royuela, Luís Miguel Pinho, Eduardo Quiñones
Enabling Ada and OpenMP runtimes interoperability through template-based execution. J. Syst. Archit. 105 (2020)
André de Matos Pedro, Jorge Sousa Pinto, David Pereira, Luís Miguel Pinho
Runtime verification of autopilot systems using a fragment of MTL- $${\int }$$ ∫. Int. J. Softw. Tools Technol. Transf. 20 (4) (2018)
Sara Royuela, Luís Miguel Pinho, Eduardo Quiñones
Converging safety and high-performance domains: Integrating OpenMP into Ada. DATE (2018)
Paulo Renato Oliveira, Manuel Meireles, Cláudio Maia, Luís Miguel Pinho, Gonçalo Gouveia, João Esteves
Emulation-in-the-loop for simulation and testing of real-time critical CPS. ICPS (2018)
Sébastien Faucou, Luís Miguel Pinho
Guest editorial: real-time networks and systems. Real Time Syst. 54 (4) (2018)
Sara Royuela, Xavier Martorell, Eduardo Quiñones, Luís Miguel Pinho
Safe Parallelism: Compiler Analysis Techniques for Ada and OpenMP. Ada-Europe (2018)
Borislav Nikolic, Luís Miguel Pinho
Erratum to: Optimal minimal routing and priority assignment for priority-preemptive real-time NoCs. Real Time Syst. 53 (4) (2017)
Cláudio Maia, Geoffrey Nelissen, Luís Nogueira, Luís Miguel Pinho, Daniel Gracia Pérez
Schedulability analysis for global fixed-priority scheduling of the 3-phase task model. RTCSA (2017)
Hazem Ismail Ali, Sander Stuijk, Benny Akesson, Luís Miguel Pinho
Reducing the Complexity of Dataflow Graphs Using Slack-Based Merging. ACM Trans. Design Autom. Electr. Syst. 22 (2) (2017)
Hazem Ismail Ali, Benny Akesson, Luís Miguel Pinho
Combining Dataflow Applications and Real-time Task Sets on Multi-core Platforms. SCOPES (2017)
Miquel Casals, Marta Gangolells, Marcel Macarulla, Alba Fuertes, V. Vimont, Luís Miguel Pinho
A serious game enhancing social tenants' behavioral change towards energy efficiency. GIoTS (2017)
Sara Royuela, Xavier Martorell, Eduardo Quiñones, Luís Miguel Pinho
OpenMP Tasking Model for Ada: Safety and Correctness. Ada-Europe (2017)
Borislav Nikolic, Luís Miguel Pinho
Optimal minimal routing and priority assignment for priority-preemptive real-time NoCs. Real Time Syst. 53 (4) (2017)
Cláudio Maia, Patrick Meumeu Yomsi, Luís Nogueira, Luís Miguel Pinho
Real-time semi-partitioned scheduling of fork-join tasks using work-stealing. EURASIP J. Embed. Syst. 2017 (2017)
Vincent Nélis, Patrick Meumeu Yomsi, Luís Miguel Pinho
The P-SOCRATES Timing Analysis Methodology for Parallel Real-Time Applications Deployed on Many-Core Platforms. WCET (2017)
André de Matos Pedro, David Pereira, Luís Miguel Pinho, Jorge Sousa Pinto
SMT-based schedulability analysis using RMTL-∫. SIGBED Rev. 14 (3) (2017)
Paulo Barbosa, Antonio Barros, Luís Miguel Pinho
The EnerGAware middleware platform. IECON (2017)
Per Lindgren, Johan Eriksson, Marcus Lindner, Andreas Lindner, David Pereira, Luís Miguel Pinho
End-to-End Response Time of IEC 61499 Distributed Applications Over Switched Ethernet. IEEE Trans. Ind. Informatics 13 (1) (2017)
Borislav Nikolic, Luís Miguel Pinho, Leandro Soares Indrusiak
On Routing Flexibility of Wormhole-Switched Priority-Preemptive NoCs. RTCSA (2016)
Ricardo Garibay-Martínez, Geoffrey Nelissen, Luis Lino Ferreira, Paulo Pedreiras, Luís Miguel Pinho
Improved Holistic Analysis for Fork-Join Distributed Real-Time Tasks Supported by the FTT-SE Protocol. IEEE Trans. Ind. Informatics 12 (5) (2016)
Antonio Barros, Patrick Meumeu Yomsi, Luís Miguel Pinho
Response time analysis of hard real-time tasks sharing software transactional memory data under fully partitioned scheduling. SIES (2016)
Per Lindgren, Emil Fresk, Marcus Lindner, Andreas Lindner, David Pereira, Luís Miguel Pinho
Abstract timers and their implementation onto the ARM Cortex-M family of MCUs. SIGBED Rev. 13 (1) (2016)
José Carlos Fonseca, Geoffrey Nelissen, Vincent Nélis, Luís Miguel Pinho
Response time analysis of sporadic DAG tasks under partitioned scheduling. SIES (2016)
Per Lindgren, Marcus Lindner, David Pereira, Luís Miguel Pinho
Contract based verification of IEC 61499. INDIN (2016)
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
ENCOURAGEing results on ICT for energy efficient buildings. ETFA (2016)
Vincent Nélis, Patrick Meumeu Yomsi, Luís Miguel Pinho
The Variability of Application Execution Times on a Multi-Core Platform. WCET (2016)
Cláudio Maia, Luís Nogueira, Luís Miguel Pinho, Daniel Gracia Pérez
A closer look into the AER Model. ETFA (2016)
Per Lindgren, Marcus Lindner, David Pereira, Luís Miguel Pinho
Towards certified compilation of RTFM-core applications. ETFA (2016)
Luís Miguel Pinho, Brad Moore, Stephen Michell, S. Tucker Taft
Real-Time Support in the Proposal for Fine-Grained Parallelism in Ada. RTSS (2015)
Geoffrey Nelissen, David Pereira, Luís Miguel Pinho
A Novel Run-Time Monitoring Architecture for Safe and Efficient Inline Monitoring. Ada-Europe (2015)
Luís Miguel Pinho, Brad Moore, Stephen Michell, S. Tucker Taft
An Execution Model for Fine-Grained Parallelism in Ada. Ada-Europe (2015)
Luis Lino Ferreira, Luís Miguel Pinho, Michele Albano, César Teixeira
Adaptive offloading for infotainment systems. SIGBED Rev. 12 (3) (2015)
Matthias Becker, Dakshina Dasari, Vincent Nélis, Moris Behnam, Luís Miguel Pinho, Thomas Nolte
Investigation on AUTOSAR-Compliant Solutions for Many-Core Architectures. DSD (2015)
André de Matos Pedro, David Pereira, Luís Miguel Pinho, Jorge Sousa Pinto
Monitoring for a Decidable Fragment of MTL-∫. RV (2015)
Ricardo Garibay-Martínez, Geoffrey Nelissen, Luis Lino Ferreira, Luís Miguel Pinho
Task partitioning and priority assignment for distributed hard real-time systems. J. Comput. Syst. Sci. 81 (8) (2015)
Ricardo Garibay-Martínez, Geoffrey Nelissen, Luis Lino Ferreira, Paulo Pedreiras, Luís Miguel Pinho
Holistic analysis for fork-join distributed tasks supported by the FTT-SE protocol. WFCS (2015)
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
P-SOCRATES: A parallel software framework for time-critical many-core systems. Microprocess. Microsystems 39 (8) (2015)
Antonio Barros, Luís Miguel Pinho, Patrick Meumeu Yomsi
Non-preemptive and SRP-based fully-preemptive scheduling of real-time Software Transactional Memory. J. Syst. Archit. 61 (10) (2015)
Per Lindgren, Marcus Lindner, Andreas Lindner, Emil Fresk, David Pereira, Luís Miguel Pinho
Abstract Timers and their Implementation onto the ARM Cortex-M family of MCUs. EWiLi (2015)
Per Lindgren, Marcus Lindner, Andreas Lindner, David Pereira, Luís Miguel Pinho
Well-formed control flow for critical sections in RTFM-core. INDIN (2015)
Cláudio Maia, Patrick Meumeu Yomsi, Luís Nogueira, Luís Miguel Pinho
Semi-Partitioned Scheduling of Fork-Join Tasks Using Work-Stealing. EUC (2015)
Michele Albano, Luis Lino Ferreira, Luís Miguel Pinho, Abdel Rahman Alkhawaja
Message-oriented middleware for smart grids. Comput. Stand. Interfaces 38 (2015)
Per Lindgren, Marcus Lindner, Andreas Lindner, Valeriy Vyatkin, David Pereira, Luís Miguel Pinho
A real-time semantics for the IEC 61499 standard. ETFA (2015)
Michele Albano, Luis Lino Ferreira, Luís Miguel Pinho
Convergence of Smart Grid ICT Architectures for the Last Mile. IEEE Trans. Ind. Informatics 11 (1) (2015)
Hazem Ismail Ali, Benny Akesson, Luís Miguel Pinho
Generalized Extraction of Real-Time Parameters for Homogeneous Synchronous Dataflow Graphs. PDP (2015)
Vincent Nélis, Patrick Meumeu Yomsi, Luís Miguel Pinho
Methodologies for the WCET Analysis of Parallel Applications on Many-Core Architectures. DSD (2015)
Per Lindgren, Marcus Lindner, David Pereira, Luís Miguel Pinho
A Formal Perspective on IEC 61499 Execution Control Chart Semantics. TrustCom/BigDataSE/ISPA (3) (2015)
Ricardo Garibay-Martínez, Geoffrey Nelissen, Luis Lino Ferreira, Luís Miguel Pinho
Allocation of Parallel Real-Time Tasks in Distributed Multi-core Architectures Supported by an FTT-SE Network. ARCS (2015)
José Carlos Fonseca, Vincent Nélis, Gurulingesh Raravi, Luís Miguel Pinho
A multi-DAG model for real-time parallel applications with conditional execution. SAC (2015)
Per Lindgren, Johan Eriksson, Marcus Lindner, Andreas Lindner, David Pereira, Luís Miguel Pinho
Response time for IEC 61499 over Ethernet. INDIN (2015)
André de Matos Pedro, David Pereira, Luís Miguel Pinho, Jorge Sousa Pinto
Logic-based schedulability analysis for compositional hard real-time embedded systems. SIGBED Rev. 12 (1) (2015)
Luís Miguel Pinho, Eduardo Quiñones, Marko Bertogna, Andrea Marongiu, Jorge Pereira Carlos, Claudio Scordino, Michele Ramponi
P-SOCRATES: A Parallel Software Framework for Time-Critical Many-Core Systems. DSD (2014)
Luís Miguel Pinho, Brad Moore, Stephen Michell
Parallelism in Ada: Status and Prospects. Ada-Europe (2014)
S. Tucker Taft, Brad Moore, Luís Miguel Pinho, Stephen Michell
Safe parallel programming in ada with language extensions. HILT (2014)
Ricardo Garibay-Martínez, Geoffrey Nelissen, Luis Lino Ferreira, Luís Miguel Pinho
On the scheduling of fork-join parallel/distributed real-time tasks. SIES (2014)
Cláudio Maia, Marko Bertogna, Luís Nogueira, Luís Miguel Pinho
Response-Time Analysis of Synchronous Parallel Tasks in Multiprocessor Systems. RTNS (2014)
Vincent Nélis, Patrick Meumeu Yomsi, Luís Miguel Pinho, José Carlos Fonseca, Marko Bertogna, Eduardo Quiñones, Roberto Vargas, Andrea Marongiu
The Challenge of Time-Predictability in Modern Many-Core Architectures. WCET (2014)
André de Matos Pedro, David Pereira, Luís Miguel Pinho, Jorge Sousa Pinto
A Compositional Monitoring Framework for Hard Real-Time Systems. NASA Formal Methods (2014)
Antonio Barros, Luís Miguel Pinho
Non-preemptive Scheduling of Real-Time Software Transactional Memory. ARCS (2014)
André de Matos Pedro, David Pereira, Luís Miguel Pinho, Jorge Sousa Pinto
Towards a Runtime Verification Framework for the Ada Programming Language. Ada-Europe (2014)
Ricardo Garibay-Martínez, Geoffrey Nelissen, Luis Lino Ferreira, Luís Miguel Pinho
Task Partitioning and Priority Assignment for Hard Real-time Distributed Systems. REACTION (2013)
Cláudio Maia, Luís Nogueira, Luís Miguel Pinho
Scheduling parallel real-time tasks using a fixed-priority work-stealing algorithm on multiprocessors. SIES (2013)
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, Susanne Majlund Sorensen, Marta Gangolells, Luís Miguel Pinho, Arne Skou
The ENCOURAGE ICT architecture for heterogeneous smart grids. EUROCON (2013)
Stephen Michell, Brad Moore, Luís Miguel Pinho
Real-time programming on accelerator many-core processors. HILT (2013)
Stephen Michell, Brad Moore, Luís Miguel Pinho
Tasklettes - A Fine Grained Parallelism for Ada on Multicores. Ada-Europe (2013)
Hazem Ismail Abdel Aziz Ali, Luís Miguel Pinho, Benny Akesson
Critical-Path-First based allocation of real-time streaming applications on 2D mesh-type multi-cores. RTCSA (2013)
Luis Lino Ferreira, Michele Albano, Luís Miguel Pinho
QoS enabled middleware for real-time industrial control systems. ETFA (2013)
Ricardo Garibay-Martínez, Luis Lino Ferreira, Cláudio Maia, Luís Miguel Pinho
Towards transparent parallel/distributed support for real-time embedded applications. SIES (2013)
Borislav Nikolic, Hazem Ismail Ali, Stefan M. Petters, Luís Miguel Pinho
Are virtual channels the bottleneck of priority-aware wormhole-switched NoC-based many-cores? RTNS (2013)
Luís Nogueira, Luís Miguel Pinho, Jorge Coelho
A feedback-based decentralised coordination model for distributed open real-time systems. J. Syst. Softw. 85 (9) (2012)
Luís Nogueira, Luís Miguel Pinho
Server-based scheduling of parallel real-time tasks. EMSOFT (2012)
Ricardo Garibay-Martínez, Luis Lino Ferreira, Luís Miguel Pinho
A Framework for the Development of Parallel and Distributed Real-Time Embedded Systems. EUROMICRO-SEAA (2012)
Luís Nogueira, José Carlos Fonseca, Cláudio Maia, Luís Miguel Pinho
Dynamic Global Scheduling of Parallel Real-Time Tasks. CSE (2012)
Vikram Gupta, Eduardo Tovar, Luís Miguel Pinho, Junsung Kim, Karthik Lakshmanan, Ragunathan Rajkumar
sMapReduce: a programming pattern for wireless sensor networks. SESENA@ICSE (2011)
Luís Nogueira, Luís Miguel Pinho
Supporting Parallelism in Server-based Multiprocessor Systems CoRR (2011)
Cláudio Maia, Luís Nogueira, Luís Miguel Pinho
Combining RTSJ with Fork/Join: a priority-based model. JTRES (2011)
Antonio Barros, Luís Miguel Pinho
Software Transactional Memory as a Building Block for Parallel Embedded Real-Time Systems. EUROMICRO-SEAA (2011)
Luis Lino Ferreira, Guilherme D. Silva, Luís Miguel Pinho
Service offloading in adaptive real-time systems. ETFA (2011)
Hazem Ismail Ali, Luís Miguel Pinho
A parallel programming model for ada. SIGAda (2011)
Luís Nogueira, Luís Miguel Pinho, Jorge Coelho
Flexible and Dynamic Replication Control for Interdependent Distributed Real-Time Embedded Systems. DIPES/BICC (2010)
Luís Nogueira, Luís Miguel Pinho
A capacity sharing and stealing strategy for open real-time systems. J. Syst. Archit. 56 (4-6) (2010)
Cláudio Maia, Luís Nogueira, Luís Miguel Pinho
Experiences on the implementation of a cooperative embedded system framework: short paper. JTRES (2010)
Joel Gonçalves, Luis Lino Ferreira, Luís Miguel Pinho, Guilherme D. Silva
Handling Mobility on a QoS-Aware Service-based Framework for Mobile Systems. EUC (2010)
Björn Andersson, Luís Miguel Pinho
Implementing Multicore Real-Time Scheduling Algorithms Based on Task Splitting Using Ada 2012. Ada-Europe (2010)
Luís Nogueira, Luís Miguel Pinho, Jorge Coelho
Coordinated Runtime Adaptations in Cooperative Open Real-Time Systems. CSE (2) (2009)
Luís Nogueira, Luís Miguel Pinho
Time-bounded distributed QoS-aware service configuration in heterogeneous cooperative environments. J. Parallel Distributed Comput. 69 (6) (2009)
Luís Nogueira, Luís Miguel Pinho
Dynamic QoS adaptation of inter-dependent task sets in cooperative embedded systems. Autonomics (2008)
Luís Nogueira, Luís Miguel Pinho
Handling QoS Dependencies in Distributed Cooperative Real-Time Systems. DIPES (2008)
Luís Nogueira, Luís Miguel Pinho
Shared resources and precedence constraints with capacity sharing and stealing. IPDPS (2008)
Luís Nogueira, Luís Miguel Pinho
Capacity Sharing and Stealing in Dynamic Server-based Real-Time Systems. IPDPS (2007)
Luís Nogueira, Luís Miguel Pinho
Dynamic Adaptation of Stability Periods for Service Level Agreements. RTCSA (2006)

Luís Miguel Pinho.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Luís Miguel Pinho