Feedback on the formal verification of UML models in an industrial context: the case of a smart device life cycle management system M Méré, F Jouault, L Pallardy, R Perdriau Proceedings of the 25th International Conference on Model Driven Engineering …, 2022 | 3 | 2022 |
From OCL-based model static analysis to quick fixes F Jouault, M Méré, M Brun, TL Calvar, M Pasquier, C Teodorov Proceedings of the 25th International Conference on Model Driven Engineering …, 2022 | 2 | 2022 |
Trustworthy SoC Reconfiguration Aimed at Product-Service Systems: a Literature Review M Mere, F Jouault, L Pallardy, R Perdriau 2022 IEEE International Conference on Omni-layer Intelligent Systems (COINS …, 2022 | 2 | 2022 |
Modeling Trust Relationships in Blockchain Applications: The Case of Reconfigurable Systems-on-Chip M Méré, F Jouault, L Pallardy, R Perdriau TechRxiv, 2022 | 1 | 2022 |
AnimUML: A practical tool for partial model animation and analysis F Jouault, V Besnard, M Brun, T Le Calvar, F Chhel, M Clavreul, ... Science of Computer Programming 232, 103050, 2024 | | 2024 |
Intégration de la blockchain au niveau micro-architecture pour la gestion du cycle de vie et la reconfiguration d'un composant M Méré | | 2023 |
Génération de correctifs pour les modèles partiels d'AnimUML M Clavreul, F Jouault, M Méré, M Brun, T Le Calvar, M Pasquier, ... IHM/GL-IHM, 2023 | | 2023 |