Yinling Liu, Jean-Michel Bruel. Modeling and verification of natural language requirements based on states and modes. Formal Aspects of Computing, In press, ⟨10.1145/3640822⟩. ⟨hal-04446384⟩

Dorian Leroy, Benoit Combemale, Benoît Lelandais, Marie-Pierre Oudot. Practical Runtime Instrumentation of Software Languages: The Case of SciHook. SLE 2023 - 16th ACM SIGPLAN International Conference on Software Language Engineering, ACM SIGPLAN: Special Interest Group on Programming Languages, Oct 2023, Cascais, Lisbon, Portugal. pp.1-6. ⟨hal-04249049⟩

Damien Foures, Mathieu Acher, Olivier Barais, Benoit Combemale, Jean-Marc Jézéquel, et al.. Experience in Specializing a Generic Realization Language for SPL Engineering at Airbus. MODELS 2023 - 26th International Conference on Model-Driven Engineering Languages and Systems, ACM; IEEE, Oct 2023, Västerås, Sweden. pp.1-12. ⟨hal-04216627⟩

Mika Pons, Jean-Michel Bruel, Jean-Baptiste Raclet, Franck Silvestre. Traceability by design: design of an interactive system to improve the automatic generation of Git traces during a learning activity. 18th European Conference on Technology Enhanced Learning (EC-TEL 2023), Sep 2023, Aveiro, Portugal. pp.611-617, ⟨10.1007/978-3-031-42682-7_50⟩. ⟨hal-04347305⟩

Mika Pons, Jean-Michel Bruel, Jean-Baptiste Raclet, Franck Silvestre. Extended version of the paper "Traceability by design: design of an interactive system to improve the automatic generation of Git traces during a learning activity". 2023. ⟨hal-04141003⟩

Mika Pons, Jean-Michel Bruel, Jean-Baptiste Raclet, Franck Silvestre. Traçabilité by design : conception d'un système interactif pour améliorer la génération automatique de traces Git pendant une activité d'apprentissage. 11ème Conférence sur les Environnements Informatiques pour l’Apprentissage Humain (EIAH 2023), ATIEF : Association des Technologies de l’Information pour l’Education et la Formation, Jun 2023, Brest, France. pp.68-79. ⟨hal-04144980⟩

Mika Pons, Jean-Michel Bruel, Jean-Baptiste Raclet, Franck Silvestre. Finding behavioral indicators from contextualized commits in software engineering courses with process mining. 2nd International Workshop on Frontiers in Software Engineering Education (FISEE 2023), Jan 2023, Villebrumier, France. pp.56-68, ⟨10.1007/978-3-031-48639-5_5⟩. ⟨hal-04332205⟩

Benoit Combemale, Jeff Gray, Bernhard Rumpe. How to define modeling languages?. Software and Systems Modeling, 2023, 22 (2), pp.449-451. ⟨10.1007/s10270-023-01098-1⟩. ⟨hal-04128248⟩

Maria Naumcheva, Sophie Ebersold, Alexandr Naumchev, Jean-Michel Bruel, Florian Galinier, et al.. Object-Oriented Requirements: a Unified Framework for Specifications, Scenarios and Tests. The Journal of Object Technology, 2023, 22 (1), pp.1-19. ⟨10.5381/jot.2023.22.1.a3⟩. ⟨hal-04128273⟩

Steffen Zschaler, Erwan Bousse, Julien Deantoni, Benoit Combemale. A Generic Framework for Representing and Analysing Model Concurrency. Software and Systems Modeling, 2023, 22, pp.1319-1340. ⟨10.1007/s10270-022-01073-2⟩. ⟨hal-03921704⟩