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

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

Bernard Coulette

Emeritus Professor

Avatar

Bertrand Meyer

Professor of Software Engineering

Avatar

Yinling Liu

PostDoc since 10/2020

Ph.D. Students

Avatar

Florian Galinier

Ph.D. student since 09/2016

Avatar

Hamna Aslam

Ph.D. student since 10/2019

Avatar

Mohammad Chami

Consultant & Ph.D. student since 01/2015

Former Ph.D. Students

Avatar

Alexandr Naumchev

2019 - Associate Professor at Innopolis University

Avatar

Anas Motii

2017 - Consultant IAM chez Sogeti

Avatar

Jacob Geisel

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

Avatar

Mamadou Lakhassane Cissé

2021 - Engineer at Open Function

Avatar

Maroun Koussaifi

18/12/2020 - Consultant at Antipolis

Avatar

Renan Leroux-Beaudout

2020 - Ingénieur chez ALTRAN

Avatar

Ronan Baduel

2019 - Consultant ALTEN

Journal Publications

You can also access the official list from the lab (up to date, but only related to it).

Conference Publications

(and workshops)

Projects

*
Formal Requirements

Formal Requirements

Collaboration initiated with the Innopolis University on the use of formal methods in Requirements Engineering

FUN Modeling

FUN Modeling

Placing the Final User Needs (FUN) at the center of the (modeling) concerns

MBSE & Early Validation

MBSE & Early Validation

An integrated model-based early validation approach for Railway Systems

GEMOC Initiative

GEMOC Initiative

GEMOC is an open and international initiative that aims to coordinate and disseminate the research results regarding the support of the coordinated use of various modeling languages that will lead to the concept of the globalization of modeling languages.

Moise

Moise

MOdels and Information Sharing for System Engineering in Extended Entreprise

Contact