Frédéric Jouault

Fabien Chhel

Proceedings of MODELS 2018 Workshops: ModComp, 2018

Using process algebra to statically analyze incremental propagation graphs.

[BibT_eX]

[DOI]

Proceedings of MODELS 2018 Workshops: ModComp, 2018

Unified LTL Verification and Embedded Execution of UML Models.

[BibT_eX]

[DOI]

Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018

2017

Improving Incremental and Bidirectional Evaluation with an Explicit Propagation Graph.

[BibT_eX]

[DOI]

Proceedings of the Software Technologies: Applications and Foundations, 2017

On Additivity in Transformation Languages.

[BibT_eX]

[DOI]

Soichiro Hidaka

Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017

Towards One Model Interpreter for Both Design and Deployment.

[BibT_eX]

[DOI]

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

Gremlin-ATL: a scalable model transformation framework.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

BenchmarX Reloaded: A Practical Benchmark Framework for Bidirectional Transformations.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Bidirectional Transformations co-located with The European Joint Conferences on Theory and Practice of Software, 2017

2016

Efficient OCL-based Incremental Transformations.

[BibT_eX]

[DOI]

Olivier Beaudoux

Proceedings of the 16th International Workshop on OCL and Textual Modelling co-located with 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), 2016

Enabling OCL and fUML Integration by Transformation.

[BibT_eX]

[DOI]

Proceedings of the Modelling Foundations and Applications - 12th European Conference, 2016

2015

On the Use of Active Operations for Incremental Bidirectional Evaluation of OCL.

[BibT_eX]

[DOI]

Olivier Beaudoux

Proceedings of the 15th International Workshop on OCL and Textual Modeling co-located with 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015

Towards Functional Model Transformations with OCL.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Model Transformations, 2015

2014

Adapting transformations to metamodel changes via external transformation composition.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2014

fUML as an Assembly Language for Model Transformation.

[BibT_eX]

[DOI]

Proceedings of the Software Language Engineering - 7th International Conference, 2014

Towards Fixing Sketchy UML Models by Leveraging Textual Notations: Application to Real-Time Embedded Systems.

[BibT_eX]

[DOI]

Jérôme Delatour

Proceedings of the 14th International Workshop on OCL and Textual Modelling co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), 2014

Panel Discussion: Proposals for Improving OCL.

[BibT_eX]

[DOI]

Proceedings of the 14th International Workshop on OCL and Textual Modelling co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), 2014

fUML as an assembly language for MDA.

[BibT_eX]

[DOI]

Jérôme Delatour

Proceedings of the 6th International Workshop on Modeling in Software Engineering, 2014

2013

Typing artifacts in megamodeling.

[BibT_eX]

[DOI]

Andrés Vignaga

María Cecilia Bastarrica

Hugo Bruneliere

Softw. Syst. Model., 2013

2012

A Catalogue of Refactorings for Model-to-Model Transformations.

[BibT_eX]

[DOI]

Manuel Wimmer

Salvador Martínez Perez

Javier Luis Cánovas Izquierdo

J. Object Technol., 2012

API2MoL: Automating the building of bridges between APIs and Model-Driven Engineering.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2012

2011

A Model-Driven Framework for Aspect Weaver Construction.

[BibT_eX]

[DOI]

Suman Roychoudhury

Jeff Gray

LNCS Trans. Aspect Oriented Softw. Dev., 2011

MoScript: A DSL for Querying and Manipulating Model Repositories.

[BibT_eX]

[DOI]

Proceedings of the Software Language Engineering - 4th International Conference, 2011

Towards a General Composition Semantics for Rule-Based Model Transformation.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2011

Lazy Execution of Model-to-Model Transformations.

[BibT_eX]

[DOI]

Salvador Martínez Perez

Proceedings of the Model Driven Engineering Languages and Systems, 2011

VirtualEMF: A Model Virtualization Tool.

[BibT_eX]

[DOI]

Cauê Clasen

Proceedings of the Advances in Conceptual Modeling. Recent Developments and New Directions - ER 2011 Workshops FP-UML, MoRE-BI, Onto-CoM, SeCoGIS, Variability@ER, WISM, Brussels, Belgium, October 31, 2011

2010

Enabling tool reuse and interoperability through model-driven engineering.

[BibT_eX]

[DOI]

J. Comput. Methods Sci. Eng., 2010

Inter-DSL coordination support by combining megamodeling and model weaving.

[BibT_eX]

[DOI]

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Model Transformation Chains in Model-Driven Performance Engineering: Experiences and Future Research Needs.

[BibT_eX]

[DOI]

Proceedings of the Modellierung 2010, 24.-26. März 2010, Klagenfurt, Österreich, 2010

MoDisco: a generic and extensible framework for model driven reverse engineering.

[BibT_eX]

[DOI]

Proceedings of the ASE 2010, 2010

Improving Higher-Order Transformations Support in ATL.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Model Transformations, 2010

Towards Incremental Execution of ATL Transformations.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Model Transformations, 2010

Towards Model Driven Tool Interoperability: Bridging Eclipse and Microsoft Modeling Tools.

