File list

From Event-B
Jump to: navigation, search

This special page shows all uploaded files.

File list
 
First pagePrevious pageNext pageLast page
Date Name Thumbnail Size Description Versions
14:41, 13 November 2018 CamilleX.png (file)
Error creating thumbnail: Unable to save thumbnail to destination
1 KB Logo 1
14:24, 4 July 2016 Using Rodin and BMotionStudio for Public Engagement-slides.pdf (file) 42 KB Temporary removed for now 2
17:57, 30 May 2016 Translating SCXML Statecharts to-iUML-B State-machines-slides.pdf (file) 743 KB Translating SCXML Statecharts to iUML-B State-machines (slides) 1
17:27, 30 May 2016 Extending Code Generation to Support Platform-Independent Event-B Models-slides.pdf (file) 1.27 MB Extending Code Generation to Support Platform-Independent Event-B Models (slides) 1
10:58, 29 May 2016 Event-B Specification Templates for Defining Domain Specific Languages-slides.pdf (file) 891 KB Event-B Specification Templates for Defining Domain Specific Languages (slides) 1
07:59, 25 May 2016 Rodin in the Field of Railway System Engineering.pdf (file) 2.42 MB Rodin in the field of railway system engineering (slides) 1
07:57, 25 May 2016 Building Event-B Interlocking Theories- Lessons Learned using the Theory Plug-in.pdf (file) 6.59 MB Building Event-B Interlocking Theories: Lessons Learned using the Theory Plug-in (slides) 1
07:56, 25 May 2016 SliceAndMerge- A Rodin Plug-in for Refactoring Refinement Structure of Event-B Machines-slides.pdf (file) 3.34 MB   2
07:54, 25 May 2016 A Rodin Plug-in for Constructing Reusable Schematic Lemmas.pdf (file) 407 KB A Rodin plug-in for constructing reusable schematic lemmas (slides) 1
14:13, 23 May 2016 Meta-Predicates for Rodin-slides.pdf (file) 757 KB Meta-Predicates for Rodin (slides) 1
14:09, 23 May 2016 Theory Plug-in for Rodin 3.x-slides.pdf (file) 146 KB Theory plug-in for Rodin 3.x (slides) 1
14:08, 23 May 2016 Towards Modular Development in Event-B slides.pdf (file) 197 KB   2
14:07, 23 May 2016 Crossed-Project Reference for Managing Model Variations-slides.pdf (file) 224 KB   2
15:50, 20 May 2016 Translating SCXML Statecharts to iUML-B State-machines.pdf (file) 216 KB Translating SCXML Statecharts to iUML-B State-machines (Karla Morris and Colin Snook) 1
15:49, 20 May 2016 Using Rodin and BMotionStudio for Public Engagement.pdf (file) 329 KB Using Rodin and BMotionStudio for Public Engagement (Dana Dghaym, Asieh Salehi and Colin Snook) 1
15:48, 20 May 2016 Extending Code Generation to Support Platform-Independent Event-B Models.pdf (file) 68 KB Extending Code Generation to Support Platform-Independent Event-B Models (Asieh Salehi, Michael Butler, and Colin Snook) 1
15:43, 20 May 2016 Theory Plug-in for Rodin 3.x.pdf (file) 100 KB Theory plug-in for Rodin 3.x (Thai Son Hoang, Asieh Salehi, Michael Butler, and Laurent Voisin) 1
15:41, 20 May 2016 Building Event-B Interlocking Theories - Lessons Learned using the Theory Plug-in.pdf (file) 147 KB Building Event-B Interlocking Theories: Lessons Learned using the Theory Plug-in (Yoann Guyot, Renaud De Landtsheer, and Christophe Ponsard) 1
15:40, 20 May 2016 Rodin in the field of railway system engineering.pdf (file) 64 KB Rodin in the field of railway system engineering (Tomas Fischer) 1
15:37, 20 May 2016 SlideAndMerge - A Rodin plug-in for refactoring refinement structure of Event-B machines.pdf (file) 131 KB SliceAndMerge: A Rodin Plug-in for Refactoring Refinement Structure of Event-B Machines (Tsutomu Kobayashi, Aivar Kripsaar, Fuyuki Ishikawa and Shinichi Honiden) 1
15:36, 20 May 2016 Crossed-Project Reference for Managing Model Variations.pdf (file) 154 KB Crossed-Project Reference for Managing Model Variations (Hironobu Kuruma and Thai Son Hoang) 1
15:35, 20 May 2016 Towards Modular Development in Event-B.pdf (file) 171 KB Towards Modular Development in Event-B (Thai Son Hoang, Hironobu Kuruma, and Michael Butler) 1
15:30, 20 May 2016 Event-B Specification Templates for Defining Domain Specific Languages.pdf (file) 105 KB Event-B Specification Templates for Defining Domain Specific Languages (Ulyana Tikhonova) 1
15:29, 20 May 2016 A Rodin plug-in for constructing reusable schematic lemmas.pdf (file) 72 KB A Rodin plug-in for constructing reusable schematic lemmas (Alexei Iliasov, Paulius Stankaitis, David Adjepon-Yamoah, and Alexander Romanovsky) 1
15:24, 20 May 2016 Meta-Predicates for Rodin.pdf (file) 168 KB Meta-Predicates for Rodin (Sebastian Krings) 1
10:26, 15 May 2012 GenInst-ExistingFile.jpg (file) 28 KB   1
10:24, 15 May 2012 GenInst-InstantiateAllConstants.jpg (file) 38 KB   1
10:21, 15 May 2012 GenInst-InstantiateAllSets.jpg (file) 29 KB   1
10:18, 15 May 2012 GenInst-UndefinedBasedProject.jpg (file) 33 KB   1
10:16, 15 May 2012 GenInst-UndefinedTargetProject.jpg (file) 44 KB   1
10:13, 15 May 2012 GenInst-UndefinedBasedMachine.jpg (file) 38 KB   1
10:01, 15 May 2012 GenInst-Result2.jpg (file) 63 KB   1
10:01, 15 May 2012 GenInst-Result1.jpg (file)
Error creating thumbnail: Unable to save thumbnail to destination
24 KB   1
09:51, 15 May 2012 GenInst-wizard3.jpg (file) 42 KB   1
09:47, 15 May 2012 GenInst-wizard2.jpg (file) 54 KB   1
09:41, 15 May 2012 GenInst-wizard1.jpg (file) 70 KB   1
09:40, 15 May 2012 GenInst-wizard.jpg (file) 57 KB   1
09:17, 15 May 2012 GenInst-proposal ctx.jpg (file) 46 KB   2
09:13, 15 May 2012 GenInst-bandwidth ctx.jpg (file) 30 KB   2
08:42, 15 May 2012 GenInst-size ctx.jpg (file) 32 KB   2
13:55, 14 May 2012 GenInst-EO.jpg (file) 317 KB   1
13:47, 14 May 2012 GenInst-channel.jpg (file) 148 KB   1
13:45, 14 May 2012 GenInst-message ctx.jpg (file) 62 KB   1
13:24, 14 May 2012 Contention-nondet.jpg (file) 114 KB   4
13:21, 14 May 2012 Contention-prob.jpg (file) 41 KB   4
13:13, 14 May 2012 Contention-novariant.jpg (file) 34 KB   2
13:09, 14 May 2012 Contention-nobound.jpg (file) 33 KB   2
13:05, 14 May 2012 Contention-bound-create.jpg (file) 85 KB   1
13:03, 14 May 2012 Contention-bound.jpg (file)
Error creating thumbnail: Unable to save thumbnail to destination
17 KB   2
12:56, 14 May 2012 Contention-variant.jpg (file)
Error creating thumbnail: Unable to save thumbnail to destination
19 KB   2
First pagePrevious pageNext pageLast page