Eduardo Quinones Moreno

2018

• Safe Parallelism: Compiler Analysis Techniques for Ada and OpenMP

  Lecture Notes in Computer ScienceReliable Software Technologies – Ada-Europe 2018

  S. Royuela, X. Martorell, E. Quiñones, and L. Miguel Pinho

2017

• A Functional Safety OpenMP* for Critical Real-Time Embedded Systems

  Lecture Notes in Computer ScienceScaling OpenMP for Exascale Performance and Portability

  S. Royuela, A. Duran, M. A. Serrano, E. Quinones, and X. Martorell
• Adapting TDMA arbitration for measurement-based probabilistic timing analysis

  Microprocessors and Microsystems

  M. Panic, J. Abella, E. Quinones, C. Hernandez, T. Ungerer, and F. Cazorla
• An Analysis of Lazy and Eager Limited Preemption Approaches under DAG-Based Global Fixed Priority Scheduling

  2017 IEEE 20th International Symposium on Real-Time Distributed Computing (ISORC)2017 IEEE 20th International Symposium on Real-Time Distributed Computing (ISORC)

  M. A. Serrano, A. Melani, S. Kehr, M. Bertogna, and E. Quinones
• OpenMP Tasking Model for Ada: Safety and Correctness

  Lecture Notes in Computer ScienceReliable Software Technologies – Ada-Europe 2017

  S. Royuela, X. Martorell, E. Quinones, and L. Miguel Pinho
• Parcus: Energy-Aware and Robust Parallelization of AUTOSAR Legacy Applications

  2017 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)

  S. Kehr, E. Quinones, D. Langen, B. Böddeker, and G. Schafer
• Probabilistic timing analysis on time-randomized platforms for the space domain

  2017 Design, Automation & Test in Europe Conference & Exhibition (DATE)Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017

  M. Fernández, D. Morales, L. Kosmidis, A. Bardizbanyan, I. Broster, C. Hernandez, E. Quinones, J. Abella, F. Cazorla, P. Machado, and L. Fossati
• A static scheduling approach to enable safety-critical OpenMP applications

  A static scheduling approach to enable safety-critical OpenMP applications

  A. Melani, M. A. Serrano, M. Bertogna, I. Cerutti, E. Quinones, and G. Buttazzo

2016

• Fitting processor architectures for measurement-based probabilistic timing analysis

  Microprocessors and Microsystems

  L. Kosmidis, E. Quinones, J. Abella, T. Vardanega, C. Hernández, A. Gianarro, I. Broster, and F. Cazorla
• Computing Safe Contention Bounds for Multicore Resources with Round-Robin and FIFO Arbitration

  IEEE Transactions on Computers

  G. Fernandez, J. Jalle, J. Abella, E. Quinones, T. Vardanega, and F. Cazorla