Probabilistically Analysable Real-Time Systems

Publications

Found 27 results

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.
2009
Quiñones, E., E. Berger, G. Bernat, and F. J. Cazorla, "Using Randomized Caches in Probabilistic Real-Time Systems", ECRTS 2009: Proceedings of the 2009 21st Euromicro Conference on Real-Time Systems, Dublin, Ireland, July 1-3, 2009.