09:00 -- 09:25 | Registration |
09:25 -- 09:30 | Welcome |
09.30 -- 10:10 | Invited talk by Marc Benveniste |
10:10 -- 10:30 | Stefan Hallerstede and Michael Leuschel Finding Deadlocks of Event-B Models by Constraint Solving |
10:30 -- 11.00 | Coffee |
11.00 -- 11.35 | Thai Son Hoang and Simon Hudon Developing Control Systems with Some Fragile Environment |
11:35 -- 12:10 | Renato Alexandre Silva Towards the Composition of Specifications in Event-B |
12:10 -- 12:45 | Steve Schneider, Helen Treharne and Heike Wehrheim Bounded Retransmission in Event-B || CSP: a Case Study |
13:00 -- 14:15 | Lunch |
14:15 -- 14:35 | Colin Snook Modelling Control Process and Control Mode with Synchronising Orthogonal State Machines |
14:35 -- 14:55 | Dipak L. Chaudhari and Om P. Damani Generating hierarchical state based representation from Event-B models |
14:55 -- 15:30 | Jean-Paul Bodeveix and Mamoun Filali Event B development of a synchronous AADL scheduler |
15:30 -- 16:00 | Coffee |
16:00 -- 16:20 | Chadha El Bassi, Inès Mouakher-Abdelmoula and Khaled Bsaies A formal approach and its tool supporting component adaptation |
16:20 -- 16:55 | Marc Frappier, Amel Mammar and Fama Diagne Proving Reachability in B using Substitution Refinement |
16:55 -- 17:00 | Close |