Follow
Jérôme Rocheteau
Jérôme Rocheteau
ICAM
Verified email at icam.fr - Homepage
Title
Cited by
Cited by
Year
Ttc termsuite: A uima application for multilingual terminology extraction from comparable corpora
J Rocheteau, B Daille
5th International Joint Conference on Natural Language Processing (IJCNLP), 9-12, 2011
402011
BRILLANT: An open source and XML-based platform for rigourous software development
S Colin, D Petit, J Rocheteau, R Marcano, G Mariano, V Poirriez
Third IEEE International Conference on Software Engineering and Formal …, 2005
162005
Building a French-speaking community around UIMA, gathering research, education and industrial partners, mainly in Natural Language Processing and Speech Recognizing domains
N Hernandez, F Poulard, M Vernier, J Rocheteau
LREC 2010 Workshop'New Challenges for NLP Frameworks', p64, 2010
142010
TTC TermSuite: une chaîne de traitement pour la fouille terminologique multilingue.
B Daille, C Jacquin, L Monceaux, E Morin, J Rocheteau
18ème Conférence francophone sur le Traitement Automatique des Langues …, 2011
122011
λμ-Calculus and Duality: Call-by-Name and Call-by-Value
J Rocheteau
International Conference on Rewriting Techniques and Applications, 204-218, 2005
112005
How Green Are Java Best Coding Practices?
J Rocheteau, V Gaillard, L Belhaj
International Conference on Smart Grids and Green IT Systems 2, 235-246, 2014
102014
Extending openapi 3.0 to build web services from their specification
D Sferruzza, J Rocheteau, C Attiogbé, A Lanoix
International Conference on Web Information Systems and Technologies, 2018
92018
Évaluation de l’extensibilité de PhoX: B/PhoX un assistant de preuves pour B
J Rocheteau, S Colin, G Mariano, V Poirriez
Journées Francophones des Langages Applicatifs (JFLA 2004), 37-54, 2004
72004
A model-driven method for fast building consistent web services from OpenAPI-compatible models
D Sferruzza, J Rocheteau, C Attiogbé, A Lanoix
International Conference on Model-Driven Engineering and Software …, 2018
62018
A model-driven method for fast building consistent web services in practice
D Sferruzza, J Rocheteau, C Attiogbé, A Lanoix
MODELSWARD, 2018
62018
Architectural invariants and correctness of iot-based systems
C Attiogbé, J Rocheteau
International Conference on Model and Data Engineering, 75-88, 2022
52022
Reifier: Model-Driven Engineering of Component-Based and Service-Oriented JEE Applications.
J Rocheteau, D Sferruzza
D&P@ MoDELS, 64-71, 2016
52016
Energy wasting rate as a metrics for green computing and static analysis
J Rocheteau
MegSuS, 2015
52015
Backward reachability analysis of colored petri nets
M Bouali, J Rocheteau, P Barger
The European Safety and Reliability Conference (ESREL'09) 3, 1975--1981, 2009
52009
Towards green metrics integration in the MEASURE platform.
A Bagnato, J Rocheteau
MeGSuS@ ESEM, 39, 2018
42018
Modeling OMG SMM metrics using the Modelio modeling tool in the MEASURE project
A Bagnato, A Sadovykh, S Dahab, S Maag, AR Cavalli, A Stefanescu, ...
Génie logiciel 120, 46-52, 2017
42017
Measuring Green Software Engineering In the MEASURE ITEA 3 Project.
A Bagnato, MAA Da Silva, A Abherve, J Rocheteau, CL Pihery, P Mabit
MeGSuS@ ESEM, 33-42, 2016
42016
Model-driven engineering of monitoring application for sensors and actuators networks
TB La Fosse, Z Cheng, J Rocheteau, JM Mottu
2020 46th Euromicro Conference on Software Engineering and Advanced …, 2020
32020
Formalisation des fautes de circuits numériques et vérification de la sûreté de fonctionnement des circuits numériques en présence de fautes
J Rocheteau
Compiègne, 2007
22007
Towards a First Order Logic Framework for Component Verification by Theorem Proving
J Rocheteau, JL Boulanger, G Mariano
Nordic Workshop on Programming Theory, 2005
22005
The system can't perform the operation now. Try again later.
Articles 1–20