GRL: A Specification Language for Globally Asynchronous Locally Synchronous Systems. - Fatma Jebali; Frédéric Lang; Radu Mateescu 001 (ICFEM, 2014)

Formal modelling and verification of GALS systems using GRL and CADP. - Fatma Jebali; Frédéric Lang; Radu Mateescu 001 (Formal Aspects Comput., 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 (2016)

Ensuring Consistency between Cycle-Accurate and Instruction Set Simulators. - Fatma Jebali; Dumitru Potop-Butucaru (ACSD, 2018)

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; et al. (PMBS, 2021)

Decoupling processor and memory hierarchy simulators for efficient design space exploration. - Fatma Jebali; Oumaima Matoussi; Arief Wicaksana; Amir Charif; Lilia Zaourar (DroneSE/RAPIDO@HiPEAC, 2022)

Multi-Partner Project: Advancing the EDA Tools Landscape for the European RISC-V Ecosystem in TRISTAN. - Fatma Jebali; Caaliph Andriamisaina; Mathieu Jan; Wolfgang Ecker; Florian Egert; Bernhard Fischer; Alessio Burrello; Daniele Jahier Pagliari; Sara Vinco; Giuseppe Tagliavini; Ingo Feldner; Andreas Mauderer; et al. (DATE, 2025)