Smart Modeling for softw@re Research and Technology

SM@RT is a great software engineering team of the Reliability of Systems and Software department that specializes in software agility and safety for cyber-physical systems. The team explores new foundations, and develops ground-breaking tools and methods for modeling and software languages (domain-specific languages, specification languages, programming and modeling languages), with a particular focus on the scientific breakthroughs related to socio-technical coordination (heterogeneity of models and execution platforms, final user in the loop, etc.). SM@RT is a leading team in model-driven engineering (MDE) and software language engineering (SLE). The team is highly involved in the international scientific community, and has established strong industrial partnerships (through bilateral and collaborative projects). SM@RT seconds most of the scientific contributions with software developments. The team is also highly involved in various open-source communities (e.g., Eclipse), and contributes to different projects.

Interests
  • Model-Based Systems Engineering
  • Requirements Engineering
  • Agile Methods & Design Patterns
  • Modeling for Sustainability
  • FUN (Final User Need) Modeling

Meet the SM@RT people

Permanent

Avatar

Bernard Coulette

Emeritus Professor

Avatar

Jean-Michel Bruel

Professor of Software Engineering

Avatar

Nan Messe

Assistant Professor

Avatar

Pierre-Jean Charrel

Professor of Software Engineering

Avatar

Sophie Ebersold-Marcaillou

Associate Professor of Software Engineering

Associates

Avatar

Benoît Combemale

Professor of Software Engineering, U. Rennes 1

Avatar

Bertrand Meyer

Professor of Software Engineering

Avatar

Claude Baron

Professor of System Engineering, INSA Toulouse

Avatar

Thuy Nguyen

Retired from EDF R&D

PostDocs

Avatar

Eric Lubat

PostDoc since 01/2026

Ph.D. Students

Avatar

Ildar Nigmatullin

Registration pending

Avatar

Irfan Javid

Ph.D. student since 02/2025

Avatar

Kim Loubat

Ph.D. student since 10/2023

Avatar

Mika Pons

Ph.D. student since 10/2021

Avatar

Nidhal Selmi

Ph.D. student since 10/2024

Avatar

Tristan Gouaichault

Ph.D. student since 03/2025

Avatar

Van Eli Ndili

Ph.D. student

M.Sc. Students

Avatar

Chaymae Bouazza

M.Sc. student since 03/2026

Former Ph.D. Students

Avatar

Alexandr Naumchev

2019 - Associate Professor at Innopolis University

Avatar

Anas Motii

2017 - Consultant IAM chez Sogeti

Avatar

Florian Galinier

2021 - Spilen CEO

Avatar

Hamna Aslam

2022 - Lecturer

Avatar

Jacob Geisel

2015 - Software Engineer and in Charge of Academic Relations at Obeo

Avatar

Mamadou Lakhassane Cissé

2021 - Engineer at Open Function

Avatar

Mariya Naumcheva

2025 - Researcher

Avatar

Maroun Koussaifi

2020 - Consultant at Antipolis

Avatar

Mohammad Chami

2021 - Consultant

Avatar

Renan Leroux-Beaudout

2020 - Ingénieur chez ALTRAN

Avatar

Ronan Baduel

2019 - Consultant ALTEN

Avatar

Saloua Bennani

2021 - Software Engineer

Conference Publications

(and workshops)

(2022). Modelling and Verification of Natural Language Requirements based on States and Modes. 30th International Requirements Engineering Conference Workshops (REW 2022).

Cite DOI URL

(2022). RQCODE - Towards Object-Oriented Requirements in the Software Security Domain. 15th IEEE International Conference on Software Testing, Verification and Validation Workshops ICST Workshops 2022, Valencia, Spain, April 4-13, 2022.

PDF Cite DOI

(2021). Examining Requirements Documentation through the Focused Conversation Method. Information Systems Development: Crossing Boundaries between Development and Operations (DevOps) in Information Systems (ISD2021 Proceedings), Valencia, Spain, September 8-10, 2021.

PDF Cite

(2020). Using Comp-O to Build and Describe Component-Based Services. Demos and Industry Tracks: From Novel Ideas to Industrial Practice (ISWC-Posters 2020 ) co-located with 19th International Semantic Web Conference.

PDF Cite

Projects

*
EDT
EDT

Engineering Digital Twins

Contact