Juan Maria Rivas

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 9

Top Topics

Deadlock Detection

Distributed Systems

Lessons Learned

Anytime Algorithms

Top Venues

IEEE Trans. Parallel Distributed Syst.

Publications

Juan Maria Rivas, J. Javier Gutiérrez, Ana Guasque, Patricia Balbastre
Gradient descent algorithm for the optimization of fixed priorities in real-time systems. J. Syst. Archit. 153 (2024)
Sebastian Altmeyer, Étienne André, Silvano Dal-Zilio, Loïc Fejoz, Michael González Harbour, Susanne Graf, J. Javier Gutiérrez, Rafik Henia, Didier Le Botlan, Giuseppe Lipari, Julio L. Medina, Nicolas Navet, Sophie Quinton, Juan Maria Rivas, Youcheng Sun
From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper). ECRTS (2023)
Sebastian Altmeyer, Étienne André, Silvano Dal-Zilio, Loïc Fejoz, Michael González Harbour, Susanne Graf, J. Javier Gutiérrez, Rafik Henia, Didier Le Botlan, Giuseppe Lipari, Julio L. Medina, Nicolas Navet, Sophie Quinton, Juan Maria Rivas, Youcheng Sun
From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact). Dagstuhl Artifacts Ser. 9 (1) (2023)
Claire Maiza, Hamza Rihani, Juan Maria Rivas, Joël Goossens, Sebastian Altmeyer, Robert I. Davis
A Survey of Timing Verification Techniques for Multi-Core Real-Time Systems. ACM Comput. Surv. 52 (3) (2019)
Juan Maria Rivas, Joël Goossens, Xavier Poczekajlo, Antonio Paolillo
Implementation of Memory Centric Scheduling for COTS Multi-Core Real-Time Systems. ECRTS (2019)
J. Carlos Palencia, Michael González Harbour, J. Javier Gutiérrez, Juan Maria Rivas
Response-Time Analysis in Hierarchically-Scheduled Time-Partitioned Distributed Systems. IEEE Trans. Parallel Distributed Syst. 28 (7) (2017)
Juan Maria Rivas, J. Javier Gutiérrez, Michael González Harbour
A supercomputing framework for the evaluation of real-time analysis and optimization techniques. J. Syst. Softw. 124 (2017)
Juan Maria Rivas, J. Javier Gutiérrez, Mario Aldea Rivas, César Cuevas, Michael González Harbour, José María Drake, Julio L. Medina, Laurent Rioux, Rafik Henia, Nicolas Sordon
An Experience Integrating Response-Time Analysis and Optimization with an MDE Strategy. STAF Workshops (2016)
Juan Maria Rivas, J. Javier Gutiérrez, J. Carlos Palencia, Michael González Harbour
Deadline Assignment in EDF Schedulers for Real-Time Distributed Systems. IEEE Trans. Parallel Distributed Syst. 26 (10) (2015)
Juan Maria Rivas, J. Javier Gutiérrez, Michael González Harbour
Gen4Mast: A tool for the evaluation of real-time techniques using a supercomputer. REACTION (2014)
Juan Maria Rivas, J. Javier Gutiérrez, Michael González Harbour
Fixed priorities or EDF for distributed real-time systems? SIGBED Rev. 10 (2) (2013)
Juan Maria Rivas, J. Javier Gutiérrez, J. Carlos Palencia, Michael González Harbour
Schedulability Analysis and Optimization of Heterogeneous EDF and FP Distributed Real-Time Systems. ECRTS (2011)
Juan Maria Rivas, José Javier Gutiérrez García, José C. Palencia Gutiérrez, Michael González Harbour
Optimized Deadline Assignment and Schedulability Analysis for Distributed Real-Time Systems with Local EDF Scheduling. ESA (2010)