You are here

Event Details

MP Associates, Inc.
MONDAY October 16, 3:30pm - 5:00pm | Crystal 3
EVENT TYPE: REGULAR SESSION
SESSION EM3C
EMSOFT: Cyber-Physical Systems
Chair:
Timothy Bourke - INRIA

3C.1Timestamp Temporal Logic (TTL) for Testing the Timing of Cyber-Physical Systems
 Speaker: Aviral Shrivastava - Arizona State Univ.
 Authors: Mohammadreza Mehrabian - Arizona State Univ.
Mohammad Khayatian - Arizona State Univ.
Aviral Shrivastava - Arizona State Univ.
John Eidson - Univ. of California, Berkeley
Patricia Derler - National Instruments
Hugo Andrade - National Instruments Corp.
Li-Baboud Ya-Shian - National Institute of Standards and Technology
Edward Griffor - National Institute of Standards and Technology
Marc Weiss - National Institute of Standards and Technology
Kevin Stanton - Intel Corp.
3C.2Testing Cyber-Physical Systems Through Bayesian Optimization
 Speaker: Marko Horvat - MPI-SWS
 Authors: Jyotirmoy Deshmukh - Toyota Technical Center
Marko Horvat - MPI-SWS
Xiaoqing Jin - Toyota Motor North America Research & Design
Rupak Majumdar - MPI-SWS
Vinayak Prabhu - MPI-SWS
3C.3Work In Progress : Testing Autonomous Cyber-Physical Systems using Fuzzing Features derived from Convolutional Neural Networks
 Speaker: Sunny Raj - Univ. of Central Florida
 Authors: Sunny Raj - Univ. of Central Florida
Sumit Kumar Jha - Univ. of Central Florida
Laura Pullum - Oak Ridge National Laboratory
Arvind Ramanathan - Oak Ridge National Laboratory
3C.4Work In Progress : Verifying Stability Guarantees of Control Software Implementations in the Presence of Sensor Level Faults
 Speaker: Saurav Kumar Ghosh - IIT Kharagpur
 Authors: Saurav Kumar Ghosh - IIT Kharagpur
Debasmita Lohar - IIT Kharagpur
Dibyendu Das - IIT Kharagpur
Dey Soumyajit - IIT Kharagpur
3C.5Work In Progress : SmartDTM: Smart Thermal Management for Smartphones
 Speaker: Wook Song - Samsung Electronics
 Authors: Wook Song - Samsung Electronics
Jihong Kim - Seoul National Univ.
3C.6Work In Progress : Modelling Probabilistic Timing Analysis
 Speaker: Bojan Nokovic - McMaster Univ.
 Authors: Bojan Nokovic - McMaster Univ.
Emil Sekerinski - McMaster Univ.