Program of LfSA

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