Matthias Brun

According to our database, Matthias Brun authored at least 25 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

AnimUML: A practical tool for partial model animation and analysis.

Frédéric Jouault, Valentin Besnard, Matthias Brun, Théo Le Calvar, Fabien Chhel, Mickael Clavreul, Jérôme Delatour, Maxime Méré, Matthias Pasquier, Ciprian Teodorov

Sci. Comput. Program., January, 2024

2023

Temporal Breakpoints for Multiverse Debugging.

Matthias Pasquier, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Luka Le Roux, Loïc Lagadec

Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering, 2023

Debugging Paxos in the UML Multiverse.

Matthias Pasquier, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Loïc Lagadec

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

2022

Smart Home Model Verification with AnimUML (Poster).

Frédéric Jouault, Ciprian Teodorov, Matthias Brun

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.

Matthias Pasquier, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Luka Le Roux, Loïc Lagadec

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022

From OCL-based model static analysis to quick fixes.

Frédéric Jouault, Maxime Méré, Matthias Brun, Théo Le Calvar, Matthias Pasquier, Ciprian Teodorov

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022

2021

Unified verification and monitoring of executable UML specifications.

Valentin Besnard, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Philippe Dhaussy

Softw. Syst. Model., 2021

AnimUML as a UML Modeling and Verification Teaching Tool.

Frédéric Jouault, Valentin Sebille, Valentin Besnard, Théo Le Calvar, Ciprian Teodorov, Matthias Brun, Jérôme Delatour

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.

Matthias Pasquier, Frédéric Jouault, Matthias Brun, Julien Pérochon

Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

Designing, animating, and verifying partial UML Models.

Frédéric Jouault, Valentin Besnard, Théo Le Calvar, Ciprian Teodorov, Matthias Brun, Jérôme Delatour

Proceedings of the MoDELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

Modular deployment of UML models for V&V activities and embedded execution.

Valentin Besnard, Frédéric Jouault, Matthias Brun, Ciprian Teodorov, Philippe Dhaussy, Jérôme Delatour

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.

Valentin Besnard, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Philippe Dhaussy

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2019

A Model Checkable UML Soccer Player.

Valentin Besnard, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Philippe Dhaussy

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

2018

Testing Real-Time Systems With Runtime Enforcement.

Jean-Luc Béchennec, Sébastien Faucou, Olivier H. Roux, Matthias Brun, Louis-Marie Givel

IEEE Des. Test, 2018

Embedded UML Model Execution to Bridge the Gap Between Design and Runtime.

Valentin Besnard, Matthias Brun, Frédéric Jouault, Ciprian Teodorov, Philippe Dhaussy

Proceedings of the Software Technologies: Applications and Foundations, 2018

Unified LTL Verification and Embedded Execution of UML Models.

Valentin Besnard, Matthias Brun, Frédéric Jouault, Ciprian Teodorov, Philippe Dhaussy

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.

Frédéric Jouault, Olivier Beaudoux, Matthias Brun, Fabien Chhel, Mickael Clavreul

Proceedings of the Software Technologies: Applications and Foundations, 2017

Towards One Model Interpreter for Both Design and Deployment.

Valentin Besnard, Matthias Brun, Philippe Dhaussy, Frédéric Jouault, David Olivier, Ciprian Teodorov

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

2016

Testing real-time embedded software using runtime enforcement.

Louis-Marie Givel, Jean-Luc Béchennec, Matthias Brun, Sébastien Faucou, Olivier H. Roux

Proceedings of the 11th IEEE Symposium on Industrial Embedded Systems, 2016

2015

Towards Functional Model Transformations with OCL.

Frédéric Jouault, Olivier Beaudoux, Matthias Brun, Mickael Clavreul, Guillaume Savaton

Proceedings of the Theory and Practice of Model Transformations, 2015

Use of Runtime Enforcement for the Test of Real-time Systems.

Louis-Marie Givel, Matthias Brun, Camille Constant, Sébastien Faucou, Olivier H. Roux

Proceedings of the 17th IEEE International Conference on High Performance Computing and Communications, 2015

2012

Formal Behavioral Modeling of Real-time Operating Systems.

Cédrick Lelionnais, Matthias Brun, Jérôme Delatour, Olivier H. Roux, Charlotte Seidner

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é.

Matthias Brun, Jérôme Delatour, Yvon Trinquet, Frédéric Thomas, Sébastien Gérard

Tech. Sci. Informatiques, 2010

2008

Code Generation from AADL to a Real-Time Operating System: An Experimentation Feedback on the Use of Model Transformation.

Matthias Brun, Jérôme Delatour, Yvon Trinquet

Proceedings of the 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008, 2008

2007

Contribution à la modélisation explicite des plates-formes d'exécution pour l'IDM.

Frédéric Thomas, Jérôme Delatour, François Terrier, Matthias Brun, Sébastien Gérard

Obj. Logiciel Base données Réseaux, 2007