Applying MDA Approach for Web Service Platform. - Jean Bézivin; Slimane Hammoudi; Denivaldo Lopes; Frédéric Jouault (EDOC, 2004)

B2B Applications, BPEL4WS, Web Services and .NET in the Context of MDA. - Jean Bézivin; Slimane Hammoudi; Denivaldo Lopes; Frédéric Jouault (ICEIMT/DIISM, 2004)

Modeling in the Large and Modeling in the Small. - Jean Bézivin; Frédéric Jouault; Peter Rosenthal; Patrick Valduriez (MDAFA, 2004)

Applying Generic Model Management to Data Mapping. - Marcos Didonet Del Fabro; Jean Bézivin; Frédéric Jouault; Patrick Valduriez (BDA, 2005)

Generating Transformation Definition from Mapping Specification: Application to Web Service Platform. - Denivaldo Lopes; Slimane Hammoudi; Jean Bézivin; Frédéric Jouault (CAiSE, 2005)

Principles, Standards and Tools for Model Engineering. - Jean Bézivin; Frédéric Jouault; David Touzet (ICECCS, 2005)

Transforming Models with ATL. - Frédéric Jouault; Ivan Kurtev (MoDELS (Satellite Events), 2005)

Using ATL for Checking Models. - Jean Bézivin; Frédéric Jouault (GRaMoT@GPCE, 2005)

A Canonical Scheme for Model Composition. - Jean Bézivin; Salim Bouzitouna; Marcos Didonet Del Fabro; Marie-Pierre Gervais; Frédéric Jouault; Dimitrios S. Kolovos; Ivan Kurtev; Richard F. Paige (ECMDA-FA, 2006)

KM3: A DSL for Metamodel Specification. - Frédéric Jouault; Jean Bézivin (FMOODS, 2006)

TCS: a DSL for the specification of textual concrete syntaxes in model engineering. - Frédéric Jouault; Jean Bézivin; Ivan Kurtev (GPCE, 2006)

Model Transformations? Transformation Models! - Jean Bézivin; Fabian Büttner; Martin Gogolla; Frédéric Jouault; Ivan Kurtev; Arne Lindow (MoDELS, 2006)

ATL: a QVT-like transformation language. - Frédéric Jouault; Freddy Allilaire; Jean Bézivin; Ivan Kurtev; Patrick Valduriez (OOPSLA Companion, 2006)

Model-based DSL frameworks. - Ivan Kurtev; Jean Bézivin; Frédéric Jouault; Patrick Valduriez (OOPSLA Companion, 2006)

On the architectural alignment of ATL and QVT. - Frédéric Jouault; Ivan Kurtev (SAC, 2006)

Evaluation of rule-based modularization in model transformation languages illustrated with ATL. - Ivan Kurtev; Klaas van den Berg; Frédéric Jouault (SAC, 2006)

A Practical Approach to Model Extension. - Mikaël Barbero; Frédéric Jouault; Jeff Gray 001; Jean Bézivin (ECMDA-FA, 2007)

Model Integration with Model Weaving: a Case Study in System Architecture. - Albin Jossic; Marcos Didonet Del Fabro; Jean-Philippe Lerat; Jean Bézivin; Frédéric Jouault (ICSEM, 2007)

On the Applicability Scope of Model Driven Engineering. - Jean Bézivin; Mikaël Barbero; Frédéric Jouault (MOMPES, 2007)

Special Section Articles. - Yuehua Lin; Jeff Gray 001; Frédéric Jouault (Eur. J. Inf. Syst., 2007)

On the interoperability of model-to-model transformation languages. - Frédéric Jouault; Ivan Kurtev (Sci. Comput. Program., 2007)

Rule-based modularization in model transformation languages illustrated with ATL. - Ivan Kurtev; Klaas van den Berg; Frédéric Jouault (Sci. Comput. Program., 2007)

Model Driven Management of Complex Systems: Implementing the Macroscope's Vision. - Mikaël Barbero; Frédéric Jouault; Jean Bézivin (ECBS, 2008)

Optimization Patterns for OCL-Based Model Transformations. - Jesús Sánchez Cuadrado; Frédéric Jouault; Jesús García Molina; Jean Bézivin (MoDELS (Workshops), 2008)

