Publications (2015)

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 Autom. for Emb. Sys. 19(1-2):1-33, 2015. ^DOI

F. Mallet and Robert de Simone.

Correctness issues on MARTE/CCSL constraints.

Sci. Comput. Program. 106:78-92, 2015. ^DOI

Conference Proceedings / Actes de Conférences

F. Mallet. MARTE/CCSL for Modeling Cyber-Physical Systems. ^DOI (invited)
Formal Modeling and Verification of Cyber-Physical Systems, Int. Summer School on Methods and Tools for the Design of Digital Systems (SyDE), pp. 26-49, Springer, Sep. 2015.

Matias Ezequiel Vara Larsen, Julien DeAntoni, Benoît Combemale and F. Mallet. A Behavioral Coordination Operator Language (BCOoL). ^DOI
ACM/IEEE Int. Conf. on Model Driven Engineering Languages and Systems (MoDELS'15), pp. 186-195, Sep. 2015.

Min Zhang and F. Mallet. An Executable Semantics of Clock Constraint Specification Language and Its Applications. ^DOI
Int. Work. Formal Techniques for Safety-Critical Systems (FTSCS'15), pp. 37-51, Nov. 2015.

Other / Autre

Matias Ezequiel Vara Larsen, Julien DeAntoni, Benoît Combemale and F. Mallet. A Model-Driven Based Environment for Automatic Model Coordination. Demo and Poster Session, Models 2015, pp. 44-47, Sep. 2015.