Publications

Found 7 results
Filters: First Letter Of Last Name is S  [Clear All Filters]
Conference Proceedings
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.
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.
Journal
L. Santinelli and Cucu-Grosjean, L., A probabilistic calculus for probabilistic real-time systems. ACM Transactions on Embedded Computing Systems, 2015.