jcb
/
pagepro


			
							123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331
							<!-- -*- ispell-local-dictionary: "english"; coding: utf-8 -*- -->
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
<!--!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
   "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"-->
<html xmlns="http://www.w3.org/1999/xhtml">

<head>
  <title>Jean-Christophe Bach</title>
  <link rel="shortcut icon" href="images/glider.png"/>
  <link href="style.css" rel="stylesheet" type="text/css"/>
  <style type="text/css">
    #menu #research_menu {
      background-color:#F6E497;  /*#BD8D46*/ /* #b9121b;*/
    }
  </style>
  <meta http-equiv="Content-Type" content="text/html;charset=utf-8" />
  <meta name="description" content="Jean-Christophe Bach's homepage, Research"/>
  <meta name="keywords" content="jean-christophe, bach, homepage, TELECOM Bretagne, PASS, IRISA, Inria, RMoD, CRIStAL, university, université lille 1, IEEA, FIL, Pharo, transformations, AST, models, research, PhD subject, articles, publications, Loria, Pareo, Tom" />
  <meta name="author" content="jean-christophe bach" />
</head>

<body>
<table width="100%">
<tr>

  <td style="width:15%">
  </td>

  <td style="width:70%">

    <div id="header">
    <h1>Jean-Christophe Bach</h1>
      <h4>Associate Professor / <a href="http://www.telecom-bretagne.eu">TELECOM Bretagne</a> - <a href="http://departements.telecom-bretagne.eu/info">Computer Science department</a>/ <a href="http://recherche.telecom-bretagne.eu/pass/">PASS</a> Team (<a href="https://www.irisa.fr/en">IRISA</a>)</h4>
      <ul id="menu">
        <li><a id="home_menu" href="./index.html">home</a></li>
        <li><a id="research_menu" href="./research.html">research</a></li>
        <li><a id="teaching_menu" href="./teaching.html">teaching</a></li>
        <li><a id="misc_menu" href="./misc.html">misc</a></li>
        <!--li><a id="tuto_menu" href="./tuto.html">test</a></li-->
      </ul>
    </div>

    <h3>Research interests</h3>
   <p> 
    <ul>
      <li>Software engineering</li>
      <li>Languages</li>
      <li>Transformations, qualifiable transformations</li>
      <ul>
        <li>languages</li>
        <li>qualifiable</li>
        <li>models</li>
        <li>program</li>
      </ul>
      <li>Software evolution</li>
      <li>Software applications migration</li>
      <li>Help to software verification</li>
      <li>Transformation traceability</li>
      <li>Formal Methods</li>
      <!--li></li-->
    </ul>
   
    </p>


    <h3>Thesis subject</h3>
    <p style="text-align:justify">

    <b>Defense on friday 12th Septembre 2014 at 01:30 pm, Loria, room C005</b> (my thesis can be found <a href="http://www.theses.fr/2014LORR0128">here</a> or <a href="https://tel.archives-ouvertes.fr/tel-01081055v1"><!--a href="./these.html"-->on HAL</a>)<br/>
    Jury: <ul>
      <li>Reviewers:
      <ul>
        <li>Antoine Beugnard, Telecom Bretagne</li>
        <li>Laurence Duchien, Université de Lille 1, LIFL (president)</li>
      </ul>
      </li>
      <li>Examinators: <ul>
        <li>Mark van den Brand, Eindhoven University of Technology</li>
        <li>Benoît Combemale, Université de Rennes 1, IRISA, Inria</li>
        <li>Marc Pantel, Université de Toulouse, INPT, IRIT</li>
      </ul></li>
      <li>Supervisor: <ul>
        <li>Pierre-Etienne Moreau, Université de Lorraine, École des Mines de Nancy, LORIA.</li>
      </ul></li>
      </ul>

    My PhD subject was entitled <b>« A formal island for qualifiable model
