Search results

From Event-B
Jump to navigationJump to search

Create the page "Michael" on this wiki! See also the search results found.

  • WP6-Telco-Oct-2008
    The Organizer is [mailto:michael@jastram.de Michael Jastram]. * Michael J.
    1 KB (169 words) - 12:51, 12 August 2009
  • Rodin Workshop 2013
    *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 Architectur
    4 KB (521 words) - 13:15, 13 June 2013
  • Rodin Workshop 2014
    | || 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
  • Rodin Workshop 2010
    ...echnique for Structuring Refinement in Event-B''], Asieh Salehi Fathabadi, Michael Butler ...Rodin2010-sld-jastram.pdf ''The ProR Requirements Engineering Platform''], Michael Jastram
    5 KB (716 words) - 09:28, 22 November 2010
  • Development of a flash-based filestore
    ...[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 Even
    4 KB (656 words) - 13:06, 18 November 2010
  • Rodin Workshop 2009
    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
  • Rodin Workshop 2016
    ...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
  • Rule-based Prover Plug-in
    :[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-bas
    2 KB (338 words) - 17:11, 9 July 2010
  • CruiseControl
    ...dded, please, contact the maintainer, currently [mailto:michael@jastram.de Michael Jastram].
    1 KB (185 words) - 14:17, 5 May 2009
  • Rodin Platform 2.1 External Plug-ins
    ...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
  • Theory Plug-in
    * [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
  • Rodin Workshop 2012
    Michael Butler, University of Southampton Michael Leuschel, University of Düsseldorf
    4 KB (530 words) - 15:34, 23 March 2012
  • Layout improvements in the event-B editor
    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
  • Event-B Examples
    By Andrew Edmunds and Michael Butler By Kriangsak Damchom and Michael Butler.
    9 KB (1,283 words) - 13:58, 5 July 2017
  • Rodin Platform 2.2 External Plug-ins
    ...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
  • Rodin Workshop 2021
    ...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]], [[Media
    4 KB (595 words) - 09:41, 29 June 2021
  • Rodin Platform 2.3 External Plug-ins
    ...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
  • D23 Rule-based Prover
    *[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-bas
    5 KB (796 words) - 11:44, 8 January 2010
  • Rodin Platform 2.6.0 External Plug-ins
    ...">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>Pro
    8 KB (1,105 words) - 07:29, 17 August 2012
  • Rodin Platform 2.4 External Plug-ins
    ...">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
  • Rodin Platform 2.5.0 External Plug-ins
    ...">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_updat
    8 KB (1,138 words) - 14:32, 23 November 2012
  • DEPLOY Plenary Workshop 2009
    * 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 Concu
    7 KB (1,003 words) - 20:08, 12 October 2009
  • D45 Code Generation
    ...ef name="aae">http://eprints.soton.ac.uk/336226/ "Edmunds, Andrew, Butler, Michael, Maamria, Issam, Silva, Renato and Lovell, Chris (2012) Event-B code genera
    12 KB (1,818 words) - 08:31, 20 April 2012
  • Rodin Platform 2.0 External Plug-ins
    ...le="color:#006400">available</span> || || || [mailto:michael@jastram.de Michael Jastram] ||
    4 KB (475 words) - 18:40, 22 February 2011
  • Rodin Platform 2.7.0 External Plug-ins
    ...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>Pro
    12 KB (1,324 words) - 13:37, 3 June 2013
  • D23 ProB
    ...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 Propert
    17 KB (2,580 words) - 15:55, 28 January 2010
  • ADVANCE Deliverable D3.3
    :* ProR (Michael Jastram/Lukas Ladenberger) :[[ADVANCE D3.3 Model Checking|Model Checking]] (Michael Leuschel & al.)
    6 KB (830 words) - 13:21, 7 October 2013
  • Rodin Platform 2.8.0 External Plug-ins
    ...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>Pro
    13 KB (1,455 words) - 13:43, 28 November 2014
  • Rodin Workshop 2023
    ...ements of Self-Driving Vehicle Systems — ''Fahad Alotaibi, Son Thai Hoang, Michael Butler''
    3 KB (375 words) - 15:36, 26 May 2023
  • New Proof Rules
    ...ithin Rodin Platform. The work has been done originally by Stephan Merkli, Michael Schaufelberger and David Simmen as their project for an object oriented pro
    4 KB (738 words) - 12:53, 12 August 2009
  • D32 Teamwork
    ...o kinds of decomposition available: ''shared event'' (studied initially by Michael Butler<ref>http://eprints.ecs.soton.ac.uk/16965/</ref><ref>http://eprints.e
    5 KB (780 words) - 11:22, 21 December 2010
  • D23 Decomposition
    ...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
  • Past Developments
    [[User:Jastram|Michael]] at [[Düsseldorf]] is in charge of the [[:Category:Requirement Plugin|Req
    6 KB (915 words) - 16:57, 27 February 2014
  • D23 TEXT
    ...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
  • ADVANCE D3.2 General Platform Maintenance
    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 r
    20 KB (3,030 words) - 13:18, 18 July 2012
  • D32 Model-based testing
    University of Duesseldorf (Michael Leuschel, Daniel Plagge, Jens Bendisposto) started developing first tool su
    8 KB (1,215 words) - 15:14, 27 January 2011
  • Rodin Platform 3.5 Release Notes
    * Colin Snook (University of Southampton) and Michael Leuschel (University of Dusseldorf) for making sure that their plug-ins wor
    8 KB (1,249 words) - 13:09, 11 September 2020
  • D45 Scalability
    ...c instantiation is available<ref name="genInst1">Silva, Renato and Butler, Michael (2009) "Supporting reuse of Event-B developments through generic instantiat
    13 KB (1,991 words) - 20:57, 20 April 2012
  • ADVANCE D3.3 General Platform Maintenance
    ...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 r
    16 KB (2,554 words) - 14:05, 8 October 2013
  • D32 Model Animation
    ...ty of Düsseldorf. 2010</ref> and <ref>Lukas Ladenberger, Jens Bendisposto, Michael Leuschel, Visualising Event-B models with B-Motion Studio. Proceedings FMIC
    16 KB (2,553 words) - 15:12, 27 January 2011
  • D45 General Platform Maintenance
    ...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
Retrieved from ‘https://wiki.event-b.org/index.php/Special:Search’