J. Rocheteau

Backward Reachability Analysis of Colored Petri Nets

M. Bouali, J. Rocheteau, P. Barger, 2009 .

A Model-Driven Method for Fast Building Consistent Web Services from OpenAPI-Compatible Models

J. Christian Attiogbé, Arnaud Lanoix, Jérôme Rocheteau, 2018, MODELSWARD.

Characterizing a source code model with energy measurements

Gerson Sunyé, Jérôme Rocheteau, Massimo Tisi, 2018, MeGSuS@ESEM.

Formal Framework for Hardware Safety Requirement Verification

J.-L. Boulanger, J. Rocheteau, G. Mariano, 2008, 2008 3rd International Conference on Information and Communication Technologies: From Theory to Applications.

TTC TermSuite - A UIMA Application for Multilingual Terminology Extraction from Comparable Corpora

Béatrice Daille, Jérôme Rocheteau, B. Daille, 2011, IJCNLP.

Application of linear logic to Backward Reachability Analysis of Colored Petri Nets

Pavol Barger, Jérôme Rocheteau, Mohamed Bouali, 2010 .