Probabilistically Analysable Real-Time Systems

Publications

Found 5 results

2013
Wartel, F., L. Kosmidis, C. Lo, B. Triquet, E. Quiñones, J. Abella, A. Gogonel, A. Baldovin, E. Mezzetti, L. Cucu, et al., "Measurement-Based Probabilistic Timing Analysis: Lessons from an Integrated-Modular Avionics Case Study", 8th IEEE International Symposium on Industrial Embedded Systems (SIES), Porto (Portugal), IEEE, 06/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.