Click here to download the Program in PDF

August 1st 2019
08.30-09:00 Registration
Session 1 – A tribute to Scott (Chair: E. Bartocci)
09:00-09:10 Opening Adress, Prof. Fotis Sotiropoulos, Dean of the College of Engineering and Applied Sciences, Stony Brook University
09:10-09:15 Greetings of Prof. Samir Das, Chair of Computer Science Department, Stony Brook University
09:15-09:30 Introduction and Greetings, Ezio Bartocci & Oleg Sokolsky
09:30-10:00 Early Career: Concurrency Theory and Reactive Systems, Rance Cleaveland
10:00-10:30 Late Career: Biological and Cyber-Physical Systems, Radu Grosu
10.30-11:00 Coffee Break
Session 2 – Analysis of Complex Biological Systems (Chair: E. Merelli)
11:00-11:30 Logic in the Time of Cancer: Causality and Clocks in Cancer, Bud Mishra
11:30-12:00 From automated MRI scan to finite elements, James Glimm, Hyunkyung Lim, Martin Bishop and Soojin Kim
12.30-14:00 Lunch Break
Session 3 – Program Analysis (Chair: R. Grosu)
14:00-14:30 A Refinement Proof for a Garbage Collector, Klaus Havelund and Natarajan Shankar
14:30-15:00 Invisible Invariants are Neither, Lenore Zuck and Kenneth Mcmillan
15:00-15:30 Towards Real-time Program Analysis based on Nested Timed Automata, Shoji Yuen, Guoqiang Li and Mizuhito Ogawa
15.30-16:00 Coffee Break
Session 4 – Synthesis of Models, Parameters and Benchmarks (Chair: S. Stoller)
16:00-16:30 Model Repair Revamped: On the Automated Synthesis of Markov Chains, Milan Ceska, Christian Dehnert, Nils Jansen, Sebastian Junges and Joost-Pieter Katoen
16:30-17:00 Generating Hard Benchmark Problems for Weak Bisimulation, Bernhard Steffen and Marc Jasper
17:00-17:30 Robustness of Neural Networks to Parameter Quantization, Abhishek Murthy, Himel Das and Ariful Islam
17:30-18:00 Parameter Synthesis for Probabilistic Hyperproperties, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour
19.30 Social Dinner
August 2nd 2019
Session 5 – Model-based Design (Chair: O. Sokolsky)
09:30-10:00 A logic-inspired approach to reconfigurable system modelling, Alessandro Maggi, Rocco De Nicola and Joseph Sifakis
10:00-10:30 Model-based energy characterization of IoT system design aspects, Alexios Lekidis and Panagiotis Katsaros
10.30-11:00 Coffee Break
Session 6 – Data-driven Design (Chair: R. Cleaveland)
11:00-11:30 Topological Interpretation of Interactive Computation, Emanuela Merelli and Anita Wasilewska
11:30-12:00 Conformal Predictions for Hybrid System State Classification, Luca Bortolussi, Francesca Cairoli, Nicola Paoletti and Scott D. Stoller
12:00-12:30 Control Synthesis through Deep Learning, Doron Peled, Simon Iosti, Saddek Bensalem
12.30-14:00 Lunch Break
Session 7 – Runtime Verification and Monitoring (Chair: A. M. Islam)
14:00-14:30 Runtime verification of parametric properties using SMEDL, Teng Zhang, Ramneet Kaur, Insup Lee and Oleg Sokolsky
14.30 Closing