Fatma Jebali

According to our database, Fatma Jebali authored at least 8 papers between 2014 and 2025.

Collaborative distances:

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

2025

Extending Instruction Set Simulators with ML-based Performance Models: Application to QEMU.

Fatma Jebali, Caaliph Andriamisaina

Proceedings of the 36th International Workshop on Rapid System Prototyping, 2025

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, Axel Sauer, Arnór Kristmundsson, Alexander Schober, Téo Bernier, Matti Käyrä, Ulf Schlichtmann, Rocco Jonack

Proceedings of the Design, Automation & Test in Europe Conference, 2025

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