A Model Engineering Approach to Tool Interoperability. - Yu Sun 002; Zekai Demirezen; Frédéric Jouault; Robert Tairas; Jeff Gray 001 (SLE, 2008)

A MDE Based Approach for Bridging Formal Models. - Tian Zhang 001; Frédéric Jouault; Jean Bézivin; Jianhua Zhao (TASE, 2008)

Deriving OCL Optimization Patterns from Benchmarks. - Jesús Sánchez Cuadrado; Frédéric Jouault; Jesús García Molina; Jean Bézivin (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)

An MDE-based method for bridging different design notations. - Tian Zhang 001; Frédéric Jouault; Jean Bézivin; Xuandong Li (Innov. Syst. Softw. Eng., 2008)

ATL: A model transformation tool. - Frédéric Jouault; Freddy Allilaire; Jean Bézivin; Ivan Kurtev (Sci. Comput. Program., 2008)

Applying Megamodelling to Model Driven Performance Engineering. - Mathias Fritzsche; Hugo Bruneliere; Bert Vanhooff; Yolande Berbers; Frédéric Jouault; Wasif Gilani (ECBS, 2009)

Managing Model Adaptation by Precise Detection of Metamodel Changes. - Kelly Garcés; Frédéric Jouault; Pierre Cointe; Jean Bézivin (ECMDA-FA, 2009)

On the Use of Higher-Order Model Transformations. - Massimo Tisi; Frédéric Jouault; Piero Fraternali; Stefano Ceri; Jean Bézivin (ECMDA-FA, 2009)

Experiments with a High-Level Navigation Language. - Jesús Sánchez Cuadrado; Frédéric Jouault; Jesús García Molina; Jean Bézivin (ICMT@TOOLS, 2009)

Achieving Rule Interoperability Using Chains of Model Transformations. - Marcos Didonet Del Fabro; Patrick Albert; Jean Bézivin; Frédéric Jouault (ICMT@TOOLS, 2009)

Typing in Model Management. - Andrés Vignaga; Frédéric Jouault; M. Cecilia Bastarrica; Hugo Bruneliere (ICMT@TOOLS, 2009)

Ninth International Workshop on the Pragmatics of OCL and Other Textual Specification Languages. - Jordi Cabot; Joanna Chimiak-Opoka; Martin Gogolla; Frédéric Jouault; Alexander Knapp (MoDELS (Workshops), 2009)

Automatically Discovering Hidden Transformation Chaining Constraints. - Raphaël Chenouard; Frédéric Jouault (MoDELS, 2009)

Supporting Tool Reuse with Model Transformation. - Zekai Demirezen; Yu Sun 002; Jeff Gray 001; Frédéric Jouault (SEDE, 2009)

Preface to Workshop The Pragmatics of OCL and Other Textual Specification Languages at MoDELS 2009. - Jordi Cabot; Joanna Chimiak-Opoka; Martin Gogolla; Frédéric Jouault; Alexander Knapp (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009)

Towards an advanced model-driven engineering toolbox. - Frédéric Jouault; Jean Bézivin; Mikaël Barbero (Innov. Syst. Softw. Eng., 2009)

Towards Model Driven Tool Interoperability: Bridging Eclipse and Microsoft Modeling Tools. - Hugo Bruneliere; Jordi Cabot; Cauê Clasen; Frédéric Jouault; Jean Bézivin (ECMFA, 2010)

Towards Incremental Execution of ATL Transformations. - Frédéric Jouault; Massimo Tisi (ICMT@TOOLS, 2010)

Improving Higher-Order Transformations Support in ATL. - Massimo Tisi; Jordi Cabot; Frédéric Jouault (ICMT@TOOLS, 2010)

MoDisco: a generic and extensible framework for model driven reverse engineering. - Hugo Bruneliere; Jordi Cabot; Frédéric Jouault; Frédéric Madiot (ASE, 2010)

Model Transformation Chains in Model-Driven Performance Engineering: Experiences and Future Research Needs. - Mathias Fritzsche; Wasif Gilani; Ralf Lämmel; Frédéric Jouault (Modellierung, 2010)

Inter-DSL coordination support by combining megamodeling and model weaving. - Frédéric Jouault; Bert Vanhooff; Hugo Bruneliere; Guillaume Doux; Yolande Berbers; Jean Bézivin (SAC, 2010)

