Publications
,
,
“Containing Timing-Related Certification Cost in Automotive Systems Deploying Complex Hardware”, in Proceedings 51st Design Automation Conference (DAC), California, 2014.
, “Heart of Gold: Making the Improbable Happen to Extend Coverage in Probabilistic Timing Analysis”, in Proceedings 26th Euromicro Conference on Real-Time Systems (ECRTS14), 2014.
, “PUB: Path Upper-Bounding for Measurement-Based Probabilistic Timing Analysis”, in Proceedings 26th Euromicro Conference on Real-Time Systems (ECRTS14), 2014.
,