transformations »</b> and is a part of the <a
href="http://quarteft.loria.fr">Quarteft</a> project. This project focuses on
critical systems development chains which rely on <a
href="http://en.wikipedia.org/wiki/Domain-Specific_Modeling">Domain Specific
Modeling Language</a> and on qualified transformations (insurance that the
transformation preserves thes interesting properties) between languages. The
Quarteft project aims to develop technologies to make this approach easier in
the real time embedded systems context. On one hand, the project relies on the
definition of dedicated intermediate languages (DSML) and on the application of
formal methods to specify and to proove the transformations correctness.  The
proposed study relies on the <a
href="http://homepages.laas.fr/bernard/fiacre/">FIACRE</a> language, which is
one of the intermediate languages for the formal verification of real time
aspects in the <a href="http://www.topcased.org">TOPCASED</a> project; it
factorize and optimize the translation chain between languages such as <a
href="http://fr.wikipedia.org/wiki/Specification_and_Description_Language">SDL</a>,
<a href="http://fr.wikipedia.org/wiki/Aadl">AADL</a>, … and model checking
tools such as <a href="http://homepages.laas.fr/bernard/tina/">TINA</a> and <a
href="http://www.inrialpes.fr/vasy/cadp/">CADP</a>. 

    <br/>
    <br/>

    Therefore, I was interested in developping specification and implementation
techniques for transformations whose use cases were extensions of FIACRE
(RT-FIACRE for more abstract constructs which are specific to real time).  My
goal was to propose methods allowing to validate and to verify formally these
transformations.

    <br/>
    <br/>

To implement these transformations, I proposed a method based on rewriting and
the <a href="http://tom.loria.fr">Tom</a> language in an host language such as
Java, and a modeling framework such as <a
href="http://www.eclipse.org/modeling/emf/">EMF</a>. Then, I extended the Tom
language to express easily theses transformations. I created a new dedicated
formal island within Tom to express model transformations. I also added other
formal islands to express traceability and to solve the problem of the order of
rewriting rules application.

    </p>


    <h3>Publications and talks</h3>
    <p>
    On <a href="http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/b/Bach:Jean=Christophe.html">DBLP</a> and <a href="http://hal.inria.fr/index.php?action_todo=search&amp;submit=1&amp;s_type=simple&amp;submit=1&amp;f[0]=@auteur&amp;v[0]=Jean-Christophe%20Bach&amp;search_without_file=YES&amp;orderby=DATEPROD&amp;ascdesc=DESC">HAL</a>.
    <br/> 
    <br/>
    List of publications:</p>
    <table>


<tr valign="top">
<td align="right" class="bibtexnumber">
[9]
</td>
<td class="bibtexitem">
<b>Jean-Christophe</b> <b>Bach</b>.
Un îlot formel pour les transformations de modèles qualifiables
  <em>Université de Lorraine</em>, September 2014.
PhD Thesis in French.
[&nbsp;<a href="papers/bach-PhDThesis.bib">bib</a>&nbsp;| 
<a href="http://www.theses.fr/2014LORR0128">theses.fr</a>|
<a href="https://tel.archives-ouvertes.fr/tel-01081055">TEL</a>&nbsp;|
<a href="https://hal.inria.fr/tel-01081055">hal</a>&nbsp;|
&nbsp;<a href="papers/bach-PhDThesis.pdf">Local copy</a>&nbsp;]
</td>
</tr>

<tr valign="top">
<td align="right" class="bibtexnumber">
[8]
</td>
<td class="bibtexitem">
Martin Quinson and <b>Jean-Christophe</b> <b>Bach</b>.
 L'informatique nomade, c'est la libert&eacute; !
 <em>Interstices</em>, February 2013.
 Popularization article in French.
[&nbsp;<a href="papers/bachInterstices2013a.bib">bib</a>&nbsp;| 
<a href="http://hal.inria.fr/hal-00794187">hal</a>&nbsp;|
<a href="http://interstices.info/jcms/int_69503/linformatique-nomade-cest-la-liberte">Interstices</a>]
<!--&nbsp;<a href="papers/bachTSI2014.pdf">Local copy</a>&nbsp;]-->
</td>
</tr>

