Search results
From Event-B
Jump to navigationJump to searchCreate the page "Michael" on this wiki! See also the search results found.
- = Michael Jastram = * Email: michael at jastram dot de260 bytes (36 words) - 08:21, 26 March 2009
File:Requirements-quo-vadis.pdf Presentation regarding Requirements by Michael Jastram(896 KB) - 20:49, 30 April 2020- The Organizer is [mailto:michael@jastram.de Michael Jastram]. * Michael J.1 KB (169 words) - 12:51, 12 August 2009
File:Towards Modular Development in Event-B.pdf Towards Modular Development in Event-B (Thai Son Hoang, Hironobu Kuruma, and Michael Butler)(171 KB) - 20:50, 30 April 2020File:Theory Plug-in for Rodin 3.x.pdf Theory plug-in for Rodin 3.x (Thai Son Hoang, Asieh Salehi, Michael Butler, and Laurent Voisin)(100 KB) - 20:50, 30 April 2020File:Extending Code Generation to Support Platform-Independent Event-B Models.pdf ...e Generation to Support Platform-Independent Event-B Models (Asieh Salehi, Michael Butler, and Colin Snook)(68 KB) - 20:49, 30 April 2020- *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 Architectur4 KB (521 words) - 13:15, 13 June 2013
- ...plug-in developer and would like to contribute to the wiki, please contact Michael Butler mjb@ecs.soton.ac.uk explaining briefly the nature of the material yo382 bytes (66 words) - 21:08, 9 July 2008
- | || Asieh Salehi, Jean-Raymond Abrial, Michael Butler [http://wiki.event-b.org/images/Theory_RodinWorkshop_June2014.pdf] | || Asieh Salehi, Jean-Raymond Abrial, Michael Butler [http://wiki.event-b.org/images/JRA1_A_sld_math.pdf]8 KB (1,073 words) - 06:13, 24 June 2014
- ...echnique for Structuring Refinement in Event-B''], Asieh Salehi Fathabadi, Michael Butler ...Rodin2010-sld-jastram.pdf ''The ProR Requirements Engineering Platform''], Michael Jastram5 KB (716 words) - 09:28, 22 November 2010
- ...[http://deploy-eprints.ecs.soton.ac.uk/22/ Damchoom, Kriangsak and Butler, Michael and Abrial, Jean-Raymond (2008) Modelling and proof of a Tree-structured Fi ...http://deploy-eprints.ecs.soton.ac.uk/125/ Damchoom, Kriangsak and Butler, Michael Applying Event and Machine Decomposition to a Flash-Based Filestore in Even4 KB (656 words) - 13:06, 18 November 2010
- Michael Butler, University of Southampton * Michael Butler, [http://wiki.event-b.org/images/Intro.pdf Introduction]5 KB (766 words) - 09:59, 21 September 2011
- :[[D23 ProB|ProB Improvements]] (Jens Bendisposto / Michael Jastram / Michael Leuschel / Daniel Plagge) :[[D23 TEXT|Text Editor Plug-In]] (Jens Bendisposto / Michael Jastram / Michael Leuschel)4 KB (576 words) - 16:01, 26 January 2010
- ...ds Modular Development in Event-B - ''Thai Son Hoang, Hironobu Kuruma, and Michael Butler'' ([[Media:Towards Modular Development in Event-B.pdf|pdf]], [[Media * Theory plug-in for Rodin 3.x - ''Thai Son Hoang, Asieh Salehi, Michael Butler, and Laurent Voisin'' ([[Media:Theory Plug-in for Rodin 3.x.pdf|pdf]5 KB (664 words) - 18:29, 6 June 2016
- :[http://eprints.ecs.soton.ac.uk/18269/ Issam Maamria, Michael Butler, Andrew Edmunds, and Abdolbaghi Rezazadeh. On an Extensible Rule-bas :[http://eprints.ecs.soton.ac.uk/18273/ Issam Maamria, Michael Butler, Andrew Edmunds, and Abdolbaghi Rezazadeh. On an Extensible Rule-bas2 KB (338 words) - 17:11, 9 July 2010
- ...dded, please, contact the maintainer, currently [mailto:michael@jastram.de Michael Jastram].1 KB (185 words) - 14:17, 5 May 2009
- ...400">available</span> || || 20th Jan. 2012 || [mailto:michael@jastram.de Michael Jastram] || ProR support working with requirements. For traceability to Ev ...not available</span> || || 28th Feb. 2012 || [mailto:michael@jastram.de Michael Jastram] || We are currently working on a revised ProR-Rodin-Integration.6 KB (746 words) - 16:17, 24 January 2012
- * [http://deploy-eprints.ecs.soton.ac.uk/80/ Abrial, Jean-Raymond and Butler, Michael and Schmalz, Matthias and Hallerstede, Stefan and Voisin, Laurent. Mathemat * [http://deploy-eprints.ecs.soton.ac.uk/251/ Michael Butler, Issam Maamria. Mathematical Extensions Summary]7 KB (958 words) - 14:53, 14 June 2021
- Michael Butler, University of Southampton Michael Leuschel, University of Düsseldorf4 KB (530 words) - 15:34, 23 March 2012
- :*ProR (Michael Jastram) :[[D45 Model-based testing| Model-based testing]] (Michael Leuschel, Alin Stefanescu)5 KB (732 words) - 08:31, 14 February 2012
- In a user feedback report posted on the Deploy WP9 mailing list, Michael Leuschel reported the following facts:1 KB (215 words) - 12:08, 12 August 2009
- By Andrew Edmunds and Michael Butler By Kriangsak Damchom and Michael Butler.9 KB (1,283 words) - 13:58, 5 July 2017
- ...tyle="color:#006400"> available </span>|| || || [mailto:michael@jastram.de Michael Jastram] || Use the Camille update site. <tt>http://www.stups.uni-duesseldo ...available </span> || 2.x.x || 16th May 2011 || [mailto:michael@jastram.de Michael Jastram] || Update site: http://update.pror.org<br>Project web site: http:/7 KB (942 words) - 14:03, 3 October 2011
- ...dels - ''Colin Snook, Thai Son Hoang, Asieh Salehi Fathabadi, Dana Dghaym, Michael Butler'' ([[Media:RodinWorkshop2021_Scenario Checker.pdf|pdf]], [[Media:Rod ...3.0 - ''Thai Son Hoang, Colin Snook, Asieh Salehi Fathabadi, Dana Dghaym, Michael Butler'' ([[Media:RodinWorkshop2021_Towards CamilleX 3.0.pdf|pdf]], [[Media4 KB (595 words) - 09:41, 29 June 2021
- ...e="color:#8B4513"> not available</span>|| || || [mailto:michael@jastram.de Michael Jastram] || Use the Camille update site. <tt>http://www.stups.uni-duesseldo ...available</span> || 2.x.x || 16th May 2011 || [mailto:michael@jastram.de Michael Jastram] || Update site: http://update.pror.org<br>Project web site: http:/8 KB (1,053 words) - 09:10, 4 January 2012
- *[http://eprints.ecs.soton.ac.uk/18269/ Issam Maamria, Michael Butler, Andrew Edmunds, and Abdolbaghi Rezazadeh. On an Extensible Rule-bas *[http://eprints.ecs.soton.ac.uk/18273/ Issam Maamria, Michael Butler, Andrew Edmunds, and Abdolbaghi Rezazadeh. On an Extensible Rule-bas5 KB (796 words) - 11:44, 8 January 2010
- ...">available</span>|| 2.5.x || 27th July 2011 || [mailto:michael@jastram.de Michael Jastram] || Use the Camille update site. <tt>http://www.stups.uni-duesseldo ...en">available</span> || 2.6.x || 08/01/2012 || [mailto:michael@jastram.de Michael Jastram] || Update site: <tt>http://update.formalmind.com/rodin</tt><br>Pro8 KB (1,105 words) - 07:29, 17 August 2012
- ...">available</span>|| 2.1.5 || 27th July 2011 || [mailto:michael@jastram.de Michael Jastram] || Use the Camille update site. <tt>http://www.stups.uni-duesseldo ...vailable</span> || 2.x.x || 30th April 2012 || [mailto:michael@jastram.de Michael Jastram] || Update site: http://www.stups.uni-duesseldorf.de/pror_updates/<8 KB (1,106 words) - 08:35, 17 May 2012
- ...">available</span>|| 2.5.x || 27th July 2011 || [mailto:michael@jastram.de Michael Jastram] || Use the Camille update site. <tt>http://www.stups.uni-duesseldo ...n"> available</span> || 2.5.x || 04/25/2012 || [mailto:michael@jastram.de Michael Jastram] || Update site: <tt>http://www.stups.uni-duesseldorf.de/pror_updat8 KB (1,138 words) - 14:32, 23 November 2012
- :[[D32 Model Animation|Model Animation]] (Michael Leuschel & al.) :* Generalities (Michael Leuschel & al.)5 KB (699 words) - 14:52, 30 November 2010
- * Jens Bendisposto and Michael Leuschel - Proof Assisted Model Checking for B * Andrew Edmunds and Michael Butler - A Code Generation Example for Event-B: A Shared Channel with Concu7 KB (1,003 words) - 20:08, 12 October 2009
- :* ProR (Michael Jastram/Lukas Ladenberger) :[[User:Nicolas/Collections/ADVANCE D3.4 Model Checking|Model Checking]] (Michael Leuschel & al.)5 KB (780 words) - 14:57, 6 October 2014
- ...ef name="aae">http://eprints.soton.ac.uk/336226/ "Edmunds, Andrew, Butler, Michael, Maamria, Issam, Silva, Renato and Lovell, Chris (2012) Event-B code genera12 KB (1,818 words) - 08:31, 20 April 2012
- ...le="color:#006400">available</span> || || || [mailto:michael@jastram.de Michael Jastram] ||4 KB (475 words) - 18:40, 22 February 2011
- ...not checked</span>|| 2.5.x || 27th July 2011 || [mailto:michael@jastram.de Michael Jastram] || Use the Camille update site. <tt>http://www.stups.uni-duesseldo ...> not checked</span> || 2.6.x || 08/01/2012 || [mailto:michael@jastram.de Michael Jastram] || Update site: <tt>http://update.formalmind.com/rodin</tt><br>Pro12 KB (1,324 words) - 13:37, 3 June 2013
- ...i-duesseldorf.de/~leuschel/publication_detail.php?id=253 Jens Bendisposto, Michael Leuschel. Proof Assisted Model Checking for B. ICFEM 2009.]). [http://www.stups.uni-duesseldorf.de/~leuschel/publication_detail.php?id=248 Michael Leuschel, Jérôme Falampin, Fabian Fritz, Daniel Plagge. Automated Propert17 KB (2,580 words) - 15:55, 28 January 2010
- :* ProR (Michael Jastram/Lukas Ladenberger) :[[ADVANCE D3.3 Model Checking|Model Checking]] (Michael Leuschel & al.)6 KB (830 words) - 13:21, 7 October 2013
- ...not checked</span>|| 2.5.x || 27th July 2011 || [mailto:michael@jastram.de Michael Jastram] || Use the Camille update site. <tt>http://www.stups.uni-duesseldo ...> not checked</span> || 2.6.x || 08/01/2012 || [mailto:michael@jastram.de Michael Jastram] || Update site: <tt>http://update.formalmind.com/rodin</tt><br>Pro13 KB (1,455 words) - 13:43, 28 November 2014
- :* ProR (Michael Jastram/Lukas Ladenberger) :[[ADVANCE D3.2 Model Checking|Model Checking]] (Michael Leuschel & al.)6 KB (894 words) - 09:47, 5 June 2012
- ...ements of Self-Driving Vehicle Systems — ''Fahad Alotaibi, Son Thai Hoang, Michael Butler''3 KB (375 words) - 15:36, 26 May 2023
- ...ithin Rodin Platform. The work has been done originally by Stephan Merkli, Michael Schaufelberger and David Simmen as their project for an object oriented pro4 KB (738 words) - 12:53, 12 August 2009
- ...o kinds of decomposition available: ''shared event'' (studied initially by Michael Butler<ref>http://eprints.ecs.soton.ac.uk/16965/</ref><ref>http://eprints.e5 KB (780 words) - 11:22, 21 December 2010
- ...nsible for the A-style decomposition. The University of Southampton, where Michael Butler is professor, was in charge of the B-style decomposition.6 KB (825 words) - 13:27, 27 January 2010
- ...year'' work, and is thus out of the scope of Deploy. As it was proposed by Michael, we should rely on existing VCS, but add plumbing to allow easy merge and p5 KB (798 words) - 09:19, 2 March 2010
- [[User:Jastram|Michael]] at [[Düsseldorf]] is in charge of the [[:Category:Requirement Plugin|Req6 KB (915 words) - 16:57, 27 February 2014
- ...oping Camille, a Text Editor for Rodin. Jens Bendisposto, Fabian Fritz and Michael Leuschel. 2009. (to appear in WS-TBFM 2010)8 KB (1,257 words) - 15:56, 28 January 2010
- [[User:Jastram|Michael Jastram]] has put up a page to collect [[Scenarios for Team-based Developme8 KB (1,148 words) - 08:43, 24 February 2009
- Savicks, Vitaly, Snook, Colin and Butler, Michael (2009) ''Animation of UML-B State-machines'' in Rodin User & Developer Work ...oR integration plugin is developed and maintained by Lukas Ladenberger and Michael Jastram at the University of Duesseldorf. ProR is a tool for working with r20 KB (3,030 words) - 13:18, 18 July 2012
- University of Duesseldorf (Michael Leuschel, Daniel Plagge, Jens Bendisposto) started developing first tool su8 KB (1,215 words) - 15:14, 27 January 2011
- * Colin Snook (University of Southampton) and Michael Leuschel (University of Dusseldorf) for making sure that their plug-ins wor8 KB (1,249 words) - 13:09, 11 September 2020
- ...c instantiation is available<ref name="genInst1">Silva, Renato and Butler, Michael (2009) "Supporting reuse of Event-B developments through generic instantiat13 KB (1,991 words) - 20:57, 20 April 2012
- A journal version of the SEFM'13 article <ref>Sebastian Krings, Michael Leuschel, "Inferring Physical Units in B Models. SEFM'2013, LNCS 8137, p. 116 KB (2,629 words) - 10:31, 25 November 2014
- ...in integration plugin is developed and maintained by Lukas Ladenberger and Michael Jastram at the University of Duesseldorf. ProR is a tool for working with r16 KB (2,554 words) - 14:05, 8 October 2013
- ...ty of Düsseldorf. 2010</ref> and <ref>Lukas Ladenberger, Jens Bendisposto, Michael Leuschel, Visualising Event-B models with B-Motion Studio. Proceedings FMIC16 KB (2,553 words) - 15:12, 27 January 2011
- ...urrently five committers in total, with two from the Rodin project, namely Michael Jastram (Project Lead) and Lukas Ladenberger.35 KB (5,228 words) - 10:12, 23 April 2012