Selection HAL Google Scholar DBLP Sorted by year

Publications » 2009

Book Chapters

  1. Mallet, F. and de Simone, R. 2009 . MARTE vs. AADL for Discrete-Event and Discrete-Time Domains . In: M. Radetzki, ed., Languages for Embedded Systems and their Applications . Springer , 27–41 . DOI 
    @incollection{lnee:mallet09,
  author = {Mallet, Fr\'ed\'eric and {de Simone}, Robert},
  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},
  editor = {Radetzki, Martin},
  booktitle = { Languages for Embedded Systems and their Applications },
  publisher = { Springer },
  year = { 2009 },
  series = { LNEE },
  month =  ap,
  volume = { 36 },
  ee = { http://www.springer.com/engineering/circuits+%26+systems/book/978-1-4020-9713-3 },
  isbn = { 978-1-4020-9713-3 }
}

Journal Articles

  1. André, C. and Mallet, F. 2009 . Modèle de contraintes temporelles pour syst\‘emes polychrones. Journal Européens des Systèmes Automatisés 7–9 , 43 , 725–739 . 
    @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 }
}
  2. André, C. and Mallet, F. 2009. Modèles de temps de MARTE et CCSL . Génie Logiciel 89, 44–49. 
    @article{Neptune09,
  author = {Andr\'e, Charles and Mallet, Fr\'ed\'eric},
  title = {Mod\`eles de temps de {MARTE} et {CCSL} },
  journal = {G\'enie Logiciel},
  number = {89},
  year = {2009},
  pages = {44--49},
  x-editorial-board = {yes},
  x-international-audience = {no},
  x-scientific-popularization = {no}
}

Conference Articles

  1. Mehmood Khan, A., Mallet, F., André, C., and de Simone, R. 2009. IP-XACT components with abstract time characterization. Forum on specification, verification and design languages, FDL 2009, xx–xx. 
    @inproceedings{fdl09,
  author = {{Mehmood Khan}, Aamir and Mallet, Fr\'ed\'eric and Andr\'e, Charles and {de Simone}, Robert},
  title = {IP-XACT components with abstract time characterization},
  pages = {xx--xx},
  booktitle = {Forum on specification, verification and design languages, FDL 2009},
  year = {2009},
  month = sep,
  location = {Sophia-Antipolis, F},
  x-editorial-board = {yes},
  x-international-audience = {yes},
  x-proceedings = {yes},
  x-invited-conference = {no},
  x-scientific-popularization = {no}
}
  2. André, C. and Mallet, F. 2009. Specification and Verification of Time Requirements with CCSL and Esterel. ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems, LCTES, ACM, 167–176. URL 
    @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},
  url = {http://doi.acm.org/10.1145/1542452.1542475},
  editor = {Kirsch, Christoph M. and Kandemir, Mahmut T.},
  booktitle = {ACM SIGPLAN/SIGBED conference on
                 Languages, compilers, and tools for embedded systems, LCTES},
  publisher = {ACM},
  year = {2009},
  isbn = {978-1-60558-356-3},
  month = jun,
  location = {Dublin, Ireland}
}
  3. Mallet, F., André, C., and DeAntoni, J. 2009. Executing AADL Models with UML/Marte. ICECCS - UML & AADL, IEEE Computer Society, 371–376. DOI 
    @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},
  location = {Potsdam, Germany},
  booktitle = {ICECCS - UML \& AADL},
  publisher = {IEEE Computer Society},
  year = {2009},
  month = jun
}
  4. Mallet, F., Peraldi-Frati, M.-A., and André, C. 2009. Marte CCSL to execute East-ADL Timing Requirements. ISORC, IEEE Computer Society, 249–253. URL DOI 
    @inproceedings{isorc09a,
  author = {Mallet, Fr{\'e}d{\'e}ric and {Peraldi-Frati}, Marie-Agn{\`e}s and Andr{\'e}, Charles},
  title = {Marte {CCSL} to execute {East-ADL} Timing Requirements},
  pages = {249--253},
  doi = {10.1109/ISORC.2009.18},
  url = {http://doi.ieeecomputersociety.org/10.1109/ISORC.2009.18},
  month = mar,
  location = {Tokyo, Japan},
  booktitle = {ISORC},
  publisher = {IEEE Computer Society},
  year = {2009}
}
  5. Mallet, F. and André, C. 2009. On the Semantics of UML/Marte Clock Constraints. ISORC, IEEE Computer Society, 305–312. URL DOI 
    @inproceedings{isorc09b,
  author = {Mallet, Fr{\'e}d{\'e}ric and Andr{\'e}, Charles},
  title = {On the Semantics of {UML}/Marte Clock Constraints},
  pages = {305--312},
  doi = {10.1109/ISORC.2009.27},
  url = {http://doi.ieeecomputersociety.org/10.1109/ISORC.2009.27},
  month = mar,
  location = {Tokyo, Japan},
  booktitle = {ISORC},
  publisher = {IEEE Computer Society},
  year = {2009}
}

Technical Reports

  1. André, C. and Mallet, F. 2009. Combining CCSL and Esterel to specify and verify time requirements. INRIA. URL 
    @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 = feb,
  institution = {INRIA},
  number = {6839},
  type = {Research Report},
  note = {published in the proceedings of {LCTES}'09},
  url = {http://hal.inria.fr/inria-00360528/en/}
}

Unpublished

  1. Deantoni, J., Mallet, F., and André, C. 2009. On the Formal Execution of UML and DSL models. http://www.mdd4dres.info/_media/mdd4dreswip09_submission_10.pdf?id=wip&cache=cache. URL 
    @unpublished{mde4dres,
  author = {Deantoni, Julien and Mallet, Fr\'ed\'eric and Andr\'e, Charles},
  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 = apr,
  year = {2009},
  url = {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}
}
  2. Deantoni, J., Mallet, F., André, C., and Ferrero, B. 2009. TimeSquare, on the Formal Execution of UML and DSL models. http://www.mdd4dres.info/_tools/1f3d0539532e6396ad1ecadc4d363a9a. URL 
    @unpublished{T2_at_mde4dres,
  author = {Deantoni, Julien and Mallet, Fr\'ed\'eric and Andr\'e, Charles and Ferrero, Beno\^it},
  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 = apr,
  year = {2009},
  url = {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}
}
  3. Ferrero, B., André, C., Mallet, F., and de Simone, R. 2009. TimeSquare: a software environment for timed systems. http://www-sop.inria.fr/oasis/SAFA/Abstracts_SAFA2009.html. URL 
    @unpublished{DATE09-UBooth,
  author = {Ferrero, Beno\^it and Andr\'e, Charles and Mallet, Fr\'ed\'eric and {de Simone}, Robert},
  title = {{TimeSquare}: a software environment for timed systems},
  organization = {Design, Automation \& Test in Europe, U-Booth session},
  month = apr,
  year = {2009},
  url = {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}
}
  4. Mallet, F. 2009. MARTE: The OMG UML2 Profile for Modeling and Analysis of Real-Time and Embedded systems. . ( Keynote speaker ) 
    @unpublished{same_keynote09,
  author = {Mallet, Fr\'ed\'eric},
  year = {2009},
  title = {{MARTE: The OMG UML2} Profile for Modeling and Analysis of Real-Time and Embedded systems},
  organization = { Sophia Antipolis MicroElectronics Forum },
  comment = { Keynote speaker },
  month = sep,
  location = {Sophia Antipolis},
  x-editorial-board = {yes},
  x-international-audience = {yes},
  x-proceedings = {no},
  x-invited-conference = {yes},
  x-scientific-popularization = {no}
}