Program
Technical 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