[BibT_eX]

[DOI]

Proceedings of the Modelling Foundations and Applications - 6th European Conference, 2010

2009

Towards an advanced model-driven engineering toolbox.

[BibT_eX]

[DOI]

Mikaël Barbero

Innov. Syst. Softw. Eng., 2009

Preface to Workshop The Pragmatics of OCL and Other Textual Specification Languages at MoDELS 2009.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Supporting Tool Reuse with Model Transformation.

[BibT_eX]

Proceedings of the 18th International Conference on Software Engineering and Data Engineering (SEDE-2009), 2009

Automatically Discovering Hidden Transformation Chaining Constraints.

[BibT_eX]

[DOI]

Raphaël Chenouard

Proceedings of the Model Driven Engineering Languages and Systems, 2009

Ninth International Workshop on the Pragmatics of OCL and Other Textual Specification Languages.

[BibT_eX]

[DOI]

Proceedings of the Models in Software Engineering, 2009

Typing in Model Management.

[BibT_eX]

[DOI]

Andrés Vignaga

M. Cecilia Bastarrica

Hugo Bruneliere

Proceedings of the Theory and Practice of Model Transformations, 2009

Achieving Rule Interoperability Using Chains of Model Transformations.

[BibT_eX]

[DOI]

Patrick Albert

Proceedings of the Theory and Practice of Model Transformations, 2009

Experiments with a High-Level Navigation Language.

[BibT_eX]

[DOI]

Jesús Sánchez Cuadrado

Proceedings of the Theory and Practice of Model Transformations, 2009

On the Use of Higher-Order Model Transformations.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Architecture, 2009

Managing Model Adaptation by Precise Detection of Metamodel Changes.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Architecture, 2009

Applying Megamodelling to Model Driven Performance Engineering.

[BibT_eX]

[DOI]

Proceedings of the 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2009

2008

ATL: A model transformation tool.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2008

An MDE-based method for bridging different design notations.

[BibT_eX]

[DOI]

Innov. Syst. Softw. Eng., 2008

Deriving OCL Optimization Patterns from Benchmarks.

[BibT_eX]

[DOI]

Jesús Sánchez Cuadrado

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

A MDE Based Approach for Bridging Formal Models.

[BibT_eX]

[DOI]

Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

A Model Engineering Approach to Tool Interoperability.

[BibT_eX]

[DOI]

Proceedings of the Software Language Engineering, First International Conference, 2008

Optimization Patterns for OCL-Based Model Transformations.

[BibT_eX]

[DOI]

Jesús Sánchez Cuadrado

Proceedings of the Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28, 2008

Model Driven Management of Complex Systems: Implementing the Macroscope's Vision.

[BibT_eX]

[DOI]

Mikaël Barbero

Proceedings of the 15th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2008), 31 March, 2008

2007

Rule-based modularization in model transformation languages illustrated with ATL.

[BibT_eX]

[DOI]

Klaas van den Berg

Sci. Comput. Program., 2007

On the interoperability of model-to-model transformation languages.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2007

Special Section Articles.

[BibT_eX]

[DOI]

Yuehua Lin

Jeff Gray

Eur. J. Inf. Syst., 2007

On the Applicability Scope of Model Driven Engineering.

[BibT_eX]

[DOI]

Mikaël Barbero

Proceedings of the Model-based Methodologies for Pervasive and Embedded Software, 2007

Model Integration with Model Weaving: a Case Study in System Architecture.

[BibT_eX]

[DOI]

Albin Jossic

Jean-Philippe Lerat

Proceedings of the 1st International ICST Conference on Systems Engineering and Modeling, 2007

A Practical Approach to Model Extension.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Architecture, 2007

2006

Evaluation of rule-based modularization in model transformation languages illustrated with ATL.

[BibT_eX]

[DOI]

Klaas van den Berg

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

On the architectural alignment of ATL and QVT.

[BibT_eX]

[DOI]

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Model-based DSL frameworks.

[BibT_eX]

[DOI]

Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

ATL: a QVT-like transformation language.

[BibT_eX]

[DOI]

Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Model Transformations? Transformation Models!

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2006

TCS: a DSL for the specification of textual concrete syntaxes in model engineering.

[BibT_eX]

[DOI]

Proceedings of the Generative Programming and Component Engineering, 2006

KM3: A DSL for Metamodel Specification.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2006

A Canonical Scheme for Model Composition.

[BibT_eX]

[DOI]

Salim Bouzitouna

Proceedings of the Model Driven Architecture, 2006

2005

Using ATL for Checking Models.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Graph and Model Transformation, 2005

Transforming Models with ATL.

[BibT_eX]

[DOI]

Proceedings of the Satellite Events at the MoDELS 2005 Conference, 2005

Principles, Standards and Tools for Model Engineering.

[BibT_eX]

[DOI]

David Touzet

Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005

Generating Transformation Definition from Mapping Specification: Application to Web Service Platform.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 17th International Conference, 2005

Applying Generic Model Management to Data Mapping.

[BibT_eX]