Lus Miguel Pinho
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
44
Venues
22
Active years
2001–2025
Best venue rank
A*
Where they publish
- CETFA8 papers
- CINDIN6 papers
- CDSD4 papers
- BRTCSA4 papers
- CISORC2 papers
- CEUC2 papers
- ARTSS2 papers
- NationalRTNS2 papers
- CMODELSWARD1 paper
- CJSSPP1 paper
- ADATE1 paper
- CIECON1 paper
- CSCOPES1 paper
- CPDP1 paper
- MulticonferenceSAC1 paper
- BTrustCom1 paper
- BRV1 paper
- CWFCS1 paper
- Journal PublishedEMSOFT1 paper
- A*ICSE1 paper
- BMASCOTS1 paper
- BECRTS1 paper
Papers
44 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | DSD | Lightweight Performance Monitoring of Real-Time Applications in RISC-V Platforms. | Nuno Soares, Tiago Carvalho, Lus Miguel Pinho |
| 2025 | ISORC | Supporting Soft Real-Time Tasks in Zephyr With Constant Bandwidth Servers. | Alexander Paschoaletto, Paulo Baltarejo Sousa, Lus Miguel Pinho, Tiago Carvalho |
| 2025 | MODELSWARD | Energy Monitoring Systems Analysis and Development: A Case Study for Graph-Based Modelling. | Tiago Carvalho, Tobias Mller, Sebastian Reiter, Lus Miguel Pinho, Andr Oliveira |
| 2024 | JSSPP | Evaluation of Heuristic Task-to-Thread Mapping Using Static and Dynamic Approaches. | Mohammad Samadi, Tiago Carvalho, Lus Miguel Pinho, Sara Royuela |
| 2023 | INDIN | A Scalable Clustered Architecture for Cyber-Physical Systems. | Bernardo Cabral, Pedro Costa, Tiago Fonseca, Luis Lino Ferreira, Lus Miguel Pinho, Pedro Ribeiro |
| 2023 | INDIN | Framework for the Analysis and Configuration of Real-Time OpenMP Applications. | Tiago Carvalho, Lus Miguel Pinho, Mohammad Samadi, Sara Royuela, Adrian Munera, Eduardo Quiones |
| 2022 | ETFA | Heuristic-based Task-to-Thread Mapping in Multi-Core Processors. | Mohammad Samadi Gharajeh, Sara Royuela, Lus Miguel Pinho, Tiago Carvalho, Eduardo Quiones |
| 2022 | INDIN | Configuration of Parallel Real-Time Applications on Multi-Core Processors. | Mohammad Samadi Gharajeh, Tiago Carvalho, Lus Miguel Pinho |
| 2020 | ISORC | The AMPERE Project: : A Model-driven development framework for highly Parallel and EneRgy-Efficient computation supporting multi-criteria optimization. | Eduardo Quiones, Sara Royuela, Claudio Scordino, Paolo Gai, Lus Miguel Pinho, Lus Nogueira, Jan Rollo, Tommaso Cucinotta, Alessandro Biondi, Arne Hamann, Dirk Ziegenbein, Hadi Saoud, Romain Soulat, Bjrn Forsberg, Luca Benini, Gianluca Mand, Luigi Rucher |
| 2018 | DATE | Converging safety and high-performance domains: Integrating OpenMP into Ada. | Sara Royuela, Lus Miguel Pinho, Eduardo Quiones |
| 2017 | IECON | The EnerGAware middleware platform. | Paulo Barbosa, Antonio Barros, Lus Miguel Pinho |
| 2017 | RTCSA | Schedulability analysis for global fixed-priority scheduling of the 3-phase task model. | Cludio Maia, Geoffrey Nelissen, Lus Nogueira, Lus Miguel Pinho, Daniel Gracia Prez |
| 2017 | SCOPES | Combining Dataflow Applications and Real-time Task Sets on Multi-core Platforms. | Hazem Ismail Ali, Benny Akesson, Lus Miguel Pinho |
| 2016 | ETFA | ENCOURAGEing results on ICT for energy efficient buildings. | Thibaut Le Guilly, Arne Skou, Petur Olsen, Per Printz Madsen, Michele Albano, Luis Lino Ferreira, Lus Miguel Pinho, Keld Pedersen, Miquel Casals, Marcel Macarulla, Marta Gangolells |
| 2016 | ETFA | Towards certified compilation of RTFM-core applications. | Per Lindgren, Marcus Lindner, David Pereira, Lus Miguel Pinho |
| 2016 | ETFA | A closer look into the AER Model. | Cludio Maia, Lus Nogueira, Lus Miguel Pinho, Daniel Gracia Prez |
| 2016 | INDIN | Contract based verification of IEC 61499. | Per Lindgren, Marcus Lindner, David Pereira, Lus Miguel Pinho |
| 2016 | RTCSA | On Routing Flexibility of Wormhole-Switched Priority-Preemptive NoCs. | Borislav Nikolic, Lus Miguel Pinho, Leandro Soares Indrusiak |
| 2015 | DSD | Investigation on AUTOSAR-Compliant Solutions for Many-Core Architectures. | Matthias Becker, Dakshina Dasari, Vincent Nlis, Moris Behnam, Lus Miguel Pinho, Thomas Nolte |
| 2015 | DSD | Methodologies for the WCET Analysis of Parallel Applications on Many-Core Architectures. | Vincent Nlis, Patrick Meumeu Yomsi, Lus Miguel Pinho |
| 2015 | ETFA | A real-time semantics for the IEC 61499 standard. | Per Lindgren, Marcus Lindner, Andreas Lindner, Valeriy Vyatkin, David Pereira, Lus Miguel Pinho |
| 2015 | EUC | Semi-Partitioned Scheduling of Fork-Join Tasks Using Work-Stealing. | Cludio Maia, Patrick Meumeu Yomsi, Lus Nogueira, Lus Miguel Pinho |
| 2015 | INDIN | Response time for IEC 61499 over Ethernet. | Per Lindgren, Johan Eriksson, Marcus Lindner, Andreas Lindner, David Pereira, Lus Miguel Pinho |
| 2015 | INDIN | Well-formed control flow for critical sections in RTFM-core. | Per Lindgren, Marcus Lindner, Andreas Lindner, David Pereira, Lus Miguel Pinho |
| 2015 | PDP | Generalized Extraction of Real-Time Parameters for Homogeneous Synchronous Dataflow Graphs. | Hazem Ismail Ali, Benny Akesson, Lus Miguel Pinho |
| 2015 | SAC | A multi-DAG model for real-time parallel applications with conditional execution. | Jos Carlos Fonseca, Vincent Nlis, Gurulingesh Raravi, Lus Miguel Pinho |
| 2015 | TrustCom | A Formal Perspective on IEC 61499 Execution Control Chart Semantics. | Per Lindgren, Marcus Lindner, David Pereira, Lus Miguel Pinho |
| 2015 | RTSS | Real-Time Support in the Proposal for Fine-Grained Parallelism in Ada. | Lus Miguel Pinho, Brad Moore, Stephen Michell, S. Tucker Taft |
| 2015 | RV | Monitoring for a Decidable Fragment of MTL-∫. | Andr de Matos Pedro, David Pereira, Lus Miguel Pinho, Jorge Sousa Pinto |
| 2015 | WFCS | Holistic analysis for fork-join distributed tasks supported by the FTT-SE protocol. | Ricardo Garibay-Martnez, Geoffrey Nelissen, Luis Lino Ferreira, Paulo Pedreiras, Lus Miguel Pinho |
| 2014 | DSD | P-SOCRATES: A Parallel Software Framework for Time-Critical Many-Core Systems. | Lus Miguel Pinho, Eduardo Quiones, Marko Bertogna, Andrea Marongiu, Jorge Pereira Carlos, Claudio Scordino, Michele Ramponi |
| 2014 | RTNS | Response-Time Analysis of Synchronous Parallel Tasks in Multiprocessor Systems. | Cludio Maia, Marko Bertogna, Lus Nogueira, Lus Miguel Pinho |
| 2013 | ETFA | QoS enabled middleware for real-time industrial control systems. | Luis Lino Ferreira, Michele Albano, Lus Miguel Pinho |
| 2013 | RTSS | Task Partitioning and Priority Assignment for Hard Real-time Distributed Systems. | Ricardo Garibay-Martnez, Geoffrey Nelissen, Luis Lino Ferreira, Lus Miguel Pinho |
| 2013 | RTCSA | Critical-Path-First based allocation of real-time streaming applications on 2D mesh-type multi-cores. | Hazem Ismail Abdel Aziz Ali, Lus Miguel Pinho, Benny Akesson |
| 2013 | RTNS | Are virtual channels the bottleneck of priority-aware wormhole-switched NoC-based many-cores? | Borislav Nikolic, Hazem Ismail Ali, Stefan M. Petters, Lus Miguel Pinho |
| 2012 | EMSOFT | Server-based scheduling of parallel real-time tasks. | Lus Nogueira, Lus Miguel Pinho |
| 2011 | ETFA | Service offloading in adaptive real-time systems. | Luis Lino Ferreira, Guilherme D. Silva, Lus Miguel Pinho |
| 2011 | ICSE | sMapReduce: a programming pattern for wireless sensor networks. | Vikram Gupta, Eduardo Tovar, Lus Miguel Pinho, Junsung Kim, Karthik Lakshmanan, Ragunathan Rajkumar |
| 2010 | EUC | Handling Mobility on a QoS-Aware Service-based Framework for Mobile Systems. | Joel Gonalves, Luis Lino Ferreira, Lus Miguel Pinho, Guilherme D. Silva |
| 2006 | RTCSA | Dynamic Adaptation of Stability Periods for Service Level Agreements. | Lus Nogueira, Lus Miguel Pinho |
| 2004 | MASCOTS | INDEPTH: Timeliness Assessment of Ethernet/IP-Based Systems. | Nuno Pereira, Eduardo Tovar, Lus Miguel Pinho |
| 2001 | ECRTS | Timing Analysis of Reliable Real-Time Communication in CAN Networks. | Lus Miguel Pinho, Francisco Vasques |
| 2001 | ETFA | Improved fault tolerant broadcasts in CAN. | Lus Miguel Pinho, Francisco Vasques |