LCTES 2016
co-located with PLDI 2016

Tue 14 Jun

Displayed time zone: Tijuana, Baja California change

10:30 - 12:00
Session 4: Worst-Case Analysis and Error HandlingLCTES at Sierra Madre North
Chair(s): João M. P. Cardoso University of Porto, Portugal
10:30
30m
Talk
Symbolic Execution for Memory Consumption Analysis
LCTES
Duc-Hiep Chu National University of Singapore, Joxan Jaffar National University of Singapore, Rasool Maghareh
11:00
30m
Talk
TIC: A Scalable Model Checking Based Approach to WCET Estimation
LCTES
Ravindra Metta Tata Research Development and Design Centre, Martin Becker TU Munich, Prasad Bokil , R. Venkatesh , Samarjit Chakraborty
11:30
30m
Talk
Compensate or Ignore? Meeting control robustness requirements through adaptive Soft-Error Handling
LCTES