Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Matthias Brun 0001

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Jérôme Delatour

> Home > Persons > Matthias Brun 0001

Publications

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)
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
[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
2014
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & 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
  - no references & citations available
- 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)
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)

a service of

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.