Fatma Jebali

According to our database, Fatma Jebali authored at least 6 papers between 2014 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Decoupling processor and memory hierarchy simulators for efficient design space exploration.

Fatma Jebali, Oumaima Matoussi, Arief Wicaksana, Amir Charif, Lilia Zaourar

Proceedings of the DroneSE and RAPIDO '22: System Engineering for constrained embedded systems, Budapest Hungary, January 17, 2022

2021

Multilevel simulation-based co-design of next generation HPC microprocessors.

Lilia Zaourar, Mohamed Benazouz, Ayoub Mouhagir, Fatma Jebali, Tanguy Sassolas, Jean-Christophe Weill, Carlos Falquez, Nam Ho, Dirk Pleiter, Antoni Portero, Estela Suarez, Polydoros Petrakis, Vassilis Papaefstathiou, Manolis Marazakis, Milan Radulovic, Francesc Martínez, Adrià Armejach, Marc Casas, Alejandro Nocua, Romain Dolbeau

Proceedings of the 2021 International Workshop on Performance Modeling, 2021

2018

Ensuring Consistency between Cycle-Accurate and Instruction Set Simulators.

Fatma Jebali, Dumitru Potop-Butucaru

Proceedings of the 18th International Conference on Application of Concurrency to System Design, 2018

2016

Formal Framework for Modelling and Verifying Globally Asynchronous Locally Synchronous Systems. (Un environnement formel pour modéliser et vérifier les systèmes globalement asynchrones et localement synchrones).

Fatma Jebali

PhD thesis, 2016

Formal modelling and verification of GALS systems using GRL and CADP.

Fatma Jebali, Frédéric Lang, Radu Mateescu

Formal Aspects Comput., 2016

2014

GRL: A Specification Language for Globally Asynchronous Locally Synchronous Systems.

Fatma Jebali, Frédéric Lang, Radu Mateescu

Proceedings of the Formal Methods and Software Engineering, 2014