these-jcb/publications/workshop-intl-with-review.bib

@INPROCEEDINGS{DRBBBCEEJK10,
  author = {Dur\'{a}n, Francisco and Rold\'{a}n, Manuel and \textbf{Bach},
    \textbf{Jean-Christophe} and Balland, Emilie and Van Den Brand, Mark and Cordy, James R. and
	Eker, Steven and Engelen, Luc and De Jonge, Maartje and Kalleberg,
	Karl Trygve and Kats, Lennart C. L. and Moreau, Pierre-Etienne and
	Visser, Eelco},
  title = {The Third Rewrite Engines Competition},
  booktitle = {Proceedings of the 8th international conference on Rewriting logic
	and its applications},
  year = {2010},
  series = {WRLA'10},
  pages = {243-261},
  publisher = {Springer-Verlag},
  abstract = {This paper presents the main results and conclusions of the Third
	Rewrite Engines Competition (REC III). This edition of the competition
	took place as part of the 8th Workshop on Rewriting Logic and its
	Applications (WRLA 2010), and the systems ASF+SDF, Maude, Stratego/XT,
	Tom, and TXL participated in it.},
  acmid = {1927829},
  isbn = {978-3-642-16309-8},
  address = {Paphos, Cyprus},
  location = {Paphos, Cyprus},
  numpages = {19},
  url = {http://dl.acm.org/citation.cfm?id=1927806.1927829}
}

@INPROCEEDINGS{Bach2012,
  author = {\textbf{Jean-Christophe Bach} and Xavier Crégut and Pierre-Etienne Moreau and Marc Pantel},
  title = {{Model transformations with Tom}},
  booktitle = {Proceedings of the 12th Workshop on Language Descriptions,
    Tools, and Applications},
  series = {LDTA '12},
  address = {Tallinn, Estonia},
  location = {Tallinn, Estonia},
  year = {2012},
  articleno = {4},
  pages = {4:1--4:9},
  numpages = {9},
  publisher = {ACM},
  abstract = {Model Driven Engineering (MDE) advocates the use of Model Transformations
	(MT) in order to automate repetitive development tasks. Many different
	model transformation languages have been proposed with a significant
	development cost as classical elements like expressions, statements,
	. . . must be developed from scratch in each language. The Tom language
	is a shallow extension of Java tailored to describe and implement
	transformations of tree based data-structures. Expressions, statements
	and many other elements rely directly on Java constructs and are
	thus almost costless. A key feature of Tom allows to map any Java
	data-structure to tree based data abstractions that can be accessed
	by pattern matching. In this paper, we present how this approach
	can be extended in order to describe model transformations, and in
	particular EMF (Eclipse Modeling Framework) based model transformations.
	This allows to provide a low cost transformation language both on
	the language tool development and on the developpers training side.},
  hal_id = {hal-00646350},
  keywords = {model transformation;Tom;language;Java;EMF;term structure},
  type = {inproceedings},
  isbn = {978-1-4503-1536-4/12/03},
  doi = {10.1145/2427048.2427052},
  acmid = {2427052},
  keywords = {EMF, Java, Tom, language, model transformation, term structure},
  url = {http://doi.acm.org/10.1145/2427048.2427052}
}

@INPROCEEDINGS{Bach2012a,
  author = {\textbf{Bach}, \textbf{Jean-Christophe} and Moreau, Pierre-Etienne and Pantel, Marc},
  title = {{Tom-Based Tools to Transform EMF Models in Avionics Context}},
  booktitle = {ITSLE},
  month = Sep,
  year = {2012},
  address = {Dresden, Germany},
  note = {To appear},
  abstract = {{Model Driven Engineering (MDE) is now widely used in many industrial
	contexts such as the AeroSpace domain which requires a high level
	of system safety. Model-checking is one of the formal techniques
	which are considered to ensure a system compliance to its requirements.
	It relies on verification dedicated languages to model the system
	under verification. In order to ease the use of these tools, model
	transformations are provided that translate the end user provided
	input model of the system to the formal languages than can be verified.
	In order to rely on these activities for system certification, the
	correctness of these transformation steps must be assessed (qualification
	of the development and verification tools). One of the goal of our
	work is to provide tools to implement the transformation steps between
	the end user source languages used for the system development and
	the target languages used for formal verification. In this paper,
	we present a Tom rule-based approach which is used in a research
	project involving industrial partners: Airbus and Ellidiss.}},
  keywords = {model transformation, language, Tom, Java, EMF, Domain Specific Language,
	DSL, AADL, Fiacre},
}