Enabling tool reuse and interoperability through model-driven engineering. - Zekai Demirezen; Yu Sun 002; Jeff Gray 001; Frédéric Jouault (J. Comput. Methods Sci. Eng., 2010)

VirtualEMF: A Model Virtualization Tool. - Cauê Clasen; Frédéric Jouault; Jordi Cabot (ER Workshops, 2011)

Lazy Execution of Model-to-Model Transformations. - Massimo Tisi; Salvador Martínez Perez; Frédéric Jouault; Jordi Cabot (MoDELS, 2011)

Towards a General Composition Semantics for Rule-Based Model Transformation. - Dennis Wagelaar; Massimo Tisi; Jordi Cabot; Frédéric Jouault (MoDELS, 2011)

MoScript: A DSL for Querying and Manipulating Model Repositories. - Wolfgang Kling; Frédéric Jouault; Dennis Wagelaar; Marco Brambilla 001; Jordi Cabot (SLE, 2011)

A Model-Driven Framework for Aspect Weaver Construction. - Suman Roychoudhury; Jeff Gray 001; Frédéric Jouault (LNCS Trans. Aspect Oriented Softw. Dev., 2011)

API2MoL: Automating the building of bridges between APIs and Model-Driven Engineering. - Javier Luis Cánovas Izquierdo; Frédéric Jouault; Jordi Cabot; Jesús García Molina (Inf. Softw. Technol., 2012)

A Catalogue of Refactorings for Model-to-Model Transformations. - Manuel Wimmer; Salvador Martínez Perez; Frédéric Jouault; Jordi Cabot (J. Object Technol., 2012)

Typing artifacts in megamodeling. - Andrés Vignaga; Frédéric Jouault; María Cecilia Bastarrica; Hugo Bruneliere (Softw. Syst. Model., 2013)

fUML as an assembly language for MDA. - Frédéric Jouault; Massimo Tisi; Jérôme Delatour (MiSE, 2014)

Panel Discussion: Proposals for Improving OCL. - Achim D. Brucker; Tony Clark 001; Carolina Dania; Geri Georg; Martin Gogolla; Frédéric Jouault; Ernest Teniente; Burkhart Wolff (OCL@MoDELS, 2014)

Towards Fixing Sketchy UML Models by Leveraging Textual Notations: Application to Real-Time Embedded Systems. - Frédéric Jouault; Jérôme Delatour (OCL@MoDELS, 2014)

fUML as an Assembly Language for Model Transformation. - Massimo Tisi; Frédéric Jouault; Jérôme Delatour; Zied Saidi; Hassene Choura (SLE, 2014)

Adapting transformations to metamodel changes via external transformation composition. - Kelly Garcés; Juan M. Vara; Frédéric Jouault; Esperanza Marcos (Softw. Syst. Model., 2014)

Towards Functional Model Transformations with OCL. - Frédéric Jouault; Olivier Beaudoux; Matthias Brun 001; Mickael Clavreul; Guillaume Savaton (ICMT, 2015)

On the Use of Active Operations for Incremental Bidirectional Evaluation of OCL. - Frédéric Jouault; Olivier Beaudoux (OCL@MoDELS, 2015)

Enabling OCL and fUML Integration by Transformation. - Massimo Tisi; Frédéric Jouault; Zied Saidi; Jérôme Delatour (ECMFA, 2016)

Efficient OCL-based Incremental Transformations. - Frédéric Jouault; Olivier Beaudoux (OCL@MoDELS, 2016)

BenchmarX Reloaded: A Practical Benchmark Framework for Bidirectional Transformations. - Anthony Anjorin; Zinovy Diskin; Frédéric Jouault; Hsiang-Shang Ko; Erhan Leblebici; Bernhard Westfechtel (BX@ETAPS, 2017)

Gremlin-ATL: a scalable model transformation framework. - Gwendal Daniel; Frédéric Jouault; Gerson Sunyé; Jordi Cabot (ASE, 2017)

Towards One Model Interpreter for Both Design and Deployment. - Valentin Besnard; Matthias Brun 001; Philippe Dhaussy; Frédéric Jouault; David Olivier; Ciprian Teodorov (MoDELS (Satellite Events), 2017)

