Proceedings of the Sixth International Conference on Theory and Practice of Model Transformations
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Keith Duddy, Gerti Kappel
Proceedings of the Sixth International Conference on Theory and Practice of Model Transformations
ICMT, 2013.

Full names Links ISxN
	address       = "Budapest, Hungary",
	doi           = "10.1007/978-3-642-38883-5",
	editor        = "Keith Duddy and Gerti Kappel",
	isbn          = "978-3-642-38882-8",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Sixth International Conference on Theory and Practice of Model Transformations}",
	volume        = 7909,
	year          = 2013,

Event page:


  • General Chair: Dániel Varró
  • Program Chairs: Keith Duddy, Gerti Kappel
  • Program Committee: Jordi Cabot, Antonio Cicchetti, Tony Clark, Benoît Combemale, Krzysztof Czarnecki, Jürgen Ebert, Alexander Egyed, Gregor Engels, Claudia Ermel, Robert B. France, Jesús García Molina, Dragan Gašević, Martin Gogolla, Jeff Gray, Esther Guerra, Reiko Heckel, Zhenjiang Hu, Marouane Kessentini, Dimitris S. Kolovos, Thomas Kühne, Jochen Malte Küster, Ivan Kurtev, Ralf Lämmel, Leen Lambers, Juan de Lara, Tihamer Levendovszky, Richard F. Paige, Alfonso Pierantonio, Ivan Porres, Werner Retschitzegger, Bernhard Rumpe, Davide Di Ruscio, Jesús Sánchez Cuadrado, Andy Schürr, Steffen Staab, Jim Steel, Perdita Stevens, Markus Stumptner, Eugene Syriani, Gabriele Täntzer, James Terwilliger, Massimo Tisi, Laurence Tratt, Mark van den Brand, Pieter Van Gorp, Hans Vangheluwe, Eelco Visser, Janis Voigtländer, Hironori Washizaki, Haiyan Zhao, Albert Zündorf
  • Publication Chair: Manuel Wimmer
  • Publicity Chair: Philip Langer
  • Steering Chair: Alfonso Pierantonio
  • Steering Committee: Jean Bézivin, Jordi Cabot, Martin Gogolla, Jeff Gray, Zhenjiang Hu, Juan de Lara, Richard F. Paige, Laurence Tratt, Antonio Vallecillo, Eelco Visser
  • Web Chair: Ludovico Iovino
  • Contents (18 items)

    ICMT-2013-CuadradoL #challenge #model transformation #streaming
    Streaming Model Transformations: Scenarios, Challenges and Initial Solutions (JSC, JdL), pp. 1–16.
    ICMT-2013-FaunesSB #approach #model transformation
    Genetic-Programming Approach to Learn Model Transformation Rules from Examples (MF, HAS, MB), pp. 17–32.
    Walk Your Tree Any Way You Want (AHB, RL), pp. 33–49.
    ICMT-2013-HermannGNBMPE #automation #graph grammar #on the #using
    On an Automated Translation of Satellite Procedures Using Triple Graph Grammars (FH, SG, NN, BB, GM, AP, TE), pp. 50–51.
    ICMT-2013-MannEF #framework #graph grammar #library #term rewriting
    The Graph Grammar Library — A Generic Framework for Chemical Graph Rewrite Systems (MM, HE, CF), pp. 52–53.
    ICMT-2013-LepperT #performance #validation
    Fragmented Validation: A Simple and Efficient Contribution to XSLT Checking (ML, BTyW), pp. 54–55.
    ICMT-2013-Horn #query
    Model Querying with FunnyQT — (TH), pp. 56–57.
    ICMT-2013-WillinkHK #qvt
    Yet Another Three QVT Languages (EDW, HH, DSK), pp. 58–59.
    ICMT-2013-RuscioIP #approach #atl #co-evolution #evolution #metamodelling
    A Methodological Approach for the Coupled Evolution of Metamodels and ATL Transformations (DDR, LI, AP), pp. 60–75.
    ICMT-2013-KrauseDG #co-evolution #evolution #graph transformation #metamodelling
    Metamodel-Specific Coupled Evolution Based on Dynamically Typed Graph Transformations (CK, JD, HG), pp. 76–91.
    ICMT-2013-RestWSSV #editing #realtime #robust #visual notation
    Robust Real-Time Synchronization between Textual and Graphical Editors (OvR, GW, JRHS, JGS, EV), pp. 92–107.
    ICMT-2013-KramerKSMKBJ #weaving
    Achieving Practical Genericity in Model Weaving through Extensibility (MEK, JK, JRHS, BM, JK, OB, JMJ), pp. 108–124.
    ICMT-2013-VarroD #algorithm #incremental #network #pattern matching
    A Rete Network Construction Algorithm for Incremental Pattern Matching (GV, FD), pp. 125–140.
    ICMT-2013-RentschlerNHR #interactive #maintenance #model transformation #performance #visual notation
    Interactive Visual Analytics for Efficient Maintenance of Model Transformations (AR, QN, LH, RHR), pp. 141–157.
    ICMT-2013-ButtnerEGL #model transformation #refinement
    Checking Model Transformation Refinement (FB, ME, EG, JdL), pp. 158–173.
    ICMT-2013-HildebrandtLG #automation #consistency #graph grammar #implementation #specification #testing
    Complete Specification Coverage in Automatically Generated Conformance Test Cases for TGG Implementations (SH, LL, HG), pp. 174–188.
    ICMT-2013-FinotMSA #model transformation #testing
    Partial Test Oracle in Model Transformation Testing (OF, JMM, GS, CA), pp. 189–204.
    ICMT-2013-WieberS #approach #graph transformation #testing
    Systematic Testing of Graph Transformations: A Practical Approach Based on Graph Patterns (MW, AS), pp. 205–220.

    Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
    Hosted as a part of SLEBOK on GitHub.