% This file was created with JabRef 2.10.
% Encoding: Cp1252


@InProceedings{KhecharemGDMS14,
  Title                    = {Execution of heterogeneous models for thermal analysis with a multi-view approach},
  Author                   = {Amani Khecharem and Carlos Gomez and Julien DeAntoni and Fr{\'{e}}d{\'{e}}ric Mallet and Robert de Simone},
  Booktitle                = {FDL'14},
  Year                     = {2014},
  Pages                    = {1--8},

  Crossref                 = {DBLP:conf/fdl/2014},
  Doi                      = {10.1109/FDL.2014.7119366},
  Location                 = {Munich, Germany},
  Timestamp                = {Mon, 15 Jun 2015 13:23:52 +0200}
}

@InProceedings{MalletZ14,
  Title                    = {Coalgebraic Semantic Model for the Clock Constraint Specification Language},
  Author                   = {Fr{\'{e}}d{\'{e}}ric Mallet and Grygoriy Zholtkevych},
  Booktitle                = {ICFEM-FTSCS'14},
  Year                     = {2014},
  Note                     = {Revised Selected Papers},
  Pages                    = {174--188},

  Crossref                 = {DBLP:conf/ftscs/2014},
  Doi                      = {10.1007/978-3-319-17581-2_12},
  Location                 = {Luxembourg},
  Timestamp                = {Fri, 05 Feb 2016 13:12:29 +0100}
}

@InProceedings{ZhangMC14,
  Title                    = {Timed Automata Semantics of Spatial-Temporal Consistency Language STeC},
  Author                   = {Yuanrui Zhang and Fr{\'{e}}d{\'{e}}ric Mallet and Yixiang Chen},
  Booktitle                = {TASE'14},
  Year                     = {2014},
  Pages                    = {201--208},

  Crossref                 = {DBLP:conf/tase/2014},
  Doi                      = {10.1109/TASE.2014.10},
  Location                 = {Changsha, China},
  Timestamp                = {Thu, 05 Nov 2015 11:51:56 +0100}
}

@InBook{Bourdelles2014,
  Title                    = {Fostering Analysis from Industrial Embedded Systemis Modeling},
  Author                   = {Bourdell\`es, Michel and Li, Shuai and Quadri, Imran and Brosse, Etienne and Sadovykh, Andrey and Gaudin, Emmanuel and Mallet, Fr\'ed\'eric and Goknil, Arda and George, David and Kreku, Jari},
  Chapter                  = {11},
  Pages                    = {283--300},
  Publisher                = {IGI-Global},
  Year                     = {2014},

  Booktitle                = {Handbook of Research on Embedded Systems Design},
  Ee                       = {http://www.igi-global.com/chapter/fostering-analysis-from-industrial-embedded-systems-modeling/116113},
  Owner                    = {fmallet},
  Timestamp                = {2016.04.14}
}

@Unpublished{MatiasEzequelVaraLarsen2014,
  Title                    = {Framework for Heterogeneous Modeling and Composition},
  Author                   = {Matias Ezequel Vara Larsen and Julien DeAntoni and Frédéric Mallet},
  Note                     = {Conf. en Ingénierie du Logiciel(CIEL'14), pp. 81-86},

  Month                    = {6},
  Year                     = {2014},

  Location                 = {Paris, France},
  Owner                    = {fmallet},
  Timestamp                = {2016.09.20}
}

@InBook{MalletPDS2014,
  Title                    = {{UML MARTE} Time Model and Its Clock Constraint Specification Language},
  Author                   = {Mallet, Fr\'ed\'eric and Peraldi-Frati, Marie-Agn\`es and DeAntoni, Julien and {de Simone}, Robert},
  Chapter                  = {2},
  Pages                    = {29--51},
  Publisher                = {IGI-Global},
  Year                     = {2014},

  Booktitle                = {Handbook of Research on Embedded Systems Design},
  Ee                       = {http://www.igi-global.com/chapter/uml-marte-time-model-and-its-clock-specification-language/116103},
  Owner                    = {fmallet},
  Timestamp                = {2016.04.14}
}

@Proceedings{DBLP:conf/ftscs/2014,
  Title                    = {International Workshop Formal Techniques for Safety-Critical Systems},
  Year                     = {2015},

  Address                  = {Luxembourg},
  Editor                   = {Cyrille Artho and Peter Csaba {\"{O}}lveczky},
  Month                    = {11},
  Publisher                = {Springer},
  Series                   = {Communications in Computer and Information Science},
  Volume                   = {476},

  Doi                      = {10.1007/978-3-319-17581-2},
  ISBN                     = {978-3-319-17580-5},
  Timestamp                = {Fri, 05 Feb 2016 13:09:37 +0100}
}

@Proceedings{DBLP:conf/fdl/2014,
  Title                    = {Forum on Specification and Design Languages},
  Year                     = {2014},

  Address                  = {Munich, Germany},
  Month                    = {10},
  Publisher                = {{IEEE}},

  ISBN                     = {978-2-9530504-9-3},
  Timestamp                = {Mon, 15 Jun 2015 13:17:44 +0200}
}

@Proceedings{DBLP:conf/tase/2014,
  Title                    = {Theoretical Aspects of Software Engineering Conference},
  Year                     = {2014},

  Address                  = {Changsha, China},
  Month                    = {9},
  Publisher                = {IEEE Computer Society},

  ISBN                     = {978-1-4799-5029-4},
  Timestamp                = {Thu, 05 Nov 2015 11:51:56 +0100}
}