Rodin Workshop 2010

From Event-B
Revision as of 12:14, 16 November 2010 by imported>Stefan (→‎Wednesday 22nd September (Workshop Day 2))
Jump to navigationJump to search

Rodin User and Developer Workshop, University of Duesseldorf, 20-22 September 2010

Monday 20th September (Tutorial)

Tutorial "How to extend Rodin?" for developers (by Systerel).

The tutorial will be interactive, so please bring your laptop and keep your development environment up-to-date (Eclipse 3.6, Java 1.6, current Rodin source files).

  • 09h00 - 10h30
Creating a plug-in
Extending the database
Extending the structured editor
  • 10h30 - 11h00
Coffee break
  • 11h00 - 12h30
Extending the pretty print page
Providing help
Extending the Event-B explorer
  • 12h30 - 14h00
Lunch break
  • 14h00 - 15h30
Extending the static checker
Extending the proof obligation generator
  • 15h30 - 16h00
Coffee break
  • 16h00 - 17h00
Adding reasoners

Tuesday 21st September (Workshop Day 1)

Wednesday 22nd September (Workshop Day 2)

  • 09h00 - 09h30 Using automated theory formation to discover invariants of Event-B models, Maria Teresa Llano, Andrew Ireland, Alison Pease, Simon Colton, John Charnley
  • 09h30 - 10h00 Specifying and Solving Constraint Satisfaction Problems in B, Michael Leuschel and Daniel Plagge
  • 10h00 - 10h30 Fault Tolerance View in Event-B Development, Ilya Lopatkin, Alexei Iliasov, Alexander Romanovsky
  • 10h30 - 11h00 Coffee break
  • 11h00 - 11h30 Event-B models of P systems, Florentin Ipate, Turcanu Adrian
  • 11h30 - 11h45 Records, Vitaly Savicks, Colin Snook, Michael Butler
  • 11h45 - 12h00 Decomposition Tool: Development and Usage, Renato Silva, Carine Pascal, T.S. Hoang, and Michael Butler
  • 12h00 - 12h15 Sequence Refinement, Modularisation Plugin, Alexei Iliasov
  • 12h15 - 12h30 Modelling Views Paradigm Support for Rodin, Alexei Iliasov
  • 12h30 - 14h00 Lunch break and tool demos
  • 14h00 - 15h00 Invited Talk: Ensuring Consistency between Classifiers and Classes, Joe Kiniry
  • 15h00 - 15h30 A small experiment in Event-B rippling, Gudmund Grov, Alan Bundy & Lucas Dixon
  • 15h30 - 16h00 Coffee break
  • 16h00 - 16h30 Animation of UML-B State-machines, Vitaly Savicks, Colin Snook, Michael Butler
  • 16h30 - 17h00 Addressing Extensibility Issues in Rodin and Event-B, Issam Maamria and Michael Butler

Registration

Registration page