Our Team

Jean-Michel Bruel

Jean-Michel Bruel

Professor, Head of the team

IUT Blagnac, Toulouse
Pierre-Jean Charrel

Pierre-Jean Charrel

Professor

UT2J, Toulouse
Benoît Combemale

Benoît Combemale

Professor

UT2J, Toulouse
Bernard Coulette

Bernard Coulette

Professor

UT2J, Toulouse
Sophie Ebersold

Sophie Ebersold

Associate Professor

UT2J, Toulouse
Ronan Baduel

Ronan Baduel

Ph.D. CIFRE, Bombardier Transportation

UT2J, Toulouse
Mohammad Chami

Mohammad Chami

Ph.D. Freelance

UPS, Toulouse
Mamadou Lakhassane Cissé

Mamadou Lakhassane Cissé

Ph.D. MAE Campus France Grant

UT2J, Toulouse
Fabien Coulon

Fabien Coulon

Ph.D. CIFRE, Obeo

UT2J, Toulouse
Florian Galinier

Florian Galinier

Ph.D. Grant

UPS, Toulouse
Manuel Leduc

Manuel Leduc

Pôle d’Excellence Cyber Grant

U. of Rennes
Dorian Leroy

Dorian Leroy

Ph.D. Austrian Tetrabox project

TU Wien, Austria
Anaël Megna

Anaël Megna

Ph.D. CIFRE Safran Tech

UT2J, Toulouse
Otmani Nassim Abdeldjallal

Otmani Nassim Abdeldjallal

Ph.D. Cotutelle: UMMTO, UT2J

UT2J, Toulouse
Bertrand Meyer

Bertrand Meyer

Professor

Politecnico di Milano / Innopolis University
Mahmoud El Hamlaoui

Mahmoud El Hamlaoui

Associate Professor

U. Med V Souissi ENSIAS/SIME Laboratory

Selected Publications

A number of formal methods exist for capturing stimulus-response requirements in a declarative form. Someone yet needs to translate the resulting declarative statements into imperative programs. The present article describes a method for specification and verification of stimulus-response requirements in the form of imperative program routines with conditionals and assertions. A program prover then checks a candidate program directly against the stated requirements. The article illustrates the approach by applying it to an ASM model of the Landing Gear System, a widely used realistic example proposed for evaluating specification and verification techniques.
In CoRR Journal, 2017.

Recent Publications

A number of formal methods exist for capturing stimulus-response requirements in a declarative form. Someone yet needs to translate the resulting declarative statements into imperative programs. The present article describes a method for specification and verification of stimulus-response requirements in the form of imperative program routines with conditionals and assertions. A program prover then checks a candidate program directly against the stated requirements. The article illustrates the approach by applying it to an ASM model of the Landing Gear System, a widely used realistic example proposed for evaluating specification and verification techniques.
In CoRR Journal, 2017.

In OSS4MDE, 2016.

Recent & Upcoming Talks

Présentation des possibilités de l'IDM pour le HPC
Séminaires d’intérêt général du CERFACS , Jan 19, 2018

GEMOC pour le MNSE/MBSA
Projet IRT MOISE , Nov 28, 2017

La modélisation pour les nuls
IRIT K’es Café , Nov 19, 2017

Presentation of the new SM@RT team at the Scientific board of IRIT
IRIT Internal talks , Oct 12, 2017

Recent Posts

Projects

Bombardier Transport

An integrated model-based early validation approach for Railway Systems

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

MOdels and Information Sharing for System Engineering in Extended Entreprise

Thesis

Ph.D. & M.Sc.

Mamadou Lakhassane Cissé "Collaborative processes behavioral modeling and enacting" , since Oct, 2016. Co-directed with U. of Dakar. MAE Campus France Grant.
Anaël Megna "xDSML Engineering - Metaprogramming and Concurrent Modeling Language Engineering" , since Dec, 2017. Project GLOSE, CIFRE grant with Safran.
Renan Leroux "Gestion de la propriété intellectuelle dans la définition et le déploiement d’une approche basée modèle pour l’IS" , since Oct, 2016. Co-directed with Ileana Ober and Marc Pantel. IRT Saint Exupery funding.
Maroun Koussaifi "Smart User-Centric Modeling using Opportunistic Artefact Compositions" , since Oct, 2017. Co-directed with Jean-Paul Arcangeli and Sylvie Trouilhet. Doctorial School Grant.
Fabien Coulon , since Dec, 2017. Project Kaulua, CIFRE grant with Obeo.
Alexandr Naumchev , since Oct, 2018. Co-directed with Betrand Meyer. Innopolis University employee.
Anas Motii "Ingénierie des architectures logicielles sécurisées : patrons, modèles et analyses" , Nov 10, 2017. Co-directed with Brahim Hamid and Agnès Lanusse. CEA LIST funding. Current position: Consultant IAM chez Sogeti.
Ronan Baduel "Méthode outillée d’intégration et de validation des modèles d’un système de train" , since Oct, 2016. Co-directed with Iulian Ober. Bombardier Transportation funding.
Jacob Geisel "Méthodologie de conception et de mise en oeuvre au niveau système de la S&D pour les RCES dynamiquement reconfigurables" , Oct 10, 2014. Co-directed with Brahim Hamid. Doctorial School Grant. Current position: Software Engineer and in Charge of Academic Relations at Obeo.
Florian Galinier "Seamless development of complex systems: a multirequirements approach" , since Oct, 2016. Co-directed with Bertrand Meyer and Sophie Ebersold. Doctorial School Grant.
Manuel Leduc , since Nov, 2016. Grant from the Pôle d’Excellence Cyber. Co-advisor: O. Barais.
Dorian Leroy , since Nov, 2016. Funded by the Austrian Tetrabox project. Co-supervision with Manuel Wimmer and Erwan Bousse at TU Wien.

Contact