Publications

Found 12 results
Filters: First Letter Of Last Name is D  [Clear All Filters]
2016
E. Diaz, Abella, J., Mezzetti, E., Agirre, I., Azkarate-askasua, M., Vardanega, T., and Cazorla, F. J., “Mitigating the Instrumentation Overhead of Measurement-Based Timing Analysis”. WCET 2016, 2016.
2015
I. Bate, Burns, A., and Davis, R. I., “A Bailout Protocol for Mixed Criticality Systems”, ECRTS 2015, 2015.
J. Abella, del Castillo, J., Cazorla, F. J., and Padilla, M., “Extreme value theory in computer sciences: The case of embedded safety-critical systems”. 6th International Conference on Risk Analysis (ICRA), 2015.
B. Lesage, Griffin, D., Bate, I., Soboczenski, F., and Davis, R. I., “A Framework For The Evaluation Of Measurement-based Timing Analyses”. In proceedings 23rd International Conference on Real-Time Networks and Systems (RTNS 2015), pp. 35-44, 2015.
D. Griffin, Lesage, B., Bate, I., Soboczenski, F., and Davis, R. I., “Modelling Fault Dependencies when Execution Time Budgets are Exceeded”. In proceedings 23rd International Conference on Real-Time Networks and Systems (RTNS 2015), pp. 129-138, 2015.
B. Lesage, Griffin, D., Altmeyer, S., and Davis, R. I., “Static Probabilistic Timing Analysis for Multi-path Programs”. In proceedings 36th Real-Time Systems Symposium (RTSS 2015), 2015.
S. Altmeyer, Cucu-Grosjean, L., and Davis, R., “Static probabilistic timing analysis for real-time systems using random replacement caches”, Real-Time Systems, vol. 51, pp. 77-123, 2015.
2014
B. Lesage, Griffin, D., Davis, R., and Altmeyer, S., “On the application of Static Probabilistic Timing Analysis to Memory Hierarchies”. RTSOPS 2014, 2014.
S. Altmeyer and Davis, R., “On the Correctness, Optimality and Precision of Static Probabilistic Timing Analysis”, in Proceedings Design, Automation and Test in Europe, Dresden, 2014.
D. Griffin, Lesage, B., Burns, A., and Davis, R. I., “Lossy Compression for Worst-Case Execution Time Analysis of PLRU Caches”, Real-Time Networks and Systems (RTNS). 2014.
S. Altmeyer, Cucu-Grosjean, L., Davis, R. I., and Lesage, B., “Progress on static probabilistic timing analysis for systems with random cache replacement policies”. RTSOPS 2014, 2014.
D. Griffin, Lesage, B., Burns, A., and Davis, R. I., “Static Probabilistic Timing Analysis of Random Replacement Caches using Lossy Compression”, Real-Time Networks and Systems (RTNS). 2014.