Monday, 5 Sep 2016

09:15am - 09:30am

Registration

09:30am - 10:30am

Tutorial on PAT I
Jin Song Dong, National University of Singapore

Yang Liu, Nanyang Technological University

Jun Sun, Singapore University of Technology and Design

10:30am - 11:00am

--- Coffee Break ---

11:00am - 12:00nn

Tutorial on PAT II
Jin Song Dong, National University of Singapore

Yang Liu, Nanyang Technological University

Jun Sun, Singapore University of Technology and Design

12:00nn - 02:00pm

--- Lunch Break ---

02:00pm - 03:00pm

Automatic compositional verification: modern apporaches
Shang-Wei Lin, Nanyang Technological University

03:00pm - 03:30pm

--- Coffee Break ---

03:30pm - 04:30pm

Verifying temporal properties via dynamic program execution (PDF)
Zhenhua Duan, Xi Dian University, China

04:30pm - 05:00pm

Expected run-times of probabilistic programs
Benjamin Kaminski, RWTH Aachen University, Germany

Tuesday, 6 Sep 2016

09:15am - 09:30am

Registration

09:30am - 10:30am

Tutorial on PRISM I (PDF)
Marta Kwiatkowska, University of Oxford, UK

10:30am - 11:00am

--- Coffee Break ---

11:00am - 12:00nn

Tutorial on PRISM II (PDF)
Marta Kwiatkowska, University of Oxford, UK

12:00nn - 02:00pm

--- Lunch Break ---

02:00pm - 03:00pm

Scalable parameter synthesis in Markov models (PDF)
Joost-Pieter Katoen, RWTH Aachen University, Germany

03:00pm - 03:30pm

--- Coffee Break ---

03:30pm - 04:30pm

Asymptotic analysis in probabilistic model checking
Guoxin Su, National University of Singapore

04:30pm - 05:00pm

Dealing with uncertainty in the verification of MDPs
Yamilet Rosario Serrano Llerena, National University of Singapore

Wednesday, 7 Sep 2016

09:15am - 09:30am

Registration

09:30am - 10:30am

Tutorial on program refinement and information flow security I
Annabelle McIver, Macquarie University, Australia

10:30am - 11:00am

--- Coffee Break ---

11:00am - 12:00nn

Tutorial on program refinement and information flow security II
Annabelle McIver, Macquarie University, Australia

12:00nn - 02:00pm

--- Lunch Break ---

Excursion (Volunteer and self-paid)

Thursday, 8 Sep 2016

09:15am - 09:30am

Registration

09:30am - 10:30am

Tutorial on the probabilistic model checking landscape I (PDF)
Joost-Pieter Katoen, RWTH Aachen University, Germany

10:30am - 11:00am

--- Group Photo & Coffee Break ---

11:00am - 12:00nn

Tutorial on the probabilistic model checking landscape II (PDF)
Joost-Pieter Katoen, RWTH Aachen University, Germany

12:00nn - 02:00pm

--- Lunch Break ---

02:00pm - 03:00pm

Rare events for statistical model checking (PDF)
Cyrille Jegourel, National University of Singapore

03:00pm - 03:30pm

--- Coffee Break ---

03:30pm - 04:30pm

Quantitative two-player games (PDF)
Jean-Francois Raskin, Université Libre de Bruxelles, Belgium

04:30pm - 05:00pm

Verification of Nash-equilibrium for probabilistic BAR systems (PDF)
Mahamarakkalage Dileepa Yasas Fernando, National University of Singapore

Friday, 9 Sep 2016

09:15am - 09:30am

Registration

09:30am - 10:30am

Formal verification of stochastic hybrid systems
Naijun Zhan, Chinese Academy of Sciences, China

10:30am - 11:00am

--- Coffee Break ---

11:00am - 11:30am

Distribution types: a type-theoretic approach to almost sure termination (PDF)
Charles Grellois, University Paris 7, France

11:30am - 12:00nn

Probabilistic extension of higher-order model-checking (PDF)
Charles Grellois, University Paris 7, France

12:00nn - 02:00pm

--- Lunch Break ---

02:00pm - 03:00pm

Less is more: estimating probabilistic rewards over partial system explorations
Sebastián Uchitel, Imperial College London, UK and Universidad de Buenos Aires, Argentina

03:00pm - 03:30pm

--- Coffee Break ---

03:30pm - 05:00pm

Closing Discussion