Publications

Found 46 results
Filters: First Letter Of Last Name is C  [Clear All Filters]
Conference Paper
S. Milutinovic, Abella, J., Hardy, D., Quinones, E., Puaut, I., and Cazorla, F. J., Speeding up Static Probabilistic Timing Analysis, in ARCS, 2015.
L. Kosmidis, Vargas, R., Morales, D., Quinones, E., Abella, J., and Cazorla, F. J., TASA: Toolchain-Agnostic Software Randomisation for Safety-Critical Real-Time Systems, ICCAD 2016, 2016.
M. Slijepcevic, Kosmidis, L., Abella, J., Quiñones, E., and Cazorla, F. J., Time-Analysable Non-Partitioned Shared Caches for Real-Time Multicore Systems, in Proceedings 51st Design Automation Conference San Francisco DAC 2014 , California, 2014.
F. Wartel, Kosmidis, L., Gogonel, A., Baldovin, A., Stephenson, Z., Triquet, B., Quinones, E., Lo, C., Mezzetti, E., Broster, I., Abella, J., Cucu-Grosjean, L., Vardanega, T., and Cazorla, F. J., Timing Analysis of an Avionics Case Study on Complex Hardware/Software Platforms, in DATE, 2015.
F. Wartel, Kosmidis, L., Gogonel, A., Baldovin, A., Stephenson, Z., Triquet, B., Quinones, E., Lo, C., Mezzetti, E., Broster, I., Abella, J., Cucu-Grosjean, L., Vardanega, T., and Cazorla, F. J., Timing Analysis of an Avionics Case Study on Complex Hardware/Software Platforms, in DATE, 2015.
M. S. (BSC), (BSC), L. K., Abella, J., Quinones, E., and Cazorla, F., Timing Verification of Fault-Tolerant Chips for Safety-Critical Applications in Harsh Environments, in Special Issue on Harsh Chips, 2014.
C. Hernandez, Abella, J., Cazorla, F. J., Andersson, J., and Gianarro, A., Towards Making a LEON3 Multicore Compatible with Probabilistic Timing Analysis, DASIA 2015, 2015.
J. Abella, Hernandez, C., Quinones, E., Cazorla, F. J., Conmy, P. Ryan, Azkarate-askasua, M., Perez, J., Mezzetti, E., and Vardanega, T., WCET Analysis Methods: Pitfalls and Challenges on their Trustworthiness, SIES 2015, 2015.
J. Abella, Hernandez, C., Quinones, E., Cazorla, F. J., Conmy, P. Ryan, Azkarate-askasua, M., Perez, J., Mezzetti, E., and Vardanega, T., WCET Analysis Methods: Pitfalls and Challenges on their Trustworthiness, SIES 2015, 2015.
Journal
L. Santinelli and Cucu-Grosjean, L., A probabilistic calculus for probabilistic real-time systems. ACM Transactions on Embedded Computing Systems, 2015.
Workshops
I. Agirre, Azkarate-askasua, M., Larrucea, A., Perez, J., Vardanega, T., and Cazorla, F. J., Automotive Safety Concept Definition for Mixed-Criticality Integration on a COTS Multicore. SASSUR 2016, 2016.
G. Fernandez, Abella, J., Quinones, E., Rochange, C., Vardanega, T., and Cazorla, F. J., Contention in multicore hardware shared resources: Understanding of the state of the art. WCET 2014 workshop, 2014.
L. Kosmidis, Compagnin, D., Morales, D., Mezzetti, E., Quinones, E., Abella, J., Vardanega, T., and Cazorla, F. J., Measurement-Based Timing Analysis of the AURIX Caches. WCET 2016, 2016.
L. Kosmidis, Compagnin, D., Morales, D., Mezzetti, E., Quinones, E., Abella, J., Vardanega, T., and Cazorla, F. J., Measurement-Based Timing Analysis of the AURIX Caches. WCET 2016, 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.
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.
E. Mezzetti, Ziccardi, M., Vardanega, T., Abella, J., Quinones, E., and Cazorla, F. J., Randomized Caches Can Be Pretty Useful to Hard Real-Time Systems. Leibniz Transactions on Embedded Systems (LITES), 2015.
C. Maxim, Cucu-Grosjeans, L., and Triquet, B., Rare events and worst-case execution times. RTSOPS 2014, 2014.

Pages