Write a Blog >>
VenueUniversity of California, Santa Barbara
Room nameESB 2001
Floor2
Room number2001
Additional informationThere is no additional information of this room available.
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Thu 13 Jul
Times are displayed in time zone: Tijuana, Baja California change

09:00 - 10:00: KeynoteTECPS at ESB 2001
Chair(s): Tingting YuUniversity of Kentucky
09:00 - 10:00
Talk
Keynote Talk: Test Metrics and Generation Strategies for Next-Generation CPS Software
TECPS
Michael WhalenUniversity of Minnesota
10:30 - 12:00: Session 1TECPS at ESB 2001
Chair(s): Alex GyoriUniversity of Illinois at Urbana-Champaign, USA
10:30 - 11:00
Talk
Invited Talk: Security by Compilation: An Automated Approach to Side-channel Resistance
TECPS
Chao WangUniversity of Southern California
11:00 - 11:30
Talk
Invited Talk: Detecting Bugs in Robotic Systems
TECPS
John-Paul OreUniversity of Nebraska-Lincoln, USA
11:30 - 12:00
Talk
Discovering Instructions for Robust Binary-Level Coverage Criteria
TECPS
Vaibhav SharmaUniversity of Minnesota, Taejoon ByunUniversity of Minnesota, Stephen McCamantUniversity of Minnesota, Sanjai RayadurgamUniversity of Minnesota, Mats HeimdahlUniversity of Minnesota
13:30 - 15:00: Session 2TECPS at ESB 2001
Chair(s): Kristen Walcott-Justice
13:30 - 14:00
Talk
Invited Talk: Symbolic Execution as a Flexible Tool for Binary Analysis
TECPS
Stephen McCamantUniversity of Minnesota
14:00 - 14:30
Talk
Invited Talk: Testing Evolving Embedded Systems
TECPS
Tingting YuUniversity of Kentucky
14:30 - 15:00
Talk
Towards Automated Composition of Heterogeneous Tests for Cyber-Physical Systems
TECPS
Alex GroceNorthern Arizona University, Paul FlikkemaNorthern Arizona University, Josie HolmesPennsylvania State University, USA
15:30 - 17:30: Session 3TECPS at ESB 2001
Chair(s): Stephen McCamantUniversity of Minnesota
15:30 - 16:00
Talk
Support for Security and Safety of Programmable IoT Systems
TECPS
Alex GyoriUniversity of Illinois at Urbana-Champaign, USA, Earlence FernandesUniversity of Michigan, Amir RahmatiUniversity of Michigan, Atul PrakashUniversity of Michigan, Darko MarinovUniversity of Illinois at Urbana-Champaign
16:00 - 16:30
Talk
Testing Uncertainty of Cyber-physical Systems in IoT Cloud Infrastructures – Combining Model-Driven Engineering and Elastic Execution
TECPS
Hong-Linh TruongTU Wien, Luca BerardinelliJohannes Kepler University Linz
16:30 - 17:00
Talk
Fault Injection in the Internet of Things Applications
TECPS
Amin AlipourUniversity of Houston

Thu 13 Jul
Times are displayed in time zone: Tijuana, Baja California change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
ESB 2001