Program

Technical Program

April 15, 2019

9:00 Welcome and Opening

Akshay Rajhans, Program Chair

9:00 - 10:00 Theory

  • 9:00-9:20 Monitoring First-Order Properties of Real-Valued Signals. Alexey Bakhirkin, Thomas Ferrère, Thomas A Henzinger and Dejan Nickovic. [Abstract]
  • 9:20-9:40 Distributed planning of Multi-rotor drone fleets using the Smooth Robustness of Signal Temporal Logic. Yash Vardhan Pant, Houssam Abbas and Rahul Mangharam. [Abstract]
  • 9:40-10:00 Online Parametric Timed Pattern Matching with Automata-Based Skipping. Masaki Waga and Étienne André. [Abstract]

10:00 - 10:30 Coffee

10:30 - 11:30 Statistics and Machine Learning

  • 10:30-10:50 Evaluating Sampling Techniques for Testing Cyber-Physical Systems with Machine Learning. Edward Kim, Shromona Ghosh, Tommaso Dreossi, Daniel Fremont, Sanjit Seshia and Alberto Sangiovanni-Vincentelli. [Abstract]
  • 10:50-11:10 Hybrid System Falsification Using Monte Carlo Tree Search. Zhenya Zhang, Gidon Ernst, Sean Sedwards, Paolo Arcaini and Ichiro Hasuo. [Abstract]
  • 11:10-11:30 Using the Kolmogorov-Smirnov statistic for evaluating test generation quality. Benoit Barbot, Nicolas Basset, Thao Dang and Ouri Maler. [Abstract]

11:30 - 12:00 Work-in-Progress Lightning Round

  • 11:30-11:40 A Dynamic Random Way to Test Path Planning Algorithms. Xiao-Yi Zhang and Chao Huang. [Abstract]
  • 11:40-11:50 Simulation-Based Test and Validation of Medical Cyber-Physical Systems for Critical and Perioperative Care. Farooq Gessa, Philip Asare, Dikendra Karki, Aaron Bray, Rachel Clipp and Mark Poler. [Abstract]
  • 11:50-12:00 Towards testing self-adaptive software for cyber-physical systems. Claudio Mandrioli and Martina Maggio. [Abstract]

12:00 - 13:30 Lunch

13:30 - 14:00 Oded Maler Memorial

Dejan Nickovic

14:00 - 15:00 Tools

  • 14:00-14:20 Monitor Specification and Verified Runtime Monitoring of Component Models in Differential Dynamic Logic. Stefan Mitsch. [Abstract]
  • 14:20-14:40 Real-time Stream Monitoring with StreamLab. Peter Faymonville, Bernd Finkbeiner, Malte Schledjewski, Maximilian Schwenger, Leander Tentrup and Hazem Torfah. [Abstract]
  • 14:40-15:00 Specification and Assessment of Temporal Requirements using Simulink Test. Jean-Francois Kempf, Khoo Yit Phang and Akshay Rajhans. [Abstract]

15:00 - 15:30 Coffee

15:30 - 16:30 Applications

  • 15:30-15:50 Rapidly-exploring Random Trees for Testing Automated Driving Systems. Cumhur Erkan Tuncali and Georgios Fainekos. [Abstract]
  • 15:50-16:10 A Fractional-Order MPC Framework for Electrical Neurostimulation in Epilepsy. Orlando Romero and Sergio Pequito. [Abstract]
  • 16:10-16:30 A Digital Twin Approach to Online Monitoring in Industrial Internet of Things Applications. Akshay Rajhans and Dan Lluch. [Abstract]

16:30 - 17:00 Discussion and Wrap Up

Akshay Rajhans, Program Chair