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 User Description Versions
14:41, 13 November 2018 CamilleX.png (file)
Error creating thumbnail: Unable to save thumbnail to destination
1 KB Son Logo 1
10:18, 21 May 2018 EMFcore1abstract newcopy.gif (file) 26 KB Colin it is a copy of EMFcore1abstract.gif 1
15:39, 2 October 2017 SMT Pref.png (file) 14 KB Nicolas   1
15:23, 11 September 2017 SMT 1.4 Perf Total Remaining POs All Provers.png (file) 42 KB Nicolas   1
17:25, 7 September 2017 SMT 1.4 Perf Total Remaining POs.png (file) 34 KB Nicolas   1
09:43, 7 September 2017 SMT 1.4 Perf Remaining POs.png (file) 133 KB Nicolas Remaining POs in the performance benchmark 1
09:41, 7 September 2017 SMT 1.4 Perf Discharged POs.png (file) 143 KB Nicolas Discharged POs in the performance benchmark. 1
13:46, 6 July 2017 Tester.jpg (file) 13 KB TIDTWeb   1
12:46, 3 July 2017 Userslmcghiedocumentsupload-testslideshare-test-1-1-728.jpg (file) 14 KB TIDTWeb   1
14:24, 4 July 2016 Using Rodin and BMotionStudio for Public Engagement-slides.pdf (file) 42 KB Son Temporary removed for now 2
14:05, 1 July 2016 IUML-BClassDiagramsLecture.pdf (file) 519 KB Colin   2
17:57, 30 May 2016 Translating SCXML Statecharts to-iUML-B State-machines-slides.pdf (file) 743 KB Son 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 Son 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 Son 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 Son 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 Son 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 Son   2
07:54, 25 May 2016 A Rodin Plug-in for Constructing Reusable Schematic Lemmas.pdf (file) 407 KB Son 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 Son Meta-Predicates for Rodin (slides) 1
14:09, 23 May 2016 Theory Plug-in for Rodin 3.x-slides.pdf (file) 146 KB Son 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 Son   2
14:07, 23 May 2016 Crossed-Project Reference for Managing Model Variations-slides.pdf (file) 224 KB Son   2
15:50, 20 May 2016 Translating SCXML Statecharts to iUML-B State-machines.pdf (file) 216 KB Son 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 Son 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 Son 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 Son 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 Son 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 Son 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 Son 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 Son 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 Son 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 Son 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 Son 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 Son Meta-Predicates for Rodin (Sebastian Krings) 1
16:11, 14 January 2016 SMT configuration enablement status.png (file) 17 KB Nicolas SMT 1.3: add CVC4 and Z3, remove SMT-lib and Translator preferences. 3
16:09, 14 January 2016 SMT Solvers AddConfiguration.png (file) 14 KB Nicolas SMT 1.3: remove SMT-lib version and translation approach 2
16:07, 14 January 2016 SMT Solvers Configurations.png (file) 88 KB Nicolas SMT 1.3: add CVC4 and Z3 2
13:17, 11 October 2015 Cmp mch obj.gif (file)
Error creating thumbnail: Unable to save thumbnail to destination
191 bytes Colin Compose machine icon for Shared Event Composition plugin 1
05:08, 6 October 2015 ClassDiagGen2.png (file) 150 KB Colin iUMl-B Class Diag: Other features of class diagrams 1
13:40, 5 October 2015 ClassDiagGen.png (file) 129 KB Colin iUML-B ClassDiag: Showing Generated Event-B 1
13:31, 5 October 2015 CreatLink.png (file) 116 KB Colin iUML-B Class Diag: showing create and link button in use 1
13:28, 5 October 2015 LinkData.png (file) 121 KB Colin iUML-B Class diag: Showing Link data button 1
12:09, 5 October 2015 Cd1 unlinked.png (file) 7 KB Colin Class diagram - not yet linked to data 1
12:43, 30 July 2015 Rodin feature dependencies refactor.svg (file) 24 KB Tommy   3
06:52, 30 June 2015 Camille error.png (file) 22 KB Neoser   1
09:15, 18 June 2015 Rodin 3.2 symbols.gif (file) 451 KB Tommy Symbol table now works seamslessly with the Rodin Editor. 1
08:57, 18 June 2015 Rodin 3.2 cancellable tactics.png (file) 41 KB Tommy Tactics do not make the whole platform hang and are now cancellable. 1
08:25, 18 June 2015 Rodin 3.2 colors.png (file) 213 KB Tommy Rodin Editor from Rodin 3.2 now handles color preferences. 1
08:16, 18 June 2015 Rodin 3.2 preserved selection.gif (file) 134 KB Tommy Rodin 3.2 preserves selection when elements are moved. 1
13:25, 15 December 2014 IUML-BStatemachinesLecture.pdf (file) 767 KB Colin Lecture slides about iUML-B state-machines 1
First pagePrevious pageNext pageLast page