Publications » 2012

Book Chapters

1. Glitia, C., DeAntoni, J., and Mallet, F. 2012. Logical Time @ Work: Capturing Data Dependencies and Platform Constraints. In: T.J.J. Kaźmierski and A. Morawiec, eds., System Specification and Design Languages. Springer New York, 223–238. ^DOI

   @incollection{springerlink:10.1007/978-1-4614-1427-8_14,
     author = {Glitia, Calin and DeAntoni, Julien and Mallet, Fr\'ed\'eric},
     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 = {10.1007/978-1-4614-1427-8_14},
     year = {2012}
   }
   

Journal Articles

1. Glitia, C., DeAntoni, J., Mallet, F., Millo, J.-V., Boulet, P., and Gamatié, A. 2012. Progressive and explicit refinement of scheduling for multidimensional data-flow applications using UML Marte. Design Automation for Embedded Systems 16, 2, 137–169. ^DOI

   @article{springerlink:10.1007/s10617-012-9093-y,
     author = {Glitia, Calin and DeAntoni, Julien and Mallet, Fr\'ed\'eric and Millo, Jean-Vivien and Boulet, Pierre and Gamati\'e, Abdoulaye},
     title = {Progressive and explicit refinement of scheduling for multidimensional data-flow applications using {UML Marte}},
     journal = {Design Automation for Embedded Systems},
     publisher = {Springer Netherlands},
     issn = {0929-5585},
     keyword = {Engineering},
     pages = {137--169},
     volume = {16},
     issue = {2},
     doi = {10.1007/s10617-012-9093-y},
     year = {2012}
   }
   

Conference Articles

1. Mallet, F. 2012. Automatic generation of observers from MARTE/CCSL. RSP, IEEE, 86–92. ^{URL DOI}

   @inproceedings{Mallet12,
     author = {Mallet, Fr{\'e}d{\'e}ric},
     title = {Automatic generation of observers from {MARTE/CCSL}},
     booktitle = {RSP},
     year = {2012},
     pages = {86--92},
     doi = {10.1109/RSP.2012.6380695},
     location = {Tampere, Finland},
     month = oct,
     publisher = {IEEE},
     isbn = {978-1-4673-2786-2},
     url = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6375584}
   }
   

2. Liu, Z., Liu, J., He, J., Mallet, F., and Zhang, M. 2012. Formal Specification of Hybrid MARTE Statecharts. Theoretical Aspects of Sofware Engineering, TASE, IEEE, 59–66. ^URL

   @inproceedings{LiuLHMZ12,
     author = {Liu, Ziwei and Liu, Jing and He, Jifeng and Mallet, Fr{\'e}d{\'e}ric and Zhang, Miaomiao},
     title = {Formal Specification of Hybrid MARTE Statecharts},
     booktitle = {Theoretical Aspects of Sofware Engineering, TASE},
     year = {2012},
     pages = {59--66},
     url = {http://doi.ieeecomputersociety.org/10.1109/TASE.2012.26},
     publisher = {IEEE},
     isbn = {978-0-7695-4751-0}
   }
   

3. Deantoni, J. and Mallet, F. 2012. TimeSquare: Treat your Models with Logical Time. TOOLS (50), Springer, 34–41. ^DOI

   @inproceedings{DeantoniM12,
     author = {Deantoni, Julien and Mallet, Fr\'ed\'eric},
     title = {TimeSquare: Treat your Models with Logical Time},
     booktitle = {TOOLS (50)},
     year = {2012},
     doi = {10.1007/978-3-642-30561-0_4},
     pages = {34--41},
     publisher = {Springer},
     series = {Lecture Notes in Computer Science},
     volume = {7304},
     isbn = {978-3-642-30560-3}
   }
   

4. Gomez, C., DeAntoni, J., and Mallet, F. 2012. Multi-view Power Modeling Based on UML, MARTE and SysML. EUROMICRO-SEAA, IEEE Computer Society, 17–20. ^URL

   @inproceedings{GomezDM12,
     author = {Gomez, Carlos and DeAntoni, Julien and Mallet, Fr{\'e}d{\'e}ric},
     title = {Multi-view Power Modeling Based on {UML}, {MARTE} and {SysML}},
     booktitle = {EUROMICRO-SEAA},
     year = {2012},
     pages = {17--20},
     url = {http://doi.ieeecomputersociety.org/10.1109/SEAA.2012.66},
     publisher = {IEEE Computer Society},
     isbn = {978-1-4673-2451-9}
   }