Publications (2012)

BibTex

Journal / Revue

Calin Glitia, Julien DeAntoni, F. Mallet, Jean-Vivien Millo, Pierre Boulet and Abdoulaye Gamatié.
Progressive and explicit refinement of scheduling for multidimensional data-flow applications using UML/MARTE.
Design Automation for Embedded Systems 16(2):137-169, Springer Netherlands, 2012. DOI

Book Chapter / Chapitre de livre

Calin Glitia, Julien DeAntoni and F. Mallet. Logical Time @ Work: Capturing Data Dependencies and Platform Constraints. DOI
System Specification and Design Languages, Lecture Notes in Electrical Engineering, Vol. 106, pp. 223-238, Springer New York, 2012, ISBN: 978-1-4614-1427-8.

Conference Proceedings / Actes de Conférences

Julien Deantoni and F. Mallet. TimeSquare: Treat your Models with Logical Time. DOI
Int. Conf. on Objects, Models, Components, Patterns, (TOOLS(50)), LNCS 7304, pp. 34-41, Springer, May 2012.
Carlos Gomez, Julien DeAntoni and F. Mallet. Multi-view Power Modeling Based on UML, MARTE and SysML. DOI
Euromicro Conf. on Software Engineering and Advanced Applications (EUROMICRO-SEAA), pp. 17-20, IEEE Computer Society, Sep. 2012.
Ziwei Liu, Jing Liu, Jifeng He, F. Mallet and Miaomiao Zhang. Formal Specification of Hybrid MARTE Statecharts. HREF
Int. Symp. on Theoretical Aspects of Software Engineering (TASE'12), pp. 59-66, IEEE, Jul. 2012.
F. Mallet. Automatic generation of observers from MARTE/CCSL. DOI
nternational Symp. on Rapid System Prototyping (RSP'12), pp. 86-92, IEEE, October 2012.