Publications » selection

Books / Livres

Journals / Revues

Min Zhang, Feng Dai and F. Mallet.
Periodic scheduling for MARTE/CCSL: Theory and practice.
Science of Computer Programming, 154:42-60, 2018, Elsevier. DOI
F. Mallet and R. de Simone.
Correctness Issues in MARTE/CCSL.
Science of Computer Programming, 106:78-92, 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

Conference Proceedings / Actes de conférences

Coordination of Heterogeneous Models

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.

Formal Verification for Embedded Systems

Min Zhang, F. Mallet and Huibiao Zhu. An SMT-Based Approach to the Formal Analysis of MARTE/CCSL. DOI
Formal Methods and Software Engineering - 18th Int. Conf. on Formal Engineering Methods (ICFEM'16), LNCS 10009, pp. 433-449, Springer, Nov. 2016.
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

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