Maxime Méré

Maxime Méré

STMicroelectronics Pvt Ltd  - /
Engineering & Technology / Computer Science
AD Scientific Index ID: 5147168
person_outline Maxime Méré's MOST POPULAR ARTICLES
1-) Feedback on the formal verification of UML models in an industrial context: the case of a smart device life cycle management systemM Méré, F Jouault, L Pallardy, R PerdriauProceedings of the 25th International Conference on Model Driven Engineering …, 202232022
2-) From OCL-based model static analysis to quick fixesF Jouault, M Méré, M Brun, TL Calvar, M Pasquier, C TeodorovProceedings of the 25th International Conference on Model Driven Engineering …, 202222022
3-) Trustworthy SoC Reconfiguration Aimed at Product-Service Systems: a Literature ReviewM Mere, F Jouault, L Pallardy, R Perdriau2022 IEEE International Conference on Omni-layer Intelligent Systems (COINS …, 202222022
4-) Modeling Trust Relationships in Blockchain Applications: The Case of Reconfigurable Systems-on-ChipM Méré, F Jouault, L Pallardy, R PerdriauTechRxiv, 202222022
5-) AnimUML: A practical tool for partial model animation and analysisF Jouault, V Besnard, M Brun, T Le Calvar, F Chhel, M Clavreul, ...Science of Computer Programming 232, 103050, 202412024