default search action

combined dblp search
author search
venue search
publication search

ask others

Matthias Brun 0001

> Home > Persons

Person information

affiliation: Groupe ESEO, Angers, France

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/JouaultBBCCCDMPT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/JouaultBBCCCDMPT24
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: 103050 (2024)
2023
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/models/PasquierTJ0L23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/PasquierTJ0L23
Matthias Pasquier, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Loïc Lagadec:
Debugging Paxos in the UML Multiverse. MoDELS (Companion) 2023: 811-820
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/sle/PasquierTJ0RL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sle/PasquierTJ0RL23
Matthias Pasquier, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Luka Le Roux, Loïc Lagadec:
Temporal Breakpoints for Multiverse Debugging. SLE 2023: 125-137
2022
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/models/PasquierTJ0RL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/PasquierTJ0RL22
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: 87-97
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/models/JouaultM0CPT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/JouaultM0CPT22
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: 889-893
[c16]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/staf/JouaultT022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/staf/JouaultT022
Frédéric Jouault, Ciprian Teodorov, Matthias Brun:
Smart Home Model Verification with AnimUML (Poster). STAF Workshops 2022
2021
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/BesnardTJBD21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/BesnardTJBD21
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): 1825-1855 (2021)
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/models/JouaultSBCT0D21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/JouaultSBCT0D21
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: 615-619
2020
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/models/PasquierJ0P20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/PasquierJ0P20
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: 59:1-59:10
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/models/BesnardJ0TDD20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/BesnardJ0TDD20
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: 81:1-81:10
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/models/JouaultBCT0D20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/JouaultBCT0D20
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: 211-217

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/models/BesnardTJ0D19a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/BesnardTJ0D19a
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: 161-171
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/models/BesnardTJ0D19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/BesnardTJ0D19
Valentin Besnard, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Philippe Dhaussy:
A Model Checkable UML Soccer Player. MoDELS (Companion) 2019: 211-220
2018
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/dt/BechennecFRBG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dt/BechennecFRBG18
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): 31-37 (2018)
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/models/BesnardBJTD18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/BesnardBJTD18
Valentin Besnard, Matthias Brun, Frédéric Jouault, Ciprian Teodorov, Philippe Dhaussy:
Unified LTL Verification and Embedded Execution of UML Models. MoDELS 2018: 112-122
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/staf/BesnardBJTD18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/staf/BesnardBJTD18
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: 519-528
2017
[c7]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/models/BesnardBDJOT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/BesnardBDJOT17
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: 102-108
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/staf/JouaultBBCC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/staf/JouaultBBCC17
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: 302-316
2016
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/sies/GivelBBFR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sies/GivelBBFR16
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: 199-204
2015
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/hpcc/GivelBCFR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hpcc/GivelBCFR15
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: 984-990
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/icmt/JouaultBBCS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icmt/JouaultBBCS15
Frédéric Jouault, Olivier Beaudoux, Matthias Brun, Mickael Clavreul, Guillaume Savaton:
Towards Functional Model Transformations with OCL. ICMT 2015: 111-120
2014
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/ThomasDTBG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ThomasDTBG14
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 abs/1407.6655 (2014)
2012
[c2]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/iceis/LelionnaisBDRS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceis/LelionnaisBDRS12
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: 407-414
2010
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/tsi/BrunDTTG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsi/BrunDTTG10
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): 421-451 (2010)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2008
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/BrunDT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/BrunDT08
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: 257-262
2007
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/Lobjet/ThomasDTBG07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/Lobjet/ThomasDTBG07
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): 9-31 (2007)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.