Search results

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

• Systerel
  * [[User:Laurent|Laurent Voisin]]
  541 bytes (71 words) - 15:31, 21 November 2014
• Rodin Workshop 2023
  '''09:30 - 11:00''' Session 1 — ''Session Chair: Laurent Voisin'' * Rodin: two years of updates — ''Guillaume Verdier, Laurent Voisin, Idir Ait-Sadoune''
  3 KB (375 words) - 15:36, 26 May 2023
• ADVANCE Deliverable D3.3
  :[[ADVANCE D3.3 Introduction|Introduction]] (Laurent Voisin/Nicolas Beauger) :* Core Rodin platform (Laurent Voisin/Nicolas Beauger)
  6 KB (830 words) - 13:21, 7 October 2013
• Rodin Workshop 2009
  Laurent Voisin, Systerel Laurent Voisin and
  5 KB (766 words) - 09:59, 21 September 2011
• Rodin Workshop 2013
  * Laurent Voisin and Minh-Thang Khuu: ''Domain Specific Event-B Modeling'' Laurent Voisin, Systerel
  4 KB (521 words) - 13:15, 13 June 2013
• Rodin Workshop 2014
  | || || Thang Khuu, Laurent Voisin, Fernando Mejia | 16h00 - 17h20 || <b>Tool use</b> (Chair: Laurent Voisin)
  8 KB (1,073 words) - 06:13, 24 June 2014
• Rodin Workshop 2016
  ...lug-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]], [[Media:Theory Pl Laurent Voisin, Systerel
  5 KB (664 words) - 18:29, 6 June 2016
• Rodin Workshop 2024
  <p>Laurent Voisin, R&D Manager, [https://www.systerel.fr/en/ Systerel]</p>
  3 KB (368 words) - 12:49, 15 April 2024
• Rodin Platform 3.5.0 External Plug-ins
  ...le </span> || || 14th January 2022|| [mailto:lvoisin@users.sourceforge.net Laurent Voisin] || Automatic prover using SMT solvers ...</span>|| 2.5.x || 27th May 2015 || [mailto:lvoisin@users.sourceforge.net Laurent Voisin] || generates a Latex documentation of the Event-B
  9 KB (1,244 words) - 13:52, 1 April 2022
• Rodin Workshop 2012
  Laurent Voisin, Systerel
  4 KB (530 words) - 15:34, 23 March 2012
• Rodin Workshop 2021
  ...tion plug-in: a new approach to genericity in Rodin - ''Guillaume Verdier, Laurent Voisin'' ([[Media:RodinWorkshop2021_Context instantiation plug-in.pdf|pdf]]
  4 KB (595 words) - 09:41, 29 June 2021
• Rodin Workshop 2010
  ...pdf Transcript] of a subsequent e-mail discussion between Ken Robinson and Laurent Voisin
  5 KB (716 words) - 09:28, 22 November 2010
• Rodin Platform 3.4.0 External Plug-ins
  ...ailable </span> || || 15th March 2016|| [mailto:laurent.voisin@systerel.fr Laurent Voisin] || Checked and appears to still work in Rodin 3.4 - cfsnook 12/12/
  6 KB (855 words) - 16:00, 12 December 2019
• Rodin Platform 2.3 External Plug-ins
  ...yoann.guyot@systerel.fr Yoann Guyot] or [mailto:laurent.voisin@systerel.fr Laurent Voisin] ||
  8 KB (1,053 words) - 09:10, 4 January 2012
• Rodin Platform 2.6.0 External Plug-ins
  ...yoann.guyot@systerel.fr Yoann Guyot] or [mailto:laurent.voisin@systerel.fr Laurent Voisin] ||
  8 KB (1,105 words) - 07:29, 17 August 2012
• Rodin Platform 2.4 External Plug-ins
  ...yoann.guyot@systerel.fr Yoann Guyot] or [mailto:laurent.voisin@systerel.fr Laurent Voisin] ||
  8 KB (1,106 words) - 08:35, 17 May 2012
• Rodin Platform 2.5.0 External Plug-ins
  ...yoann.guyot@systerel.fr Yoann Guyot] or [mailto:laurent.voisin@systerel.fr Laurent Voisin] ||
  8 KB (1,138 words) - 14:32, 23 November 2012
• Theory Plug-in
  ...Butler, Michael and Schmalz, Matthias and Hallerstede, Stefan and Voisin, Laurent. Mathematical Extensions Proposal]
  7 KB (958 words) - 14:53, 14 June 2021
• Rodin Platform 3.0.0 External Plug-ins
  ...able</span> || 3.0 || 14th March 2014|| [mailto:laurent.voisin@systerel.fr Laurent Voisin] ||
  13 KB (1,415 words) - 07:56, 28 May 2015
• Rodin Platform 2.7.0 External Plug-ins
  ...ilable</span> || 2.7 || 3rd June 2013|| [mailto:laurent.voisin@systerel.fr Laurent Voisin] ||
  12 KB (1,324 words) - 13:37, 3 June 2013

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