Books / Livres

Journals / Revues

F. Mallet and R. de Simone.
Correctness Issues in MARTE/CCSL.
Sci. Comput. Program., 106:78-92, August 2015, Elsevier. DOI
J. Liu, Z. Liu, J. He, F. Mallet and Z. Ding.
Hybrid MARTE Statecharts.
Frontiers of Computer Science, 7(1):95-108, 2013, Springer. DOI
C. Glitia, J. DeAntoni, F. Mallet, J.-V. Millo, P. Boulet and A. Gamatié. Progressive and explicit refinement of scheduling for multidimensional data-flow applications using UML MARTE. Design Automation of Embedded Systems, 19(1-2):1-33, 2015, Springer. DOI

Conference Proceedings / Actes de conférences

Formal Verification for Embedded Systems

Jagadish Suryadevara, Cristina Seceleanu, Frédéric Mallet, and Paul Pettersson. Verifying MARTE/CCSL Mode Behaviors Using UPPAAL. Software Engineering and Formal Methods (SEFM'13), pp. 1-15, Madrid, Spain, September 2013, Springer LNCS 8137. DOI

Models for Real-Time and Embedded Systems

F. Mallet. Automatic generation of observers from MARTE/CCSL. 23rd Int. Symp. on Rapid System Prototyping (RSP'12) - Embedded Systems Week, pp. 86-92, Dec. 2012, Tampere, Finland, IEEE. DOI
C. André, F. Mallet, R. de Simone. "Modeling Time(s)" ACM/IEEE Int. Conf. on Model Driven Engineering Languages and Systems (MoDELS/UML'07), October 2007, TN, USA. LNCS 4735, pp. 559-573, Springer. DOI