Search results

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

• 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
• User:Tommy/Collections/Deploy Deliverable D32
  :[[D32 Model Animation|Model Animation]] (Michael Leuschel & al.) :* Generalities (Michael Leuschel & al.)
  5 KB (699 words) - 14:52, 30 November 2010
• 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
• User:Nicolas/Collections/ADVANCE Deliverable D3.4
  :* 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
• 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
• User:Tommy/Collections/ADVANCE Delivrable D3.2
  :* ProR (Michael Jastram/Lukas Ladenberger) :[[ADVANCE D3.2 Model Checking|Model Checking]] (Michael Leuschel & al.)
  6 KB (894 words) - 09:47, 5 June 2012
• 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

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)