Jorge Garrido

Publication Activity (10 Years)

Years Active: 2012-2020
Publications (10 Years): 6

Top Topics

Automatic Analysis

Digital Resources

Database Machines

Top Venues

J. Syst. Softw.

Publications

Shuai Zhao, Jorge Garrido, Ran Wei, Alan Burns, Andy J. Wellings, Juan Antonio de la Puente
A complete run-time overhead-aware schedulability analysis for MrsP under nested resources. J. Syst. Softw. 159 (2020)
Jorge Garrido, Juan Zamorano, Alejandro Alonso, Juan Antonio de la Puente
On the Effect of Protected Entry Servicing Policies on the Response Time of Ada Tasks. Ada-Europe (2018)
Shuai Zhao, Jorge Garrido, Alan Burns, Andy J. Wellings
New schedulability analysis for MrsP. RTCSA (2017)
Jorge Garrido, Juan Zamorano, Alejandro Alonso, Juan Antonio de la Puente
Evaluating MSRP and MrsP with the Multiprocessor Ravenscar Profile. Ada-Europe (2017)
Jorge Garrido, Shuai Zhao, Alan Burns, Andy J. Wellings
Supporting Nested Resources in MrsP. Ada-Europe (2017)
Juan Zamorano, Jorge Garrido
Schedulability Analysis of PWM Tasks for the UPMSat-2 ADCS. Ada-Europe (2015)
Jorge Garrido, Juan Zamorano, Juan Antonio de la Puente
Static analysis of WCET in a satellite software subsystem. WCET (2013)
Jorge Garrido, Daniel Brosnan, Juan Antonio de la Puente, Alejandro Alonso, Juan Zamorano
Analysis of WCET in an experimental satellite software development. WCET (2012)