Stéphanie Challita

"Everything you can imagine is real." -- Pablo Picasso

I am Associate Professor of Software Engineering at University of Rennes 1. I teach at the engineering school ESIR and I am a member of DiverSE research team, which is joint to CNRS, Inria Rennes - Bretagne Atlantique and Irisa. Until September 2020, I was a Postdoctoral Researcher at I3S laboratory & Inria Sophia Antipolis – Méditerranée in France, within the Kairos research team. I was also a lecturer at University Côte d’Azur. I obtained a PhD degree in Computer Science from University of Lille in 2018. I prepared my thesis at Inria Lille – Nord Europe within the Spirals research team. In 2015, I received a Research Master’s degree in Computer Science from University of Burgundy – IEM Department in Dijon, France, and a Degree of Systems and Networks Engineering from Antonine University, Faculty of Engineering in Lebanon.


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,
  • Cloud Computing,
  • and Internet of Things.

Thesis supervision
Internship supervision
  • 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


2020 - Present
I teach many courses related to software engineering at ESIR (Ecole Supérieure d'Ingénieurs de Rennes) attached to University of Rennes 1.

During my postdoc, I was responsible of teaching a course (28 hours) related to systems and networks administration at the IUT, attached to University of Côte d'Azur.

2016 - 2018
While preparing my PhD, I had the opportunity to teach at the FIL (Formations en Informatique de Lille) department of the University of Lille for two years.
I taught 156 hours and I was involved in the following courses:


All my publications are available on Google Scholar. You can also access all the preprints from HAL.

PhD Thesis:

  • Stéphanie Challita.
    "Inferring Models from Cloud APIs and Reasoning over Them: A Tooled and Formal Approach."
    Defended on December 21, 2018 in Lille, France. (see the slides here)

International Journals:

  • Faiez Zalila, Stéphanie Challita, Philippe Merle.
    "Model-Driven Cloud Resource Management with OCCIware."
    Future Generation Computer Systems (FGCS), 2019.

International Conferences:

  • Stéphanie Challita, Robert De Simone.
    "Sock: A Clock-based Modeling Language for Specifying Periodic Task Systems with Security and Safety Insights."
    Submitted to 13th ACM SIGPLAN International Conference on Software Language Engineering (SLE). Online conference, 2020.
  • Stéphanie Challita, Faiez Zalila, Philippe Merle.
    "Specifying Semantic Interoperability between Heterogeneous Cloud Resources with the fclouds Formal Language."
    11th IEEE International Conference on Cloud Computing (CLOUD). San Francisco, California, USA, 2018.
  • Fabian Korte, Stéphanie Challita, Faiez Zalila, Philippe Merle, Jens Grabowski.
    "Model-Driven Configuration Management of Cloud Applications with OCCI."
    8th International Conference on Cloud Computing and Services Science (CLOSER). Funchal, Madeira, Portugal, 2018.
  • Faiez Zalila, Stéphanie Challita, Philippe Merle.
    "A Model-Driven Tool Chain for OCCI."
    25th International Conference on Cooperative Information Systems (CoopIS). Rhodes, Greece, 2017.
  • Stéphanie Challita, Fawaz Paraiso, Philippe Merle.
    "Towards Formal-based Semantic Interoperability in Multi-Clouds: The fclouds Framework."
    10th IEEE International Conference on Cloud Computing (CLOUD). Honolulu, Hawaii, USA, 2017.
  • Stéphanie Challita, Fawaz Paraiso, Philippe Merle.
    "A Study of Virtual Machine Placement Optimization in Data Centers."
    7th International Conference on Cloud Computing and Services Science (CLOSER). Porto, Portugal, 2017.
  • Fawaz Paraiso, Stéphanie Challita, Yahya Al-dhuraibi, Philippe Merle.
    "Model-Driven Management of Docker Containers."
    9th IEEE International Conference on Cloud Computing (CLOUD). San Francisco, California, USA, 2016.


Activities @IEEE Computer Society
Member of IEEE Conference Activities Committee (CAC)
Conferences Organizing Committees
Conferences & Workshops Program Committees
External Reviewing Services
Collaborative projects


I am proud and honored to be selected as an ambassador of the French fellowship L’ORÉAL-UNESCO FOR WOMEN IN SCIENCE 2018.
Among 900 applications, 20 female PhD candidates and 10 female postdocs were granted this award.


  • Inria Rennes - Bretagne Atlantique, DiverSE Team – Office E 205
    Campus de Beaulieu, 263 Avenue Général Leclerc, 35042 Rennes, France.