Doctoral Symposium
Chairs: Christine Choppy, David Delayahe and Kaïs Klaï
Monday, August 27th
09:00 - 10:30: Invited talk by Francesco Flammini: Model-Based Approaches for Railway Safety, Reliability and Security
10:30: Coffee break
11:00 - 11:30: Andrius Velykis. Inferring the Proof Process
11:30 - 12:00: Marion Guthmuller. State equality detection for implementation-level model-checking of distributed applications
12:00 - 12:30: Manel Tekaya, Mohamed Taha Bennani and Refka Fouzai. Fomal syntaxic and semantic models verification in the aspect oriented design
12:30: Lunch
14:00 - 14:30: Miloud Bennama and Thouraya Bouabana Tebibel. An analysis system for UML2 Interaction Overview Diagrams
14:30 - 15:00: Patrice Carle, Christine Choppy, Romain Kervarc and Ariane Piel. Handling Breakdowns in Unmanned Aircraft Systems
15:00 - 15:30: Nouha Abid and Silvano Dal Zilio. A Verified Approach to Checking Real-Time Patterns on Fiacre Programs
15:30: Coffee break
16:00: Closing session