imported>WikiSysop |
|
Line 1: |
Line 1: |
− | ==4th Rodin User and Developer Workshop==
| |
| | | |
− | ''June 10-11, 2013''
| |
− |
| |
− | Turku, Finland
| |
− |
| |
− | http://wiki.event-b.org/index.php/Rodin_Workshop_2013
| |
− |
| |
− | The purpose of the Rodin workshop
| |
− | is to bring together existing and potential users and developers of the Rodin
| |
− | toolset and to foster a broader community of Rodin users and developers.
| |
− | For Rodin users the workshop will provide an opportunity to share tool
| |
− | experiences and to gain an understanding of on-going tool developments.
| |
− | For plug-in developers the workshop will provide an opportunity to
| |
− | showcase their tools and to achieve better coordination of tool
| |
− | development effort.
| |
− |
| |
− | Preceding Rodin User and Developer Workshops were held at the University of
| |
− | Southampton, the University of Düsseldorf and the University of Paris-Est Créteil.
| |
− | The fourth Rodin workshop will be collocated with the conference iFM 2013: http://www.it.abo.fi/iFM2013/
| |
− |
| |
− | ==Registration==
| |
− |
| |
− | Registration for the Rodin 2013 Workshop is open:
| |
− |
| |
− | http://www.it.abo.fi/iFM2013/rodin_registration.php
| |
− |
| |
− | ==Programme==
| |
− |
| |
− | ===Monday 10 June===
| |
− |
| |
− | '''14:00 - 15:30 Tutorials'''
| |
− |
| |
− | * Colin Snook: ''UML-B tutorial''
| |
− |
| |
− | * Jens Bendisposto, Joy Clark, Ivaylo Dobrikov, Philipp K ̈orner, Sebastian Krings, Lukas Ladenberger, Michael Leuschel and Daniel Plagge: ''ProB Tutorial''
| |
− |
| |
− | ===Tuesday 11 June===
| |
− |
| |
− | ====09:00 - 10:30 Session 1====
| |
− |
| |
− | *Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis: ''Supporting Formal Modelling in Event-B with Safety Cases''
| |
− |
| |
− | *Tsutomu Kobayashi, Fuyuki Ishikawa, and Shinichi Honiden: ''Systematic Planning of Refinement in Event-B''
| |
− |
| |
− | *Colin Snook, Michael Butler: ''iUML-B Diagram Developments''
| |
− |
| |
− | *Neil Evans, Neil Grant, Helen Marshall, James Sharp, Michael Butler, John Colley, Andy Edmunds, Colin Snook: ''The Co-Design Architecture (CODA) Methodology and Plug-in Tool, Progress Update''
| |
− |
| |
− | ====10:30 - 11:00 Break====
| |
− |
| |
− | ====11:00 - 12:30 Session 2====
| |
− |
| |
− | * Laurent Voisin and Minh-Thang Khuu: ''Domain Specific Event-B Modeling''
| |
− |
| |
− | * Ulyana Tikhonova, Maarten Manders, Mark van den Brand, Suzana Andova, and Tom Verhoeff: ''Event-B for Defining the Dynamic Semantics of a DSL''
| |
− |
| |
− | * Jens Bendisposto, Philipp Korner and Michael Leuschel: ''Parallel Model Checking of B Specifications''
| |
− |
| |
− | * Sebastian Krings, Jens Bendisposto, Ivaylo Dobrikov and Michael Leuschel: ''B Constrained''
| |
− |
| |
− | ====12:30 - 13:30 Lunch====
| |
− |
| |
− | ====13:30 - 14:30 Session 3====
| |
− |
| |
− | * Invited Talk
| |
− |
| |
− | ====14:30 - 15:15 Session 4====
| |
− |
| |
− | * Thai Son Hoang: ''Generic Instantiation and Tool Support''
| |
− |
| |
− | * Alexei Iliasov, Linas Laibinis, Elena Troubitsyna, Alexander Romanovsky: ''Support for Indexed Modules in Event-B''
| |
− |
| |
− | ====15:15 - 15:45 Break====
| |
− |
| |
− | ====15:45 - 17:15 Session 5====
| |
− |
| |
− | * Andy Edmunds: ''Developments in Code Generation Tools for Event-B''
| |
− |
| |
− | * Sergey Ostroumov , Leonidas Tsiopoulos , Juha Plosila , Kaisa Sere: ''Derivation of Structural VHDL from Component-Based Event-B Models''
| |
− |
| |
− | * Vitaly Savicks, Michael Butler, Jens Bendisposto, John Colley: ''Co-simulation of Event-B and Continuous Models in Rodin''
| |
− |
| |
− | * Adisak Intana, Michael R. Poppleton, and Geoff V. Merrett: ''Proof-based formal methods for WSN development with Simulation Approach''
| |
− |
| |
− |
| |
− | ==Organisers==
| |
− |
| |
− | Michael Butler, University of Southampton
| |
− |
| |
− | Stefan Hallerstede, Aarhus University
| |
− |
| |
− | Thierry Lecomte, ClearSy
| |
− |
| |
− | Michael Leuschel, University of Düsseldorf
| |
− |
| |
− | Alexander Romanovsky, Newcastle University
| |
− |
| |
− | Laurent Voisin, Systerel
| |
− |
| |
− | Marina Walden, Åbo Akademi University
| |