Search results

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

• 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

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