Probabilistically Analysable Real-Time Systems

Publications

Found 7 results

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
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.
2012
2010
Maxim, D., L. Santinelli, and L. Cucu-Grosjean, "Improved sampling for statistical timing analysis of real-time systems", 4th Junior Researcher Workshop on Real-Time Computing (JRWRTC 2010) in conjunction with 18th International Conference on Real-Time and Network Systems (RTNS'2010), 11/2010.
Santinelli, L., and L. Cucu-Grosjean, "Toward Probabilistic Real-Time Calculus", 3rd Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2010), in conjunction with IEEE RTSS 2010, San Diego, 11/2010.