<tr valign="top">
<td align="right" class="bibtexnumber">
[7]
</td>
<td class="bibtexitem">
<b>Jean-Christophe</b> <b>Bach</b>.
 Une approche hybride GPL-DSL pour transformer des mod&egrave;les.
 pages 175-201, 3/33 2014.
 Technique et Science Informatiques, TSI.
[&nbsp;<a href="papers/bachTSI2014.bib">bib</a>&nbsp;|
<!--DOI&nbsp;|-->
<a href="http://hal.inria.fr/hal-00786254">hal</a>&nbsp;|
&nbsp;<a href="papers/bachTSI2014.pdf">Local copy</a>&nbsp;]
</td>
</tr>

<tr valign="top">
<td align="right" class="bibtexnumber">
[6]
</td>
<td class="bibtexitem">
Ali Afroozeh, <b>Jean-Christophe Bach</b>, Mark van&nbsp;den Brand, Adrian
  Johnstone, Maarten Manders, Pierre-Etienne Moreau, and Elizabeth Scott.
 Island Grammar-Based Parsing Using GLL and Tom.
 In Krzysztof Czarnecki and Görel Hedin, editors, <em>Software
  Language Engineering, 5th International Conference, SLE 2012</em>, volume 7745 of
  <em>Lecture Notes in Computer Science</em>, pages 224-243, Dresden, Germany,
  September 2012. Springer Berlin Heidelberg.
[&nbsp;<a href="papers/bachSLE2012.bib">bib</a>&nbsp;| 
<a href="http://dx.doi.org/10.1007/978-3-642-36089-3_13">DOI</a>&nbsp;<!--|
<a href="http://hal.inria.fr/....">hal</a>&nbsp;| -->
&nbsp;<a href="papers/bachSLE2012.pdf">Local copy</a>&nbsp;]
</td>
</tr>

<tr valign="top">
<td align="right" class="bibtexnumber">
[5]
</td>
<td class="bibtexitem">
<b>Jean-Christophe</b> <b>Bach</b>, Pierre-Etienne Moreau, and Marc Pantel.
 Tom-Based Tools to Transform EMF Models in Avionics Context.
 In <em>ITSLE</em>, Dresden, Germany, September 2012.
 To appear.
[&nbsp;<a href="papers/bachITSLE2012.bib">bib</a>&nbsp;|
<a href="http://dx.doi.org/todo/">DOI</a>&nbsp;|
<!--DOI&nbsp;|>
<a href="http://hal.inria.fr/....">hal</a>&nbsp;|
-->
&nbsp;<a href="papers/bachITSLE2012.pdf">Local copy</a>&nbsp;]
</td>
</tr>

<tr valign="top">
<td align="right" class="bibtexnumber">
[4]
</td>
<td class="bibtexitem">
<b>Jean-Christophe</b> <b>Bach</b>, Pierre-Etienne Moreau, and Marc Pantel.
 EMF Models Transformations with Tom.
 In <em>SLE</em>, Dresden, Germany, September 2012.
[&nbsp;<a href="papers/bach2012SLEb.bib">bib</a>&nbsp;|
<!--DOI&nbsp;|>
<a href="http://hal.inria.fr/....">hal</a>&nbsp;|
-->
&nbsp;<a href="papers/bachSLE2012_poster.pdf">Local copy</a>&nbsp;]
</td>
</tr>

<tr valign="top">
<td align="right" class="bibtexnumber">
[3]
</td>
<td class="bibtexitem">
<b>Jean-Christophe Bach</b>, Xavier Crégut, Pierre-Etienne Moreau, and Marc
  Pantel.
 Model transformations with Tom.
 In <em>Proceedings of the 12th Workshop on Language Descriptions,
  Tools, and Applications</em>, LDTA '12, pages 4:1-4:9, Tallinn, Estonia, 2012.
  ACM.
