Programme

Wednesday, 26 September 2018

09:00-09:30 Opening session

09:30-10:30 Invited Lecture 1
· Parosh Aziz Abdulla. Replacing Store Buffers by Load Buffers in Total Store Ordering

10:30-11:00 Coffee Break

11:00-12:00 Session 1: Distributed Systems

· Rui Wang, Lars Kristensen and Volker Stolz. MBT/CPN: A Tool for Model-Based Software Testing of Distributed Systems Protocols using Coloured Petri Nets

·  Alireza Farhadi, Mohammad Izadi and Jafar Habibi. A Protocol for Constraint Automata Execution in a Synchronous Network of Processors

12:00-14:00 Lunch

14:00-15:30 Session 2: Model-Checking & State-Space Exploration

· Kamel Barkaoui, Hanifa Boucheneb and Zhiwu Li. Exploiting local persistency for reduced state space generation

·  Etienne Renault. Improving Parallel State-Space Exploration Using Genetic Algorithms

· Adrien Pommellet and Tayssir Touili. LTL Model-Checking for Communicating Concurrent Programs

15:30-16:00 Coffee Break

16:00-17:00 Session 3: Distributed Systems & Protocols

· Imen Ben Hafaiedh, Roua Ben Hamouda, Sabrine Boussema and Riadh Robbana. Performance Evaluation of Dynamic Load Balancing Protocols based on formal models in Cloud Environments

· Inna Vistbakka and Elena Troubitsyna. Modelling and Verification of Dynamic Role-Based Access Control

 

Thursday, 27 September 2018

09:30-10:30 Invited Lecture 2
·  Alexandra Silva. Automated Black-box verification of Networking Systems

10:30-11:00 Coffee Break

11:00-12:00 Session 4: Timed Systems and Service Contracts

·  Davide Basile, Maurice H. Ter Beek, Axel Legay and Louis-Marie Traonouez. Orchestration Synthesis for Real-time Service Contracts

· Lina Ye, Philippe Dague, Delphine Longuet, Laura Brandan Briones and Agnes Madalinski. How to be Sure a Faulty System Does not Always Appear Healthy?

12:00-14:00 Lunch

14:00-15:00 Session 5: In memoriam Oded Maler

15:00-15:30 Coffee Break

15:30-17:30 Session 6: Student Presentations & Posters

·  Zayneb Tayachi: Performability modeling of server virtualized systems subject to workload-dependent software aging

·  Rim El-Ballouli: Dynamic reconfiguration with BIP

·  GLANON Philippe: Temporal safety of interoperability in the smart manufacturing industry

·  Braham-Lotfi Mediouni: On statistical Model checking with SBIP 2.0

19:30 - Dinner

Friday, 28 September 2018

09:30-10:30 Invited Lecture 3
· Axel Legay. Fault injection, from software to hardware and reversed

10:30-11:00 Coffee Break

11:00-12:00 Session 7: Stochastic and Probabilistic Systems

·  Laura Carnevali, Alessandro Fantechi, Gloria Gori and Enrico Vicario. Analysis of a road/tramway intersection by the ORIS tool

· Redouane Bouchekir and Mohand Cherif Boukala. Toward Implicit Learning for the Compositional Verification of Markov Decision Processes

12:00 Closing Session and Lunch