Matthias Brun

35
Documents

Publications

Publications

Génération de correctifs pour les modèles partiels d'AnimUML

Mickaël Clavreul , Frédéric Jouault , Maxime Méré , Matthias Brun , Théo Le Calvar et al.

IHM/GL-IHM, 2023, Troyes, France

Communication dans un congrès hal-04234501v1

Temporal Breakpoints for Multiverse Debugging

Matthias Pasquier , Ciprian Teodorov , Frédéric Jouault , Matthias Brun , Luka Le Roux et al.

Software Language Engineering 2023, Oct 2023, Lisbonne, Portugal

Communication dans un congrès hal-04234632v1

Débogage Multivers de Modèles UML

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

AFADL, Jun 2023, Rennes, France

Communication dans un congrès hal-04234535v1

Debugging Paxos in the UML Multiverse

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

MODELS-C/MoDeVVa, Oct 2023, Västerås, Sweden

Communication dans un congrès hal-04234688v1
Deposit thumbnail

Smart Home Model Verification with AnimUML

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

STAF 2022 Workshop MESS’22: International workshop on MDE for Smart IoT Systems, Jul 2022, Nantes, France

Communication dans un congrès hal-04234889v1

From OCL-based model static analysis to quick fixes

Frédéric Jouault , Maxime Méré , Matthias Brun , Théo Le Calvar , Matthias Pasquier et al.

21st International Workshop on OCL and Textual Modeling / MODELS '22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, Oct 2022, Montreal (Canada), Canada. pp.889-893, ⟨10.1145/3550356.3561562⟩

Communication dans un congrès hal-03937212v1
Deposit thumbnail

Practical multiverse debugging through user-defined reductions

Matthias Pasquier , Ciprian Teodorov , Frédéric Jouault , Matthias Brun , Luka Le Roux et al.

MODELS '22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, Oct 2022, Montreal Quebec Canada, Canada. pp.87-97, ⟨10.1145/3550355.3552447⟩

Communication dans un congrès hal-03891589v1

AnimUML as a UML Modeling and Verification Teaching Tool

Frédéric Jouault , Valentin Sebille , Valentin Besnard , Théo Le Calvar , Ciprian Teodorov et al.

MODELS 2021, Nov 2021, Fukuoka (virtual), Japan. pp.615-619

Communication dans un congrès hal-03408698v1

Evaluating Tool Support for Embedded Operating System Security: an Experience Feedback

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

SecureMDE 2020, Nov 2020, Virtual Event, Canada

Communication dans un congrès hal-02966564v1

Modular Deployment of UML Models for V&V Activities and Embedded Execution

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

MoDeVVa, Oct 2020, Virtual Event, Canada. ⟨10.1145/3417990.3419227⟩

Communication dans un congrès hal-02929122v1

Designing, Animating, and Verifying Partial UML Models

Frédéric Jouault , Valentin Besnard , Théo Le Calvar , Ciprian Teodorov , Matthias Brun et al.

23rd International Conference on Model Driven Engineering Languages and Systems (MODELS 2020), Oct 2020, Virtual event, Canada. pp.211-217, ⟨10.1145/3365438.3410967⟩

Communication dans un congrès hal-02931876v1
Deposit thumbnail

Verifying and Monitoring UML Models with Observer Automata: A Transformation-Free Approach

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

22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2019, 2019, Munich, Germany. pp.161-171, ⟨10.1109/MODELS.2019.000-5⟩

Communication dans un congrès hal-02433749v1

A Model Checkable UML Soccer Player

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

3rd Workshop on Model-Driven Engineering Tools, Sep 2019, Munich, Germany

Communication dans un congrès hal-02375996v1

EMI : Un Interpréteur de Modèles Embarqué pour l’Exécution et la Vérification de Modèles UML

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

18 ème journées sur les Approches Formelles dans l’Assistance au Développement de Logiciels, Jun 2019, Toulouse, France. pp.101-104

Communication dans un congrès hal-02375948v1

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

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

MDE@DeRun 2018 : First International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems, Jun 2018, Toulouse, France

Communication dans un congrès hal-01802247v1

Unified LTL Verification and Embedded Execution of UML Models

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

21st International Conference on Model Driven Engineering Languages and Systems (MODELS), Oct 2018, Copenhague, Denmark

Communication dans un congrès hal-01887948v1

Improving Incremental and Bidirectional Evaluation with an Explicit Propagation Graph

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

17th International Workshop in OCL and Textual Modeling, Jul 2017, Marburg, Germany

Communication dans un congrès hal-01585342v1

Towards one Model Interpreter for Both Design and Deployment

Valentin Besnard , Matthias Brun , Philippe Dhaussy , Frédéric Jouault , David Olivier et al.

