Matthias Brun
Orcid: 0000-0002-9076-149XAffiliations:
- Groupe ESEO, Angers, France
According to our database1,
Matthias Brun
authored at least 25 papers
between 2007 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2008
2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
1
1
1
1
1
2
3
1
3
2
2
2
1
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Sci. Comput. Program., January, 2024
2023
Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering, 2023
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023
2022
Proceedings of the STAF 2022 Workshop Proceedings: 10th International Workshop on Bidirectional Transformations (BX 2022), 2022
Practical multiverse debugging through user-defined reductions: application to UML models.
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022
2021
Softw. Syst. Model., 2021
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021
2020
Evaluating tool support for embedded operating system security: an experience feedback.
Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020
Proceedings of the MoDELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020
Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020
2019
Verifying and Monitoring UML Models with Observer Automata: A Transformation-Free Approach.
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2019
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019
2018
Proceedings of the Software Technologies: Applications and Foundations, 2018
Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018
2017
Improving Incremental and Bidirectional Evaluation with an Explicit Propagation Graph.
Proceedings of the Software Technologies: Applications and Foundations, 2017
Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017
2016
Proceedings of the 11th IEEE Symposium on Industrial Embedded Systems, 2016
2015
Proceedings of the Theory and Practice of Model Transformations, 2015
Proceedings of the 17th IEEE International Conference on High Performance Computing and Communications, 2015
2012
Formal Behavioral Modeling of Real-time Operating Systems.
Proceedings of the ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems, Volume 2, Wroclaw, Poland, 28 June, 2012
2010
Étude comparative pour la modélisation de plates-formes d'exécution. Application au temps réel embarqué.
Tech. Sci. Informatiques, 2010
2008
Code Generation from AADL to a Real-Time Operating System: An Experimentation Feedback on the Use of Model Transformation.
Proceedings of the 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008, 2008
2007
Obj. Logiciel Base données Réseaux, 2007