On Additivity in Transformation Languages. - Soichiro Hidaka; Frédéric Jouault; Massimo Tisi (MoDELS, 2017)

Improving Incremental and Bidirectional Evaluation with an Explicit Propagation Graph. - Frédéric Jouault; Olivier Beaudoux; Matthias Brun 001; Fabien Chhel; Mickael Clavreul (STAF Workshops, 2017)

Unified LTL Verification and Embedded Execution of UML Models. - Valentin Besnard; Matthias Brun 001; Frédéric Jouault; Ciprian Teodorov; Philippe Dhaussy (MoDELS, 2018)

Using process algebra to statically analyze incremental propagation graphs. - Théo Le Calvar; Fabien Chhel; Frédéric Jouault; Frédéric Saubion (MoDELS (Workshops), 2018)

Introducing the Active Map operation to unify and improve efficiency of active operations. - Frédéric Jouault; Fabien Chhel (MoDELS (Workshops), 2018)

Embedded UML Model Execution to Bridge the Gap Between Design and Runtime. - Valentin Besnard; Matthias Brun 001; Frédéric Jouault; Ciprian Teodorov; Philippe Dhaussy (STAF Workshops, 2018)

The TTC 2018 Social Media Case, by ATL and AOF. - Valentin Besnard; Frédéric Jouault; Théo Le Calvar; Massimo Tisi (TTC@STAF, 2018)

A Model Checkable UML Soccer Player. - Valentin Besnard; Ciprian Teodorov; Frédéric Jouault; Matthias Brun 001; Philippe Dhaussy (MoDELS (Companion), 2019)

Verifying and Monitoring UML Models with Observer Automata: A Transformation-Free Approach. - Valentin Besnard; Ciprian Teodorov; Frédéric Jouault; Matthias Brun 001; Philippe Dhaussy (MoDELS, 2019)

Emerging Topics in Textual Modelling. - Achim D. Brucker; Gwendal Daniel; Martin Gogolla; Frédéric Jouault; Christophe Ponsard; Valéry Ramon; Edward D. Willink (OCL@MoDELS, 2019)

Intensional View Definition with Constrained Incremental Transformation Rules. - Théo Le Calvar; Frédéric Jouault; Fabien Chhel; Frédéric Saubion; Mickael Clavreul (MoDELS (Companion), 2019)

Toward a declarative language to generate explorable sets of models. - Théo Le Calvar; Fabien Chhel; Frédéric Jouault; Frédéric Saubion (SAC, 2019)

Truth Tables to Binary Decision Diagrams in Modern ATL. - Dennis Wagelaar; Théo Le Calvar; Frédéric Jouault (TTC@STAF, 2019)

Efficient ATL Incremental Transformations. - Théo Le Calvar; Frédéric Jouault; Fabien Chhel; Mickael Clavreul (J. Object Technol., 2019)

Modular deployment of UML models for V&V activities and embedded execution. - Valentin Besnard; Frédéric Jouault; Matthias Brun 001; Ciprian Teodorov; Philippe Dhaussy; Jérôme Delatour (MoDELS (Companion), 2020)

Designing, animating, and verifying partial UML Models. - Frédéric Jouault; Valentin Besnard; Théo Le Calvar; Ciprian Teodorov; Matthias Brun 001; Jérôme Delatour (MoDELS, 2020)

Evaluating tool support for embedded operating system security: an experience feedback. - Matthias Pasquier; Frédéric Jouault; Matthias Brun 001; Julien Pérochon (MoDELS (Companion), 2020)

AnimUML as a UML Modeling and Verification Teaching Tool. - Frédéric Jouault; Valentin Sebille; Valentin Besnard; Théo Le Calvar; Ciprian Teodorov; Matthias Brun 001; Jérôme Delatour (MoDELS (Companion), 2021)

A DSL for Encoding Models for Graph-Learning Processes. - Zahra Rajaei; Shekoufeh Kolahdouz Rahimi; Massimo Tisi; Frédéric Jouault (STAF Workshops, 2021)

(Ab)using incremental ATL on the TTC 2021 incremental laboratory workflow benchmark. - Frédéric Jouault; Théo Le Calvar (TTC/, 2021)