3rd International Workshop on Executable Modeling (EXE 2017), Sep 2017, Austin, United States

Communication dans un congrès hal-01585318v1

Testing real-time embedded software using runtime enforcement

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

11th IEEE International Symposium on Industrial Embedded Systems, IEEE SIES 2016, May 2016, Krakow, Poland

Communication dans un congrès hal-01399909v1

Use of runtime enforcement for the test of real-time systems

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

12th IEEE International Conference on Embedded Software and Systems, IEEE ICESS 2015, Aug 2015, New York, United States

Communication dans un congrès hal-01179648v1
Deposit thumbnail

Towards Functional Model Transformations with OCL

Frédéric Jouault , Olivier Beaudoux , Matthias Brun , Mickaël Clavreul , Guillaume Savaton

ICMT 2015 - 8th International Conference on Model Transformation, Jul 2015, L'Aquila, Italy. pp.111-120, ⟨10.1007/978-3-319-21155-8_9⟩

Communication dans un congrès hal-01179294v1

Formal composition based on roles within a model driven engineering approach

Cedrick Lelionnais , Matthias Brun , Jérôme Delatour , Olivier Henri Roux , Charlotte Seidner

The 5th International Conference on Advances in System Testing and Validation Lifecycle (VALID 2013), Nov 2013, Venice, Italy. pp.27-32

Communication dans un congrès hal-00941024v1
Deposit thumbnail

Formal Behavioral Modeling of Real-Time Operating Systems

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

The 14th International Conference on Enterprise Information Systems (ICEIS (2) 2012), Jun 2012, Wroclaw, Poland

Communication dans un congrès hal-01093794v1

Contribution on the Software Execution platform integration during an application deployment process

Matthias Brun , Jérôme Delatour

First Topcased Day, Feb 2011, Toulouse, France

Communication dans un congrès hal-01179760v1

Les platesformes d'exécution dans l'IDM : Quelles modélisations pour quelles utilisations ?

Jérôme Delatour , Matthias Brun , Guillaume Savaton , Jonathan Ilias-Pillet , Cedrick Lelionnais

programme des journées nationales du GDR GPL 2010, Mar 2010, Pau, France

Communication dans un congrès hal-01179877v1
Deposit thumbnail

From UML to AADL: a Need for an Explicit Execution Semantics Modeling with MARTE

Matthias Brun , Madeleine Faugère , Jérôme Delatour , Thomas Vergnaud

Embedded Real Time Software and Systems (ERTS2008), Jan 2008, Toulouse, France

Communication dans un congrès hal-02270284v1

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

Engineering of Complex Computer Systems, 2008. ICECCS 2008. 13th IEEE International Conference on, Mar 2008, Belfast, Ireland. pp.257-262, ⟨10.1109/ICECCS.2008.19⟩

Communication dans un congrès hal-01179673v1

From UML to AADL: an Explicit Execution Semantics Modelling with MARTE

Matthias Brun , Thomas Vergnaud , Madeleine M.F Faugere , Jérôme Delatour

ERTS 2008, 2008, Toulouse, France

Communication dans un congrès hal-01179680v1

Retour d’expérience sur l’utilisation déclarative d’un langage de transformation pour la génération de code : de AADL vers OSEK/VDX OS

Matthias Brun , Jérôme Delatour , Sébastien Faucou , Guillaume Savaton

IDM07, Mar 2007, Toulouse, France. pp.132-148

Communication dans un congrès hal-01179695v1

AnimUML: a Practical Tool for Partial Model Animation and Analysis

Frédéric Jouault , Valentin Besnard , Matthias Brun , Théo Le Calvar , Fabien Chhel et al.

Science of Computer Programming, 2023, pp.103050. ⟨10.1016/j.scico.2023.103050⟩

Article dans une revue hal-04234580v1

Unified verification and monitoring of executable UML specifications. A transformation-free approach

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

Software and Systems Modeling, 2021, ⟨10.1007/s10270-021-00923-9⟩

Article dans une revue hal-03463358v1
Deposit thumbnail

Testing real-time systems with runtime enforcement

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

IEEE Design & Test, 2018, ⟨10.1109/MDAT.2018.2791801⟩

Article dans une revue hal-01713193v1
Deposit thumbnail

Formal Synthesis of Real-Time System Models in a MDE Approach

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

IARIA Journals, 2014, International Journal on Advances in Systems and Measurements, 7 (1&2), pp.115-128

Article dans une revue hal-01093769v1

Etude 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 Gerard

Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2010, 29 (4-5), pp.421-451

Article dans une revue hal-00537626v1
Deposit thumbnail

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

Revue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, 2007, 13 (4), pp.9-31

Article dans une revue hal-01045009v1