Julien Cohen

22 papers Misc 1Journal 12Unranked 7
YearRankTypeTitle / Venue / Authors
2024 J jnl
Automated Proof Tactics for Model Transformation.
J. Object Technol.
Julien Cohen, Massimo Tisi, Rémi Douence
2022 — ed.
STAF 2022 Workshop Proceedings: 10th International Workshop on Bidirectional Transformations (BX 2022), 2nd International Workshop on Foundations and Practice of Visual Modeling (FPVM 2022) and 2nd International Workshop on MDE for Smart IoT Systems (MeSS 2022) (co-located with Software Technologies: Applications and Foundations federation of conferences (STAF 2022)), Nantes, France, July 5-8, 2022.
STAF Workshops
Catherine Dubois, Julien Cohen
2016 — conf
Renaming Global Variables in C Mechanically Proved Correct.
VPT@ETAPS
Julien Cohen
2013 Misc conf
Practical use of static composition of refactoring operations.
SAC
Julien Cohen, Akram Ajouli
2013 — conf
Transformations between Composite and Visitor Implementations in Java.
EUROMICRO-SEAA
Akram Ajouli, Julien Cohen, Jean-Claude Royer
2013 J jnl
Transformations between Composite and Visitor implementations in Java.
CoRR
Akram Ajouli, Julien Cohen, Jean-Claude Royer
2012 J jnl
Invertible Program Restructurings for Continuing Modular Maintenance
CoRR
Julien Cohen, Rémi Douence, Akram Ajouli
2012 — conf
Invertible Program Restructurings for Continuing Modular Maintenance.
CSMR
Julien Cohen, Rémi Douence, Akram Ajouli
2011 J jnl
Refactoring Composite to Visitor and Inverse Transformation in Java
CoRR
Akram Ajouli, Julien Cohen
2010 J jnl
Variable elimination for building interpreters
CoRR
Julien Cohen, Jean-Louis Giavitto, Olivier Michel
2010 J jnl
Views, Program Transformations, and the Evolutivity Problem
CoRR
Julien Cohen, Rémi Douence
2009 J jnl
A class of structured P2P systems supporting browsing
CoRR
Julien Cohen
2009 J jnl
Typage fort et typage souple des collections topologiques et des transformations
CoRR
Julien Cohen
2009 J jnl
Typing rule-based transformations over topological collections
CoRR
Julien Cohen
2007 J jnl
Interprétation par syntaxe abstraite d'ordre supérieur et traduction en combinateurs.
Tech. Sci. Informatiques
Julien Cohen
2005 J jnl
Typage des collections topologiques hétérogènes et des transformations.
Tech. Sci. Informatiques
Julien Cohen
2004 — conf
Computations in Space and Space in Computations.
UPP
Jean-Louis Giavitto, Olivier Michel, Julien Cohen, Antoine Spicher
2004 — —
Intégration des collections topologiques et des transformations dans un langage fonctionnel. (Integration of topological collections and transformations into a functional language).
Julien Cohen
2003 — conf
Filtrage et règles de réécriture sur des structures indexées par des groupes.
JFLA
Julien Cohen, Olivier Michel, Jean-Louis Giavitto
2003 — conf
Typing rule-based transformations over topological collections.
RULE@RDP
Julien Cohen
2002 — conf
Accretive Rules in Cayley P Systems.
WMC-CdeA
Jean-Louis Giavitto, Olivier Michel, Julien Cohen
2002 J jnl
Pattern-matching and rewriting rules for group indexed data structures.
ACM SIGPLAN Notices
Jean-Louis Giavitto, Olivier Michel, Julien Cohen