Concepedia

Matthias Brun

MB

6

Publications

115

Citations

6

H-Index

2008

Active since

Affiliations

École Supérieure d'Électronique de l'Ouest(Current)

École nationale supérieure de techniques avancées Bretagne

Université de Bretagne Occidentale

Centre National de la Recherche Scientifique

Laboratoire des Sciences et Techniques de l’Information de la Communication et de la Connaissance

Matthias Brun is an author at École Supérieure d'Électronique de l'Ouest specializing in engineering, formal verification, and formal methods.

Top concepts

EngineeringFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSystems EngineeringVerification

Publications per year

2008–2022

6

Publications

6

Experimental and numerical dynamic analysis of a live tree stem impacted by a Charpy pendulum

D. Bertrand, F. Bourrier, Ignacio Olmedo et al. · International Journal of Solids and Structures · 2013 · 29 citations

Engineering, Mechanics, Mechanical Engineering +7

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 · 2008 · 26 citations

Engineering, Computer Architecture, Software Engineering +26

Unified LTL Verification and Embedded Execution of UML Models

Valentin Besnard, Matthias Brun, Frédéric Jouault et al. · 2018 · 23 citations

Engineering, Hardware Verification Language, Verification +22

Designing, animating, and verifying partial UML Models

Frédéric Jouault, Valentin Besnard, Théo Le Calvar et al. · 2020 · 14 citations

Software Maintenance, Engineering, Verification +24

Unified verification and monitoring of executable UML specifications

Valentin Besnard, Ciprian Teodorov, Frédéric Jouault et al. · Software & Systems Modeling · 2021 · 13 citations

Engineering, Runtime Verification, Program Analysis +11

Rows per page

1–5 of 6