• Publications
  • Influence

Claim Your Author Page
Ensure your research is discoverable on Semantic Scholar. Claiming your author page allows you to personalize the information displayed and manage publications (all current information on this profile has been aggregated automatically from publisher and metadata sources).
  • Samuel Colin, Dorian Petit, Vincent Poirriez, Jérôme Rocheteau, Rafael Marcano, Georges Mariano
  • Computer Science
  • Third IEEE International Conference on Software…
  • 2005 (First Publication: 7 September 2005)
  • The need for the B method first appeared in industry, and several commercial tools have been developed to support this formalism. However, few of these tools allow reasoning on the formalism itselfContinue Reading
  • Nicolas Hernandez, Fabien Poulard, Matthieu Vernier, Jérôme Rocheteau
  • Engineering
  • 2010 (First Publication: 22 May 2010)
  • We report on the efforts the UN-LINA has made to build a UIMA French-speaking community both in Natural Language Processing and Speech Recognizing domains that would bring together researchers,Continue Reading