Publications

Found 7 results
Filters: First Letter Of Last Name is S  [Clear All Filters]
Journal
L. Santinelli and Cucu-Grosjean, L., A probabilistic calculus for probabilistic real-time systems. ACM Transactions on Embedded Computing Systems, 2015.
Conference Proceedings
D. Griffin, Lesage, B., Bate, I., Soboczenski, F., and Davis, R. I., Modelling Fault Dependencies when Execution Time Budgets are Exceeded. In proceedings 23rd International Conference on Real-Time Networks and Systems (RTNS 2015), pp. 129-138, 2015.
B. Lesage, Griffin, D., Bate, I., Soboczenski, F., and Davis, R. I., A Framework For The Evaluation Of Measurement-based Timing Analyses. In proceedings 23rd International Conference on Real-Time Networks and Systems (RTNS 2015), pp. 35-44, 2015.