@article{TSI10,
  author    = {Fr\'ed\'eric Mallet and
               Charles Andr\'e and
               Fran\c{c}ois Lagarde},
  title     =  {Un processus automatique pour concevoir les profils {UML}},
  journal   =  {Technique et Sciences Informatiques},
  volume    =  {29},
  number    =  {4--5},
  year      =  {2010},
  month     =  {Mai},
  pages     =  {391--419}
}

@article{ISSE10,
  author    = {Fr\'ed\'eric Mallet and
               Julien DeAntoni and
               Charles Andr\'e and
               Robert de Simone},
  title     = {The clock constraint specification language for building timed causality models},
  journal   = {Innovations in Systems and Software Engineering},
  volume    = {6},
  number    = {1--2},
  year      = {2010},
  pages     = {99--106},
  ee        = {http://dx.doi.org/10.1007/s11334-009-0109-0}
}

@inbook{Shukla2010,
  chapter   = {7},
  pages     = {201--227},
  title     = {The Time Model of Logical Clocks Available in the OMG MARTE Profile},
  publisher = {Springer Science + Business Media},
  year      = {2010},
  editor    = {Shukla, Sandeep K and Talpin, {Jean-Pierre}},
  author    = { Charles Andr\'e and
               Julien DeAntoni and
	       Fr\'ed\'eric Mallet and
               Robert de Simone},
  series    = {In Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction Software Design},
  month     = {June},
  doi       = {http://dx.doi.org/10.1007/978-1-4419-6400-7_7}
}

@inbook{FdlSpringer2010,
  chapter   = {1},
  pages     = {3--18},
  title     = {{IP-Xact} components with Abstract Time Characterization},
  author    = {Fr\'ed\'eric Mallet and
               Charles Andr\'e and
               Robert de Simone},
  publisher = {Springer},
  year      = {2010},
  editor    = {Dominique Borrione},
  volume    = {63},
  series    = {LNEE},
  month     = {July},
  booktitle = {Advances in Design Methods from Modeling Languages for Embedded Systems and SoCs},
  doi       = {http://dx.doi.org/10.1007/978-90-481-9304-2_1}
}

@inproceedings{MalletLAGT09,
  author    = {Fr{\'e}d{\'e}ric Mallet and
               Fran\c{c}ois Lagarde and
               Charles Andr{\'e} and
               S{\'e}bastien G{\'e}rard and
               Fran\c{c}ois Terrier},
  title     = {An Automated Process for Implementing Multilevel Domain
               Models},
  booktitle = {SLE},
  year      = {2009},
  pages     = {314--333},
  ee        = {http://dx.doi.org/10.1007/978-3-642-12107-4_22},
  crossref  = {DBLP:conf/sle/2009},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/sle/2009,
  editor    = {Mark van den Brand and
               Dragan Gasevic and
               Jeff Gray},
  title     = {Software Language Engineering, Second International Conference,
               SLE 2009, Denver, CO, USA, October 5-6, 2009, Revised Selected
               Papers},
  booktitle = {SLE},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {5969},
  year      = {2010},
  isbn      = {978-3-642-12106-7},
  ee        = {http://dx.doi.org/10.1007/978-3-642-12107-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/fdl/GlitiaDM10,
  author    = {Calin Glitia and
               Julien DeAntoni and
               Fr{\'e}d{\'e}ric Mallet},
  title     = {Logical Time at Work: Capturing Data Dependencies and Platform
               Constraints},
  booktitle = {FDL},
  year      = {2010},
  pages     = {241--248},
  doi       = {http://dx.doi.org/10.1049/ic.2010.0159},
  crossref  = {DBLP:conf/fdl/2010},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/fdl/2010,
  editor    = {Adam Morawiec and
               Jinnie Hinderscheit},
  title     = {Proceedings of the 2010 Forum on specification {\&} Design
               Languages, FDL 2010, September 14-16, 2010, Southampton,
               UK},
  booktitle = {FDL},
  publisher = {ECSI, Electronic Chips {\&} Systems design Initiative},
  year      = {2010},
  ee        = {http://www.ecsi.org/fdl2010/},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/sigsoft/DeAntoniMTRBMGRS10,
  author    = {Julien DeAntoni and
               Fr{\'e}d{\'e}ric Mallet and
               Fr{\'e}d{\'e}ric Thomas and
               Gonzague Reydet and
               Jean-Philippe Babau and
               Chokri Mraidha and
               Ludovic Gauthier and
               Laurent Rioux and
               Nicolas Sordon},
  title     = {RT-simex: retro-analysis of execution traces},
  booktitle = {SIGSOFT FSE},
  year      = {2010},
  pages     = {377--378},
  doi       = {http://doi.acm.org/10.1145/1882291.1882357},
  crossref  = {DBLP:conf/sigsoft/2010},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/sigsoft/2010,
  editor    = {Gruia-Catalin Roman and
               Kevin J. Sullivan},
  title     = {Proceedings of the 18th ACM SIGSOFT International Symposium
               on Foundations of Software Engineering, 2010, Santa Fe,
               NM, USA, November 7-11, 2010},
  booktitle = {SIGSOFT FSE},
  publisher = {ACM},
  year      = {2010},
  isbn      = {978-1-60558-791-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/sies/AndreMD10,
  author    = {Charles Andr{\'e} and
               Fr{\'e}d{\'e}ric Mallet and
               Julien DeAntoni},
  title     = {VHDL Observers for Clock Constraint Checking},
  booktitle = {SIES},
  year      = {2010},
  pages     = {98--107},
  doi       = {http://dx.doi.org/10.1109/SIES.2010.5551372},
  crossref  = {DBLP:conf/sies/2010},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/sies/2010,
  title     = {IEEE Fifth International Symposium on Industrial Embedded
               Systems - SIES 2010,  University of Trento, Italy, July
               7-9, 2010},
  booktitle = {SIES},
  publisher = {IEEE},
  year      = {2010},
  isbn      = {978-1-4244-5840-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}