Matthias Brun
Publications
Publications
Génération de correctifs pour les modèles partiels d'AnimUMLIHM/GL-IHM, 2023, Troyes, France |
|
Temporal Breakpoints for Multiverse DebuggingSoftware Language Engineering 2023, Oct 2023, Lisbonne, Portugal |
|
Débogage Multivers de Modèles UMLAFADL, Jun 2023, Rennes, France |
|
Debugging Paxos in the UML MultiverseMODELS-C/MoDeVVa, Oct 2023, Västerås, Sweden |
|
|
|
Smart Home Model Verification with AnimUMLSTAF 2022 Workshop MESS’22: International workshop on MDE for Smart IoT Systems, Jul 2022, Nantes, France |
From OCL-based model static analysis to quick fixes21st 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⟩ |
|
|
|
Practical multiverse debugging through user-defined reductionsMODELS '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⟩ |
AnimUML as a UML Modeling and Verification Teaching ToolMODELS 2021, Nov 2021, Fukuoka (virtual), Japan. pp.615-619 |
|
Evaluating Tool Support for Embedded Operating System Security: an Experience FeedbackSecureMDE 2020, Nov 2020, Virtual Event, Canada |
|
Modular Deployment of UML Models for V&V Activities and Embedded ExecutionMoDeVVa, Oct 2020, Virtual Event, Canada. ⟨10.1145/3417990.3419227⟩ |
|
Designing, Animating, and Verifying Partial UML Models23rd International Conference on Model Driven Engineering Languages and Systems (MODELS 2020), Oct 2020, Virtual event, Canada. pp.211-217, ⟨10.1145/3365438.3410967⟩ |
|
|
|
Verifying and Monitoring UML Models with Observer Automata: A Transformation-Free Approach22nd 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⟩ |
A Model Checkable UML Soccer Player3rd Workshop on Model-Driven Engineering Tools, Sep 2019, Munich, Germany |
|
EMI : Un Interpréteur de Modèles Embarqué pour l’Exécution et la Vérification de Modèles UML18 ème journées sur les Approches Formelles dans l’Assistance au Développement de Logiciels, Jun 2019, Toulouse, France. pp.101-104 |
|
Embedded UML Model Execution to Bridge the Gap Between Design and RuntimeMDE@DeRun 2018 : First International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems, Jun 2018, Toulouse, France |
|
Unified LTL Verification and Embedded Execution of UML Models21st International Conference on Model Driven Engineering Languages and Systems (MODELS), Oct 2018, Copenhague, Denmark |
|
Improving Incremental and Bidirectional Evaluation with an Explicit Propagation Graph17th International Workshop in OCL and Textual Modeling, Jul 2017, Marburg, Germany |
|
Towards one Model Interpreter for Both Design and Deployment3rd International Workshop on Executable Modeling (EXE 2017), Sep 2017, Austin, United States |
|
Testing real-time embedded software using runtime enforcement11th IEEE International Symposium on Industrial Embedded Systems, IEEE SIES 2016, May 2016, Krakow, Poland |
|
Use of runtime enforcement for the test of real-time systems12th IEEE International Conference on Embedded Software and Systems, IEEE ICESS 2015, Aug 2015, New York, United States |
|
|
|
Towards Functional Model Transformations with OCLICMT 2015 - 8th International Conference on Model Transformation, Jul 2015, L'Aquila, Italy. pp.111-120, ⟨10.1007/978-3-319-21155-8_9⟩ |
Formal composition based on roles within a model driven engineering approachThe 5th International Conference on Advances in System Testing and Validation Lifecycle (VALID 2013), Nov 2013, Venice, Italy. pp.27-32 |
|
|
|
Formal Behavioral Modeling of Real-Time Operating SystemsThe 14th International Conference on Enterprise Information Systems (ICEIS (2) 2012), Jun 2012, Wroclaw, Poland |
Contribution on the Software Execution platform integration during an application deployment processFirst Topcased Day, Feb 2011, Toulouse, France |
|
Les platesformes d'exécution dans l'IDM : Quelles modélisations pour quelles utilisations ?programme des journées nationales du GDR GPL 2010, Mar 2010, Pau, France |
|
|
|
From UML to AADL: a Need for an Explicit Execution Semantics Modeling with MARTEEmbedded Real Time Software and Systems (ERTS2008), Jan 2008, Toulouse, France |
Code Generation from AADL to a Real-time Operating System: An Experimentation Feedback on the Use of Model TransformationEngineering of Complex Computer Systems, 2008. ICECCS 2008. 13th IEEE International Conference on, Mar 2008, Belfast, Ireland. pp.257-262, ⟨10.1109/ICECCS.2008.19⟩ |
|
From UML to AADL: an Explicit Execution Semantics Modelling with MARTEERTS 2008, 2008, Toulouse, France |
|
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 OSIDM07, Mar 2007, Toulouse, France. pp.132-148 |