Unified verification and monitoring of executable UML specifications. - Valentin Besnard; Ciprian Teodorov; Frédéric Jouault; Matthias Brun 001; Philippe Dhaussy (Softw. Syst. Model., 2021)

Coupling solvers with model transformations to generate explorable model sets. - Théo Le Calvar; Fabien Chhel; Frédéric Jouault; Frédéric Saubion (Softw. Syst. Model., 2021)

Trustworthy SoC Reconfiguration Aimed at Product-Service Systems: a Literature Review. - Maxime Méré; Frédéric Jouault; Loïc Pallardy; Richard Perdriau (COINS, 2022)

From OCL-based model static analysis to quick fixes. - Frédéric Jouault; Maxime Méré; Matthias Brun 001; Théo Le Calvar; Matthias Pasquier; Ciprian Teodorov (MoDELS (Companion), 2022)

Feedback on the formal verification of UML models in an industrial context: the case of a smart device life cycle management system. - Maxime Méré; Frédéric Jouault; Loïc Pallardy; Richard Perdriau (MoDELS, 2022)

Practical multiverse debugging through user-defined reductions: application to UML models. - Matthias Pasquier; Ciprian Teodorov; Frédéric Jouault; Matthias Brun 001; Luka Le Roux; Loïc Lagadec (MoDELS, 2022)

Mining human factors general trends from +100k UML class diagrams. - Maxime Savary-Leblanc; Xavier Le Pallec; Philippe A. Palanque; Célia Martinie; Arnaud Blouin; Frédéric Jouault; Mickael Clavreul; Thibault Raffaillac (MoDELS (Companion), 2022)

Modeling Trust Relationships in Blockchain Applications: The Case of Reconfigurable Systems-on-Chip. - Maxime Méré; Frédéric Jouault; Loïc Pallardy; Richard Perdriau (QRS Companion, 2022)

Smart Home Model Verification with AnimUML (Poster). - Frédéric Jouault; Ciprian Teodorov; Matthias Brun 001 (STAF Workshops, 2022)

A cross-technology benchmark for incremental graph queries. - Georg Hinkel; Antonio García-Domínguez; René Schöne; Artur Boronat; Massimo Tisi; Théo Le Calvar; Frédéric Jouault; József Marton; Tamás Nyíri; János Benjamin Antal; Márton Elekes 001; Gábor Szárnyas (Softw. Syst. Model., 2022)

Approaching Model Edition as a Linear Logic Problem. - Frédéric Jouault; Nicolas Pouillard (MoDELS (Companion), 2023)

Debugging Paxos in the UML Multiverse. - Matthias Pasquier; Ciprian Teodorov; Frédéric Jouault; Matthias Brun 001; Loïc Lagadec (MoDELS (Companion), 2023)

Temporal Breakpoints for Multiverse Debugging. - Matthias Pasquier; Ciprian Teodorov; Frédéric Jouault; Matthias Brun 001; Luka Le Roux; Loïc Lagadec (SLE, 2023)

Incremental MTL vs. GPLs: Class into Relational Database Schema. - Sandra Greiner 001; Stefan Höppner; Frédéric Jouault; Théo Le Calvar; Mickael Clavreul (Agile MDE/MeSS/TTC@STAF, 2023)

Incremental ATL solution to the TTC 2023 KMEHR to FHIR case. - Frédéric Jouault; Théo Le Calvar; Matthew Coyle (Agile MDE/MeSS/TTC@STAF, 2023)

Cheptre solution to the TTC 2023 incremental Class2Relational case. - Frédéric Jouault; Nicolas Pouillard (Agile MDE/MeSS/TTC@STAF, 2023)

AnimUML: A practical tool for partial model animation and analysis. - Frédéric Jouault; Valentin Besnard; Matthias Brun 001; Théo Le Calvar; Fabien Chhel; Mickael Clavreul; Jérôme Delatour; Maxime Méré; Matthias Pasquier; Ciprian Teodorov (Sci. Comput. Program., 2024)

Evaluating formal model verification tools in an industrial context: the case of a smart device life cycle management system. - Maxime Méré; Frédéric Jouault; Loïc Pallardy; Richard Perdriau (Softw. Syst. Model., 2025)