![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Luís Miguel Pinho
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j24]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: 103068 (2024) - 2023
- [c95]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: 1-6 - [c94]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: 1-8 - [i2]Luís Miguel Pinho:
Real-Time Parallel Programming: State of Play and Open Issues. CoRR abs/2303.11018 (2023) - 2022
- [c93]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: 1-4 - [c92]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: 1-8 - [c91]Rita Sousa, Luís Nogueira, Fátima Rodrigues, Luís Miguel Pinho
:
Global Resource Management in the ELASTIC Architecture. ICPS 2022: 1-6 - [c90]Mohammad Samadi Gharajeh
, Tiago Carvalho
, Luís Miguel Pinho
:
Configuration of Parallel Real-Time Applications on Multi-Core Processors. INDIN 2022: 67-73 - [p1]Maria A. Serrano, César A. Marín, Anna Queralt, Cristovao Cordeiro, Marco Gonzalez, Luís Miguel Pinho
, Eduardo Quiñones:
An Elastic Software Architecture for Extreme-Scale Big Data Analytics. Technologies and Applications for Big Data Value 2022: 89-110 - 2020
- [j23]Sara Royuela, Luís Miguel Pinho
, Eduardo Quiñones:
Enabling Ada and OpenMP runtimes interoperability through template-based execution. J. Syst. Archit. 105: 101702 (2020) - [c89]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: 201-206
2010 – 2019
- 2018
- [j22]Sébastien Faucou
, Luís Miguel Pinho
:
Guest editorial: real-time networks and systems. Real Time Syst. 54(4): 797-799 (2018) - [j21]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): 379-395 (2018) - [c88]Sara Royuela
, Xavier Martorell, Eduardo Quiñones, Luís Miguel Pinho
:
Safe Parallelism: Compiler Analysis Techniques for Ada and OpenMP. Ada-Europe 2018: 141-157 - [c87]Sara Royuela
, Luís Miguel Pinho
, Eduardo Quiñones:
Converging safety and high-performance domains: Integrating OpenMP into Ada. DATE 2018: 1021-1026 - [c86]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: 258-263 - 2017
- [j20]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: 31 (2017) - [j19]Borislav Nikolic, Luís Miguel Pinho
:
Optimal minimal routing and priority assignment for priority-preemptive real-time NoCs. Real Time Syst. 53(4): 578-612 (2017) - [j18]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): 613 (2017) - [j17]André de Matos Pedro
, David Pereira
, Luís Miguel Pinho, Jorge Sousa Pinto
:
SMT-based schedulability analysis using RMTL-∫. SIGBED Rev. 14(3): 40-42 (2017) - [j16]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): 287-297 (2017) - [j15]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): 24:1-24:22 (2017) - [c85]Sara Royuela
, Xavier Martorell
, Eduardo Quiñones, Luís Miguel Pinho
:
OpenMP Tasking Model for Ada: Safety and Correctness. Ada-Europe 2017: 184-200 - [c84]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: 1-6 - [c83]Paulo Barbosa, Antonio Barros
, Luís Miguel Pinho
:
The EnerGAware middleware platform. IECON 2017: 8662-8667 - [c82]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: 1-10 - [c81]Hazem Ismail Ali, Benny Akesson, Luís Miguel Pinho
:
Combining Dataflow Applications and Real-time Task Sets on Multi-core Platforms. SCOPES 2017: 60-63 - [c80]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: 10:1-10:9 - 2016
- [j14]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): 48-53 (2016) - [j13]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): 1865-1876 (2016) - [c79]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: 1-8 - [c78]Per Lindgren, Marcus Lindner, David Pereira
, Luís Miguel Pinho
:
Towards certified compilation of RTFM-core applications. ETFA 2016: 1-6 - [c77]Cláudio Maia
, Luís Nogueira
, Luís Miguel Pinho
, Daniel Gracia Pérez:
A closer look into the AER Model. ETFA 2016: 1-8 - [c76]Per Lindgren, Marcus Lindner, David Pereira
, Luís Miguel Pinho
:
Contract based verification of IEC 61499. INDIN 2016: 132-141 - [c75]Borislav Nikolic, Luís Miguel Pinho
, Leandro Soares Indrusiak
:
On Routing Flexibility of Wormhole-Switched Priority-Preemptive NoCs. RTCSA 2016: 120-129 - [c74]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: 280-289 - [c73]José Carlos Fonseca, Geoffrey Nelissen
, Vincent Nélis
, Luís Miguel Pinho
:
Response time analysis of sporadic DAG tasks under partitioned scheduling. SIES 2016: 290-299 - [c72]Vincent Nélis
, Patrick Meumeu Yomsi
, Luís Miguel Pinho
:
The Variability of Application Execution Times on a Multi-Core Platform. WCET 2016: 6:1-6:11 - [e5]Marko Bertogna
, Luís Miguel Pinho
, Eduardo Quiñones:
Reliable Software Technologies - Ada-Europe 2016 - 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings. Lecture Notes in Computer Science 9695, Springer 2016, ISBN 978-3-319-39082-6 [contents] - [e4]Alain Plantec, Frank Singhoff, Sébastien Faucou
, Luís Miguel Pinho:
Proceedings of the 24th International Conference on Real-Time Networks and Systems, RTNS 2016, Brest, France, October 19-21, 2016. ACM 2016, ISBN 978-1-4503-4787-7 [contents] - 2015
- [j12]Michele Albano
, Luis Lino Ferreira
, Luís Miguel Pinho
, Abdel Rahman Alkhawaja:
Message-oriented middleware for smart grids. Comput. Stand. Interfaces 38: 133-143 (2015) - [j11]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): 1542-1555 (2015) - [j10]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): 553-566 (2015) - [j9]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): 1190-1203 (2015) - [j8]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): 56-64 (2015) - [j7]Luis Lino Ferreira
, Luís Miguel Pinho, Michele Albano
, César Teixeira:
Adaptive offloading for infotainment systems. SIGBED Rev. 12(3): 19-23 (2015) - [j6]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): 187-197 (2015) - [c71]Geoffrey Nelissen
, David Pereira
, Luís Miguel Pinho
:
A Novel Run-Time Monitoring Architecture for Safe and Efficient Inline Monitoring. Ada-Europe 2015: 66-82 - [c70]Luís Miguel Pinho
, Brad Moore, Stephen Michell, S. Tucker Taft:
An Execution Model for Fine-Grained Parallelism in Ada. Ada-Europe 2015: 196-211 - [c69]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: 224-235 - [c68]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: 95-103 - [c67]Vincent Nélis
, Patrick Meumeu Yomsi
, Luís Miguel Pinho
:
Methodologies for the WCET Analysis of Parallel Applications on Many-Core Architectures. DSD 2015: 748-755 - [c66]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: 1-6 - [c65]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: 25-34 - [c64]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 - [c63]Per Lindgren, Johan Eriksson, Marcus Lindner, Andreas Lindner, David Pereira
, Luís Miguel Pinho
:
Response time for IEC 61499 over Ethernet. INDIN 2015: 1206-1212 - [c62]Per Lindgren, Marcus Lindner, Andreas Lindner, David Pereira
, Luís Miguel Pinho
:
Well-formed control flow for critical sections in RTFM-core. INDIN 2015: 1438-1445 - [c61]Hazem Ismail Ali, Benny Akesson, Luís Miguel Pinho
:
Generalized Extraction of Real-Time Parameters for Homogeneous Synchronous Dataflow Graphs. PDP 2015: 701-710 - [c60]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: 374 - [c59]André de Matos Pedro
, David Pereira
, Luís Miguel Pinho
, Jorge Sousa Pinto
:
Monitoring for a Decidable Fragment of MTL-∫. RV 2015: 169-184 - [c58]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: 1925-1932 - [c57]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: 293-300 - [c56]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: 1-4 - [e3]Luís Miguel Pinho, Wolfgang Karl, Albert Cohen, Uwe Brinkschulte:
Architecture of Computing Systems - ARCS 2015 - 28th International Conference, Porto, Portugal, March 24-27, 2015, Proceedings. Lecture Notes in Computer Science 9017, Springer 2015, ISBN 978-3-319-16085-6 [contents] - 2014
- [c55]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: 58-73 - [c54]Luís Miguel Pinho
, Brad Moore, Stephen Michell:
Parallelism in Ada: Status and Prospects. Ada-Europe 2014: 91-106 - [c53]Antonio Barros
, Luís Miguel Pinho
:
Non-preemptive Scheduling of Real-Time Software Transactional Memory. ARCS 2014: 25-36 - [c52]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: 214-221 - [c51]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: 16-30 - [c50]Cláudio Maia
, Marko Bertogna
, Luís Nogueira
, Luís Miguel Pinho
:
Response-Time Analysis of Synchronous Parallel Tasks in Multiprocessor Systems. RTNS 2014: 3 - [c49]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: 31-40 - [c48]S. Tucker Taft, Brad Moore, Luís Miguel Pinho
, Stephen Michell:
Safe parallel programming in ada with language extensions. HILT 2014: 87-96 - [c47]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: 63-72 - 2013
- [c46]Stephen Michell, Brad Moore, Luís Miguel Pinho
:
Tasklettes - A Fine Grained Parallelism for Ada on Multicores. Ada-Europe 2013: 17-34 - [c45]Luis Lino Ferreira, Michele Albano
, Luís Miguel Pinho
:
QoS enabled middleware for real-time industrial control systems. ETFA 2013: 1-4 - [c44]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: 1383-1390 - [c43]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: 201-208 - [c42]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: 13-22 - [c41]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 - [c40]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: 89-92 - [c39]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: 114-117 - [c38]Stephen Michell, Brad Moore, Luís Miguel Pinho
:
Real-time programming on accelerator many-core processors. HILT 2013: 23-36 - 2012
- [j5]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): 2145-2159 (2012) - [c37]Luís Nogueira
, José Carlos Fonseca, Cláudio Maia
, Luís Miguel Pinho
:
Dynamic Global Scheduling of Parallel Real-Time Tasks. CSE 2012: 500-507 - [c36]Luís Nogueira
, Luís Miguel Pinho
:
Server-based scheduling of parallel real-time tasks. EMSOFT 2012: 73-82 - [c35]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: 39-46 - [e2]Mats Brorsson, Luís Miguel Pinho:
Reliable Software Technologies - Ada-Europe 2012 - 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings. Lecture Notes in Computer Science 7308, Springer 2012, ISBN 978-3-642-30597-9 [contents] - 2011
- [c34]Luis Lino Ferreira
, Guilherme D. Silva, Luís Miguel Pinho
:
Service offloading in adaptive real-time systems. ETFA 2011: 1-6 - [c33]Antonio Barros
, Luís Miguel Pinho
:
Software Transactional Memory as a Building Block for Parallel Embedded Real-Time Systems. EUROMICRO-SEAA 2011: 251-255 - [c32]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: 37-42 - [c31]Cláudio Maia
, Luís Nogueira
, Luís Miguel Pinho
:
Combining RTSJ with Fork/Join: a priority-based model. JTRES 2011: 82-86 - [c30]Hazem Ismail Ali, Luís Miguel Pinho
:
A parallel programming model for ada. SIGAda 2011: 19-26 - [i1]Luís Nogueira, Luís Miguel Pinho:
Supporting Parallelism in Server-based Multiprocessor Systems. CoRR abs/1106.2766 (2011) - 2010
- [j4]Luís Nogueira
, Luís Miguel Pinho
:
A capacity sharing and stealing strategy for open real-time systems. J. Syst. Archit. 56(4-6): 163-179 (2010) - [c29]Björn Andersson, Luís Miguel Pinho
:
Implementing Multicore Real-Time Scheduling Algorithms Based on Task Splitting Using Ada 2012. Ada-Europe 2010: 54-67 - [c28]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: 97-104 - [c27]Luís Nogueira, Luís Miguel Pinho, Jorge Coelho
:
Flexible and Dynamic Replication Control for Interdependent Distributed Real-Time Embedded Systems. DIPES/BICC 2010: 66-77 - [c26]Cláudio Maia
, Luís Nogueira
, Luís Miguel Pinho
:
Experiences on the implementation of a cooperative embedded system framework: short paper. JTRES 2010: 70-72
2000 – 2009
- 2009
- [j3]Luís Nogueira
, Luís Miguel Pinho
:
Time-bounded distributed QoS-aware service configuration in heterogeneous cooperative environments. J. Parallel Distributed Comput. 69(6): 491-507 (2009) - [c25]Luís Nogueira
, Luís Miguel Pinho
, Jorge Coelho
:
Coordinated Runtime Adaptations in Cooperative Open Real-Time Systems. CSE (2) 2009: 285-294 - 2008
- [c24]Luís Nogueira
, Luís Miguel Pinho
:
Dynamic QoS adaptation of inter-dependent task sets in cooperative embedded systems. Autonomics 2008: 34 - [c23]Luís Nogueira
, Luís Miguel Pinho
:
Handling QoS Dependencies in Distributed Cooperative Real-Time Systems. DIPES 2008: 191-200 - [c22]Luís Nogueira
, Luís Miguel Pinho
:
Shared resources and precedence constraints with capacity sharing and stealing. IPDPS 2008: 1-8 - 2007
- [c21]Luís Nogueira
, Luís Miguel Pinho
:
Capacity Sharing and Stealing in Dynamic Server-based Real-Time Systems. IPDPS 2007: 1-8 - 2006
- [c20]Filipe Valpereiro, Luís Miguel Pinho
:
POSIX Trace Based Behavioural Reflection. Ada-Europe 2006: 27-39 - [c19]Luís Nogueira
, Luís Miguel Pinho
:
Iterative Refinement Approach for QOS-Aware Service Configuration. DIPES 2006: 155-164 - [c18]Luís Nogueira
, Luís Miguel Pinho
:
Dynamic Adaptation of Stability Periods for Service Level Agreements. RTCSA 2006: 77-81 - [c17]Antonio Barros
, Filipe Pacheco
, Luís Miguel Pinho
:
A Complex Protocol Layer as a linux User-Space Process. IES 2006: 1-4 - [e1]Luís Miguel Pinho, Michael González Harbour:
Reliable Software Technologies - Ada-Europe 2006, 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006, Proceedings. Lecture Notes in Computer Science 4006, Springer 2006, ISBN 3-540-34663-5 [contents] - 2005
- [c16]Luís Miguel Pinho, Luís Nogueira, Ricardo Barbosa:
An Ada Framework for QoS-Aware Applications. Ada-Europe 2005: 25-38 - [c15]Luís Nogueira
, Luís Miguel Pinho
:
Dynamic QoS-Aware Coalition Formation. IPDPS 2005 - 2004
- [j2]Luís Miguel Pinho
, Francisco Vasques
, Andy J. Wellings:
Replication Management in Reliable Real-Time Systems. Real Time Syst. 26(3): 261-296 (2004) - [c14]Nuno Pereira
, Eduardo Tovar
, Luís Miguel Pinho
:
INDEPTH: Timeliness Assessment of Ethernet/IP-Based Systems. MASCOTS 2004: 192-201 - 2003
- [j1]Luís Miguel Pinho
, Francisco Vasques
:
Reliable Real-Time Communication in CAN Networks. IEEE Trans. Computers 52(12): 1594-1607 (2003) - [c13]Ricardo Maia, Flávio Moreira, R. Barbosa, Diamantino Costa, Kjeld Hjortaes, Patricia Rodríguez, Luís Miguel Pinho
:
Verifying, validating and monitoring the open Ravenscar real time kernel. IRTAW 2003: 74-81 - [c12]Tullio Vardanega
, Luís Miguel Pinho
:
Session summary: the future of IRTAW. IRTAW 2003: 96 - 2002
- [c11]Luís Miguel Pinho, Francisco Vasques
:
Transparent Environment for Replicated Ravenscar Applications. Ada-Europe 2002: 297-308 - [c10]Luís Miguel Pinho
, Francisco Vasques
:
Using Ravenscar to support fault-tolerant real-time applications. IRTAW 2002: 47-52 - [c9]Juan Antonio de la Puente
, Luís Miguel Pinho
:
Session summary: safety improvements for consideration. IRTAW 2002: 120-122 - 2001
- [c8]Luís Miguel Pinho, Francisco Vasques
:
Reliable Communication in Distributed Computer-Controlled Systems. Ada-Europe 2001: 136-147 - [c7]Luís Miguel Pinho
, Francisco Vasques
:
Timing Analysis of Reliable Real-Time Communication in CAN Networks. ECRTS 2001: 103-116 - [c6]Luís Miguel Pinho, Francisco Vasques
:
Improved fault tolerant broadcasts in CAN. ETFA (1) 2001: 305-313 - 2000
- [c5]Luís Miguel Pinho, Francisco Vasques:
An Architecture for Reliable Distributed Computer-Controlled Systems. DIPES 2000: 43-52 - [c4]Michael González Harbour, Luís Miguel Pinho
:
Session summary: distribution and real-time. IRTAW 2000: 14-16 - [c3]Luís Miguel Pinho
, Francisco Vasques
, Luis Lino Ferreira
:
Programming atomic multicast in CAN. IRTAW 2000: 79-84
1990 – 1999
- 1999
- [c2]Luís Miguel Pinho
, Francisco Vasques
:
Replica management in real-time Ada 95 applications. IRTAW 1999: 21-27 - 1998
- [c1]Luís Miguel Pinho
, Francisco Vasques
:
Multi-µ: An Ada 95 Based Architecture for Fault Tolerance Support of Real-Time Systems. SIGAda 1998: 52-60
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint