Thursday, July 15th
Thursday's program is also available with abstracts and side by side with other events.
09:00‑10:00 Invited Talk
Location: AT 2.12
| 09:00 | Thomas A. Henzinger (IST Austria) The Quantitative Agenda in System Analysis |
10:30‑12:30 Session 1
Location: AT 2.12
| 10:30 | Christian Engel and Peter Schmitt A Formalization of the RTSJ Scoped Memory Model in Dynamic Logic |
| 11:00 | Alessandro Cimatti, Marco Roveri and Stefano Tonetta Requirements Validation for Hybrid Systems |
| 11:30 | Hongyang Qu, Marta Kwiatkowska, Gethin Norman and David Parker Assume-Guarantee Verification for Probabilistic Systems |
| 12:00 | Will Harwood, John Clark and Jeremy Jacob Boolean Coherence: Does it make sense? |
14:00‑15:00 Invited Talk
Location: AT 2.12
| 14:00 | César A. Muñoz (NASA Langley) A Mathematical Framework for the Verification of Air Traffic Separation Assurance Systems |
15:30‑17:15 Session 2
Location: AT 2.12
| 15:30 | Yun Zhu, Edwin Westbrook, Jun Inoue, Alexandre Chapoutot, Cherif Salama, Marisa Peralta, Travis Martin, walid taha, Marcia O'Malley, Robert Cartwright, Aaron Ames and Raktim Bhattacharya Mathematical Equations as Executable Models of Mechanical Systems |
| 16:00 | Stefan Ratschan Interval Constraint Propagation as a Tool for Deductions about Mixed Discrete/Continuous Systems |
| 16:30 | Grant Olney Passmore and Paul B. Jackson Introductory Tutorial: Combined Decision Techniques for the Existential Theory of the Reals |
| 16:45 | Florent Kirchner and Grant Olney Passmore Thinking Outside the (Arithmetic) Box: Certifying RAHD Computations |