Luís Miguel Pinho

133 papers A 5B 7C 28Misc 20Journal 26Unranked 45
YearRankTypeTitle / Venue / Authors
2026 — conf
Schedulability Analysis of OpenMP Applications Under Heuristic Task-To-Thread Mapping.
NG-RES@HiPEAC
Mohammad Samadi, Tiago Carvalho, Luís Miguel Pinho, Sara Royuela
2025 C conf
Energy Monitoring Systems Analysis and Development: A Case Study for Graph-Based Modelling.
MODELSWARD
Tiago Carvalho, Tobias Müller, Sebastian Reiter, Luís Miguel Pinho, André Oliveira
2025 C conf
Lightweight Performance Monitoring of Real-Time Applications in RISC-V Platforms.
DSD
Nuno Soares, Tiago Carvalho, Luís Miguel Pinho
2025 C conf
Supporting Soft Real-Time Tasks in Zephyr With Constant Bandwidth Servers.
ISORC
Alexander Paschoaletto, Paulo Baltarejo Sousa, Luís Miguel Pinho, Tiago Carvalho
2024 C conf
Evaluation of Heuristic Task-to-Thread Mapping Using Static and Dynamic Approaches.
JSSPP
Mohammad Samadi, Tiago Carvalho, Luís Miguel Pinho, Sara Royuela
2024 — conf
Real-Time Parallel Programming for Homogeneous Multicores.
SIES
Luís Miguel Pinho
2024 J jnl
Time-predictable task-to-thread mapping in multi-core processors.
J. Syst. Archit.
Mohammad Samadi, Sara Royuela, Luís Miguel Pinho, Tiago Carvalho, Eduardo Quiñones
2023 C conf
A Scalable Clustered Architecture for Cyber-Physical Systems.
INDIN
Bernardo Cabral, Pedro Costa, Tiago Fonseca, Luis Lino Ferreira, Luís Miguel Pinho, Pedro Ribeiro
2023 C conf
Framework for the Analysis and Configuration of Real-Time OpenMP Applications.
INDIN
Tiago Carvalho, Luís Miguel Pinho, Mohammad Samadi, Sara Royuela, Adrian Munera, Eduardo Quiñones
2023 J jnl
Real-Time Parallel Programming: State of Play and Open Issues.
CoRR
Luís Miguel Pinho
2022 — conf
A Model Annotation Approach for the Support of Software Energy Properties Management using AMALTHEA.
ICPS
Ricardo Gomes, Tiago Carvalho, António Barros, Luís Miguel Pinho
2022 — ch.
An Elastic Software Architecture for Extreme-Scale Big Data Analytics.
Technologies and Applications for Big Data Value
Maria A. Serrano, César A. Marín, Anna Queralt, Cristovao Cordeiro, Marco Gonzalez, Luís Miguel Pinho, Eduardo Quiñones
2022 C conf
Configuration of Parallel Real-Time Applications on Multi-Core Processors.
INDIN
Mohammad Samadi Gharajeh, Tiago Carvalho, Luís Miguel Pinho
2022 — conf
Global Resource Management in the ELASTIC Architecture.
ICPS
Rita Sousa, Luís Nogueira, Fátima Rodrigues, Luís Miguel Pinho
2022 C conf
Heuristic-based Task-to-Thread Mapping in Multi-Core Processors.
ETFA
Mohammad Samadi Gharajeh, Sara Royuela, Luís Miguel Pinho, Tiago Carvalho, Eduardo Quiñones
2020 J jnl
Enabling Ada and OpenMP runtimes interoperability through template-based execution.
J. Syst. Archit.
Sara Royuela, Luís Miguel Pinho, Eduardo Quiñones
2020 C conf
The AMPERE Project: : A Model-driven development framework for highly Parallel and EneRgy-Efficient computation supporting multi-criteria optimization.
ISORC
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
2018 A conf
Converging safety and high-performance domains: Integrating OpenMP into Ada.
DATE
Sara Royuela, Luís Miguel Pinho, Eduardo Quiñones
2018 — conf
Emulation-in-the-loop for simulation and testing of real-time critical CPS.
ICPS
Paulo Renato Oliveira, Manuel Meireles, Cláudio Maia, Luís Miguel Pinho, Gonçalo Gouveia, João Esteves
2018 J jnl
Guest editorial: real-time networks and systems.
Real Time Syst.
Sébastien Faucou, Luís Miguel Pinho
2018 J jnl
Runtime verification of autopilot systems using a fragment of MTL- $${\int }$$ ∫.
Int. J. Softw. Tools Technol. Transf.
André de Matos Pedro, Jorge Sousa Pinto, David Pereira, Luís Miguel Pinho
2018 Misc conf
Safe Parallelism: Compiler Analysis Techniques for Ada and OpenMP.
Ada-Europe
Sara Royuela, Xavier Martorell, Eduardo Quiñones, Luís Miguel Pinho
2017 — conf
A serious game enhancing social tenants' behavioral change towards energy efficiency.
GIoTS
Miquel Casals, Marta Gangolells, Marcel Macarulla, Alba Fuertes, V. Vimont, Luís Miguel Pinho
2017 C conf
Combining Dataflow Applications and Real-time Task Sets on Multi-core Platforms.
SCOPES
Hazem Ismail Ali, Benny Akesson, Luís Miguel Pinho
2017 J jnl
End-to-End Response Time of IEC 61499 Distributed Applications Over Switched Ethernet.
IEEE Trans. Ind. Informatics
Per Lindgren, Johan Eriksson, Marcus Lindner, Andreas Lindner, David Pereira, Luís Miguel Pinho
2017 J jnl
Erratum to: Optimal minimal routing and priority assignment for priority-preemptive real-time NoCs.
Real Time Syst.
Borislav Nikolic, Luís Miguel Pinho
2017 Misc conf
OpenMP Tasking Model for Ada: Safety and Correctness.
Ada-Europe
Sara Royuela, Xavier Martorell, Eduardo Quiñones, Luís Miguel Pinho
2017 J jnl
Optimal minimal routing and priority assignment for priority-preemptive real-time NoCs.
Real Time Syst.
Borislav Nikolic, Luís Miguel Pinho
2017 J jnl
Real-time semi-partitioned scheduling of fork-join tasks using work-stealing.
EURASIP J. Embed. Syst.
Cláudio Maia, Patrick Meumeu Yomsi, Luís Nogueira, Luís Miguel Pinho
2017 J jnl
Reducing the Complexity of Dataflow Graphs Using Slack-Based Merging.
ACM Trans. Design Autom. Electr. Syst.
Hazem Ismail Ali, Sander Stuijk, Benny Akesson, Luís Miguel Pinho
2017 J jnl
SMT-based schedulability analysis using RMTL-∫.
SIGBED Rev.
André de Matos Pedro, David Pereira, Luís Miguel Pinho, Jorge Sousa Pinto
2017 B conf
Schedulability analysis for global fixed-priority scheduling of the 3-phase task model.
RTCSA
Cláudio Maia, Geoffrey Nelissen, Luís Nogueira, Luís Miguel Pinho, Daniel Gracia Pérez
2017 C conf
The EnerGAware middleware platform.
IECON
Paulo Barbosa, Antonio Barros, Luís Miguel Pinho
2017 — conf
The P-SOCRATES Timing Analysis Methodology for Parallel Real-Time Applications Deployed on Many-Core Platforms.
WCET
Vincent Nélis, Patrick Meumeu Yomsi, Luís Miguel Pinho
2016 C conf
A closer look into the AER Model.
ETFA
Cláudio Maia, Luís Nogueira, Luís Miguel Pinho, Daniel Gracia Pérez
2016 J jnl
Abstract timers and their implementation onto the ARM Cortex-M family of MCUs.
SIGBED Rev.
Per Lindgren, Emil Fresk, Marcus Lindner, Andreas Lindner, David Pereira, Luís Miguel Pinho
2016 C conf
Contract based verification of IEC 61499.
INDIN
Per Lindgren, Marcus Lindner, David Pereira, Luís Miguel Pinho
2016 C conf
ENCOURAGEing results on ICT for energy efficient buildings.
ETFA
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
2016 J jnl
Improved Holistic Analysis for Fork-Join Distributed Real-Time Tasks Supported by the FTT-SE Protocol.
IEEE Trans. Ind. Informatics
Ricardo Garibay-Martínez, Geoffrey Nelissen, Luis Lino Ferreira, Paulo Pedreiras, Luís Miguel Pinho
2016 B conf
On Routing Flexibility of Wormhole-Switched Priority-Preemptive NoCs.
RTCSA
Borislav Nikolic, Luís Miguel Pinho, Leandro Soares Indrusiak
2016 Misc ed.
Proceedings of the 24th International Conference on Real-Time Networks and Systems, RTNS 2016, Brest, France, October 19-21, 2016
RTNS
Alain Plantec, Frank Singhoff, Sébastien Faucou, Luís Miguel Pinho
2016 Misc ed.
Reliable Software Technologies - Ada-Europe 2016 - 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings
Ada-Europe
Marko Bertogna, Luís Miguel Pinho, Eduardo Quiñones
2016 — conf
Response time analysis of hard real-time tasks sharing software transactional memory data under fully partitioned scheduling.
SIES
Antonio Barros, Patrick Meumeu Yomsi, Luís Miguel Pinho
2016 — conf
Response time analysis of sporadic DAG tasks under partitioned scheduling.
SIES
José Carlos Fonseca, Geoffrey Nelissen, Vincent Nélis, Luís Miguel Pinho
2016 — conf
The Variability of Application Execution Times on a Multi-Core Platform.
WCET
Vincent Nélis, Patrick Meumeu Yomsi, Luís Miguel Pinho
2016 C conf
Towards certified compilation of RTFM-core applications.
ETFA
Per Lindgren, Marcus Lindner, David Pereira, Luís Miguel Pinho
2015 — conf
A Formal Perspective on IEC 61499 Execution Control Chart Semantics.
TrustCom/BigDataSE/ISPA (3)
Per Lindgren, Marcus Lindner, David Pereira, Luís Miguel Pinho
2015 Misc conf
A Novel Run-Time Monitoring Architecture for Safe and Efficient Inline Monitoring.
Ada-Europe
Geoffrey Nelissen, David Pereira, Luís Miguel Pinho
2015 Misc conf
A multi-DAG model for real-time parallel applications with conditional execution.
SAC
José Carlos Fonseca, Vincent Nélis, Gurulingesh Raravi, Luís Miguel Pinho
2015 C conf
A real-time semantics for the IEC 61499 standard.
ETFA
Per Lindgren, Marcus Lindner, Andreas Lindner, Valeriy Vyatkin, David Pereira, Luís Miguel Pinho
2015 — conf
Abstract Timers and their Implementation onto the ARM Cortex-M family of MCUs.
EWiLi
Per Lindgren, Marcus Lindner, Andreas Lindner, Emil Fresk, David Pereira, Luís Miguel Pinho
2015 J jnl
Adaptive offloading for infotainment systems.
SIGBED Rev.
Luis Lino Ferreira, Luís Miguel Pinho, Michele Albano, César Teixeira
2015 — conf
Allocation of Parallel Real-Time Tasks in Distributed Multi-core Architectures Supported by an FTT-SE Network.
ARCS
Ricardo Garibay-Martínez, Geoffrey Nelissen, Luis Lino Ferreira, Luís Miguel Pinho
2015 Misc conf
An Execution Model for Fine-Grained Parallelism in Ada.
Ada-Europe
Luís Miguel Pinho, Brad Moore, Stephen Michell, S. Tucker Taft
2015 — ed.
Architecture of Computing Systems - ARCS 2015 - 28th International Conference, Porto, Portugal, March 24-27, 2015, Proceedings
ARCS
Luís Miguel Pinho, Wolfgang Karl, Albert Cohen, Uwe Brinkschulte
2015 J jnl
Convergence of Smart Grid ICT Architectures for the Last Mile.
IEEE Trans. Ind. Informatics
Michele Albano, Luis Lino Ferreira, Luís Miguel Pinho
2015 C conf
Generalized Extraction of Real-Time Parameters for Homogeneous Synchronous Dataflow Graphs.
PDP
Hazem Ismail Ali, Benny Akesson, Luís Miguel Pinho
2015 C conf
Holistic analysis for fork-join distributed tasks supported by the FTT-SE protocol.
WFCS
Ricardo Garibay-Martínez, Geoffrey Nelissen, Luis Lino Ferreira, Paulo Pedreiras, Luís Miguel Pinho
2015 C conf
Investigation on AUTOSAR-Compliant Solutions for Many-Core Architectures.
DSD
Matthias Becker, Dakshina Dasari, Vincent Nélis, Moris Behnam, Luís Miguel Pinho, Thomas Nolte
2015 J jnl
Logic-based schedulability analysis for compositional hard real-time embedded systems.
SIGBED Rev.
André de Matos Pedro, David Pereira, Luís Miguel Pinho, Jorge Sousa Pinto
2015 J jnl
Message-oriented middleware for smart grids.
Comput. Stand. Interfaces
Michele Albano, Luis Lino Ferreira, Luís Miguel Pinho, Abdel Rahman Alkhawaja
2015 C conf
Methodologies for the WCET Analysis of Parallel Applications on Many-Core Architectures.
DSD
Vincent Nélis, Patrick Meumeu Yomsi, Luís Miguel Pinho
2015 B conf
Monitoring for a Decidable Fragment of MTL-∫.
RV
André de Matos Pedro, David Pereira, Luís Miguel Pinho, Jorge Sousa Pinto
2015 J jnl
Non-preemptive and SRP-based fully-preemptive scheduling of real-time Software Transactional Memory.
J. Syst. Archit.
Antonio Barros, Luís Miguel Pinho, Patrick Meumeu Yomsi
2015 J jnl
P-SOCRATES: A parallel software framework for time-critical many-core systems.
Microprocess. Microsystems
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
2015 A conf
Real-Time Support in the Proposal for Fine-Grained Parallelism in Ada.
RTSS
Luís Miguel Pinho, Brad Moore, Stephen Michell, S. Tucker Taft
2015 C conf
Response time for IEC 61499 over Ethernet.
INDIN
Per Lindgren, Johan Eriksson, Marcus Lindner, Andreas Lindner, David Pereira, Luís Miguel Pinho
2015 C conf
Semi-Partitioned Scheduling of Fork-Join Tasks Using Work-Stealing.
EUC
Cláudio Maia, Patrick Meumeu Yomsi, Luís Nogueira, Luís Miguel Pinho
2015 J jnl
Task partitioning and priority assignment for distributed hard real-time systems.
J. Comput. Syst. Sci.
Ricardo Garibay-Martínez, Geoffrey Nelissen, Luis Lino Ferreira, Luís Miguel Pinho
2015 C conf
Well-formed control flow for critical sections in RTFM-core.
INDIN
Per Lindgren, Marcus Lindner, Andreas Lindner, David Pereira, Luís Miguel Pinho
2014 — conf
A Compositional Monitoring Framework for Hard Real-Time Systems.
NASA Formal Methods
André de Matos Pedro, David Pereira, Luís Miguel Pinho, Jorge Sousa Pinto
2014 — conf
Non-preemptive Scheduling of Real-Time Software Transactional Memory.
ARCS
Antonio Barros, Luís Miguel Pinho
2014 — conf
On the scheduling of fork-join parallel/distributed real-time tasks.
SIES
Ricardo Garibay-Martínez, Geoffrey Nelissen, Luis Lino Ferreira, Luís Miguel Pinho
2014 C conf
P-SOCRATES: A Parallel Software Framework for Time-Critical Many-Core Systems.
DSD
Luís Miguel Pinho, Eduardo Quiñones, Marko Bertogna, Andrea Marongiu, Jorge Pereira Carlos, Claudio Scordino, Michele Ramponi
2014 Misc conf
Parallelism in Ada: Status and Prospects.
Ada-Europe
Luís Miguel Pinho, Brad Moore, Stephen Michell
2014 Misc conf
Response-Time Analysis of Synchronous Parallel Tasks in Multiprocessor Systems.
RTNS
Cláudio Maia, Marko Bertogna, Luís Nogueira, Luís Miguel Pinho
2014 — conf
Safe parallel programming in ada with language extensions.
HILT
S. Tucker Taft, Brad Moore, Luís Miguel Pinho, Stephen Michell
2014 — conf
The Challenge of Time-Predictability in Modern Many-Core Architectures.
WCET
Vincent Nélis, Patrick Meumeu Yomsi, Luís Miguel Pinho, José Carlos Fonseca, Marko Bertogna, Eduardo Quiñones, Roberto Vargas, Andrea Marongiu
2014 Misc conf
Towards a Runtime Verification Framework for the Ada Programming Language.
Ada-Europe
André de Matos Pedro, David Pereira, Luís Miguel Pinho, Jorge Sousa Pinto
2013 Misc conf
Are virtual channels the bottleneck of priority-aware wormhole-switched NoC-based many-cores?
RTNS
Borislav Nikolic, Hazem Ismail Ali, Stefan M. Petters, Luís Miguel Pinho
2013 B conf
Critical-Path-First based allocation of real-time streaming applications on 2D mesh-type multi-cores.
RTCSA
Hazem Ismail Abdel Aziz Ali, Luís Miguel Pinho, Benny Akesson
2013 C conf
QoS enabled middleware for real-time industrial control systems.
ETFA
Luis Lino Ferreira, Michele Albano, Luís Miguel Pinho
2013 — conf
Real-time programming on accelerator many-core processors.
HILT
Stephen Michell, Brad Moore, Luís Miguel Pinho
2013 — conf
Scheduling parallel real-time tasks using a fixed-priority work-stealing algorithm on multiprocessors.
SIES
Cláudio Maia, Luís Nogueira, Luís Miguel Pinho
2013 — conf
Task Partitioning and Priority Assignment for Hard Real-time Distributed Systems.
REACTION
Ricardo Garibay-Martínez, Geoffrey Nelissen, Luis Lino Ferreira, Luís Miguel Pinho
2013 Misc conf
Tasklettes - A Fine Grained Parallelism for Ada on Multicores.
Ada-Europe
Stephen Michell, Brad Moore, Luís Miguel Pinho
2013 — conf
The ENCOURAGE ICT architecture for heterogeneous smart grids.
EUROCON
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
2013 — conf
Towards transparent parallel/distributed support for real-time embedded applications.
SIES
Ricardo Garibay-Martínez, Luis Lino Ferreira, Cláudio Maia, Luís Miguel Pinho
2012 — conf
A Framework for the Development of Parallel and Distributed Real-Time Embedded Systems.
EUROMICRO-SEAA
Ricardo Garibay-Martínez, Luis Lino Ferreira, Luís Miguel Pinho
2012 J jnl
A feedback-based decentralised coordination model for distributed open real-time systems.
J. Syst. Softw.
Luís Nogueira, Luís Miguel Pinho, Jorge Coelho
2012 — conf
Dynamic Global Scheduling of Parallel Real-Time Tasks.
CSE
Luís Nogueira, José Carlos Fonseca, Cláudio Maia, Luís Miguel Pinho
2012 Misc ed.
Reliable Software Technologies - Ada-Europe 2012 - 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings
Ada-Europe
Mats Brorsson, Luís Miguel Pinho
2012 Misc conf
Server-based scheduling of parallel real-time tasks.
EMSOFT
Luís Nogueira, Luís Miguel Pinho
2011 — conf
A parallel programming model for ada.
SIGAda
Hazem Ismail Ali, Luís Miguel Pinho
2011 — conf
Combining RTSJ with Fork/Join: a priority-based model.
JTRES
Cláudio Maia, Luís Nogueira, Luís Miguel Pinho
2011 C conf
Service offloading in adaptive real-time systems.
ETFA
Luis Lino Ferreira, Guilherme D. Silva, Luís Miguel Pinho
2011 — conf
Software Transactional Memory as a Building Block for Parallel Embedded Real-Time Systems.
EUROMICRO-SEAA
Antonio Barros, Luís Miguel Pinho
2011 J jnl
Supporting Parallelism in Server-based Multiprocessor Systems
CoRR
Luís Nogueira, Luís Miguel Pinho
2011 — conf
sMapReduce: a programming pattern for wireless sensor networks.
SESENA@ICSE
Vikram Gupta, Eduardo Tovar, Luís Miguel Pinho, Junsung Kim, Karthik Lakshmanan, Ragunathan Rajkumar
2010 J jnl
A capacity sharing and stealing strategy for open real-time systems.
J. Syst. Archit.
Luís Nogueira, Luís Miguel Pinho
2010 — conf
Experiences on the implementation of a cooperative embedded system framework: short paper.
JTRES
Cláudio Maia, Luís Nogueira, Luís Miguel Pinho
2010 — conf
Flexible and Dynamic Replication Control for Interdependent Distributed Real-Time Embedded Systems.
DIPES/BICC
Luís Nogueira, Luís Miguel Pinho, Jorge Coelho
2010 C conf
Handling Mobility on a QoS-Aware Service-based Framework for Mobile Systems.
EUC
Joel Gonçalves, Luis Lino Ferreira, Luís Miguel Pinho, Guilherme D. Silva
2010 Misc conf
Implementing Multicore Real-Time Scheduling Algorithms Based on Task Splitting Using Ada 2012.
Ada-Europe
Björn Andersson, Luís Miguel Pinho
2009 — conf
Coordinated Runtime Adaptations in Cooperative Open Real-Time Systems.
CSE (2)
Luís Nogueira, Luís Miguel Pinho, Jorge Coelho
2009 J jnl
Time-bounded distributed QoS-aware service configuration in heterogeneous cooperative environments.
J. Parallel Distributed Comput.
Luís Nogueira, Luís Miguel Pinho
2008 — conf
Dynamic QoS adaptation of inter-dependent task sets in cooperative embedded systems.
Autonomics
Luís Nogueira, Luís Miguel Pinho
2008 — conf
Handling QoS Dependencies in Distributed Cooperative Real-Time Systems.
DIPES
Luís Nogueira, Luís Miguel Pinho
2008 A conf
Shared resources and precedence constraints with capacity sharing and stealing.
IPDPS
Luís Nogueira, Luís Miguel Pinho
2007 A conf
Capacity Sharing and Stealing in Dynamic Server-based Real-Time Systems.
IPDPS
Luís Nogueira, Luís Miguel Pinho
2006 C conf
A Complex Protocol Layer as a linux User-Space Process.
IES
Antonio Barros, Filipe Pacheco, Luís Miguel Pinho
2006 B conf
Dynamic Adaptation of Stability Periods for Service Level Agreements.
RTCSA
Luís Nogueira, Luís Miguel Pinho
2006 — conf
Iterative Refinement Approach for QOS-Aware Service Configuration.
DIPES
Luís Nogueira, Luís Miguel Pinho
2006 Misc conf
POSIX Trace Based Behavioural Reflection.
Ada-Europe
Filipe Valpereiro, Luís Miguel Pinho
2006 Misc ed.
Reliable Software Technologies - Ada-Europe 2006, 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006, Proceedings
Ada-Europe
Luís Miguel Pinho, Michael González Harbour
2005 Misc conf
An Ada Framework for QoS-Aware Applications.
Ada-Europe
Luís Miguel Pinho, Luís Nogueira, Ricardo Barbosa
2005 A conf
Dynamic QoS-Aware Coalition Formation.
IPDPS
Luís Nogueira, Luís Miguel Pinho
2004 B conf
INDEPTH: Timeliness Assessment of Ethernet/IP-Based Systems.
MASCOTS
Nuno Pereira, Eduardo Tovar, Luís Miguel Pinho
2004 J jnl
Replication Management in Reliable Real-Time Systems.
Real Time Syst.
Luís Miguel Pinho, Francisco Vasques, Andy J. Wellings
2003 J jnl
Reliable Real-Time Communication in CAN Networks.
IEEE Trans. Computers
Luís Miguel Pinho, Francisco Vasques
2003 — conf
Session summary: the future of IRTAW.
IRTAW
Tullio Vardanega, Luís Miguel Pinho
2003 — conf
Verifying, validating and monitoring the open Ravenscar real time kernel.
IRTAW
Ricardo Maia, Flávio Moreira, R. Barbosa, Diamantino Costa, Kjeld Hjortaes, Patricia Rodríguez, Luís Miguel Pinho
2002 — conf
Session summary: safety improvements for consideration.
IRTAW
Juan Antonio de la Puente, Luís Miguel Pinho
2002 Misc conf
Transparent Environment for Replicated Ravenscar Applications.
Ada-Europe
Luís Miguel Pinho, Francisco Vasques
2002 — conf
Using Ravenscar to support fault-tolerant real-time applications.
IRTAW
Luís Miguel Pinho, Francisco Vasques
2001 — conf
Improved fault tolerant broadcasts in CAN.
ETFA (1)
Luís Miguel Pinho, Francisco Vasques
2001 Misc conf
Reliable Communication in Distributed Computer-Controlled Systems.
Ada-Europe
Luís Miguel Pinho, Francisco Vasques
2001 B conf
Timing Analysis of Reliable Real-Time Communication in CAN Networks.
ECRTS
Luís Miguel Pinho, Francisco Vasques
2000 — conf
An Architecture for Reliable Distributed Computer-Controlled Systems.
DIPES
Luís Miguel Pinho, Francisco Vasques
2000 — conf
Programming atomic multicast in CAN.
IRTAW
Luís Miguel Pinho, Francisco Vasques, Luis Lino Ferreira
2000 — conf
Session summary: distribution and real-time.
IRTAW
Michael González Harbour, Luís Miguel Pinho
1999 — conf
Replica management in real-time Ada 95 applications.
IRTAW
Luís Miguel Pinho, Francisco Vasques
1998 — conf
Multi-µ: An Ada 95 Based Architecture for Fault Tolerance Support of Real-Time Systems.
SIGAda
Luís Miguel Pinho, Francisco Vasques