Matthias Brun

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