Probabilistically Analysable Real-Time Systems

Publications

Found 5 results

2013
Kosmidis, L., L. Santinelli, M. Houston, L. Cucu, E. Quiñones, J. Abella, T. Vardanega, and F. J. Cazorla, Case Study IEEE Micro Supplimentary Material, , 11/2013. Abstract
Cazorla, F. J., E. Quiñones, T. Vardanega, L. Cucu, B. Triquet, G. Bernat, E. Berger, J. Abella, F. Wartel, M. Houston, et al., "PROARTIS: Probabilistically Analysable Real-Time Systems", ACM Transactions on Embedded Computing Systems - Special section on Probabilistic Embedded Computing, 05/2013.
Cazorla, F. J., E. Quiñones, T. Vardanega, L. Cucu, B. Triquet, G. Bernat, E. Berger, J. Abella, F. Wartel, M. Houston, et al., "PROARTIS: Probabilistically Analysable Real-Time Systems", ACM Transactions on Embedded Computing Systems - Special section on Probabilistic Embedded Computing, 05/2013. Abstract
2012
Cucu-Grosjean, L., L. Santinelli, M. Houston, C. Lo, T. Vardanega, L. Kosmidis, J. Abella, E. Mezzeti, E. Quinones, and F. J. Cazorla, "Measurement-Based Probabilistic Timing Analysis for Multi-path Programs", ECRTS 2012 24th Euromicro Conference on Real-Time System, Pisa (Italy), 07//2012. Abstract
Cazorla, F. J., E. Quinones, T. Vardanega, L. Cucu, B. Triquet, G. Bernat, E. Berger, J. Abella, F. Wartel, M. Houston, et al., "PROARTIS: Probabilistically Analysable Real-Time Systems", ACM Transactions on Embedded Computing Systems, 2012.