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

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

Teaching Activities

Master of Science in Information Technology – Software Engineering , Apr 20, 2017

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

Students

Supervision

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.

Fun

I am very proud of being an “ironman finisher” at Roth 2007 (3.8/180/42) in 11h57’:

[Swim 3.8km in 1:08]

[Bike 180km in 5:32]

[Run 42km in 5:08]

I have recently completed the UTMB OCC race (55km/3600mD+) in 11h13’:

[55km/3600mD+ in 11h13']

Here are some stuff I’d like to share:

Contact