@inbook{lnee:mallet09,
  author    = { Fr\'ed\'eric Mallet and
                Robert de Simone
              },
  chapter   = { 2 },
  title     = { {M}ARTE vs. {AADL} for Discrete-Event and Discrete-Time Domains },
  pages     = { 27--41 },
  doi       = {10.1007/978-1-4020-9714-0_2},
  crossref  = { lnee:fdl08 }
}

@book{lnee:fdl08,
  editor    = { Martin Radetzki },
  booktitle = { Languages for Embedded Systems and their Applications },
  publisher = { Springer },
  year      = { 2009 },
  series    = { LNEE },
  month     = { April },
  volume    = { 36 },
  ee        = { http://www.springer.com/engineering/circuits+%26+systems/book/978-1-4020-9713-3 },
  isbn      = { 978-1-4020-9713-3 } 
}

@article{jesa09,
  author    = {Andr{\'e}, Charles  and  Mallet, Fr{\'e}d{\'e}ric},
  title     = {Mod{\`e}le de contraintes temporelles pour 
               syst{\`}emes polychrones},
  journal   = {Journal Europ{\'e}ens des Syst{\`e}mes Automatis{\'e}s },
  year      = { 2009 },
  pages     = { 725--739 },
  number    = { 43 },
  volume    = { 7--9 },
  publisher = { Hermes/Lavoisier }
}

@article{Neptune09,
  author    = {Charles André and Frédéric Mallet},
  title     = {Modèles de temps de {MARTE} et {CCSL} },
  journal   = {Génie Logiciel},
  number    = {89},
  year      = {2009},
  pages     = {44--49},
  x-editorial-board = {yes},
  x-international-audience = {no},
  x-scientific-popularization = {no}
}

@inproceedings{fdl09,
  author    = {Aamir {Mehmood Khan} and Frédéric Mallet  and Charles André and Robert de Simone},
  title     = {IP-XACT components with abstract time characterization},
  pages     = {xx--xx},
  booktitle = {Forum on specification, verification and design languages, FDL 2009},
  year = {2009},
  month     = {September},
  location  = {Sophia-Antipolis, F},
  x-editorial-board = {yes},
  x-international-audience = {yes},
  x-proceedings = {yes},
  x-invited-conference = {no},
  x-scientific-popularization = {no}
}

@inproceedings{lctes09,
  author    = {Andr{\'e}, Charles  and  Mallet, Fr{\'e}d{\'e}ric},
  title     = {Specification and Verification of Time Requirements with {CCSL} and Esterel},
  pages     = {167--176},
  ee        = {http://doi.acm.org/10.1145/1542452.1542475},
  crossref  = {DBLP:conf/lctes/2009}
}

@proceedings{DBLP:conf/lctes/2009,
  editor    = {Christoph M. Kirsch and
               Mahmut T. Kandemir},
  title     = {ACM SIGPLAN/SIGBED conference on
               Languages, compilers, and tools for embedded systems, LCTES
               2009},
  booktitle = {LCTES},
  publisher = {ACM},
  year      = {2009},
  isbn      = {978-1-60558-356-3},
  month     = {June},
  location  = {Dublin, Ireland}
}

@inproceedings{iceccs09,
  title       = {Executing {AADL} Models with {UML}/Marte},
  author      = {{M}allet, {F}r{\'e}d{\'e}ric and 
                 {A}ndr{\'e}, {C}harles and
                 {D}e{A}ntoni, {J}ulien},
  pages       = {371--376},
  doi         = {10.1109/ICECCS.2009.10},
  crossref    = {DBLP:conf/iceccs/2009}
}

@proceedings{DBLP:conf/iceccs/2009,
  title     = {14th Int. Conf. on Engineering of Complex
               Computer Systems (ICECCS'09) - UML \& AADL}, 
  location  = {Potsdam, Germany},
  booktitle = {ICECCS},
  publisher = {IEEE Computer Society},
  year      = {2009},
  month     = {June}
}

@inproceedings{isorc09a,
  author    = {Fr{\'e}d{\'e}ric Mallet and
	       Marie-Agn{\è}s {Peraldi-Frati} and
               Charles Andr{\'e}},
  title     = {Marte {CCSL} to execute {East-ADL} Timing Requirements},
  pages     = {249--253},
  doi       = {10.1109/ISORC.2009.18},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/ISORC.2009.18},
  crossref  = {DBLP:conf/isorc/2009}
}

@inproceedings{isorc09b,
  author    = {Fr{\'e}d{\'e}ric Mallet and
               Charles Andr{\'e}},
  title     = {On the Semantics of {UML}/Marte Clock Constraints},
  pages     = {305--312},
  doi       = {10.1109/ISORC.2009.27},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/ISORC.2009.27},
  crossref  = {DBLP:conf/isorc/2009}
}

@proceedings{DBLP:conf/isorc/2009,
  title     = {12th IEEE Int. Symp. on Object-Oriented Real-Time
               Distributed Computing (ISORC 2009)}, 
  month     = {March},
  location  = {Tokyo, Japan},
  booktitle = {ISORC},
  publisher = {IEEE Computer Society},
  year      = {2009}
}

@techreport{2009:INRIA-00360528:2,
  title       = {{C}ombining {CCSL} and {E}sterel to specify and 
                 verify time requirements},
  author      = {{A}ndr{\'e}, {C}harles and 
                 {M}allet, {F}r{\'e}d{\'e}ric},
  year        = {2009},
  month       = {02},
  institution = {INRIA},
  number      = {6839},
  type        = {Research Report},
  note        = {published in the proceedings of {LCTES}'09},
  url         = {http://hal.inria.fr/inria-00360528/en/}
}

@unpublished{mde4dres,
  Author = {Julien Deantoni and
		 Frédéric Mallet and 
                 Charles André},
  Title = {On the Formal Execution of UML and DSL models},
  organization = {WIP of the 4th Int. School on Model-Driven Development for Distributed, Realtime, Embedded Systems},
  Month = {April},
  Year = {2009},
  note = {available at http://www.mdd4dres.info/\_media/mdd4dreswip09\_submission\_10.pdf?id=wip&cache=cache},
  x-editorial-board = {yes},
  x-international-audience = {yes},
  x-proceedings = {no},
  x-invited-conference = {no},
  x-scientific-popularization = {no}
} 

@unpublished{T2_at_mde4dres,
  Author = {Julien Deantoni and
		 Frédéric Mallet and 
                 Charles André and
		 Benoît Ferrero},
  Title = {TimeSquare, on the Formal Execution of UML and DSL models},
  organization = {Tool session of the 4th Int. School on Model-Driven Development for Distributed, Realtime, Embedded Systems},
  Month = {April},
  Year = {2009},
  note = {available at http://www.mdd4dres.info/\_tools/1f3d0539532e6396ad1ecadc4d363a9a},
  x-editorial-board = {no},
  x-international-audience = {yes},
  x-proceedings = {no},
  x-invited-conference = {no},
  x-scientific-popularization = {no}
} 

@unpublished{DATE09-UBooth,
   Author = {Benoît Ferrero and Charles André and Frédéric Mallet and Rober de Simone },
   Title = {{TimeSquare}: a software environment for timed systems},
   organization = {Design, Automation \& Test in Europe, U-Booth session},
   Month = {April},
   Year = {2009},
   note = {available at http://www-sop.inria.fr/oasis/SAFA/Abstracts_SAFA2009.html},
   x-editorial-board = {no},
   x-international-audience = {yes},
   x-proceedings = {no},
   x-invited-conference = {no},
   x_poster = {yes},
   x-scientific-popularization = {no}
}

@unpublished{same_keynote09,
 author={Frédéric Mallet},
 year = {2009},
 title = {{MARTE: The OMG UML2} Profile for Modeling and Analysis of Real-Time and Embedded systems},
 organization = { Sophia Antipolis MicroElectronics Forum },
 note = { Keynote speaker },
 month = {September},
 location = {Sophia Antipolis},
 x-editorial-board = {yes},
 x-international-audience = {yes},
 x-proceedings = {no},
 x-invited-conference = {yes},
 x-scientific-popularization = {no}
}