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