Matthias Brun

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 21

Top Topics

Embedded Software

Number Plate Recognition

Sequence Diagrams

Top Venues

MoDELS (Companion)

Publications

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
AnimUML: A practical tool for partial model animation and analysis. Sci. Comput. Program. 232 (2024)
Matthias Pasquier, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Loïc Lagadec
Debugging Paxos in the UML Multiverse. MoDELS (Companion) (2023)
Matthias Pasquier, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Luka Le Roux, Loïc Lagadec
Temporal Breakpoints for Multiverse Debugging. SLE (2023)
Matthias Pasquier, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Luka Le Roux, Loïc Lagadec
Practical multiverse debugging through user-defined reductions: application to UML models. MoDELS (2022)
Frédéric Jouault, Maxime Méré, Matthias Brun, Théo Le Calvar, Matthias Pasquier, Ciprian Teodorov
From OCL-based model static analysis to quick fixes. MoDELS (Companion) (2022)
Frédéric Jouault, Ciprian Teodorov, Matthias Brun
Smart Home Model Verification with AnimUML (Poster). STAF Workshops (2022)
Valentin Besnard, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Philippe Dhaussy
Unified verification and monitoring of executable UML specifications. Softw. Syst. Model. 20 (6) (2021)
Frédéric Jouault, Valentin Sebille, Valentin Besnard, Théo Le Calvar, Ciprian Teodorov, Matthias Brun, Jérôme Delatour
AnimUML as a UML Modeling and Verification Teaching Tool. MoDELS (Companion) (2021)
Matthias Pasquier, Frédéric Jouault, Matthias Brun, Julien Pérochon
Evaluating tool support for embedded operating system security: an experience feedback. MoDELS (Companion) (2020)
Frédéric Jouault, Valentin Besnard, Théo Le Calvar, Ciprian Teodorov, Matthias Brun, Jérôme Delatour
Designing, animating, and verifying partial UML Models. MoDELS (2020)
Valentin Besnard, Frédéric Jouault, Matthias Brun, Ciprian Teodorov, Philippe Dhaussy, Jérôme Delatour
Modular deployment of UML models for V&V activities and embedded execution. MoDELS (Companion) (2020)
Valentin Besnard, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Philippe Dhaussy
A Model Checkable UML Soccer Player. MoDELS (Companion) (2019)
Valentin Besnard, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Philippe Dhaussy
Verifying and Monitoring UML Models with Observer Automata: A Transformation-Free Approach. MoDELS (2019)
Valentin Besnard, Matthias Brun, Frédéric Jouault, Ciprian Teodorov, Philippe Dhaussy
Embedded UML Model Execution to Bridge the Gap Between Design and Runtime. STAF Workshops (2018)
Valentin Besnard, Matthias Brun, Frédéric Jouault, Ciprian Teodorov, Philippe Dhaussy
Unified LTL Verification and Embedded Execution of UML Models. MoDELS (2018)
Jean-Luc Béchennec, Sébastien Faucou, Olivier H. Roux, Matthias Brun, Louis-Marie Givel
Testing Real-Time Systems With Runtime Enforcement. IEEE Des. Test 35 (4) (2018)
Valentin Besnard, Matthias Brun, Philippe Dhaussy, Frédéric Jouault, David Olivier, Ciprian Teodorov
Towards One Model Interpreter for Both Design and Deployment. MoDELS (Satellite Events) (2017)
Frédéric Jouault, Olivier Beaudoux, Matthias Brun, Fabien Chhel, Mickael Clavreul
Improving Incremental and Bidirectional Evaluation with an Explicit Propagation Graph. STAF Workshops (2017)
Louis-Marie Givel, Jean-Luc Béchennec, Matthias Brun, Sébastien Faucou, Olivier H. Roux
Testing real-time embedded software using runtime enforcement. SIES (2016)
Louis-Marie Givel, Matthias Brun, Camille Constant, Sébastien Faucou, Olivier H. Roux
Use of Runtime Enforcement for the Test of Real-time Systems. HPCC/CSS/ICESS (2015)
Frédéric Jouault, Olivier Beaudoux, Matthias Brun, Mickael Clavreul, Guillaume Savaton
Towards Functional Model Transformations with OCL. ICMT (2015)
Frédéric Thomas, Jérôme Delatour, François Terrier, Matthias Brun, Sébastien Gérard
Contribution à la modélisation explicite des plates-formes d'exécution pour l'IDM. CoRR (2014)
Cédrick Lelionnais, Matthias Brun, Jérôme Delatour, Olivier H. Roux, Charlotte Seidner
Formal Behavioral Modeling of Real-time Operating Systems. ICEIS (2) (2012)
Matthias Brun, Jérôme Delatour, Yvon Trinquet, Frédéric Thomas, Sébastien Gérard
Étude comparative pour la modélisation de plates-formes d'exécution. Application au temps réel embarqué. Tech. Sci. Informatiques 29 (4-5) (2010)
Matthias Brun, Jérôme Delatour, Yvon Trinquet
Code Generation from AADL to a Real-Time Operating System: An Experimentation Feedback on the Use of Model Transformation. ICECCS (2008)
Frédéric Thomas, Jérôme Delatour, François Terrier, Matthias Brun, Sébastien Gérard
Contribution à la modélisation explicite des plates-formes d'exécution pour l'IDM. Obj. Logiciel Base données Réseaux 13 (4) (2007)