Publications for the collection HAL LS2N-NAOMOD for 2020
International journals with reviewing committee (ART_INT)
- [1] D. Leroy, P. Jeanjean, E. Bousse, M. Wimmer, B. Combemale. Runtime Monitoring for Executable DSLs. In The Journal of Object Technology ; éd. Chair of Software Engineering, 2020, vol. 19, num. 2.https://inria.hal.science/hal-03109992v1
- [2] Z. Cheng, M. Tisi, R. Douence. CoqTL: A Coq DSL for Rule-Based Model Transformation. In Software and Systems Modeling ; éd. Springer Verlag, 2020, vol. 19.https://hal.science/hal-02333564v1
- [3] F. Arcelli Fontana, H. Bruneliere, H. A. Müller, C. Raibulet. Guest editors’ introduction to the special issue on Model Driven Engineering and Reverse Engineering: Research and Practice. In Journal of Systems and Software ; éd. Elsevier, 2020, vol. 159.https://hal.science/hal-02339020v1
- [4] H. Bruneliere, F. Marchand de Kerchove, G. Daniel, S. Madani, D. Kolovos, J. Cabot. Scalable Model Views over Heterogeneous Modeling Technologies and Resources. In Software and Systems Modeling ; éd. Springer Verlag, 2020, vol. 19, num. 4.https://hal.science/hal-02515776v1
- [5] I. Berrouyne, M. Adda, J. Mottu, J. Royer, M. Tisi. A Model-Driven Approach to Unravel the Interoperability Problem of the Internet of Things. In Advanced Information Networking and Applications, avril 2020, Nantes, France.https://hal.science/hal-02943297v1
- [6] J. Gorroñogoitia Cruz, A. Sadovykh, D. Truscan, H. Bruneliere, P. Pierini, L. Lopez Muñiz. MegaM@Rt2 EU Project: Open Source Tools for Mega-Modelling at Runtime of CPSs. In The 16th International Conference on Open Source Systems (OSS 2020), mai 2020, Innopolis, Russie.https://hal.science/hal-02524402v1
- [7] T. Béziers La Fosse, Z. Cheng, J. Rocheteau, J. Mottu. Model-Driven Engineering of Monitoring Application for Sensors and Actuators Networks. In Software Engineering and Advanced Applications, août 2020, Portorož, Slovénie.https://inria.hal.science/hal-02612730v2
- [8] F. Khorram, J. Mottu, G. Sunyé. Challenges & Opportunities in Low-Code Testing. In ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20 Companion), octobre 2020, Virtual, Canada.https://hal.science/hal-02946812v1
- [9] A. Niati, C. Selma, D. Tamzalit, H. Bruneliere, N. Mebarki, O. Cardin. Towards a Digital Twin for Cyber-Physical Production Systems: A Multi-Paradigm Modeling Approach in the Postal Industry. In ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS '20 Companion), octobre 2020, Virtual Event, Canada.https://hal.science/hal-02925123v2
- [10] Z. Cheng, M. Tisi, J. Hotonnier. Certifying a Rule-Based Model Transformation Engine for Proof Preservation. In ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, octobre 2020, Montreal, Canada.https://inria.hal.science/hal-02907622v1
- [11] J. Philippe, H. Coullon, M. Tisi, G. Sunyé. Towards Transparent Combination of Model Management Execution Strategies for Low-Code Development Platforms. In 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, octobre 2020, Montreal (Virtually), Canada.https://hal.science/hal-02952952v1
- [12] M. Sharbaf, B. Zamani, G. Sunyé. A Formalism for Specifying Model Merging Conflicts. In System Analysis and Modelling (SAM) conference, octobre 2020, Virtual Event, Canada.https://hal.science/hal-02930770v1
- [13] T. Béziers La Fosse, M. Tisi, J. Mottu, G. Sunyé. Annotating Executable DSLs with Energy Estimation Formulas. In SLE 2020 - Software Language Engineering, novembre 2020, Chicago, Illinois / Virtual, états-Unis.https://inria.hal.science/hal-03001493v1
- [14] D. Tamzalit. VERS UNE INGENIERIE DE L'EVOLUTION LOGICIELLE : UNE APPROCHE ARCHITECTURALE. VERROUS, CONTRIBUTIONS ET PERSPECTIVES.. https://hal.science/tel-02967449v1
- [15] J. Royer, M. Tisi. Automatically Summarizing all the Problems of a Rule-Based System. Rapport technique, 2020 ; IMT Atlantique.https://hal.science/hal-02432411v1
