Program
Monday 15th July 2013
12pm – 1.30pm: welcome lunch
1.30pm – 2.30pm: invited talk 1
2.30pm – 3.30pm: Round table 1 Opportunities of Singapore-French collaboration, with:
- Grégoire Follain, from the Institut Français (French Institute in Singapore) [slides]
- Daniel Racoceanu, Professor at UPMC, Senior Research Fellow at CNRS, Head of ipal
- Liu Shuang, a PhD student member of a Merlion project
3.30pm – 4pm: Coffee and tea break
4pm – 5.30pm: PhD session 1
- An Improved Construction of Petri Net Unfoldings [slides]
- Constructing Attractors of Nonlinear Dynamical Systems by State Space Decomposition
- Safety of unmanned aircraft systems facing multiple breakdowns
6.30pm: FSFMA workshop dinner
Tuesday 16th July 2013
9am – 10am: invited talk 2
10am – 10.30am: Coffee and tea break
10.30am – 12pm: Regular papers
- Analysis of Two-Layer Protocols: DCCP Simultaneous-Open and Hole-Punching Procedures
- Dynamic Clock Elimination in Parametric Timed Automata [slides]
- On the Determinism of Multi-core Processors
12pm – 1.30pm: lunch
1.30pm – 2.30pm: PhD session 2
- Illustrating the Mezzo programming language
- Improving System-Level Verification of SystemC Models with SPIN
2.30pm – 3.30pm: Round table 2 Formal methods and applications, with:
- Jin Song Dong, Associate Professor in NUS
- Yang Liu, Assistant Professor in NTU
- Laure Petrucci, Professor in Paris 13, Head of LIPN
- Roman Kervarc (presented by Ariane Piel, PhD student at LIPN and ONERA)
- Somsak Vanit-Anunchai, doctor in computer system engineering
3.30pm – 4pm: Coffee and tea break
4pm – 5pm: PhD session 3
- Modelling and Reasoning about Dynamic Networks as Concurrent Systems
- Formal Modelling and Verification of Pervasive Computing Systems
6pm: ICECCS workshops reception