TIC: A Scalable Model Checking Based Approach to WCET Estimation (LCTES 2016) - LCTES 2016

Mon 13 - Tue 14 June 2016 Santa Barbara, California, United States

co-located with PLDI 2016

Who

Ravindra Metta, Martin Becker, Prasad Bokil, R. Venkatesh, Samarjit Chakraborty

Track

Time Zone

The program is currently displayed in (GMT-07:00) Tijuana, Baja California.

Use conference time zone: (GMT-07:00) Tijuana, Baja CaliforniaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

Tue 14 Jun 2016 11:00 - 11:30 at Sierra Madre North - Session 4: Worst-Case Analysis and Error Handling Chair(s): João M. P. Cardoso

Ravindra Metta

Tata Research Development and Design Centre

Martin Becker

TU Munich

Prasad Bokil

R. Venkatesh

Samarjit Chakraborty

Time Zone

The program is currently displayed in (GMT-07:00) Tijuana, Baja California.

Use conference time zone: (GMT-07:00) Tijuana, Baja CaliforniaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

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 Kuan-Hsun Chen , Björn Bönninghoff , Jian-Jia Chen , Peter Marwedel