Juan Maria Rivas

According to our database, Juan Maria Rivas authored at least 13 papers between 2010 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Supplementary material to Improving the teaching of real-world software practices by means of course integration.

Pablo Sánchez, Alejandro Pérez, Patricia López Martínez, Juan Maria Rivas, Julio Luis Medina Pasaje

Dataset, February, 2023

From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact).

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

Dagstuhl Artifacts Ser., 2023

From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper).

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

Proceedings of the 35th Euromicro Conference on Real-Time Systems, 2023

2019

A Survey of Timing Verification Techniques for Multi-Core Real-Time Systems.

Claire Maiza, Hamza Rihani, Juan Maria Rivas, Joël Goossens, Sebastian Altmeyer, Robert I. Davis

ACM Comput. Surv., 2019

Implementation of Memory Centric Scheduling for COTS Multi-Core Real-Time Systems.

Juan Maria Rivas, Joël Goossens, Xavier Poczekajlo, Antonio Paolillo

Proceedings of the 31st Euromicro Conference on Real-Time Systems, 2019

2017

Response-Time Analysis in Hierarchically-Scheduled Time-Partitioned Distributed Systems.

J. Carlos Palencia, Michael González Harbour, J. Javier Gutiérrez, Juan Maria Rivas

IEEE Trans. Parallel Distributed Syst., 2017

A supercomputing framework for the evaluation of real-time analysis and optimization techniques.

Juan Maria Rivas, J. Javier Gutiérrez, Michael González Harbour

J. Syst. Softw., 2017

2016

An Experience Integrating Response-Time Analysis and Optimization with an MDE Strategy.

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

Proceedings of the Software Technologies: Applications and Foundations, 2016

2015

Deadline Assignment in EDF Schedulers for Real-Time Distributed Systems.

Juan Maria Rivas, J. Javier Gutiérrez, J. Carlos Palencia, Michael González Harbour

IEEE Trans. Parallel Distributed Syst., 2015

2014

Gen4Mast: A tool for the evaluation of real-time techniques using a supercomputer.

Juan Maria Rivas, J. Javier Gutiérrez, Michael González Harbour

Proceedings of the REACTION 2014, 2014

2013

Fixed priorities or EDF for distributed real-time systems?

Juan Maria Rivas, J. Javier Gutiérrez, Michael González Harbour

SIGBED Rev., 2013

2011

Schedulability Analysis and Optimization of Heterogeneous EDF and FP Distributed Real-Time Systems.

Juan Maria Rivas, J. Javier Gutiérrez, J. Carlos Palencia, Michael González Harbour

Proceedings of the 23rd Euromicro Conference on Real-Time Systems, 2011

2010

Optimized Deadline Assignment and Schedulability Analysis for Distributed Real-Time Systems with Local EDF Scheduling.

Juan Maria Rivas, José Javier Gutiérrez García, José C. Palencia Gutiérrez, Michael González Harbour

Proceedings of the 2010 International Conference on Embedded Systems & Applications, 2010