[&nbsp;<a href="papers/bachLDTA2012.bib">bib</a>&nbsp;| 
<a href="http://dx.doi.org/10.1145/2427048.2427052">DOI</a>&nbsp;|
<!--
<a href="http://doi.acm.org/10.1145/2427048.2427052">ACM</a>&nbsp;| 
<a href="http://hal.inria.fr/....">hal</a>&nbsp;|
Local copy-->
&nbsp;<a href="papers/bachLDTA2012.pdf">Local copy</a>&nbsp;|
&nbsp;<a href="papers/bachLDTA2012_presentation.pdf">Slides</a>&nbsp;]
</td>
</tr>

<tr valign="top">
<td align="right" class="bibtexnumber">
[2]
</td>
<td class="bibtexitem">
Francisco Dur&aacute;n, Manuel Rold&aacute;n, <b>Jean-Christophe</b> <b>Bach</b>,
  Emilie Balland, Mark Van Den&nbsp;Brand, James&nbsp;R. Cordy, Steven Eker, Luc Engelen,
  Maartje De&nbsp;Jonge, Karl&nbsp;Trygve Kalleberg, Lennart C.&nbsp;L. Kats, Pierre-Etienne
  Moreau, and Eelco Visser.
 The third rewrite engines competition.
 In <em>Proceedings of the 8th international conference on Rewriting
  logic and its applications</em>, WRLA'10, pages 243-261, Paphos, Cyprus, 2010.
  Springer-Verlag.
[&nbsp;<a href="papers/bachWRLA2010.bib">bib</a>&nbsp;| 
<a href="http://dx.doi.org/10.1007/978-3-642-16310-4_16">DOI</a>|
<!--<a href="http://hal.inria.fr/....">hal</a>&nbsp;|-->
<a href="http://dl.acm.org/citation.cfm?id=1927806.1927829">ACM</a>&nbsp;| 
<a href="http://www.springerlink.com/content/436358m836203763/">SpringerLink</a>&nbsp;| 
&nbsp;<a href="papers/bachWRLA2010.pdf">Local copy</a>&nbsp;]
</td>
</tr>


<tr valign="top">
<td align="right" class="bibtexnumber">
[1]
</td>
<td class="bibtexitem">
<b>Jean-Christophe Bach</b>, Emilie Balland, Paul Brauner, Radu Kopetz,
  Pierre-Etienne Moreau, and Antoine Reilles.
 Tom Manual.
 Rapport technique, PAREO - INRIA Lorraine - LORIA - INRIA - CNRS :
  UMR7503 - Universit&eacute; Henri Poincar&eacute; - Nancy I - Universit&eacute; Nancy
  II - Institut National Polytechnique de Lorraine, 2009.
[&nbsp;<a href="papers/bachTomManual2009.bib">bib</a>&nbsp;| 
<a href="http://hal.inria.fr/inria-00121885/en/">hal</a>&nbsp;| 
<a href="http://hal.inria.fr/inria-00121885/PDF/manual-2.7.pdf">.pdf</a>&nbsp;]
</td>
</tr>

  </table>

  <hr/>
  <table width="100%">
    <tr>
      <td style="width:35%" align="left">
	<!--a href="research.html">EN<!--img src="images/flag-en.gif" style="border:0" width="20" height="12" alt="this page"/--></a-->
	<a href="research-fr.html">FR<!--img src="images/flag-fr.gif" style="border:0" width="20" height="12" alt="this page in french"/--></a>
      </td>
      <!--td style="width:30%" align="center">
	<a href="http://validator.w3.org/check?uri=referer"><img src="images/valid_xhtml.png" style="border:0" alt="Valid XHTML 1.1"/></a>
	<a href="http://jigsaw.w3.org/css-validator/validator?uri=http://www.loria.fr/~bachjeje/style.css"><img src="images/valid_css.png" style="border:0" alt="Valid CSS"/></a>
      </td-->
      <td style="width:35%" align="right">
	<i>Last modification: 2015-09-03</i>
      </td>
    </tr>
  </table>
  </td>

  <td style="width:15%">
  </td>
</tr>
</table>
</body>
</html>