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