Fatma Jebali

Publication Activity (10 Years)

Years Active: 2014-2022
Publications (10 Years): 4

Top Topics

Design Space Exploration

Instruction Set

Memory Hierarchy

Level Parallelism

Top Venues

Formal Aspects Comput.

DroneSE/RAPIDO@HiPEAC

Grenoble Alpes University, France (PHD)

Education History

Grenoble Alpes University, France

PHD

Publications

Fatma Jebali, Oumaima Matoussi, Arief Wicaksana, Amir Charif, Lilia Zaourar
Decoupling processor and memory hierarchy simulators for efficient design space exploration. DroneSE/RAPIDO@HiPEAC (2022)
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
Multilevel simulation-based co-design of next generation HPC microprocessors. PMBS (2021)
Fatma Jebali, Dumitru Potop-Butucaru
Ensuring Consistency between Cycle-Accurate and Instruction Set Simulators. ACSD (2018)
Fatma Jebali, Frédéric Lang, Radu Mateescu
Formal modelling and verification of GALS systems using GRL and CADP. Formal Aspects Comput. 28 (5) (2016)
Fatma Jebali, Frédéric Lang, Radu Mateescu
GRL: A Specification Language for Globally Asynchronous Locally Synchronous Systems. ICFEM (2014)