Programme |
Tutorials (Oct. 3) | Day 1 (Oct. 4) | Day 2 (Oct. 5) | Day 3 (Oct. 6) | All days |
Conference, Day 1 (October 4, 2017) | |
08:00 - 09:00 | Registration |
09:00 - 10:00 | Invited Talk - Gerwin Klein From Trustworthy Kernels to Trustworthy Systems (Chair: Deepak D'Souza) |
10:00 - 10:30 | Tea/Coffee break |
Session I: Model Checking (Chair: Sanjiva Prasad) |
|
10:30 - 10:55 | Mohammad Torabi Dashti and David Basin Tests and Refutation |
10:55 - 11:20 | Kumar Madhukar, Peter Schrammel and Mandayam Srivas Compositional Safety Refutation Techniques |
11:20 - 11:45 | Elvio Gilberto Amparore, Marco Beccuti and Susanna Donatelli Gradient-based variable ordering of Decision Diagrams for systems with structural units |
11:45 - 12:05 | [Tool Paper] Sumanth Prabhu, Peter Schrammel, Mandayam Srivas, Michael Tautschnig and Anand Yeolekar Concurrent Program Verification With Invariant-guided Underapproximation |
12:05 - 13:35 | Lunch break |
Session II: Model Checking: Tools (Chair: Ravindra Metta) |
|
13:35 - 13:55 | [Tool Paper] Antonio Bruto Da Costa and Pallab Dasgupta ForFET: A Formal Feature Evaluation Tool for Hybrid Systems |
13:55 - 14:15 | [Tool Paper] Fabrizio Biondi, Yusuke Kawamoto, Axel Legay and Louis-Marie Traonouez HyLeak: Hybrid Analysis Tool for Information Leakage |
14:15 - 14:35 | [Tool Paper] Zuzana Baranová, Jiri Barnat, Katarína Kejstová, Tadeáš Kučera, Henrich Lauko, Jan Mrázek, Petr Ročkai and Vladimír Štill Model Checking of C and C++ with DIVINE 4 |
14:35 - 14:55 | [Tool Paper] Kunal Banerjee, Chittaranjan Mandal and Dipankar Sarkar An Equivalence Checking Framework for Array-Intensive Programs |
14:55 - 15:15 | [Tool Paper] Soumyadip Bandyopadhyay, Santonu Sarkar, Dipankar Sarkar and Chittaranjan Mandal SamaTulyata: An Efficient Path Based Equivalence Checking Tool |
15:15 - 15:45 | Tea/Coffee break |
Session III: Neural Networks (Chair: Susanna Donatelli) |
|
15:45 - 16:10 | Chih-Hong Cheng, Georg Nührenberg and Harald Ruess Maximum Resilience of Artificial Neural Networks |
16:10 - 16:35 | Rüdiger Ehlers Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks |