NaoMod

Generative Software and System Engineering

NaoMod hosts one seminar per week where group member or a guest speaker gives a talk on a subject of their choosing, such as an interesting paper, their ongoing work, a nice tool they discovered, or inspirational thoughts (here is the calendar ICS file with the full list of seminars).

Click here to see the upcoming seminars (list generated at 2025-10-07 16:37)
Towards Diagram-Based Data Model Generation with LLMs

Talk to be given at ER 2025.

13/10/2025
Léna Bamouh
Modeling OCL Collection Types and Type Casting using Constraint Programming
27/10/2025
Matthew Coyle
TBA
03/11/2025
Lucien Astié
TBA
10/11/2025
Dalila Tamzalit
TBA
17/11/2025
Jean-Marie Mottu
A Case for Feminism in Programming Language Design
24/11/2025
Erwan Bousse
TBA
01/12/2025
Massimo Tisi
TBA
08/12/2025
Gerson Sunyé
TBA
05/01/2026
Théo Le Calvar
TBA
12/01/2026
Henri Cossais
TBA
19/01/2026
Nouhaila Mraikh
TBA
26/01/2026
Hiba Ajabri

Past seminars


Guidelines for Empirical Studies in Software Engineering involving LLMs

https://llm-guidelines.org/

06/10/2025
Hugo Brunelière
Towards LLM Agents for Model-Based Engineering: A Case in Transformation Selection

How LLM-based agents can support Model-Based Engineering by automatically selecting and applying model transformations. Paper to be presented at SAM 2025.

29/09/2025
Zakaria Hachm
Présentation du langage AgentSpeak

AgentSpeak est un langage de programmation dédié à la description formelle du comportements d’agents interagissant avec leur environnement, mêlant un paradigme de programmation logique et une vision Belief/Desire/Intention des comportements.

22/09/2025
Julien Cohen
Computing within Limits

Paper published in 2018 in the Communications of the ACM, authored by Nardi, B., Tomlinson, B., Patterson, D. J., Chen, J., Pargman, D., Raghavan, B., & Penzenstadler, B. Presented slides.

15/09/2025
Erwan Bousse
MPS tutorial
16/06/2025
Nouhaila Mraikh
Navigating the trace of executable domain specific languages through a trace domain query language.

A presentation of TraceDQL, a query language designed to extract data from an execution trace. This language was one of my thesis contributions and has been the subject of a paper accepted for publication in the Journal of Object Technology (JOT) and will be presented at ECMFA 2025.

05/05/2025
Hiba Ajabri
GLASS, a Framework for Refactorings using FCA

Yann-Gaël Guéhéneuc is a visiting researcher from Concordia University.

Collaborators: Luca Scistri, Imen Benzarti, Petko Valtchev, Yann-Gaël Guéhéneuc, Ghizlane El Boussaidi, Hafedh Mili

Slides

14/04/2025
Yann-Gaël Guéhéneuc
Talking Machines: How LLMs Understand and Generate Language
07/04/2025
Zakaria Hachm
JuNGLe : Jumeau Numérique − une approche Génie Logiciel

Web seminar from Jannik Laval, associate professor at Université Lumière Lyon2.

31/03/2025
Jannik Laval
Towards Enforcing Structural OCL Constraints using Constraint Programming
24/03/2025
Matthew Coyle
Introduction to LangChain.js
17/02/2025
Luigi Brandolini
Efficient and Green Large Language Models for Software Engineering: Vision and the Road Ahead

Shi, J., Yang, Z., & Lo, D. (2024). Efficient and green large language models for software engineering: Vision and the road ahead. ACM Transactions on Software Engineering and Methodology.

03/02/2025
Hugo Brunelière
Rocq/Coq Tutorial

https://coq.inria.fr/

27/01/2025
Julien Cohen
PhD defense rehearsal
20/01/2025
James Miranda
gitlab-ci-local: Gitlab CI jobs on your own computer

Demonstration of the gitlab-ci-local tool.

13/01/2025
Erwan Bousse
Evaluating large language models for software testing

Paper that will be published at Computer Standards & Interfaces in 2025, authored by Yihao Li, Pan Liu, Haiyang Wang, Jie Chu, W. Eric Wong.

06/01/2025
Jean-Marie Mottu
Unprecedented Code Change Automation: The Fusion of LLMs and Transformation by Example

Paper published at FSE 2024, authored by Malinda Dilhara, Abhiram Bellur, Timofey Bryksin, Danny Dig.

02/12/2024
Massimo Tisi
AToM3: A Tool for Multi-formalism and Meta-modelling

Paper published at FASE 2002, authored by Juan de Lara1 and Hans Vangheluwe.

25/11/2024
Yasmina Dali Youcef
Gradle tutorial
18/11/2024
Matthew Coyle
Xtext & Scopes

“Tool of the week” demonstration about the Xtext framework, and how it can be used to define the scope of variables in the textual syntax of a DSL.

04/11/2024
Hiba Ajabri
Towards an In-context LLM-based Approach for Automating the Definition of Model Views

Paper presented at SLE 2024.

14/10/2024
James Miranda
Sustainable Software Supply Chains
30/09/2024
Gerson Sunyé
Towards Model-Driven Test Case Concretization for End-to-end Combinatorial Testing

Paper authored by Léna Bamouh and Erwan Bousse, to be presented at MoDeVVa 2024.

16/09/2024
Erwan Bousse
Langium
02/09/2024
Théo Le Calvar
A domain-specific language (DSL) created with the Modeling SDK for Visual Studio
15/07/2024
Hugo Bruneliere
dpDebugger: a Domain-Parametric Debugger for DSLs using DAP and Language Protocols

Tool demo to be submitted at MODELS 2024.

08/07/2024
Josselin Enet
Identification de Services dans des Systèmes Monolithiques, en Préparation à la Migration vers une Architecture Microservices.

Travail réalisé en stage de M2.

24/06/2024
Matthéo Lécrivain
Architecture d'orchestration d'API pilotée par les événements

Répétition soutenance de stage.

L’intégration des applications évolue constamment, utilisant des architectures variées comme les ESB et middleware pour la connectivité des systèmes. Actuellement, l’accent est mis sur la gestion des événements et la synchronisation en temps réel. Le projet se concentre sur l’intégration d’applications d’entreprise pilotées par des événements, abordant des défis tels que la documentation des événements et la gestion dynamique des abonnements.

17/06/2024
Fanel Bentaleb
How to create multi-agent collaboration with LangGraph
10/06/2024
James Miranda
Eclipse GEMOC Studio Tutorial

Building an executable domain-specific language to model a simple production line system using the Eclipse GEMOC Studio.

03/06/2024
Hiba Ajabri
CorrectExam demonstration
27/05/2024
Gerson Sunyé
Choco-solver demonstration
13/05/2024
Matthew Coyle
Ltac: a DSL for proof tactics

(Tool of the week) Documentation, Tutorial 1, Tutorial 2.

06/05/2024
Massimo Tisi
Breaking the Silence: the Threats of Using LLMs in Software Engineering

Paper accepted at the ICSE’24 conference, NIER track, written by June Sallou, Thomas Durieux, Annibale Panichella.

29/04/2024
Josselin Enet
Automated Unit Test Improvement using Large Language Models at Meta

Paper accepted at FSE’24, written by Alshahwan, Nadia ; Chheda, Jubin ; Finegenova, Anastasia ; Gokkaya, Beliz ; Harman, Mark ; Harper, Inna ; Marginean, Alexandru ; Sengupta, Shubho ; Wang, Eddy.

15/04/2024
Gerson Sunyé
An Empirical Evaluation of Using Large Language Models for Automated Unit Test Generation

Paper by Max Schäfer, Sarah Nadi, Aryaz Eghbali, Frank Tip. Published in IEEE Transactions on Software Engineering

18/03/2024
Jean-Marie Mottu
Towards a link mapping and evaluation approach for core operational​ Business-IT alignment

Accepted as full-paper for ICEIS 2024.

11/03/2024
Ali Benjilany
Fuzz4All: Universal Fuzzing with Large Language Models

Paper published at ICSE 2024, authored by Chunqiu Steven Xia, Matteo Paltenghi, Jia Le Tian, Michael Pradel, Lingming Zhang.

