LCTES 2016
co-located with PLDI 2016

Tue 14 Jun
Times are displayed in 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. CardosoUniversity of Porto, Portugal
10:30 - 11:00
Talk
Symbolic Execution for Memory Consumption Analysis
LCTES
Duc-Hiep ChuNational University of Singapore, Joxan JaffarNational University of Singapore, Rasool Maghareh
11:00 - 11:30
Talk
TIC: A Scalable Model Checking Based Approach to WCET Estimation
LCTES
Ravindra MettaTata Research Development and Design Centre, Martin BeckerTU Munich, Prasad Bokil, R. Venkatesh, Samarjit Chakraborty
11:30 - 12:00
Talk
Compensate or Ignore? Meeting control robustness requirements through adaptive Soft-Error Handling
LCTES