Research

Overall, my research project aims to facilitate and improve software development. For this, I am interested in the development of Domain-Specific Modeling Languages which have shown their effectiveness in the world of software development, thanks to a set of features such as abstraction, verification, code generation and many others. More specifically, my research aims to provide languages and tools to model, verify and ease software development of heterogeneous distributed systems like Cloud Computing.

My research interests include:

• Model-Driven Engineering
• Software Language Engineering
• Reverse-Engineering
• Model Verification & Validation
• REST APIs
• and Cloud Computing

Thesis supervision:

• Anne Bumiller, October 2020 - November 2023, “Contextual modeling of adaptive authentication systems”, co-supervision: Benoit Combemale, Olivier Barais

Internships supervision

• Yazid Benjamaa, June 12 - September 15, 2023, “A DSL for specifying DevSecOps tools”
• Mouna Hissane, May 01 - August 31, 2021, “A model-driven approach for analyzing security of Cloud APIs”, co-supervision: Nan Messe, Olivier Barais
• Léo Rolland, June 07 - August 27, 2021, “A technical dive into software cloudification”, co-supervision: Benoit Combemale, Olivier Barais

I have open positions and I am always looking for competent and motivated students to join us in DiverSE. Contact me on stephanie{dot}challita{at}inria{dot}fr.