26/02/2024
Théo Le Calvar
Recommendation in Business Process Modeling

In this presentation, we will discuss why recommendation is an important research area for BPM, what recommendation entails in Business Process Modeling, and the main approaches to Recommendation. We will also introduce the foundations of a proposal for recommendation in Process Modeling called Pattern Composition.

19/02/2024
Mateus Conrad B. da Costa (Federal Institute of Espírito Santo, Brazil)
Defining KPIs for executable DSLs: a manufacturing system case study

Paper accepted at MODELSWARD 2024, authored by Hiba Ajabri, Jean-Marie Mottu, Erwan Bousse.

12/02/2024
Hiba Ajabri
MetaGPT: Meta Programming for A Multi-Agent Collaborative Framework

Paper written by Sirui Hong, Mingchen Zhuge, Jonathan Chen, Xiawu Zheng, Yuheng Cheng, Ceyao Zhang, Jinlin Wang, Zili Wang, Steven Ka Shing Yau, Zijuan Lin, Liyang Zhou, Chenyu Ran, Lingfeng Xiao, Chenglin Wu, Jürgen Schmidhuber.

05/02/2024
Massimo Tisi
Digital twin framework for reconfigurable manufacturing systems (RMSs): design and simulation

Paper published in 2021 at The International Journal of Advanced Manufacturing Technology, authored by Jesus Kombaya Touckia (University Paris 8), Nadia Hamani (University de Picardie Jules Verne) & Lyes Kermad (University Paris 8)

29/01/2024
Yasmina Dali Youcef
Explaining Cyberphysical System Behavior With Digital Twins

Paper published at IEEE Software, authored by Judith Michael, (Aachen University, Germany), Maike Schwammberger (Karlsruhe Institute of Technology, Germany), Andreas Wortmann (University of Stuttgart, Germany).

22/01/2024
Hugo Bruneliere
Sustainability is Stratified: Toward a Better Theory of Sustainable Software Engineering

Paper presented at ICSE 2023, authored by Sean McGuire, Erin Schultz, Bimpe Ayoola and Paul Ralph (Dalhousie University, Canada). Presented slides.

15/01/2024
Erwan Bousse
Pattern-based development of domain-specific modelling languages

Paper accepted at MODELS 2015 and written by Ana Pescador, Antonio Garmendia, Esther Guerra, Jesús Sánchez Cuadrado, Juan de Lara.

11/12/2023
Hiba Ajabri
The current state of the use of LLMs for modeling activities

I intend to show and talk about 2 papers (an experience report and a comparative study) that discusses this subject. The intention is to be updated about the current state catching up the latest published papers about it.

04/12/2023
James Miranda
An LSTM-Based Neural Network Architecture for Model Transformations

Paper written in 2019 by Loli Burgueño, Jordi Cabot, and Sébastien Gérard

Forewords by Matthew:

It’s in a way the opposite of what I’m doing with AI and MT; it’s about using ML and NN to perform a transformation, as opposed to my thesis where CSP is added to a transformation language, which I find can be an interesting contrast.

20/11/2023
Matthew Coyle
SeMaFoR & Concerto-D for decentralized reconfiguration of Fog systems

Abstract: The new Fog paradigm extends the Cloud to be closer to the thing that produce and act on IoT data. However, managing Fog infrastructure is challenging because of the scalability and reliability of these heterogeneous and dynamic systems. The SeMaFoR project aims at model Fog resources, and orchestrate a fleet of autonomous controllers, each having a local view of its resources, to ease the management of Fog systems.

03/07/2023
Jolan Philippe
No title provided.
26/06/2023
Matthew Coyle
Automated Unit Test Improvement using Large Language Models at Meta

Paper accepted at FSE’24, written by Alshahwan, Nadia ; Chheda, Jubin ; Finegenova, Anastasia ; Gokkaya, Beliz ; Harman, Mark ; Harper, Inna ; Marginean, Alexandru ; Sengupta, Shubho ; Wang, Eddy.

19/06/2023
Gerson Sunyé
TTC 2023 - Incremental MTL vs. GPLs: Class into Relational Database Schema

