Login

Luis Miguel Pinho (Publications)

Luis Miguel Pinho (Publications)

Luis Miguel Pinho (Publications)

PhD University of Porto, Portugal
Professor, Integrated PhD Researcher

Luis Miguel Pinho has a MSc (1997) and a PhD (2001) in Electrical and Computer Engineering at the University of Porto. He is Coordinator Professor at the Department of Computer Engineering - School of Engineering of the Polytechnic Institute of Porto, and Research Associate at the CISTER research unit, where he currently promotes and leads activities in, among others, real-time parallel programming models, scheduling of real-time parallel tasks, reliable software, run-time monitoring and real-time middleware.

Miguel was Project Coordinator and Technical Manager of the FP7 R&D European Project P-SOCRATES (Parallel SOftware framework for time-CRitical mAny-core sysTEmS) and is CISTER coordinator in the H2020 EnerGAware and P2020 Khronosim projects. In the past, Miguel was also Coordinator of CooperatES and Reflect FCT-funded Research Projects, and CISTER Coordinator of the ITEA 2 CarCoDe, Artemis project ENCOURAGE and FP5 NNES project REMPLI, among others.

His main research interest is on the software infrastructure for real-time embedded systems, in particular languages and operating systems. He is especially interested in Ada, the best language for real-time embedded systems. Miguel is a member of ISO/IEC JTC1/SC22/WG9 and board member of Ada-Europe.

