Publications » selection
Books / Livres
F. Mallet.
Habilitation thesis. LAP LAMBERT Academic Publishing, 124 pages, ISBN: 978-3-8433-9388-1, January 2011.
F. Mallet and F. Boéri.
Coll. Sciences Sup.
September 2003, 192 pages, Dunod.
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
F. Mallet
CCSL: specifying clock constraints with UML/MARTE.
Innovations in Systems and Software Engineering,
4(3):309-314, 2008, 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