@inproceedings{Mallet12,
  author    = {Fr{\'e}d{\'e}ric Mallet},
  title     = {Automatic generation of observers from {MARTE/CCSL}},
  booktitle = {RSP},
  year      = {2012},
  pages     = {86--92},
  doi       = {http://dx.doi.org/10.1109/RSP.2012.6380695},
  crossref  = {DBLP:conf/rsp/2012}
}
@proceedings{DBLP:conf/rsp/2012,
  title     = {Proceedings of the 23rd IEEE International Symposium on
               Rapid System Prototyping, RSP 2012}, 
  Location  = {Tampere, Finland}, 
  Month     = {October},
  booktitle = {RSP},
  publisher = {IEEE},
  year      = {2012},
  isbn      = {978-1-4673-2786-2},
  ee        = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6375584}
}

@inproceedings{LiuLHMZ12,
  author    = {Ziwei Liu and
               Jing Liu and
               Jifeng He and
               Fr{\'e}d{\'e}ric Mallet and
               Miaomiao Zhang},
  title     = {Formal Specification of Hybrid MARTE Statecharts},
  booktitle = {TASE},
  year      = {2012},
  pages     = {59--66},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/TASE.2012.26},
  crossref  = {DBLP:conf/tase/2012},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/tase/2012,
  editor    = {Tiziana Margaria and
               Zongyan Qiu and
               Hongli Yang},
  title     = {Sixth International Symposium on Theoretical Aspects of
               Software Engineering, TASE 2012, 4-6 July 2012, Beijing,
               China},
  booktitle = {TASE},
  publisher = {IEEE},
  year      = {2012},
  isbn      = {978-0-7695-4751-0},
  ee        = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6269388},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@incollection {springerlink:10.1007/978-1-4614-1427-8_14,
   author = {Glitia, Calin and DeAntoni, Julien and Mallet, Frédéric},
   title = {Logical Time @ Work: Capturing Data Dependencies and Platform Constraints},
   booktitle = {System Specification and Design Languages},
   series = {Lecture Notes in Electrical Engineering},
   editor = {Kaźmierski, Tom J. J. and Morawiec, Adam},
   publisher = {Springer New York},
   isbn = {978-1-4614-1427-8},
   pages = {223--238},
   volume = {106},
   doi = {http://dx.doi.org/10.1007/978-1-4614-1427-8_14},
   year = {2012}
}

@article {springerlink:10.1007/s10617-012-9093-y,
   author = {Glitia, Calin and DeAntoni, Julien and Mallet, Frédéric and Millo, Jean-Vivien and Boulet, Pierre and Gamatié, Abdoulaye},
   title = {Progressive and explicit refinement of scheduling for multidimensional data-flow applications using <span style="font-variant:small-caps"><small>uml marte</small></span>},
   journal = {Design Automation for Embedded Systems},
   publisher = {Springer Netherlands},
   issn = {0929-5585},
   keyword = {Engineering},
   pages = {137--169},
   volume = {16},
   issue = {2},
   doi = {http://dx.doi.org/10.1007/s10617-012-9093-y},   
   year = {2012}
}

@inproceedings{DeantoniM12,
  author    = {Deantoni, Julien and Mallet, Fr\'ed\'eric},
  title     = {TimeSquare: Treat your Models with Logical Time},
  booktitle = {TOOLS (50)},
  year      = {2012},
  doi       = {http://dx.doi.org/10.1007/978-3-642-30561-0_4},
  pages     = {34--41},
  crossref  = {DBLP:conf/tools/50-2012}
}
@proceedings{DBLP:conf/tools/50-2012,
  editor    = {Carlo A. Furia and
               Sebastian Nanz},
  title     = {Objects, Models, Components, Patterns - 50th International
               Conference, TOOLS 2012, Prague, Czech Republic, May 29-31,
               2012. Proceedings},
  booktitle = {TOOLS (50)},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {7304},
  year      = {2012},
  isbn      = {978-3-642-30560-3},
  ee        = {http://dx.doi.org/10.1007/978-3-642-30561-0}  
}

@inproceedings{GomezDM12,
  author    = {Carlos Gomez and
               Julien DeAntoni and
               Fr{\'e}d{\'e}ric Mallet},
  title     = {Multi-view Power Modeling Based on {UML}, {MARTE} and {SysML}},
  booktitle = {EUROMICRO-SEAA},
  year      = {2012},
  pages     = {17--20},
  doi        = {http://doi.ieeecomputersociety.org/10.1109/SEAA.2012.66},
  crossref  = {DBLP:conf/euromicro/2012}
}

@proceedings{DBLP:conf/euromicro/2012,
  editor    = {Vittorio Cortellessa and
               Henry Muccini and
               Onur Demir{\"o}rs},
  title     = {38th Euromicro Conference on Software Engineering and Advanced
               Applications, SEAA 2012, Cesme, Izmir, Turkey, September
               5-8, 2012},
  booktitle = {EUROMICRO-SEAA},
  publisher = {IEEE Computer Society},
  year      = {2012},
  isbn      = {978-1-4673-2451-9},
  ee        = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6327839},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}