Rodin Workshop 2013: Difference between revisions
imported>WikiSysop |
imported>Jens |
||
| (10 intermediate revisions by one other user not shown) | |||
| Line 18: | Line 18: | ||
Preceding Rodin User and Developer Workshops were held at the University of | 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. | Southampton, the University of Düsseldorf and the University of Paris-Est Créteil. | ||
The fourth Rodin workshop will be collocated with the | The fourth Rodin workshop will be collocated with the [http://www.it.abo.fi/iFM2013/ iFM 2013 conference]. | ||
The [http://tucs.fi/publications/view/?pub_id=pBuHaWa13a Proceedings of the 2013 Rodin Workshop are available as a TUCS Report here.] | |||
The Rodin Workshop is supported by the [http://www.advance-ict.eu FP7 ADVANCE Project [[image:Logo_web.png|128px]] ] and by [http://www.abo.fi Åbo Akademi University]. | |||
==Registration== | ==Registration== | ||
| Line 36: | Line 42: | ||
'''14:45 - 15:15''' Coffee | '''14:45 - 15:15''' Coffee | ||
'''15:15 - 17:00''' Jens Bendisposto | '''15:15 - 17:00''' Jens Bendisposto, Sebastian Krings: [http://www.stups.uni-duesseldorf.de/ProB/index.php5/Tutorial13 ''ProB Tutorial''] | ||
===Tuesday 11 June - Presentations=== | ===Tuesday 11 June - Presentations=== | ||
| Line 50: | Line 56: | ||
*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'' | *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 | '''10:30 - 11:00 Coffee''' | ||
'''11:00 - 12:30 Session 2''' | '''11:00 - 12:30 Session 2''' | ||
| Line 66: | Line 72: | ||
'''13:30 - 14:30 Session 3''' | '''13:30 - 14:30 Session 3''' | ||
* Invited Talk | * '''Invited Talk''' - Luigia Petre, Elena Troubitsyna and Marina Waldén: ''On Kaisa Sere's Contributions to Refinement Research'' | ||
'''14:30 - 15:15 Session 4''' | '''14:30 - 15:15 Session 4''' | ||
| Line 74: | Line 80: | ||
* Alexei Iliasov, Linas Laibinis, Elena Troubitsyna, Alexander Romanovsky: ''Support for Indexed Modules in Event-B'' | * Alexei Iliasov, Linas Laibinis, Elena Troubitsyna, Alexander Romanovsky: ''Support for Indexed Modules in Event-B'' | ||
'''15:15 - 15:45 | '''15:15 - 15:45 Coffee''' | ||
'''15:45 - 17:15 Session 5''' | '''15:45 - 17:15 Session 5''' | ||
Latest revision as of 13:15, 13 June 2013
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 iFM 2013 conference.
The Proceedings of the 2013 Rodin Workshop are available as a TUCS Report here.
The Rodin Workshop is supported by the FP7 ADVANCE Project 
and by Åbo Akademi University.
Registration
Registration for the Rodin 2013 Workshop is open:
http://www.it.abo.fi/iFM2013/rodin_registration.php
Programme
Monday 10 June - Tutorials
12:30 - 13:00 Registration and coffee
13:00 - 14:45 Colin Snook: UML-B tutorial
14:45 - 15:15 Coffee
15:15 - 17:00 Jens Bendisposto, Sebastian Krings: ProB Tutorial
Tuesday 11 June - Presentations
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 Coffee
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 - Luigia Petre, Elena Troubitsyna and Marina Waldén: On Kaisa Sere's Contributions to Refinement Research
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 Coffee
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
