IEEE Real-Time Systems Symposium, RTSS 2015


Article Details
Title: Static Probabilistic Timing Analysis for Multi-path Programs
Article URLs:
Alternative Article URLs:
Authors: Benjamin Lesage
  • University of York York, UK
David Griffin
  • University of York York, UK
Sebastian Altmeyer
  • Université du Luxembourg Luxembourg, Luxembourg
Robert I. Davis
  • University of York, UK Inria Paris, France
Sharing: Unknown
Verification: Authors have not verified information
Artifact Evaluation Badge: none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key: conf/rtss/LesageGAD15
Author Comments:

Discuss this paper and its artifacts below