Miguel has published several papers in international conferences and journals in the area of real-time embedded systems, and participated in the Organization and Program Committees of several international conferences in the area. He served as General Chair and Program Co-Chair of Ada-Europe 2006 and General Co-Chair of ARCS 2015, was a Keynote Speaker at RTCSA 2010 and Program Co-Chair of Ada-Europe 2012, Ada-Europe 2016 and RTNS 2016. He is Editor-in-Chief of the Ada User Journal, and a member of the HiPEAC network of excellence.

 

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Thesis
A Framework for the Transparent Replication of Real-Time Applications HURRAY-TR-0135 
Luis Miguel PinhoPhD Thesis. 1, Sep, 2001. Porto, Portugal.
Books & Book Chapters
Session Summary: Clock Issues CISTER-TR-181204 
Kristoffer Nyborg Gregertsen, Luis Miguel PinhoNewsletter ACM SIGAda Ada Letters Publisher ACM New York Volume 38, Issue 1, Pages 77-78 ISSN: 1094-3641
Session Summary: Parallel Programming CISTER-TR-181205 
Luis Miguel Pinho, Tullio VardanegaNewsletter ACM SIGAda Ada Letters Volume 38, Issue 1, Pages 58-60 Publisher ACM New York, NY, USA ISSN: 1094-3641
High-Performance and Time-Predictable Embedded Computing CISTER-TR-180705 
Luis Miguel Pinho, Eduardo Quiñones, Marko Bertogna, Andrea Marongiu, Vincent Nélis, Paolo Gai, Juan Sancho1, Jul, 2018, 236 pages.Open Access Book
Timing Analysis Methodology CISTER-TR-180707 
Vincent Nélis, Patrick Meumeu Yomsi, Luis Miguel PinhoChapter in "High-Performance and Time-Predictable Embedded Computing", River Publishers. 1, Jul, 2018, pp 113-144, 144, 144, 144, 144, 144, ,.Open Access
Guest editorial: real-time networks and systems CISTER-TR-181111 
Sébastien Faucou, Luis Miguel PinhoPart of the Special Issue on Real Time Networks and Systems Volume 54, Issue 4 ISSN: 0922-6443 (Print) 1573-1383 (Online)
Journal Papers
Runtime verification of autopilot systems using a fragment of MTL-∫ CISTER-TR-170802 
André Pedro, Jorge Sousa Pinto, David Pereira, Luis Miguel PinhoInternational Journal on Software Tools for Technology Transfer (STTT), Springer Berlin Heidelberg. Aug 2018, Volume 20, Issue 4, pp 379-395.
Erratum to: Optimal minimal routing and priority assignment for priority-preemptive real-time NoCs CISTER-TR-181126 
Borislav Nikolic, Luis Miguel PinhoReal-time Systems, Springer US. Jul 2017, Volume 53, Issue 4, pp 613-613.
Optimal Minimal Routing and Priority Assignment for Priority-Preemptive Real-Time NoCs CISTER-TR-170301 
Borislav Nikolic, Luis Miguel PinhoReal-Time Systems, Springer. 30, Mar, 2017, Volume 53, Issue 4, pp 578-612.
End-to-End Response Time of 61499 Distributed Applications over Switched Ethernet CISTER-TR-170502 
Per Lindgren, Johan Eriksson, Marcus Lindner, Andreas Lindner, David Pereira, Luis Miguel PinhoIEEE Transactions on Industrial Informatics (TII), IEEE. Feb 2017, Volume 13, Issue 1, pp 287-297.
Reducing the Complexity of Dataflow Graphs using Slack-based Merging CISTER-TR-160607 
Hazem Ali, Sander Stuijk, Benny Åkesson, Luis Miguel PinhoACM Transactions on Design Automation of Electronic Systems (TODAES), Article No 24, ACM. Jan 2017, Volume 22, Issue 2, pp 24:1-24:22.
Real-time semi-partitioned scheduling of fork-join tasks using work-stealing CISTER-TR-170803 
Cláudio Maia, Patrick Meumeu Yomsi, Luis Miguel Nogueira, Luis Miguel PinhoEURASIP Journal on Embedded Systems, Article No 2017:31, Springer International Publishing. 2017, pp 1-14.
Improved Holistic Analysis for Fork–Join Distributed Real-Time Tasks Supported by the FTT-SE Protocol CISTER-TR-170117 
Ricardo Garibay-Martínez, Geoffrey Nelissen, Luis Lino Ferreira, Paulo Pedreiras, Luis Miguel PinhoIEEE Transactions on Industrial Informatics, IEEE. Aug 2016, Volume 12, Issue 5, pp 1865-1876.
Task partitioning and priority assignment for distributed hard real-time systems CISTER-TR-151001 
Ricardo Garibay-Martínez, Geoffrey Nelissen, Luis Lino Ferreira, Luis Miguel PinhoJournal of Computer and System Sciences (JCSS), Elsevier. Dec 2015, Volume 81, Issue 8, pp 1542-1555.
Non-preemptive and SRP-based fully-preemptive scheduling of real-time Software Transactional Memory CISTER-TR-151005 
António Barros, Luis Miguel Pinho, Patrick Meumeu YomsiJournal of Systems Architecture (JSA), Elsevier. 26, Nov, 2015, Volume 61, Issue 10, pp 553-566.
P-SOCRATES: A parallel software framework for time-critical many-core systems CISTER-TR-151002 
Luis 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
ABSTRACT Additional Files: PDFPoster
Microprocessors and Microsystems (MICPRO), Elsevier. Nov 2015, Volume 39, Issue 8, pp 1190-1203.
Adaptive offloading for infotainment systems CISTER-TR-150801 
Luis Lino Ferreira, Luis Miguel Pinho, Michele Albano, César TeixeiraSIGBED Review, ACM. Jun 2015, Volume 12, Issue 3, pp 19-23.Also presented at 7th Workshop on Adaptive and Reconfigurable Embedded Systems (APRES 2015)
Convergence of Smart Grid ICT architectures for the last mile CISTER-TR-141204 
Michele Albano, Luis Lino Ferreira, Luis Miguel PinhoTransactions on Industrial Informatics (TII), IEEE. Feb 2015, Volume 11, Issue 1, pp 187-197.
Logic-based schedulability analysis for compositional hard real-time embedded systems CISTER-TR-150411 
André Pedro, David Pereira, Luis Miguel Pinho, Jorge Sousa PintoSIGBED Review (SIGBED Rev.), ACM. Feb 2015, Volume 12, Issue 1, pp 56-64.
Message-oriented middleware for smart grids CISTER-TR-140803 
Michele Albano, Luis Lino Ferreira, Luis Miguel Pinho, Abdel Rahman AlkhawajaComputer Standards and Interfaces, Elsevier. Feb 2015, Volume 38, pp 133-143.
A Feedback-based Decentralised Coordination Model for Distributed Open Real-Time Systems HURRAY-TR-120713 
Luis Miguel Nogueira, Luis Miguel Pinho, Jorge CoelhoJournal of Systems and Software (JSS), Elsevier. Sep 2012, Volume 85, Issue 9, pp 2145-2159.
A Capacity Sharing and Stealing Strategy for Open Real-time Systems HURRAY-TR-100503 
Luis Miguel Nogueira, Luis Miguel PinhoJournal of Systems Architecture, Elsevier. Apr 2010, Volume 56, Issue 4-6, pp 163-179.
Time-bounded Distributed QoS-Aware Service Configuration in Heterogeneous Cooperative Environments HURRAY-TR-090502 
Luis Miguel Nogueira, Luis Miguel PinhoJournal of Parallel and Distributed Computing, Elsevier. Jun 2009, Volume 69, Issue 6, pp 491-507.
Replication Management in Reliable Real-Time Systems HURRAY-TR-0206 
Luis Miguel Pinho, Francisco Vasques, Andy WellingsKluwer Journal of Real-Time Systems, Kluwer Academic Publishers. 1, Apr, 2004, Volume 26, Issue 3, pp 261-296.
Reliable Real-Time Communication in CAN Networks HURRAY-TR-0301 
Luis Miguel Pinho, Francisco VasquesIEEE Transactions on Computers, IEEE. Dec 2003, Volume 52, Issue 12, pp 1594-1607.
To Ada or not To Ada: Adaing vs. Javaing in Real-Time Systems HURRAY-TR-9904 
Luis Miguel Pinho, Francisco VasquesACM Ada Letters, Association for Computing Machinery. Dec 1999, Volume 19, Issue 4, pp 37-43.Revised version of HURRAY-TR-9820.
Conference or Workshop Papers
Exploiting a Throttle Mechanism for QEMU CISTER-TR-180704 
Renato Oliveira, Cláudio Maia, Luis Miguel PinhoINForum 2018 - Simpósio de Informática (INForum 2018). 3 to 4, Sep, 2018, Real-Time and Embedded Systems. Coimbra, Portugal.
Safe Parallelism: Compiler Analysis Techniques for Ada and OpenMP CISTER-TR-180505 
Sara Royuela, Xavier Martorell, Eduardo Quiñones, Luis Miguel Pinho23rd International Conference on Reliable Software Technologies (Ada-Europe 2018). 18 to 22, Jun, 2018, pp 141-157. Lisboa, Portugal.Volume 10873
Emulation-in-the-loop for simulation and testing of real-time critical CPS CISTER-TR-180501 
Renato Oliveira, Manuel Meireles, Cláudio Maia, Luis Miguel Pinho1st IEEE International Conference on Industrial Cyber-Physical Systems (ICPS 2018). 15 to 18, May, 2018, pp 258-263. Saint Petersburg, Russia.
Combining the tasklet model with OpenMP CISTER-TR-180301 
Luis Miguel Pinho, Eduardo Quiñonez, Sara Royuela19th International Real-Time Ada Workshop (IRTAW 2018). 18 to 20, Apr, 2018, pp 14-18. Benicàssim, Spain.Volume 38, Issue 1
Converging Safety and High-performance Domains: Integrating OpenMP into Ada CISTER-TR-180201 
Sara Royuela, Luis Miguel Pinho, Eduardo QuiñonesDesign, Automation, and Test in Europe conference (DATE 2018). 19 to 23, Mar, 2018, pp 1021-1026. Dresden, Germany.
The EnerGAware Middleware Platform CISTER-TR-170801 
Paulo Barbosa, António Barros, Luis Miguel PinhoIECON 2017. 29, Oct to 1, Nov, 2017, 43rd Annual Conference of the IEEE Industrial Electronics Society (IES), pp 8662-8667. Beijing, China.
Schedulability Analysis for Global Fixed-Priority Scheduling of the 3-Phase Task Model CISTER-TR-170603 
Cláudio Maia, Geoffrey Nelissen, Luis Miguel Nogueira, Luis Miguel Pinho, Daniel Gracia Pérez23rd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2017). 16 to 18, Aug, 2017. Hsinchu, Taiwan.
The P-SOCRATES timing analysis methodology for parallel real-time applications deployed on many-core platforms CISTER-TR-170505 
Vincent Nélis, Patrick Meumeu Yomsi, Luis Miguel Pinho29th Euromicro Conference on Real-Time Systems (ECRTS 2017), Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. 27 to 30, Jun, 2017, WCET 2017, pp 10:1-10:9. Dubrovnik, Croatia.
OpenMP tasking model for Ada: safety and correctness CISTER-TR-170503 
Sara Royuela, Xavier Martorell, Eduardo Quiñones, Luis Miguel Pinho22nd International Conference on Reliable Software Technologies (Ada-Europe 2017). 12 to 16, Jun, 2017, pp 184-200. Vienna, Austria.Part of the Lecture Notes in Computer Science book series (LNCS, volume 10300)
Combining Dataflow Applications and Real-time Task Sets on Multi-core Platforms CISTER-TR-170405 
Hazem Ali, Benny Åkesson, Luis Miguel Pinho20th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2017). 12 to 13, Jun, 2017, pp 60-63. Sankt Goar, Germany.
A serious game enhancing social tenants’ behavioral change towards energy efficiency CISTER-TR-170504 
Miquel Casals, Marta Gangolells, Marcel Macarulla, Alba Fuertes, Vincent Vimont, Luis Miguel PinhoWorkshop on Energy Efficient Solutions based on IoT (EESIoT 2017). 6 to 9, Jun, 2017, pp 279-284. Geneve, Switzerland.Workshop of Global IoT Summit 2017
High-performance parallelisation of real-time applications CISTER-TR-170203 
Luis Miguel Pinho, Vincent Nélis, Eduardo Quinoñes, Paolo Burgio, Andrea Marongiu, Paolo Gai, Juan Sancho
ABSTRACTPDFPDF Additional Files: PDFPresentation
Embedded World Conference 2017. 14 to 16, Mar, 2017, Session 19: HiPEAC – High Performance Embedded Architectures. Nuremberg, Germany.
SMT-based Schedulability Analysis using RMTL-∫ CISTER-TR-161101 
André Pedro, David Pereira, Luis Miguel Pinho, Jorge Sousa PintoIEEE Real-Time Systems Symposium (RTSS 2016). 29, Nov to 2, Dec, 2016, CRTS. Porto, Portugal.
Towards Certified Compilation of RTFM-core Applications CISTER-TR-161105 
Per Lindgren, Marcus Lindner, David Pereira, Luis Miguel Pinho21st International Conference on Emerging Technologies and Factory Automation (ETFA 2016). 6 to 9, Sep, 2016. Berlin, Germany.
ENCOURAGEing Results on ICT for Energy Efficient Buildings CISTER-TR-160601 
Thibaut Le Guilly, Arne Skou, Petur Olsen, Per Printz Madsen, Michele Albano, Luis Lino Ferreira, Luis Miguel Pinho, Miquel Casals, Marcel Macarulla, Marta Gangolells
ABSTRACTPDFPDF Additional Files: PDFPresentation
21st IEEE International Conference on Emerging Technologies & Factory Automation (ETFA 2016). 6 to 9, Sep, 2016. Berlin, Germany.
A Closer Look into the AER Model CISTER-TR-160701 
Cláudio Maia, Luis Miguel Nogueira, Luis Miguel Pinho, Daniel Gracia Pérez21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2016). 6 to 9, Sep, 2016. Berlin, Germany.
On Routing Flexibility of Wormhole-Switched Priority-Preemptive NoCs CISTER-TR-160602 
Borislav Nikolic, Luis Miguel Pinho, Leandro Indrusiak22nd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2016). 17 to 19, Aug, 2016. Daegu, South Korea.
Contract Based Verification of IEC 61499 CISTER-TR-161106 
Per Lindgren, Marcus Lindner, David Pereira, Luis Miguel Pinho14th International Conference on Industrial Informatics (INDIN 2016). 18 to 21, Jul, 2016, Factory Automation. Poitiers, France.
The variability of application execution times on a multi-core platform CISTER-TR-160608 
Vincent Nélis, Patrick Meumeu Yomsi, Luis Miguel Pinho16th International Workshop on Worst-Case Execution Time Analysis (WCET 2016). 5, Jul, 2016. Toulouse, France.WCET was held as part of ECRTS 2016 that took place in Toulouse, France on July 5-8, 2016.
Response time analysis of hard real-time tasks sharing software transactional memory data under fully partitioned scheduling CISTER-TR-160408 
António Barros, Patrick Meumeu Yomsi, Luis Miguel Pinho11th IEEE International Symposium on Industrial Embedded Systems (SIES 2016). 23 to 25, May, 2016. Krakow, Poland.
Response Time Analysis of Sporadic DAG Tasks under Partitioned Scheduling CISTER-TR-160502 
José Fonseca, Geoffrey Nelissen, Vincent Nélis, Luis Miguel Pinho11th IEEE International Symposium on Industrial Embedded Systems (SIES 2016). 23 to 25, May, 2016. Krakow, Poland.
Reduction of Parallel Computation in the Parallel Model for Ada CISTER-TR-160403 
S. Tucker Taft, Brad Moore, Luis Miguel Pinho, Stephen Michell18th International Real-Time Ada Workshop (IRTAW 2016). 11 to 13, Apr, 2016. Benicàssim, Spain.
Constraints on the Use of Executors in Real-time Systems CISTER-TR-160404 
Stephen Michell, Brad Moore, Luis Miguel Pinho, S. Tucker Taft18th International Real-Time Ada Workshop (IRTAW 2016). 11 to 13, Apr, 2016. Benicàssim, Spain.
Real-Time Support in the Proposal for Fine-Grained Parallelism in Ada CISTER-TR-151204 
Luis Miguel Pinho, Brad Moore
ABSTRACTPDFPDF Additional Files: PDFPoster
Work in Progress Session, IEEE Real-Time Systems Symposium (RTSS 2015). 1 to 3, Dec, 2015. San Antonio, U.S.A..
Semi-Partitioned Scheduling of Fork-Join Tasks using Work-Stealing CISTER-TR-151007 
Cláudio Maia, Patrick Meumeu Yomsi, Luis Miguel Nogueira, Luis Miguel Pinho13th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC 2015). 21 to 23, Oct, 2015, Session W1-A: Multiprocessing and Multicore Architectures. Porto, Portugal.
Abstract Timers and their Implementation onto the ARM Cor tex-M family of MCUs CISTER-TR-151202 
Per Lindgren, Emil Fresk, Marcus Lindner, Andreas Lindner, David Pereira, Luis Miguel PinhoEmbedded Operating System Workshop (EWiLi 2015). 8, Oct, 2015. Amsterdam, Netherlands.
Monitoring for a decidable fragment of MTLD CISTER-TR-151009 
André Pedro, David Pereira, Luis Miguel Pinho, Jorge Sousa PintoThe 15th International Conference on Runtime Verification (RV'15). 22 to 25, Sep, 2015. Vienna, Austria.
A Real-Time Semantics for the IEC 61499 standard CISTER-TR-150903 
Per Lindgren, Marcus Lindner, Andreas Lindner, Valeriy Vyatkin, David Pereira, Luis Miguel Pinho20th IEEE International Conference on Emerging Technologies & Factory Automation (ETFA 2015). 8 to 11, Sep, 2015. Luxembourg, Luxembourg.
Real-time Parallel Applications on Many-core Architectures CISTER-TR-151206 
Luis Miguel Pinho, Vincent Nélis, Patrick Meumeu YomsiINForum - Simpósio de Informática (INFORUM 2015). 7 to 8, Sep, 2015. Portugal.
Run-time Monitoring Architecture for Real-Time Systems CISTER-TR-151207 
Geoffrey Nelissen, David Pereira, Luis Miguel PinhoINForum - Simpósio de Informática (INFORUM 2015). 7 to 8, Sep, 2015. Portugal.
Investigation on AUTOSAR-Compliant Solutions for Many-Core Architectures CISTER-TR-150606 
Matthias Becker, Dakshina Dasari, Vincent Nélis, Moris Behnam, Luis Miguel Pinho, Thomas NolteThe Euromicro Conference on Digital System Design (DSD 2015). 26 to 28, Aug, 2015. Funchal, Portugal.
Methodologies for the WCET Analysis of Parallel Applications on Many-core Architectures CISTER-TR-150607 
Vincent Nélis, Patrick Meumeu Yomsi, Luis Miguel PinhoThe Euromicro Conference on Digital System Design (DSD 2015). 26 to 28, Aug, 2015. Funchal, Portugal.
A Formal Perspective on IEC 61499 Execution Control Chart Semantics CISTER-TR-150802 
Per Lindgren, Marcus Lindner, David Pereira, Luis Miguel PinhoIEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA 2015). 20 to 22, Aug, 2015. Helsinki, Finland.
Well formed Control-flow for Critical Sections in RTFM-core CISTER-TR-150511 
Per Lindgren, Marcus Lindner, Andreas Lindner, David Pereira, Luis Miguel PinhoIEEE International Conference on Industrial Informatics (INDIN 2015). 22 to 24, Jul, 2015. Cambridge, United Kingdom.
Response Time for IEC 61499 over Ethernet CISTER-TR-150721 
Per Lindgren, Johan Eriksson, Marcus Lindner, Andreas Lindner, David Pereira, Luis Miguel PinhoIEEE International Conference on Industrial Informatics (INDIN 2015). 22 to 24, Jul, 2015. Cambridge, United Kingdom.
Online Admission of Parallel Real-Time Tasks CISTER-TR-150701 
Cláudio Maia, Luis Miguel Nogueira, Luis Miguel Pinho6th Real-Time Scheduling Open Problems Seminar (RTSOPS 2015). 7, Jul, 2015. Lund, Sweden.
Analysis of self-interference within DAG tasks CISTER-TR-150604 
José Fonseca, Vincent Nélis, Geoffrey Nelissen, Luis Miguel Pinho6th Real-Time Scheduling Open Problems Seminar (RTSOPS 2015). 7, Jul, 2015. Lund, Sweden.
An Execution Model for Fine-Grained Parallelism in Ada CISTER-TR-150403 
Luis Miguel Pinho, Brad Moore, Stephen Michell, S. Tucker Taft
ABSTRACTPDFPDF Additional Files: PDFPresentation
20th International Conference on Reliable Software Technologies - Ada-Europe 2015 (Ada-Europe 2015). 25 to 29, Jun, 2015. Madrid, Spain.Best Paper Award.
A Novel Run-Time Monitoring Architecture for Safe and Efficient Inline Monitoring CISTER-TR-150308 
Geoffrey Nelissen, David Pereira, Luis Miguel Pinho20th International Conference on Reliable Software Technologies - Ada-Europe 2015 (Ada-Europe 2015). 22 to 26, Jun, 2015. Madrid, Spain.
Holistic Analysis for Fork-Join Distributed Tasks supported by the FTT-SE Protocol CISTER-TR-150507 
Ricardo Garibay-Martínez, Geoffrey Nelissen, Luis Lino Ferreira, Paulo Pedreiras, Luis Miguel Pinho11th IEEE World Conference on Factory Communication Systems (WFCS 2015). 27 to 29, May, 2015, TII-SS-2: Scheduling and Performance Analysis. Palma de Mallorca, Spain.
Real-Time Fine-Grained Parallelism in Ada CISTER-TR-150404 
Luis Miguel Pinho, Brad Moore, Stephen Michell, S. Tucker TaftInternational Real-Time Ada Workshop (IRTAW 2015). 20 to 22, Apr, 2015. Pownal, U.S.A..
A Multi-DAG Model for Real-Time Parallel Applications with Conditional Execution CISTER-TR-141207 
José Fonseca, Vincent Nélis, Gurulingesh Raravi, Luis Miguel PinhoThe 30th ACM/SIGAPP Symposium On Applied Computing (SAC 2015). 13 to 17, Apr, 2015, Embedded Systems. Salamanca, Spain.
Toward a Run-Time Verification Framework for Real-Time Safety-Critical Systems CISTER-TR-151011 
Geoffrey Nelissen, David Pereira, Luis Miguel PinhoSEMINAR “ACtion Temps Réel : Infrastructures et Services Systèmes“. 10, Apr, 2015. Brussels, Belgium.
Allocation of Parallel Real-Time Tasks in Distributed Multi-core Architectures supported by an FTT-SE Network CISTER-TR-150305 
Ricardo Garibay-Martínez, Geoffrey Nelissen, Luis Lino Ferreira, Luis Miguel PinhoThe 28th GI/ITG International Conference on Architecture of Computing Systems 2015 (ARCS 2015). 24 to 27, Mar, 2015. Porto, Portugal.
Generalized Extraction of Real-Time Parameters for Homogeneous Synchronous Dataflow Graphs CISTER-TR-141102 
Hazem Ali, Benny Åkesson, Luis Miguel Pinho23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2015). 4 to 6, Mar, 2015. Turku, Finland.
A system model and stack for the parallelization of time-critical applications on many-core architectures CISTER-TR-141206 
Vincent Nélis, Patrick Meumeu Yomsi, Luis Miguel Pinho, Eduardo Quiñones, Marko Bertogna, Andrea Marongiu, Paolo Gai, Claudio Scordino3rd Workshop on High-performance and Real-time Embedded Systems (HIRES 2015). 21, Jan, 2015. Amsterdam, Netherlands.
Another look at the pWCET estimation problem CISTER-TR-141105 
Vincent Nélis, Patrick Meumeu Yomsi, Luis Miguel Pinho, Guillem BernatWork in Progress Session, IEEE Real-Time Systems Symposium (RTSS 2014). 2 to 5, Dec, 2014. Rome, Italy.
Safe Parallel Programming in Ada with Language Extensions CISTER-TR-141010 
S. Tucker Taft, Brad Moore, Luis Miguel Pinho, Stephen MichellHigh Integrity Language Technology ACM SIGAda’s Annual International Conference (HILT 2014). 20 to 22, Oct, 2014. Portland, U.S.A..
Response-Time Analysis of Synchronous Parallel Tasks in Multiprocessor Systems CISTER-TR-141001 
Cláudio Maia, Marko Bertogna, Luis Miguel Nogueira, Luis Miguel Pinho22nd International Conference on Real-Time Networks and Systems (RTNS 2014). 8 to 10, Oct, 2014. Versailles, France.
P-SOCRATES: a Parallel Software Framework for Time-Critical Many-Core Systems CISTER-TR-140710 
Luis Miguel Pinho, Eduardo Quiñones, Marko Bertogna, Andrea Marongiu, Jorge Pereira Carlos, Claudio Scordino, Michele RamponiEuromicro Conference on Digital System Design (DSD) (DSD 2014). 27 to 29, Aug, 2014. Verona, Italy.
Towards a Runtime Verification Framework for the Ada Programming Language CISTER-TR-140305 
André Pedro, David Pereira, Luis Miguel Pinho, Jorge Sousa PintoLecture Notes in Computer Science, Reliable Software Technologies – Ada-Europe 2014 (LNCS), Springer International Publishing. 23 to 27, Aug, 2014, 8454, pp 58-73.
The challenge of time-predictability in modern many-core architectures CISTER-TR-140624 
Vincent Nélis, Patrick Meumeu Yomsi, Luis Miguel Pinho, José Fonseca, Marko Bertogna, Eduardo Quiñones, Roberto Vargas, Andrea Marongiu14th International Workshop on Worst-Case Execution Time Analysis (WCET 2014). 8, Jul, 2014. Madrid, Spain.
Towards Holistic Analysis for Fork-Join Parallel/Distributed Real-Time Tasks CISTER-TR-140707 
Ricardo Garibay-Martínez, Luis Lino Ferreira, Geoffrey Nelissen, Luis Miguel PinhoWork in Progress Session, 26th Euromicro Conference on Real-Time Systems (ECRTS 2014). 8 to 11, Jul, 2014, pp 21-24. Madrid, Spain.
How to deal with control-flow information in parallel real-time applications? CISTER-TR-141201 
José Fonseca, Vincent Nélis, Gurulingesh Raravi, Luis Miguel Pinho5th Real-Time Scheduling Open Problems Seminar (RTSOPS 2014). 8, Jul, 2014. Madrid, Spain.
RTFM-lang Static Semantics for Systems with Mixed Criticality CISTER-TR-140625 
Per Lindgren, Johan Eriksson, Marcus Lindner, David Pereira, Luis Miguel PinhoProc of Workshop on Mixed Criticality for Industrial Systems (WMCIS’2014), Ada User Journal, 35(2):128–132, 2014. (WMCIS 2014). 23 to 26, Jun, 2014. Paris, France.
Parallelism in Ada: Status and Prospects CISTER-TR-140307 
Luis Miguel Pinho, Brad Moore, Stephen Michell19th International Conference on Reliable Software Technologies - Ada-Europe 2014 (Lecture Notes in Computer Science), Springer International Publishing. 23, Jun, 2014, pp 91-106. Paris, France.
On the Scheduling of Fork-Join Parallel/Distributed Real-Time Tasks CISTER-TR-140601 
Ricardo Garibay-Martínez, Geoffrey Nelissen, Luis Lino Ferreira, Luis Miguel Pinho9th IEEE International Symposium on Industrial Embedded Systems (SIES 2014). 15 to 17, Jun, 2014, Real-time scheduling. Pisa, Italy.
A Compositional Monitoring Framework for Hard Real-Time Systems CISTER-TR-140104 
André Pedro, David Pereira, Luis Miguel Pinho, Jorge Sousa PintoNASA Formal Methods Symposium 2014 (NFM14), Springer International Publishing. 29, Apr, 2014, LNCS 8430, pp 16-30. Houston, TX, U.S.A..
Non-preemptive scheduling of Real-Time Software Transactional Memory CISTER-TR-140207 
António Barros, Luis Miguel Pinhothe Conference on Architecture of Computing Systems (ARCS 2014). 25 to 28, Feb, 2014. Lubeck, Germany.
Time Criticality Challenge in the Presence of Parallelised Execution CISTER-TR-140105 
Luis Miguel Pinho, Eduardo Quiñones, Marko Bertogna, Luca Benini, Jorge Pereira Carlos, Claudio Scordino, Michele Ramponi2nd Workshop on High-performance and Real-time Embedded Systems (HiRES 2014). 20, Jan, 2014. Vienna, Austria.
Logic-based Schedulability Analysis for Compositional Hard Real-Time Embedded Systems CISTER-TR-131201 
André Pedro, David Pereira, Luis Miguel Pinho, Jorge Sousa Pinto6th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2013). 3, Dec, 2013. Vancouver, Canada.Co-located within the IEEE Real-Time Systems Symposium (RTSS'13).
Task Partitioning and Priority Assignment for Hard Real-time Distributed Systems CISTER-TR-131111 
Ricardo Garibay-Martínez, Geoffrey Nelissen, Luis Lino Ferreira, Luis Miguel Pinho2nd International Workshop on Real-Time and Distributed Computing in Emerging Applications (REACTION 2013). 3, Dec, 2013. Vancouver, Canada.Co-located within the IEEE Real-Time Systems Symposium (RTSS 2013).
Real-Time Programming on Accelerator Many-Core Processors CISTER-TR-131112 
Stephen Michell, Brad Moore, Luis Miguel PinhoACM SIGAda High Integrity Language Technology Conference (HILT'13), ACM. 10 to 14, Nov, 2013, pp 23-26. Pittsburgh, U.S.A..
Are Virtual Channels the Bottleneck of Priority-Aware Wormhole-Switched NoC-Based Many-Cores? CISTER-TR-130901 
Borislav Nikolic, Hazem Ali, Stefan M. Petters, Luis Miguel Pinho21st International Conference on Real-Time Networks and Systems (RTNS 2013), ACM New York. 16 to 18, Oct, 2013, pp 13-22. Sophia Antipolis, France.
Desarrollo de aplicaciones con requisitos de criticidad temporal mixta utilizando C-Forge CISTER-TR-130702 
Francisco Sanchez, Luis Miguel Pinho, Diego Alonso, Juan Pastor4th Spanish Symposium of Real-Time Systems. 17 to 19, Sep, 2013. Madrid, Spain.
QoS enabled Middleware for Real-time Industrial Control Systems CISTER-TR-131003 
Luis Lino Ferreira, Michele Albano, Luis Miguel Pinho18th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2013), IEEE. 10 to 13, Sep, 2013. Cagliari, Italy.
Critical-Path-First Based Allocation of Real-Time Streaming Applications on 2D Mesh-Type Multi-Cores CISTER-TR-130606 
Hazem Ali, Luis Miguel Pinho, Benny Åkesson19th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2013). 19 to 21, Aug, 2013. Taipei, Taiwan.
Response-Time Analysis of Fork/Join Tasks in Multiprocessor Systems CISTER-TR-130701 
Cláudio Maia, Luis Miguel Nogueira, Luis Miguel Pinho, Marko Bertogna
ABSTRACTPDFPDF Additional Files: PDFPoster
Work in Progress Session, 25th Euromicro Conference on Real-Time Systems (ECRTS 2013). 9 to 12, Jul, 2013. Paris, France.
Scheduling Parallel Real-Time Tasks using a Fixed-Priority Work-Stealing Algorithm on Multiprocessors CISTER-TR-130607 
Cláudio Maia, Luis Miguel Nogueira, Luis Miguel Pinho8th IEEE International Symposium on Industrial Embedded Systems (SIES2013). 19 to 21, Jun, 2013. Porto, Portugal.
Towards Transparent Parallel/Distributed Support for Real-Time Embedded Applications CISTER-TR-130202 
Ricardo Garibay-Martínez, Luis Lino Ferreira, Cláudio Maia, Luis Miguel Pinho8th IEEE International Symposium on Industrial Embedded Systems (SIES 2013), IEEE. 19 to 21, Jun, 2013, Work-In-Progress Session, pp 114-117. Porto, Portugal.
Tasklettes – a Fine Grained Parallelism for Ada on Multicores CISTER-TR-130304 
Stephen Michell, Brad Moore, Luis Miguel Pinho18th International Conference on Reliable Software Technologies (Ada-Europe 2013). 10 to 14, Jun, 2013, pp 17-34. Berlin, Germany.
Ada and Many-core Platforms CISTER-TR-130404 
Luis Miguel Pinho, Stephen Michell, Brad Moore16th International Real-Time Ada Workshop (IRTAW 2013), ACM New York. 17 to 19, Apr, 2013, 33, 2, pp 40-48. York, United Kingdom.
Parallelism in Ada: General Model and Ravenscar CISTER-TR-130405 
Brad Moore, Stephen Michell, Luis Miguel Pinho16th International Real-Time Ada Workshop (IRTAW 2013), ACM New York. 17 to 19, Apr, 2013, 33, 2, pp 14-32. York, United Kingdom.
The ENCOURAGE ICT architecture for heterogeneous smart grids CISTER-TR-130403 
Michele Albano, Luis Lino Ferreira, Thibaut Le Guilly, Manuel Ramiro, Eduardo Faria, Lara Pérez Dueñas, Rodrigo Ferreira, Earl Gaylard, David Jorquera Cubas, Eammon Roarke, Daniel Lux, Sandra Scalari, Susanne Majlund Sørensen, Marta Gangolells, Luis Miguel Pinho, Arne Skou11, Apr, 2013.IEEE EuroCon 2013, Zagreb, Croatia, 1-4 July 2013.
On the use of Work-Stealing Strategies in Real-Time Systems CISTER-TR-130110 
Luis Miguel Nogueira, Luis Miguel Pinho, José Fonseca, Cláudio MaiaHigh-performance and Real-time Embedded Systems (HiRES 2013). 23, Jan, 2013. Berlin, Germany.In conjunction with the 8th International Conference on High-Performance and Embedded Architectures and Compilers (HiPEAC 2013)
Dynamic Global Scheduling of Parallel Real-Time Tasks HURRAY-TR-121005 
Luis Miguel Nogueira, José Fonseca, Cláudio Maia, Luis Miguel Pinho10th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC 2012). 5 to 7, Dec, 2012, pp 500-507. Paphos, Cyprus.
Server-based Scheduling of Parallel Real-Time Tasks HURRAY-TR-121001 
Luis Miguel Nogueira, Luis Miguel Pinho12th International Conference on Embedded Software (EMSOFT 2012), ACM New York. 7 to 12, Oct, 2012, pp 73-82. Tampere, Finland.
ENCOURAGE architecture: support for heterogeneous smart grids CISTER-TR-121101 
Luis Lino Ferreira, Michele Albano, Thibaut Le Guilly, Manuel Ramiro, Eduardo Faria, Lara Pérez Dueñas, Rodrigo Ferreira, Earl Gaylard, Francesc Pelegrin, Eammon Roarke, Daniel Lux, Sandra Scalari, Susanne Majlund Sørensen, Marta Gangolells, Luis Miguel Pinho, Arne SkouIEEE International Energy Conference and Exhibition (ENERGYCON 2012). 9 to 12, Sep, 2012. Florence, Italy.
Real-Time Scheduling of Parallel Tasks in the Linux Kernel HURRAY-TR-120714 
José Fonseca, Luis Miguel Nogueira, Cláudio Maia, Luis Miguel PinhoSimpósio de Informática (INForum 2012). 6 to 7, Sep, 2012. Lisboa, Portugal.Best paper of the Real-time and Embedded Systems track.
A Framework for the Development of Parallel and Distributed Real-Time Embedded Systems HURRAY-TR-120403 
Ricardo Garibay-Martínez, Luis Lino Ferreira, Luis Miguel Pinho38th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2012), IEEE. 5 to 8, Sep, 2012, pp 39-46. Cesme, Turkey.
A Framework for Offloading Real-Time Applications in a Distributed Environment HURRAY-TR-111204 
Cláudio Maia, Guilherme Silva, Luis Lino Ferreira, Luis Miguel Pinho, Luis Miguel Nogueira, Joel GonçalvesOpen Demo Session of Real-Time Techniques and Technologies, 32nd IEEE Real-Time Systems Symposium (RTSS@Work). 29, Nov to 2, Dec, 2011, pp 9-10. Vienna, Austria.
A Parallel Programming Model for Ada HURRAY-TR-110902 
Hazem Ali, Luis Miguel PinhoACM's Annual International Conference on Ada and Related Technologies Engineering Safe, Secure, and Reliable Software (SIGAda 2011), ACM New York. 6 to 10, Nov, 2011, pp 19-26. Denver, U.S.A..
Combining RTSJ with Fork/Join: A Priority-based Model HURRAY-TR-110907 
Cláudio Maia, Luis Miguel Nogueira, Luis Miguel Pinho9th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES 2011), ACM New York. 26 to 28, Sep, 2011, pp 82-86. York, United Kingdom.
Revisiting Transactions in Ada HURRAY-TR-110707 
António Barros, Luis Miguel Pinho15th International Real-Time Ada Workshop (IRTAW-15), ACM New York. 14 to 16, Sep, 2011, 33, pp 84-92. Liébana, Spain.
Service offloading in Adaptive Real-Time Systems HURRAY-TR-110905 
Luis Lino Ferreira, Guilherme Silva, Luis Miguel Pinho6th IEEE International Workshop on Service Oriented Architectures in Converging Networked Environments (SOCNE2011), IEEE. 5 to 9, Sep, 2011, pp 1-6. Toulouse, France.
Software transactional memory as a building block for parallel embedded real-time systems HURRAY-TR-110706 
António Barros, Luis Miguel Pinho37th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA 2011), IEEE. 30, Aug to 2, Sep, 2011, pp 251-255. Oulu, Finland.
sMapReduce: A Programming Pattern for Wireless Sensor Networks HURRAY-TR-110604 
Vikram Gupta, Eduardo Tovar, Luis Miguel Pinho, Junsung Kim, Karthik Lakshmanan, Raj Rajkumar2nd International Workshop on Software Engineering for Sensor Network Applications (SESENA 2011), ACM New York. 21 to 28, May, 2011, pp 37-42. Waikiki, U.S.A..In conjunction with ICSE 2011
Handling Mobility on a QoS-Aware Service-based Framework for Mobile Systems HURRAY-TR-101202 
Joel Gonçalves, Luis Lino Ferreira, Luis Miguel Pinho, Guilherme Silva8th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC 2010), IEEE. 11 to 14, Dec, 2010, pp 67-104. Hong Kong, China.
Managing contention of software transactional memory in real-time systems HURRAY-TR-101102 
António Barros, Luis Miguel Pinho31st IEEE Real-Time Systems Symposium (RTSS 2010). 30, Nov to 3, Dec, 2010, Work-In-Progress Session. San Diego, U.S.A..
Supporting Parallelism in Server-based Multiprocessor Systems HURRAY-TR-101103 
Luis Miguel Nogueira, Luis Miguel Pinho31st IEEE Real-Time Systems Symposium (RTSS 2010). 30, Nov to 3, Dec, 2010, Work-In-Progress Session. San Diego, U.S.A..
Flexible and Dynamic Replication Control for Interdependent Distributed Real-Time Embedded Systems HURRAY-TR-100904 
Luis Miguel Nogueira, Luis Miguel Pinho, Jorge Coelho7th IFIP TC 10 Working Conference (DIPES 2010). 20 to 23, Sep, 2010, 329, pp 66-77. Brisbane, Australia.3rd IFIP TC 10 International Conference, BICC 2010, incluida em WCC 2010. Distributed, Parallel and Biologically Inspired Systems. IFIP Advances in Information and Communication Technology
Experiences on the Implementation of a Cooperative Embedded System Framework: Short Paper HURRAY-TR-100801 
Cláudio Maia, Luis Miguel Nogueira, Luis Miguel Pinho8th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES 2010), ACM New York. 19, Aug, 2010, pp 70-72. Prague, Czech Republic.
Evaluating Android OS for Embedded Real-Time Systems HURRAY-TR-100604 
Cláudio Maia, Luis Miguel Nogueira, Luis Miguel Pinho6th International Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT 2010). 6 to 9, Jul, 2010, pp 63-70. Brussels, Belgium.
Implementing Multicore Real-Time Scheduling Algorithms Based on Task Splitting Using Ada 2012 HURRAY-TR-100301 
Björn Andersson, Luis Miguel Pinho15th International Conference on Reliable Software Technologies (Ada-Europe 2010), Springer Berlin Heidelberg. 14 to 18, Jun, 2010, pp 54-67. Valencia, Spain.
Coordinated Runtime Adaptations in Cooperative Open Real-Time Systems HURRAY-TR-090612 
Luis Miguel Nogueira, Luis Miguel Pinho, Jorge Coelho7th International Conference on Computational Science and Engineering (CSE '09), IEEE. 29 to 31, Aug, 2009, pp 295-294. Vancouver, BC, Canada.
Handling QoS Dependencies in Distributed Cooperative Real-Time Systems HURRAY-TR-080902 
Luis Miguel Nogueira, Luis Miguel PinhoIFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES 2008), Springer US. 8 to 10, Oct, 2008, 271, pp 191-200. Milan, Italy.Also Published in "Distributed Embedded Systems: Design, Middleware and Resources"
Dynamic QoS Adaptation of Inter-Dependent Task Sets in Cooperative Embedded Systems HURRAY-TR-080903 
Luis Miguel Nogueira, Luis Miguel Pinho2nd ACM International Conference on Autonomic Computing and Communication Systems (Autonomics 2008), ICST, Brussels, Belgium, Belgium ?2008. 23 to 25, Sep, 2008, 34. Turin, Italy.
Shared Resources and Precedence Constraints with Capacity Sharing and Stealing HURRAY-TR-080202 
Luis Miguel Nogueira, Luis Miguel Pinho22nd IEEE International Parallel and Distributed Processing Symposium (IPDPS 2008), IEEE. 14 to 18, Apr, 2008, pp 1-8. Miami Beach, U.S.A..
Handling Shared Resources and Precedence Constraints in Open Systems HURRAY-TR-070704 
Luis Miguel Nogueira, Luis Miguel PinhoWork in Progress Session, 19th Euromicro Conference on Real-Time Systems (ECRTS 07). 4 to 6, Jul, 2007. Pisa, Italy.
Capacity Sharing and Stealing in Dynamic Server-based Real-Time Systems HURRAY-TR-070201 
Luis Miguel Nogueira, Luis Miguel Pinho21st IEEE International Parallel & Distributed Processing Symposium (IPDPS 2007), IEEE. 26 to 30, Mar, 2007, pp 1-8. Long Beach, U.S.A..
A Complex Protocol Layer as a linux User-Space Process HURRAY-TR-061006 
António Barros, Filipe Pacheco, Luis Miguel PinhoIEEE Symposium on Industrial Embedded Systems (IES’06), IEEE. 18 to 20, Oct, 2006, Work-In-Progress Session, pp 1-4. Antibes - Juan les Pins, France.
Iterative Refinement Approach for QoS-aware Service configuration HURRAY-TR-061001 
Luis Miguel Nogueira, Luis Miguel Pinho5th IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006), Springer US. 11 to 13, Oct, 2006, pp 155-164. Braga, Portugal.Also published in "From Model-Driven Design to Resource Management for Distributed Embedded Systems", B. Kleinjohann, L. Kleinjohann, R. Machado, C. Pereira, P. Thiagarajan (Eds.), IFIP Vol. 225, 2006, Springer, pp. 155-164.
Building Adaptable, QoS-aware Dependable Embedded Systems HURRAY-TR-061005 
Luis Miguel Nogueira, Luis Miguel Pinho3rd International Workshop on Dependable Embedded Systems. 1, Oct, 2006. Leeds, United Kingdom.
Dynamic Adaptation of Stability Periods for Service Level Agreements HURRAY-TR-060801 
Luis Miguel Nogueira, Luis Miguel Pinho12th IEEE International Conference on Embedded and Real-Time Computing and Applications (RTCSA 2006), IEEE. 16 to 18, Aug, 2006, pp 77-81. Sydney, Australia.
POSIX Trace Based Behavioural Reflection HURRAY-TR-060203 
Filipe Valpereiro, Luis Miguel Pinho11th International Conference on Reliable Software Technologies (Ada-Europe 2006), Springer Berlin Heidelberg. 5 to 9, Jun, 2006, Lecture Notes in Computer Science, 4006, pp 27-39. Porto, Portugal.
Queuing and Routing in a Hierarchical Powerline Communication System HURRAY-TR-050901 
Filipe Pacheco, Luis Miguel Pinho, Eduardo Tovar10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'05), IEEE. 19, Sep, 2005, 2, pp 8-66. Catania, Italy.
An Ada Framework for QoS-Aware Applications HURRAY-TR-050601 
Luis Miguel Pinho, Luis Miguel Nogueira, Ricardo Barbosa10th International Conference on Reliable Software Technologies (Ada-Europe 2005), Springer Berlin Heidelberg. 20, Jun, 2005, Lecture Notes in Computer Science, 3555, pp 25-38. York, United Kingdom.
A Power Line Communication Stack for Metering, SCADA and Large-scale Domotic Applications HURRAY-TR-050402 
Filipe Pacheco, Marksim Lobashov, Luis Miguel Pinho, Gerhard Pratl9th International Symposium on Power-Line Communications and Its Applications (ISPLC 2005). 6, Apr, 2005, pp 61-65. Vancouver, Canada.
Dynamic QoS-Aware Coalition Formation HURRAY-TR-050401 
Luis Miguel Nogueira, Luis Miguel Pinho19th IEEE International Parallel & Distributed Processing Symposium (IPDPS 2005). 3, Apr, 2005. Denver, U.S.A..Workshop on Parallel and Distributed Real-Time Systems (WPDRTS05), Denver, USA
INDEPTH: Timeliness Assessment of Ethernet/IP-based Systems HURRAY-TR-0433 
Nuno Pereira, Luis Miguel Pinho, Eduardo Tovar12th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS'04), IEEE. 4, Oct, 2004, pp 192-201. Volendam, Netherlands.
A Few What-Ifs on Using Statistical Analysis of Stochastic Simulation Runs to Extract Timeliness Properties HURRAY-TR-0419 
Berta Batista, Ian Broster, Nuno Pereira, Luis Miguel Pinho, Eduardo Tovar1st International Workshop on Probabilistic Analysis Techniques for Real-Time Systems (PARTES '04). 26, Sep, 2004. Piza, Italy.
Timeliness in COTS Factory-Floor Distributed Systems: What Role for Simulation? HURRAY-TR-0428 
Nuno Pereira, Luis Miguel Pinho, Eduardo Tovar5th IEEE Workshop on Factory Communication Systems (WFCS '04). 1, Sep, 2004, pp 13-21. Vienna, Austria.
Characterizing the Timing Behaviour of Power-Line Communications by Means of Simulation HURRAY-TR-0429 
Luis Miguel Marques, Filipe Pacheco, Luis Miguel Pinho3rd International Workshop on Real- Time Networks (RTN 2004). 30, Jun, 2004, pp 81-84. Catania, Italy.
Mechanisms for Reflection-based Monitoring of Real-Time Systems HURRAY-TR-0420 
Ricardo Barbosa, Luis Miguel PinhoWork in Progress Session, 16th Euromicro Conference on Real-Time Systems (ECRTS '04). 30, Jun, 2004, pp 21-24. Catania, Italy.
Ethernet-based Systems: Contributions to the Holistic Analysis HURRAY-TR-0418 
Nuno Pereira, Luis Miguel Pinho, Eduardo TovarWork in Progress Session, 16th Euromicro Conference on Real-time Systems (ECRTS '04). 30, Jun, 2004, pp 25-28. Catania, Italy.
Session Summary: The future of IRTAW HURRAY-TR-0313 
Luis Miguel Pinho, Tullio Vardanega12th International Real-Time Ada Workshop (IRTAW '03), ACM New York. 15, Sep, 2003, pp 96-96. Viana do Castelo, Portugal.Also in ACM Ada Letters, Volume XXIII, Number 4, Dec 2003, pp. 96.
Verifying, Validating and Monitoring the Open Ravenscar Real Time Kernel HURRAY-TR-0312 
Ricardo Maia, Francisco Moreira, Ricardo Barbosa, Diamantino Costa, Patricia Rodriguez, Kjeld Hjortnaes, Luis Miguel Pinho12th International Real-Time Ada Workshop (IRTAW '03), ACM New York. 15, Sep, 2003, pp 74-81. Viana do Castelo, Portugal.Also in ACM Ada Letters, Volume XXIII, Number 4, Dec 2003, pp. 74-81.
Bringing Industrial Multimedia to the Factory-Floor: What is at stake with RFieldbus HURRAY-TR-0311 
Filipe Pacheco, Mário Alves, Luis Miguel Pinho, Eduardo Tovar5th IFAC International Conference on Fieldbus Systems and their Applications (FET '03). 7, Jul, 2003, pp 131-138. Aveiro, Portugal.
Monitoring and Profiling Business and Mission Critical Real-Time Systems HURRAY-TR-0306 
Ricardo Barbosa, Ricardo Maia, Luis Miguel PinhoWork in Progress Session, 15th Euromicro Conference on Real-Time Systems (ECRTS 2003). 2, Jul, 2003, pp 41-44. Porto, Portugal.
Supporting Networked Control Systems: Assessment of the CAN Protocol Considering Periods of Network Inaccessibility HURRAY-TR-0304 
Luis Miguel Pinho, Francisco Vasques21st Brazilian Symposium on Computer Networks (SBRC 2003). 19, May, 2003, pp 633-648. Natal, Brasil.
Position Paper on Time and Event-triggered Communication Services in the Context of e-Manufacturing HURRAY-TR-0219 
Eduardo Tovar, Luis Miguel Pinho, Luís AlmeidaIEEE Workshop on Large Scale Real-Time and Embedded Systems (LARTES 2002). 5, Dec, 2002. Austin, U.S.A..Satellite Event to the RTSS 2002
Industrial Multimedia put into Practice HURRAY-TR-0218 
Filipe Pacheco, Nuno Pereira, Bertil Marques, Sandra Machado, Luis Miguel Marques, Luis Miguel Pinho, Eduardo Tovar7th CaberNet Radicals Workshop. 13, Oct, 2002. Bertinoro - Forlì, Italy.
Integration of TCP/IP and PROFIBUS Protocols HURRAY-TR-0216 
Nuno Pereira, Filipe Pacheco, Luis Miguel Pinho, Aggeliki Prayati, Efstratios Nikoloutsos, Athanassios Kalogeras, Elke Hintze, Heiko Adamczyk, Lutz RauchhauptWork in Progress Session, 4th IEEE International Workshop on Factory Communication Systems (WFCS'2002). 27, Aug, 2002. Vasteras, Sweden.
Transparent Environment for Replicated Ravenscar Applications HURRAY-TR-0204 
Luis Miguel Pinho, Francisco Vasques7th International Conference on Reliable Software Technologies (Ada-Europe 2002), Springer Berlin Heidelberg. 17, Jun, 2002, pp 297-308. Vienna, Austria.Lecture Notes in Computer Science, nº 2361.
Session Summary: Safety Improvements for Consideration HURRAY-TR-0207 
Luis Miguel Pinho, Juan Antonio de la Puente11th International Real-Time Ada Workshop (IRTAW '02), ACM New York. 9, Apr, 2002, pp 120-122. Mt. Tremblant - Quebec, Canada.
Using Ravenscar to Support Fault-Tolerant Real-Time Applications HURRAY-TR-0203 
Luis Miguel Pinho, Francisco Vasques11th International Real-Time Ada Workshop (IRTAW '02), ACM New York. 1, Apr, 2002, pp 47-52. Mt. Tremblant - Quebec, Canada.Also in ACM Ada Letters, Volume XXII, Number 4,Dec 2002, pp. 47-52.
Improved Fault-Tolerant Broadcasts in CAN HURRAY-TR-0127 
Luis Miguel Pinho, Francisco Vasques8th IEEE Conference on Emerging Technologies and Factory Automation (ETFA'01), IEEE. 15, Oct, 2001, 1, pp 305-313. Antibes - Juan les Pins, France.
Timing Analysis of Reliable Real-Time Communication in CAN Networks HURRAY-TR-0111 
Luis Miguel Pinho, Francisco Vasques13th Euromicro Conference on Real-Time Systems. 13, Jun, 2001, pp 103-114. Delft, Netherlands.
The DEAR-COTS Replication Framework HURRAY-TR-0113 
Luis Miguel Pinho, Francisco Vasques, Andy Wellings13th Euromicro Conference on Real-Time Systems. 13, Jun, 2001, Work-In-Progress Session, pp 17-20. Delft, Netherlands.
Atomic Multicast Protocols for Reliable CAN Communication HURRAY-TR-0112 
Luis Miguel Pinho, Francisco Vasques19th Brazilian Symposium on Computer Networks (SBRC 2001). 21, May, 2001, pp 194-209. Florianópolis, Brasil.
Reliable Communication in Distributed Computer-Controlled Systems HURRAY-TR-0114 
Luis Miguel Pinho, Francisco Vasques6th Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe'2001). 14, May, 2001, Lecture Notes in Computer Science, 2043, pp 136-147. Leuven, Belgium.
Merging Reliability and Timeliness Requirements in Distributed Computer-Controlled Systems HURRAY-TR-0105 
Luis Miguel Pinho, Francisco Vasques9th International Conference on Real-Time Systems (RTS 2001). 6, Mar, 2001, pp 79-92. Paris, France.
Distributed Computer-Controlled Systems: the DEAR-COTS approach HURRAY-TR-0021 
Paulo Veríssimo, António Casimiro, Luis Rodrigues, Luis Miguel Pinho, Eduardo Tovar, Francisco Vasques16th IFAC Workshop on Distributed Computer Control Systems (DCCS'2000), Pergamon. 29, Nov, 2000, pp 128-135. Sydney, Australia.
An Architecture for Reliable Distributed Computer-Controlled Systems HURRAY-TR-0012 
Luis Miguel Pinho, Francisco VasquesInternational Workshop on Distributed and Parallel Embedded Systems (DIPES 2000), Springer US. 18, Oct, 2000, 61, pp 43-52. Paderborn, Germany.Also published in "Architecture and Design of Distributed Embedded Systems", B. Kleinjohann (Ed.), Kluwer Academic Publishers, Boston, April 2001, ISBN 0-7923-7345-6, pp. 43-52.
Programming Atomic Multicasts in CAN HURRAY-TR-0014 
Luis Miguel Pinho, Francisco Vasques, Luis Lino Ferreira10th International Real-Time Ada Workshop (IRTAW '00), ACM New York. 1, Oct, 2000, pp 79-84. Avila, Spain.Also published in ACM Ada Letters, Vol XXI, N. 1, pp. 79-84, ACM Press, March 2001.
Session Summary: Distribution and Real-Time HURRAY-TR-0023 
Michael González Harbour, Luis Miguel Pinho10th International Real-Time Ada Workshop (IRTAW '00), ACM New York. 1, Oct, 2000, pp 14-16. Avila, Spain.Also published in ACM Ada Letters, Vol XXI, N. 1, pp. 79-84, ACM Press, March 2001.
Engineering Real-Time Applications with WorldFIP: analysis and tools HURRAY-TR-9912 
Eduardo Tovar, Francisco Vasques, Luis Miguel Pinho4th IFAC International Symposium on Intelligent Components and Instruments for Control Applications (SICICA'2000), Pergamon. 13, Sep, 2000, pp 297-302. Buenos Aires.
Integrating Inacessibility in Response Time Analysis of CAN Networks HURRAY-TR-0004 
Luis Miguel Pinho, Eduardo Tovar, Francisco Vasques3rd IEEE International Workshop on Factory Communication Systems (WFCS'2000), IEEE. 6, Sep, 2000, pp 77-84. Porto, Portugal.
Replica Management in Real-Time Ada Applications HURRAY-TR-9906 
Luis Miguel Pinho, Francisco Vasques9th International Real-Time Ada Workshop (IRTAW '99), ACM Ada Letters. 8, Mar, 1999, 19, 2, pp 21-27. Wakulla Springs Lodge, U.S.A..
To Ada or not To Ada: Adaing vs. Javaing in Real-Time Systems HURRAY-TR-9820 
Luis Miguel Pinho, Francisco VasquesIEEE Workshop on Programming Languages for Real-Time Industrial Applications (PLRTIA'98). 1, Dec, 1998, pp 37-42. Madrid, Spain.
Multi-µ: an Ada 95 Based Architecture for Fault Tolerance Support of Real-Time Systems HURRAY-TR-9812 
Luis Miguel Pinho, Francisco VasquesACM SIGAda Annual International Conference (SIGAda'98), ACM New York. 8, Nov, 1998, pp 52-60. Washington, U.S.A..Also published in Ada Letters, Vol. 18, No. 6, pp. 52-60, ACM Press, November/December 1998.
Conference or Workshop Posters/Demos
Multicore emulation-in-the-loop in the Khronosim project CISTER-TR-180112 
Luis Miguel PinhoDemo in 6th International workshop on the “Integration of mixed-criticality subsystems on multi-core and manycore processors” (MCS 2018). 23, Jan, 2018, Embedded parallel architectures for mixed-criticality. Manchester.MCS 2018 was held as part of the High Performance and Embedded Architecture and Compilation Conference (HiPEAC 2018), January 22-24, 2018.
Timing Analysis Solutions for Multicore Systems CISTER-TR-170601 
Luis Miguel PinhoDemo in EMC2 Open Day. 31, May to 1, Jun, 2017. Granada.
High-Performance Parallelisation of Real-Time Applications with the Upscale SDK CISTER-TR-170204 
Luis Miguel PinhoDemo in Design, Automation and Test in Europe (DATE 2017). 27 to 31, Mar, 2017, 6.8 HiPEAC: European Network on High Performance and Embedded Architecture and Compilation. Lausanne.
Using Quicktrace to collect runtime execution traces easily and automatically CISTER-TR-151208 
Vincent Nélis, Luis Miguel PinhoDemo in RTSS@Word Demo Session, IEEE Real-Time Systems Symposium (RTSS 2015). 1 to 4, Dec, 2015. U.S.A..
Scheduling Parallel Real-Time Tasks in Multiprocessor Platforms CISTER-TR-180410 
Cláudio Maia, Luis Miguel Nogueira, Luis Miguel PinhoPoster presented in Cyber-Physical Systems Week (CPS Week 2018). 10 to 13, Apr, 2018, CPS Student Forum Portugal. Porto, Portugal.
IoT for Energy-Efficiency: connecting a serious game with energy metering in the EnerGAware project CISTER-TR-170903 
Paulo Barbosa, António Barros, Luis Miguel Pinho
ABSTRACTPDFPDF Additional Files: PDFPoster
Poster presented in INForum Simpósio de Informática 2017 (INForum 2017). 12 to 13, Oct, 2017. Aveiro, Australia.
Platform for Smart Car to Car Content Delivery: Results of CISTER Research Centre within CarCoDe project CISTER-TR-150605 
Michele Albano, Tiago Cerqueira, Luis Lino Ferreira, Luis Miguel Pinho, Filipe PachecoPoster presented in Redes de Veiculos nas sociedades do futuro (RVSF 2015). 3, Jun, 2015. Castelo Branco, Portugal.
A Novel Runtime Monitoring Architecture CISTER-TR-150310 
Geoffrey Nelissen, David Pereira, Luis Miguel PinhoPoster presented in 28th GI/ITG International Conference on Architecture of Computing Systems (ARCS 2015). 25 to 28, Mar, 2015, Poster Session. Porto, Portugal.
Formal Contracts for Runtime Verification Support in the Ada Programming Language CISTER-TR-150412 
André Pedro, David Pereira, Luis Miguel Pinho, Jorge Sousa PintoPoster presented in The 28th GI/ITG International Conference on Architecture of Computing Systems (ARCS 2015). 24 to 26, Mar, 2015. Porto, Portugal.
Towards the Combination of Work-Stealing and Semi-Partitioned Scheduling for Parallel Tasks CISTER-TR-151103 
Cláudio Maia, Luis Miguel Nogueira, Patrick Meumeu Yomsi, Luis Miguel Pinho
ABSTRACTPDFPDF Additional Files: PDFPoster
Poster presented in Work in Progress Session, 28th GI/ITG International Conference on Architecture of Computing Systems (ARCS 2015). 24 to 26, Mar, 2015. Porto, Portugal.
Another look at the pWCET estimation problem CISTER-TR-151101 
Vincent Nélis, Patrick Meumeu Yomsi, Luis Miguel Pinho, Guillem BernatPoster presented in Work in Progress Session, IEEE Real-Time System Symposium, Work-in-progress session, 2014 (RTSS 2014). 2 to 5, Dec, 2014. Roma, Italy.
On Program Restructuring for Cluster-based Highly Parallel Embedded Architectures CISTER-TR-140908 
Luis Miguel Pinho, Ismael Marín Carrión, Luis Lino FerreiraPoster presented in INFORUM - Simpósio de Informática (INFORUM 2014). 4 to 5, Sep, 2014. Porto, Portugal.
Middlewares for Embedded Systems CISTER-TR-140609 
César Teixeira, Joel Gonçalves, Luis Lino Ferreira, Ricardo Garibay-Martínez, Michele Albano, Luis Miguel PinhoPoster presented in 8th IEEE International Symposium on Industrial Embedded Systems (SIES'13). 19 to 21, Jun, 2013. Porto, Portugal.
From Sensor Networks to Internet of Things: Wireless Sensor Networks as an Infrastructure Technology CISTER-TR-140611 
Vikram Gupta, Eduardo Tovar, Nuno Pereira, Filipe Pacheco, Luis Miguel Pinho, Raj RajkumarPoster presented in 8th IEEE International Symposium on Industrial Embedded Systems (SIES'13). 19 to 21, Jun, 2013. Porto, Portugal.
Parallelising Real-Time Software CISTER-TR-140606 
Cláudio Maia, Luis Miguel Nogueira, José Fonseca, Luis Miguel Pinho, António BarrosPoster presented in CISTER 1st Industrial Workshop on Real-Time and Embedded Systems (CiWork 2013). 18, Jun, 2013. Porto, Portugal.
Verification of Hard Real-Time Systems CISTER-TR-140608 
David Pereira, André Pedro, Luis Miguel PinhoPoster presented in CISTER 1st Industrial Workshop on Real-Time and Embedded Systems (CiWork 2013). 18, Jun, 2013. Porto, Portugal.
Towards Specification and Verification Frameworks for Concurrent Real-Time Systems CISTER-TR-130109 
David Pereira, André Pedro, Luis Miguel Pinho, Jorge Sousa PintoPoster presented in High Integrity Language Technology ACM SIGAda’s Annual International Conference (HILT 2012). 2 to 6, Dec, 2012. Boston, U.S.A..
Supporting Real-Time Parallel Task Models with Work-Stealing HURRAY-TR-120301 
Cláudio Maia, Luis Miguel Nogueira, Luis Miguel PinhoPoster presented in DATE'12 Fourth Friday Workshop on Designing for Embedded Parallel Computing Platforms: Architectures, Design Tools, and Applications (DEPCP 2012). 16, Mar, 2012. Dresden, Germany.
Parallel Real-time Support for Distributed Adaptive Embedded Applications HURRAY-TR-120101 
Ricardo Garibay-Martínez, Luis Lino Ferreira, Luis Miguel PinhoPoster presented in Design Tools and Architectures for Multi-Core Embedded Computing Platforms (PARMA-DITAM). 24, Jan, 2012. Paris, France.Workshop in conjunction with the 7th International Conference on High-Performance and Embedded Architectures and Compilers (HiPEAC 2012).
Technical Reports
Response time analysis of hard real-time tasks with STM transactions on multi-core platforms CISTER-TR-150501 
António Barros, Patrick Meumeu Yomsi, Luis Miguel Pinho1, May, 2015.
Technical Report: Holistic Analysis for Fork-Join Parallel Distributed Real-Time Tasks using the FTT-SE Protocol CISTER-TR-150102 
Ricardo Garibay-Martínez, Geoffrey Nelissen, Luis Lino Ferreira, Paulo Pedreiras, Luis Miguel Pinho12, Jan, 2015.
Experiences on the Implementation of a Cooperative Embedded System Framework HURRAY-TR-100605 
Cláudio Maia, Luis Miguel Nogueira, Luis Miguel Pinho29, Jun, 2010.
Towards a Flexible and Dynamic Replication Control for Distributed Real-Time Embedded Systems with QoS Interdependencies HURRAY-TR-100202 
Luis Miguel Nogueira, Luis Miguel Pinho, Jorge Coelho16, Feb, 2010.
The Capacity Exchange Protocol HURRAY-TR-071101 
Luis Miguel Nogueira, Luis Miguel Pinho19, Nov, 2007.
Run-time Monitoring Approach for the Shark Kernel HURRAY-TR-060104 
Filipe Valpereiro, Luis Miguel Pinho1, Jan, 2006.
Time-bounded Distributed QoS-Aware Service Configuration in Heterogeneous Cooperative Environments HURRAY-TR-060105 
Luis Miguel Nogueira, Luis Miguel Pinho1, Jan, 2006.
Capacity Sharing and Stealing in Server-based Real-Time Systems HURRAY-TR-051205 
Luis Miguel Nogueira, Luis Miguel Pinho1, Dec, 2005.
Reflective Monitoring using the POSIX Trace in MaRTEOS HURRAY-TR-050903 
Filipe Valpereiro, Luis Miguel Pinho1, Sep, 2005.
Implementation Model for the Monitoring Framework HURRAY-TR-050704 
Filipe Valpereiro, Luis Miguel Pinho1, Jul, 2005.
QoS-based Surrogates Selection and Service Proposal Formulation in Offloading Environments HURRAY-TR-050703 
Luis Miguel Nogueira, Luis Miguel Pinho1, Jul, 2005.
Run-time Monitoring in Real-Time Operating Systems HURRAY-TR-050501 
Filipe Valpereiro, Luis Miguel Pinho1, May, 2005.
Dynamic QoS-Aware Coalition Formation HURRAY-TR-0425 
Luis Miguel Nogueira, Luis Miguel Pinho1, Aug, 2004.
From Simulation to Statistical Analysis: Timeliness Assessment of Ethernet/IP-based Distributed Systems HURRAY-TR-0416 
Nuno Pereira, Luis Miguel Pinho, Eduardo Tovar1, Apr, 2004.
Monitoring of Real Time Systems: a case for Reflection? HURRAY-TR-0413 
Ricardo Barbosa, Luis Miguel Pinho1, Apr, 2004.
Timeliness in COTS Factory-Floor Distributed Systems: What Role for Simulation? HURRAY-TR-0409 
Nuno Pereira, Luis Miguel Pinho, Eduardo Tovar1, Mar, 2004.
Models of Ethernet/IP Devices HURRAY-TR-0314 
Nuno Pereira, Luis Miguel Pinho, Eduardo Tovar1, Dec, 2003.
Engineering Real-Time Distributed Applications with RFieldbus HURRAY-TR-0305 
Sandra Machado, Mário Alves, Luis Miguel Pinho, Eduardo Tovar1, May, 2003.
Manufacturing Automation Field Trial: October 2002 Report HURRAY-BTR-0206 
Filipe Pacheco, Luis Miguel Pinho1, Oct, 2002.
Implementation of the Manufacturing Automation Field Trial: Current Status HURRAY-BTR-0202 
Luis Miguel Pinho, Eduardo Tovar1, Jul, 2002.
Specification of the Manufacturing Automation Field Trial HURRAY-BTR-0131 
Veríssimo Brandão Lima, Filipe Pacheco, Mário Alves, Luis Miguel Pinho, Eduardo Tovar1, Dec, 2001.
Fault-Tolerant Real-Time Applications in the DEAR-COTS Architecture HURRAY-TR-0128 
Luis Miguel Pinho, Francisco Vasques1, May, 2001.
Reliable and Real-Time Communication in the DEAR-COTS Architecture HURRAY-TR-0025 
Luis Miguel Pinho, Francisco Vasques1, Dec, 2000.
A Toolkit for Reliable Communication in Distributed Computer-Controlled Systems HURRAY-TR-0022 
Luis Miguel Pinho, Francisco Vasques1, Oct, 2000.
The DEAR-COTS Hard Real-Time Subsystem HURRAY-TR-0003 
Luis Miguel Pinho, Francisco Vasques2nd Dear-Cots Workshop. 8, May, 2000. Lisbon, Portugal.
R-Fieldbus D1.1 Application Requirements Report HURRAY-TR-000420 
Filipe Pacheco, Mário Alves, Luis Miguel Pinho8, Apr, 2000.R-Fieldbus Deliverable.
Order of authors does not apply to this document. Not all authors are listed.

Real-Time and Dependability Requirements in R-Fieldbus HURRAY-TR-0010 
Mário Alves, Luis Miguel Pinho, Eduardo Tovar, Francisco Vasques1, Apr, 2000.
R-Fieldbus - Report on MDA (Simoldes) User Questionnaire HURRAY-BTR-0003 
Luis Miguel Pinho1, Mar, 2000.R-Fieldbus project internal technical report.
Comments on the R-Fieldbus User Requirements Questionnaire HURRAY-TR-0008 
Filipe Pacheco, Luis Lino Ferreira, Mário Alves, Luis Miguel Pinho, Eduardo Tovar, Francisco Vasques1, Mar, 2000.
IPP-HURRAY! A R&D Group in ISEP-IPP HURRAY-BTR-9901 
Luis Lino Ferreira, Mário Alves, Luis Miguel Pinho, Eduardo TovarISEP Workshop. 1, Sep, 1999. Porto, Portugal.
Replica Management in Real-Time Ada 95 Applications HURRAY-TR-9918 
Luis Miguel Pinho, Francisco Vasques1st DEAR-COTS Workshop. 1, Jun, 1999. Porto, Portugal.