@techreport{IR-2012-09-03-DI-FBO,

	Abstract = {Heterogeneous models mix different models of computation to model the behavior of a system. These models of computation may use different notions of time and different time scales. This article presents a modeling framework for representing relationships between the occurrences of events in the execution of heterogeneous models. Events may be triggered by other events or by elapsed time. Each event is modeled by a clock, and occurrences of the event are modeled by ticks. A clock has a time scale, which is the domain of the tags associated with its ticks to model the time at which an event occurs. We also present an algorithm for solving relations between clocks and determining which ticks should be considered as simultaneous and be handled as “now” in the next simulation step.},
	Address = {Supélec - Département Informatique, 3 rue Joliot-Curie, 91192 Gif-sur-Yvette cedex, France},
	Author = {Frédéric Boulanger and Cécile Hardebolle and Christophe Jacquet and Iuliana Prodan},
	Institution = {Supélec E3S - Computer Science Department},
	Keywords = {Component based system, Coalgebra, Monad, Trace semantics, Transfert function, Conformance testing, Test purpose},
	Month = {SEP},
	Number = {2013-09-03-DI-FBO},
	Title = {Modeling Time for the Execution of Heterogeneous Models},
	Type = {Technical report},
	Year = {2012},
        Url = {http://wwwdi.supelec.fr/software/downloads/InternalReports/Report_2012-09-03-DI-FBO.pdf},

}

@conference{2012BridgingTheChasm,

  author = {Benoît Combemale and Cécile Hardebolle and Christophe Jacquet and Frédéric Boulanger and Benoît Baudry},
  title = {Bridging the Chasm between Executable Metamodeling and Models of Computation},
  booktitle = {Proceedings of the 5th International Conference on Software Language Engineering},
  place = {Dresden, Germany},
  date = {25-28 September 2012},
  year = {2012},
  url = {/software/downloads/ModHelX/2012BridgingTheChasm.pdf},
  class = {intconf},

}

@conference{2012Kilix,

  author = {Romulad Deshayes and Cécile Hardebolle and Christophe Jacquet and Frédéric Boulanger and Tom Mens},
  title = {Heterogeneous Modeling of Gesture-Based 3D Applications},
  booktitle = {Proceedings of the 6th International Workshop on Multi-Paradigm Modeling},
  place = {Innsbruck, Austria},
  date = {1 October 2012},
  year = {2012},
  url = {/software/downloads/ModHelX/2012Kilix.pdf},
  class = {intconf},

}

@conference{2012SemAdaptCCSLLNCS,

  author = {Frédéric Boulanger and Ayman Dogui and Cécile Hardebolle and Christophe Jacquet and Dominique Marcadet and Iuliana Prodan},
  title = {Semantic Adaptation Using CCSL Clock Constraints},
  editor = {Kienzle, Jorg},
  booktitle = {Models in Software Engineering: Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers},
  publisher = {Springer-Verlag},
  publisheraddress = {Berlin Heidelberg, Germany},
  series = {Lecture Notes in Computer Science},
  volume = {7167/2012},
  year = {2012},
  pages = {104--118},
  doi = {http://dx.doi.org/10.1007/978-3-642-29645-1_12},
  url = {/software/downloads/ModHelX/2012SemAdaptCCSLLNCS.pdf},
  isbn = {978-3-642-29644-4},
  class = {confedit},

}

@conference { 2011SemAdaptACSD,

  author = { Frédéric Boulanger and Cécile Hardebolle and Christophe Jacquet and Dominique Marcadet },
  title = { Semantic Adaptation for Models of Computations },
  booktitle = { Proceedings of the 11th International Conference on Application of Concurrency to System Design },
  editor = { Benoît Caillaud and Josep Carmona and Kunihiko Hiraishi },
  place = { Newcastle upon Tyne, UK },
  date = { 20-24 June 2011 },
  year = { 2011 },
  publisher = { IEEE Computer Society },
  isbn = { 978-0-7695-4387-1 },
  pages = { 153-162 },
  doi = { http://dx.doi.org/10.1109/ACSD.2011.17 },
  url = { /software/downloads/ModHelX/2011SemAdaptACSD.pdf },
  class = { intconf },

}

@conference{2010MultiViewLNCS,

  author = {Frédéric Boulanger and Christophe Jacquet and Cécile Hardebolle and Elyes Rouis},
  title = {Modeling Heterogeneous Points of View with ModHel'X},
  editor = {Sudipto Ghosh},
  booktitle = {Models in Software Engineering: Workshops and Symposia at MoDELS 2009, Denver, CO, USA, October 2009, Reports and Revised Selected Papers},
  series = {Lecture Notes in Computer Science},
  volume = 6002,
  publisher = {Springer-Verlag},
  publisheraddress = {Berlin Heidelberg, Germany},
  year = {2010},
  pages = {310--324},
  doi = {http://dx.doi.org/10.1007/978-3-642-12261-3_29},
  url = { /software/downloads/ModHelX/2010MultiViewLNCS.pdf },
  isbn = {978-3-642-12260-6},
  class = {confedit},

}

@article{2009MPMSimulation,

   title={Exploring Multi-Paradigm Modeling Techniques},
   author = {Cécile Hardebolle and Frédéric Boulanger},
   journal={SIMULATION: Transactions of The Society for Modeling and Simulation International},
   volume={85},
   number={11/12},
   pages={688-708},
   year={2009},
   month = {November/December},
   publisher={SAGE Publications},
   issn={0037-5497},
   doi={http://dx.doi.org/10.1177/0037549709105240},
   impfact={0.404 (2007)},
   rank={B (CORE 2009)},
   editorurl = "http://sim.sagepub.com/cgi/content/abstract/85/11-12/688",
   url = { /software/downloads/ModHelX/2009MPMSimulation.pdf },
   class = "intjournal"

}

@article{2009ModExecIJCA,

   title={Multi-Formalism Modelling and Model Execution},
   author = {Cécile Hardebolle and Frédéric Boulanger},
   journal={International Journal of Computers and their Applications},
   volume={31},
   number={3},
   pages={193-203},
   year={2009},
   month = {July},
   publisher={ACTA Press},
   issn={1076-212X},
   rank={C (CORE 2009)},
   doi={},
   note={Special Issue on the International Summer School on Software Engineering},
   editorurl = "http://www.actapress.com/Content_of_Journal.aspx?JournalID=111",
   url = { /software/downloads/ModHelX/2009ModExecIJCA.pdf },
   class = "intjournal"

}