Search results

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

• Rodin Workshop 2013
  '''15:15 - 17:00''' Jens Bendisposto, Sebastian Krings: [http://www.stups.uni-duesseldorf.de/ProB/in * Jens Bendisposto, Philipp Korner and Michael Leuschel: ''Parallel Model Checking
  4 KB (521 words) - 13:15, 13 June 2013
• Rodin Workshop 2014
  | || || Michael Leuschel, Jens Bendisposto and Dominik Hansen | 09h00 - 10h20 || <b>Tool development</b> (Chair: Jens Bendisposto)
  8 KB (1,073 words) - 06:13, 24 June 2014
• Rodin Workshop 2012
  * The master class on plug-in integration with ProB will be given by Jens Bendisposto.
  4 KB (530 words) - 15:34, 23 March 2012
• D23 ProB
  ...ttp://www.stups.uni-duesseldorf.de/~leuschel/publication_detail.php?id=253 Jens Bendisposto, Michael Leuschel. Proof Assisted Model Checking for B. ICFEM 2 ...d=252 Sebastian Wieczorek, Vitaly Kozyura, Andreas Roth, Michael Leuschel, Jens Bendisposto, Daniel Plagge, Ina Schieferdecker. Applying Model Checking to
  17 KB (2,580 words) - 15:55, 28 January 2010
• Rodin Workshop 2009
  * Jens Bendisposto, [http://wiki.event-b.org/images/Using_and_extending_prob.pdf
  5 KB (766 words) - 09:59, 21 September 2011
• Rodin Platform 2.6.0 External Plug-ins
  ...>available</span> || 2.6.x || 6th Aug. 2012 || [mailto:jens@bendisposto.de Jens Bendisposto] || Use the ProB update site. <tt>http://www.stups.uni-duessel
  8 KB (1,105 words) - 07:29, 17 August 2012
• Rodin Platform 2.4 External Plug-ins
  ...en"> available</span>|| 2.4.x || 01/20/2012 || [mailto:jens@bendisposto.de Jens Bendisposto] || Use the ProB update site. <tt>http://www.stups.uni-duessel
  8 KB (1,106 words) - 08:35, 17 May 2012
• Rodin Platform 2.5.0 External Plug-ins
  ...en"> available</span>|| 2.5.x || 04/25/2012 || [mailto:jens@bendisposto.de Jens Bendisposto] || Use the ProB update site. <tt>http://www.stups.uni-duessel
  8 KB (1,138 words) - 14:32, 23 November 2012
• Rodin Platform 3.0.0 External Plug-ins
  ...vailable</span> || 3.0.x || 18th March 2014 || [mailto:jens@bendisposto.de Jens Bendisposto] || Use the ProB update site. <tt>http://www.stups.uni-duessel
  13 KB (1,415 words) - 07:56, 28 May 2015
• Rodin Platform 2.7.0 External Plug-ins
  ...vailable </span> || 2.6.x || 13th Nov. 2012 || [mailto:jens@bendisposto.de Jens Bendisposto] || Use the ProB update site. <tt>http://www.stups.uni-duessel
  12 KB (1,324 words) - 13:37, 3 June 2013
• Rodin Platform 2.8.0 External Plug-ins
  ...available</span> || 2.8.x || 21th Jun. 2013 || [mailto:jens@bendisposto.de Jens Bendisposto] || Use the ProB update site. <tt>http://www.stups.uni-duessel
  13 KB (1,455 words) - 13:43, 28 November 2014
• Rodin Platform 3.1.0 External Plug-ins
  ...ilable</span> || 3.1.x || 15th January 2015 || [mailto:jens@bendisposto.de Jens Bendisposto] || Use the ProB update site. <tt>http://www.stups.uni-duessel
  13 KB (1,452 words) - 09:38, 18 June 2015
• Rodin Platform 3.2.0 External Plug-ins
  ...vailable </span> || 3.x.x || 23th June 2015 || [mailto:jens@bendisposto.de Jens Bendisposto] || Use the ProB update site. <tt>http://www.stups.uni-duessel
  13 KB (1,514 words) - 14:38, 6 July 2017
• Rodin Platform 3.3.0 External Plug-ins
  ...vailable </span> || 3.x.x || 23th June 2015 || [mailto:jens@bendisposto.de Jens Bendisposto] || Use the ProB update site. <tt>http://www.stups.uni-duessel
  13 KB (1,514 words) - 07:16, 2 September 2017
• D23 TEXT
  * Developing Camille, a Text Editor for Rodin. Jens Bendisposto, Fabian Fritz and Michael Leuschel. 2009. (to appear in WS-TBFM
  8 KB (1,257 words) - 15:56, 28 January 2010
• DEPLOY Plenary Workshop 2009
  * Jens Bendisposto and Michael Leuschel - Proof Assisted Model Checking for B
  7 KB (1,003 words) - 20:08, 12 October 2009
• D32 Model-based testing
  University of Duesseldorf (Michael Leuschel, Daniel Plagge, Jens Bendisposto) started developing first tool support for MBT for Event-B in 2
  8 KB (1,215 words) - 15:14, 27 January 2011
• D32 Model Animation
  ...s thesis. University of Düsseldorf. 2010</ref> and <ref>Lukas Ladenberger, Jens Bendisposto, Michael Leuschel, Visualising Event-B models with B-Motion Stu
  16 KB (2,553 words) - 15:12, 27 January 2011