Maxime Méré

According to our database1, Maxime Méré authored at least 5 papers between 2022 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
AnimUML: A practical tool for partial model animation and analysis.
Sci. Comput. Program., January, 2024

2022
Modeling Trust Relationships in Blockchain Applications: The Case of Reconfigurable Systems-on-Chip.
Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

Feedback on the formal verification of UML models in an industrial context: the case of a smart device life cycle management system.
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022

From OCL-based model static analysis to quick fixes.
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022

Trustworthy SoC Reconfiguration Aimed at Product-Service Systems: a Literature Review.
Proceedings of the IEEE International Conference on Omni-layer Intelligent Systems, 2022


  Loading...