Publications (2014)

BibTex

Book Chapter / Chapitre de livre

Michel Bourdellès, Shuai Li, Imran Quadri, Etienne Brosse, Andrey Sadovykh, Emmanuel Gaudin, F. Mallet, Arda Goknil, David George and Jari Kreku. Fostering Analysis from Industrial Embedded Systemis Modeling. HREF
Handbook of Research on Embedded Systems Design, pp. 283-300, IGI-Global, 2014.
F. Mallet, Marie-Agnès Peraldi-Frati, Julien DeAntoni and Robert de Simone. UML MARTE Time Model and Its Clock Constraint Specification Language. HREF
Handbook of Research on Embedded Systems Design, pp. 29-51, IGI-Global, 2014.

Conference Proceedings / Actes de Conférences

Amani Khecharem, Carlos Gomez, Julien DeAntoni, F. Mallet and Robert de Simone. Execution of heterogeneous models for thermal analysis with a multi-view approach. DOI
Forum on Specification and Design Languages (FDL'14), pp. 1-8, IEEE, Oct. 2014.
F. Mallet and Grygoriy Zholtkevych. Coalgebraic Semantic Model for the Clock Constraint Specification Language. DOI
Int. Work. Formal Techniques for Safety-Critical Systems (ICFEM-FTSCS'14), pp. 174-188, Springer, Nov. 2014.
Yuanrui Zhang, F. Mallet and Yixiang Chen. Timed Automata Semantics of Spatial-Temporal Consistency Language STeC. DOI
Theoretical Aspects of Software Engineering Conf. (TASE'14), pp. 201-208, IEEE Computer Society, Sep. 2014.

Other / Autre

Matias Ezequel Vara Larsen, Julien DeAntoni and F. Mallet. Framework for Heterogeneous Modeling and Composition. Conf. en Ingénierie du Logiciel(CIEL'14), pp. 81-86, June 2014.