Search results
From Event-B
Jump to navigationJump to searchCreate the page "Jens" on this wiki! See also the search results found.
Page title matches
- == Jens Bendisposto == * [[User:Jens/Code_generation_Using_Flow_Analysis|Code Generation using automatic flow an318 bytes (39 words) - 13:00, 22 January 2010
- 1 KB (201 words) - 16:46, 20 October 2009
Page text matches
- == Jens Bendisposto == * [[User:Jens/Code_generation_Using_Flow_Analysis|Code Generation using automatic flow an318 bytes (39 words) - 13:00, 22 January 2010
- '''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 Checking4 KB (521 words) - 13:15, 13 June 2013
- Jens2 KB (255 words) - 21:22, 30 October 2009
- :[[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
- | || || 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
- * The master class on plug-in integration with ProB will be given by Jens Bendisposto.4 KB (530 words) - 15:34, 23 March 2012
- ...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 to17 KB (2,580 words) - 15:55, 28 January 2010
- * Jens Bendisposto, [http://wiki.event-b.org/images/Using_and_extending_prob.pdf5 KB (766 words) - 09:59, 21 September 2011
- ...>available</span> || 2.6.x || 6th Aug. 2012 || [mailto:jens@bendisposto.de Jens Bendisposto] || Use the ProB update site. <tt>http://www.stups.uni-duessel8 KB (1,105 words) - 07:29, 17 August 2012
- ...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-duessel8 KB (1,106 words) - 08:35, 17 May 2012
- ...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-duessel8 KB (1,138 words) - 14:32, 23 November 2012
- :*ProB Disprover (Daniel Plagge, Jens Bendiposto)5 KB (732 words) - 08:31, 14 February 2012
- ...vailable</span> || 3.0.x || 18th March 2014 || [mailto:jens@bendisposto.de Jens Bendisposto] || Use the ProB update site. <tt>http://www.stups.uni-duessel13 KB (1,415 words) - 07:56, 28 May 2015
- ...vailable </span> || 2.6.x || 13th Nov. 2012 || [mailto:jens@bendisposto.de Jens Bendisposto] || Use the ProB update site. <tt>http://www.stups.uni-duessel12 KB (1,324 words) - 13:37, 3 June 2013
- ...available</span> || 2.8.x || 21th Jun. 2013 || [mailto:jens@bendisposto.de Jens Bendisposto] || Use the ProB update site. <tt>http://www.stups.uni-duessel13 KB (1,455 words) - 13:43, 28 November 2014
- ...ilable</span> || 3.1.x || 15th January 2015 || [mailto:jens@bendisposto.de Jens Bendisposto] || Use the ProB update site. <tt>http://www.stups.uni-duessel13 KB (1,452 words) - 09:38, 18 June 2015
- ...vailable </span> || 3.x.x || 23th June 2015 || [mailto:jens@bendisposto.de Jens Bendisposto] || Use the ProB update site. <tt>http://www.stups.uni-duessel13 KB (1,514 words) - 14:38, 6 July 2017
- ...vailable </span> || 3.x.x || 23th June 2015 || [mailto:jens@bendisposto.de Jens Bendisposto] || Use the ProB update site. <tt>http://www.stups.uni-duessel13 KB (1,514 words) - 07:16, 2 September 2017
- * Developing Camille, a Text Editor for Rodin. Jens Bendisposto, Fabian Fritz and Michael Leuschel. 2009. (to appear in WS-TBFM8 KB (1,257 words) - 15:56, 28 January 2010
- * Jens Bendisposto and Michael Leuschel - Proof Assisted Model Checking for B7 KB (1,003 words) - 20:08, 12 October 2009