logo-hal

HALathon 2021 UPPA

Vos documents déjà déposés

# Type Année Titre doi Notice HAL accès HAL label OA
1 ART 2019 A Black-Box and Contract-Based Verification of Model Transformations hal-02507286 fichier
2 ART 2018 The MegaM@Rt2 ECSEL project: MegaModelling at Runtime – Scalable model-based framework for continuous development and runtime validation of complex systems 10.1016/j.micpro.2018.05.010 hal-01810002 fichier openaccess
3 COMM 2018 A Generic Solution for Weaving Business Code into Executable Models hal-01912827 fichier
4 COMM 2018 Xmodeling Studio : Un Outil Pour Définir Des DSL Exécutables hal-01912828 fichier
5 COMM 2017 World Wide Modeling Made Easy - A Simple, Lightweight Model Server 10.5220/0006110802690276 hal-01912336

label OA

 openaccess
6 COMM 2017 The MegaM@Rt2 ECSEL Project – MegaModelling at Runtime – Scalable Model-based Framework for Continuous Development and Runtime Validation of Complex Systems 10.1109/DSD.2017.50 hal-01557430 fichier openaccess
7 COMM 2013 Characterization of Adaptable Interpreted-DSML 10.1007/978-3-642-39013-5_4 hal-01909109

label OA

 openaccess
8 COMM 2012 Model Execution Adaptation? 10.1145/2422518.2422528 hal-01909112

label OA

 openaccess
9 COMM 2011 Contracts for Model Execution Verification 10.1007/978-3-642-21470-7_2 inria-00637763 fichier openaccess
10 COMM 2011 Une approche de vérification d'exécution de modèles par contrats inria-00637747 fichier
11 COMM 2002 An architecture and a process for implementing distributed collaborations hal-00794774 fichier
12 COUV 2019 Executable Modeling for Reactive Programming 10.1007/978-3-030-11030-7_1 hal-02505865 fichier

Références complètes

  1. Meriem Lahrouni, Eric Cariou, Abdelaziz Fazziki. A Black-Box and Contract-Based Verification of Model Transformations. The International Arab Journal of Information Technology, 2019, 16(4). ⟨hal-02507286⟩
  2. Wasif Afzal, Hugo Bruneliere, Davide Di Ruscio, Andrey Sadovykh, Silvia Mazzini, et al.. The MegaM@Rt2 ECSEL project: MegaModelling at Runtime – Scalable model-based framework for continuous development and runtime validation of complex systems. Microprocessors and Microsystems: Embedded Hardware Design (MICPRO), Elsevier, 2018, 61, pp.86 - 95. ⟨10.1016/j.micpro.2018.05.010⟩. ⟨hal-01810002⟩
  3. Olivier Le Goaer, Eric Cariou, Léa Brunschwig, Franck Barbier. A Generic Solution for Weaving Business Code into Executable Models. 4th International Workshop on Executable Modeling at MoDELS (EXE 2018), 2018, Copenhagen, Denmark. pp.251-256. ⟨hal-01912827⟩
  4. Léa Brunschwig, Olivier Le Goaer, Eric Cariou. Xmodeling Studio : Un Outil Pour Définir Des DSL Exécutables. 7ème Conférence En IngénieriE Du Logiciel (CIEL 2018), 2018, Grenoble, France. ⟨hal-01912828⟩
  5. Olivier Le Goaer, Eric Cariou, Franck Barbier. World Wide Modeling Made Easy - A Simple, Lightweight Model Server. Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017., Feb 2017, Porto, Portugal. pp.269-276, ⟨10.5220/0006110802690276⟩. ⟨hal-01912336⟩
  6. Wasif Afzal, Hugo Bruneliere, Davide Di Ruscio, Andrey Sadovykh, Silvia Mazzini, et al.. The MegaM@Rt2 ECSEL Project – MegaModelling at Runtime – Scalable Model-based Framework for Continuous Development and Runtime Validation of Complex Systems. European Projects in Digital Systems Design (EPDSD) - Euromicro DSD/SEAA 2017, Aug 2017, Vienna, Austria. ⟨10.1109/DSD.2017.50⟩. ⟨hal-01557430⟩
  7. Eric Cariou, Olivier Le Goaer, Franck Barbier, Samson Pierre. Characterization of Adaptable Interpreted-DSML. Modelling Foundations and Applications - 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings, Jul 2013, Montpellier, France. pp.37--53, ⟨10.1007/978-3-642-39013-5_4⟩. ⟨hal-01909109⟩
  8. Eric Cariou, Franck Barbier, Olivier Le Goaer. Model Execution Adaptation?. Proceedings of the 7th Workshop on Models@run.Time, Innsbruck, Austria, October 02, 2012, Oct 2012, Innsbruck, Austria. pp.60-65, ⟨10.1145/2422518.2422528⟩. ⟨hal-01909112⟩
  9. Eric Cariou, Cyril Ballagny, Alexandre Feugas, Franck Barbier. Contracts for Model Execution Verification. ECMFA'11, Jun 2011, Birmingham, United Kingdom. ⟨10.1007/978-3-642-21470-7_2⟩. ⟨inria-00637763⟩
  10. Eric Cariou, Cyril Ballagny, Alexandre Feugas, Franck Barbier. Une approche de vérification d'exécution de modèles par contrats. IDM'11, Jun 2011, Lille, France. ⟨inria-00637747⟩
  11. Eric Cariou, Antoine Beugnard, Jean-Marc Jézéquel. An architecture and a process for implementing distributed collaborations. Proceedings of EDOC 2002, Apr 2002, Lausanne, Switzerland. ⟨hal-00794774⟩
  12. Franck Barbier, Eric Cariou. Executable Modeling for Reactive Programming. Model-Driven Engineering and Software Development. MODELSWARD 2018, 991, Springer, pp.1-8, 2019, Communications in Computer and Information Science, ⟨10.1007/978-3-030-11030-7_1⟩. ⟨hal-02505865⟩