<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>MODELS 2013 Posters</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Preface</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>INRIA, France Department of Computer Science, Colorado State University</institution>
          ,
          <country country="US">USA</country>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>Brice Morin (SINTEF ICT, Norway) • Frank Weil (UniqueSoft, USA) • Robert Pettit (The Aerospace Corporation, UK) • Richard Paige, University of York</institution>
          ,
          <country country="UK">UK</country>
        </aff>
      </contrib-group>
      <abstract>
        <p>For the first time in the history of the conference, MODELS 2013 hosted a formal poster session. The goal of the poster session was to facilitate interaction between groups of individuals in an informal setting. Posters presented both early communication of technical work and late-breaking results in research, practices, and experiences. Five posters were presented in this track. The posters covered both foundational and application work. Two posters presented novel results about testing in the context of model-driven development: Burgueno et al. presented a poster about the application of tracts to test model transformations; Wang et al. presented a work to integrate software product line concerns in modelbased testing. Three posters focused on the application of model-driven methodologies in different domains: Nie et al. presented a novel heuristic to configure cyberphysical systems; Zhang et al. focused on the requirements modeling phase for cyberphysical systems; Vargas et al. evaluated the application of model-driven techniques for game design. Each poster submission was reviewed by members of a review committee consisting of the following people:</p>
      </abstract>
    </article-meta>
  </front>
  <body />
  <back>
    <ref-list />
  </back>
</article>