Fatma Jebali (Ing.)
Inria Grenoble Rhône-Alpes
655, avenue de l'Europe - CS 90051
38334 Montbonnot cedex
FRANCE
Email: Fatma [dot] Jebali [at] inria [dot] fr
Research Topics
Concurrent Systems, Formal Description Techniques, Model-based Verification
Educational Background
2006: Baccalauréat Mathématiques, Lycée Secondaire de Haouaria, Tunisie
2006-2008: Mathématiques supérieures et spéciales, Institut Préparatoire aux Etudes Scientifiques et Techniques (IPEST), Tunisie
2008-2011: Engineering degree, from Ecole Nationale Supérieure d'Électronique, Informatique et Télécommunications de Bordeaux (ENSEIRB)
2011: Research master's degree in embedded systems, from Université de Bordeaux
Current position
I am preparing a PhD in the CONVECS project-team (Inria and LIG) under the supervision of Frédéric Lang and Radu Mateescu.
My thesis proposes a formal framework for modelling and verifying GALS (Globally Asynchronous, Locally Synchronous) systems.
Publications
-
Formal Modelling and Verification of GALS Systems Using GRL and CADP
Fatma Jebali, Frédéric Lang, and Radu Mateescu.
Journal of Formal Aspects of Computing (FAoC), Springer Verlag, 2016.
-
GRL: A Specification Language for Globally Asynchronous Locally Synchronous Systems
Fatma Jebali, Frédéric Lang, and Radu Mateescu.
Proceedings of the 16th International Conference on Formal Engineering Methods (ICFEM), Nov 2014, Luxembourg. Springer, 8829, LNCS.
-
GRL: A Specification Language for Globally Asynchronous Locally Synchronous Systems (Syntax and Formal Semantics)
Fatma Jebali, Frédéric Lang, and Radu Mateescu.
RR-8527, INRIA. 2014.
Talks