Publications
Found 27 results
"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.
"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.