Publications (2017)

BibTex

Event Organization / Edition actes

F. Mallet, Min Zhang and Eric Madelaine. 11th International Symposium on Theoretical Aspects of Software Engineering , IEEE, Sep. 2017. DOI
F. Mallet and Grygoriy Zholtkevych. PhD Symposium at 13th International Conference on ICT in Education, Research, and Industrial Applications , CEUR, May 2017. HREF

Journal / Revue

Y. Bao, Mingsong Chen, Q. Zhu, T. Wei, F. Mallet and T. Zhou.
Quantitative Performance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 36(12):1989-2002, Dec. 2017. DOI

Book Chapter / Chapitre de livre

F. Mallet, Eugenio Villar and Fernando Herrera. MARTE for CPS and CPSoS. DOI
Cyber-Physical System Design from an Architecture Analysis Viewpoint: Communications of NII Shonan Meetings, pp. 81-108, Springer Singapore, 2017, ISBN: 978-981-10-4436-6.

Conference Proceedings / Actes de Conférences

Jean-Vivien Millo, Amine Oueslati, Emilien Kaufman, Julien DeAntoni, F. Mallet and Robert de Simone. Explicit Control of Dataflow Graphs with MARTE/CCSL. DOI
5th Int. Conf. on Model-Driven Engineering and Software Development (MODELSWARD), pp. 542-549, 2017, ISBN: 978-989-758-210-3.

Other / Autre

Hui Zhao, Ludovic Apvrille and F. Mallet. Multi-View Design for Cyber-Physical Systems. HREF PhD Symposium at 13th International Conference on ICT in Education, Research, and Industrial Applications, May 2017.