Imene Ben Hafaiedh

Assistant professor at the Higher Institute of Computer Science (ISI), University of Tunis El Manar (UTM)

I am currently an Assistant Professor in the Computer Science Department at the Higher Institute of Computer Science (ISI), The University of Tunis El Manar (UTM). Previously, I was a post-doctoral researcher at Verimag laboratory (DCS team) working on Component-based verification of distributed systems.

I obtained my Ph.D (Feb. 2011) in Computer Science from Grenoble University realized under the supervision of Professor Susanne Graf.

Topic: Component-based Systems: from Design to Implementation.

Home: Bienvenue

Research Topics:

Component-based design,
Distributed systems,
Formal verification,
Scheduling Protocols in different environments: Cloud, IoT and Cyber-physical systems.
Formal Models for the Verification of Real-time Scheduling (Using BIP and SBIP Tools)
Parameterized Formal Models for the Analysis of Load-Balancing Protocols in Cloud Environment.

Home: À propos

Home: Services

Home: Inventaire

Institut Supérieur d'Informatique, 2 Rue Abou Raihane Bayrouni 2080 l’Ariana, Tunisie

Home: Contact