A quick focus on model transformation languages and general purpose languages expressiveness and ease of use in the context of incremental model transformation. Link to paper and Github

15/05/2023
Théo Le Calvar
Being sustainability chair of ICTS 2023

A few words about the ICT4S 2023 conference and my job there as “sustainability chair”

09/05/2023
Erwan Bousse
Hiba's thesis overview: 'Performance Evaluation of Executable Domain-Specific Languages'

A brief introduction to Hiba’s thesis subject entitled Performance Evaluation of Executable Domain-Specific Languages: introduction of an overall architectural diagram of the RODIC ANR project, and of a technical diagram on the WP2 level, and presentation of some of results.

24/04/2023
Hiba Ajabri
Generating structurally realistic models with deep autoregressive networks

Authors: José Antonio Hernández López; Jesús Sánchez Cuadrado

Link to the paper

17/04/2023
Massimo Tisi
Using Machine Learning to Build Test Oracles: an Industrial Case Study on Elevators Dispatching Algorithms

By Aitor Arrieta; Jon Ayerdi; Miren Illarramendi; Aitor Agirre; Goiuria Sagardui; Maite Arratibel.

Link to the paper

11/04/2023
Jean-Marie Mottu
Model-driven engineering for certifiable safety-critical systems
03/04/2023
Ghizlane El Boussaidi
Towards Automating the Design of Cyber-Physical Systems: The Experience of Volvo Construction Equipment

Johan Bergelin, Luca Berardinelli, Damir Bilic, Hugo Bruneliere, Antonio Cicchetti, MohammadHadi Dehghani, Claudio Di Sipio, James Miranda, Abbas Rahimi, and Riccardo Rubei

Submitted to ECMFA 2023.

06/03/2023
Hugo Bruneliere
Protocol-Based Interactive Debugging for Domain-Specific Languages

WIP to be submitted to ECMFA 2023

13/02/2023
Josselin Enet
A Generic Framework for Representing and Analysing Model Concurrency

Paper accepted in 01/2023 at SoSym

Link to paper

16/01/2023
Erwan Bousse
AI-augmented Model Transformations
09/01/2023
Matthew Coyle
Testing, debugging and program visualisation @RMod

Anne Etien is full professor in the RMod group in Lille. She will give an overview of some research activities in her group.

12/12/2022
Anne Etien
Current state on Business-IT alignment

Paper recently submitted at CAiSE’23

05/12/2022
Ali Benjilany
From Coverage Computation to Fault Localization: A Generic Framework for Domain-Specific Languages

Faezeh Khorram, Erwan Bousse, Antonio Garmendia, Jean-Marie Mottu, Gerson Sunyé, Manuel Wimmer

Rehearsal for presenting at SLE 2022

Link to the paper

28/11/2022
Faezeh Khorram
Graph neural networks and how it relates with models

Current research work

07/11/2022
James Miranda
Automatic Test Amplification for Executable Models

Faezeh Khorram, Erwan Bousse, Jean-Marie Mottu, Gerson Sunyé, Pablo Gómez-Abajo, Pablo C Cañizares, Esther Guerra, Juan de Lara

Rehearsal for presenting at MODELS 2022

Link to the paper

17/10/2022
Faezeh Khorram
A Tool-Assisted Approach to Engineer Domain-Specific Languages (DSLs) using Rust

Léo Olivier, Lou-Anne Sauvêtre, Erwan Bousse, Gerson Sunyé

Rehearsal for presenting at « MLE 2022 »

Link to the paper

10/10/2022
Gerson Sunyé
Code-First Model-Driven Engineering: On the Agile Adoption of MDE Tooling

Artur Boronat

In « ASE 2019 »

Link to the paper

Link to the slides

03/10/2022
Massimo Tisi
Let us not put all our eggs in one basket

Florence Maraninchi

In « Communications of the ACM », September 2022

Link to the paper

26/09/2022
Erwan Bousse
A feature-based survey of Fog modeling languages

Abdelghani Alidraab, Hugo Bruneliere, Thomas Ledoux

In « Future Generation Computer Systems », August 2022

Link to the paper

12/09/2022
Hugo Brunelière

Archives (07-2018 to 09-2019)