Search results

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

Page title matches

• User:Laurent
  Laurent Voisin ([[Systerel]], France)
  37 bytes (4 words) - 09:58, 4 March 2009
• User:Laurent/Collections/Deploy Deliverable D6
  5 KB (571 words) - 13:38, 28 January 2009

Page text matches

• User:Laurent
  Laurent Voisin ([[Systerel]], France)
  37 bytes (4 words) - 09:58, 4 March 2009
• Systerel
  * [[User:Laurent|Laurent Voisin]]
  541 bytes (71 words) - 15:31, 21 November 2014

• File:Theory Plug-in for Rodin 3.x.pdf ...y plug-in for Rodin 3.x (Thai Son Hoang, Asieh Salehi, Michael Butler, and Laurent Voisin) (100 KB) - 20:50, 30 April 2020

• 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
• User:Nicolas/Collections/ADVANCE Deliverable D3.4
  :[[User:Nicolas/Collections/ADVANCE D3.4 Introduction|Introduction]] (Laurent Voisin/Nicolas Beauger) :* Core Rodin platform (Laurent Voisin/Nicolas Beauger)
  5 KB (780 words) - 14:57, 6 October 2014
• User:Tommy/Collections/Deploy Deliverable D45
  :[[D45 Introduction|Introduction]] (Laurent Voisin) :*Improved performance (Laurent Voisin, Nicolas Beauger, Thomas Muller)
  5 KB (732 words) - 08:31, 14 February 2012
• 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
• User:Tommy/Collections/ADVANCE Delivrable D3.2
  :[[ADVANCE D3.2 Introduction|Introduction]] (Laurent Voisin/Thomas Muller) :* Integrated provers (Laurent Voisin/Thomas Muller)
  6 KB (894 words) - 09:47, 5 June 2012
• 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
• User:Tommy/Collections/Deploy Deliverable D32
  :[[D32 Introduction|Introduction]] (Laurent Voisin) :* Improve WD for simpler POs (Laurent Voisin)
  5 KB (699 words) - 14:52, 30 November 2010
• 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
• User:Pascal/Collections/Deploy Deliverable D23
  :[[D23 Introduction|Introduction]] (Laurent Voisin)
  4 KB (576 words) - 16:01, 26 January 2010
• 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

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