Predictable Binary Code Cache: A First Step towards Reconciling Predictability and Just-in-Time Compilation. - Adnan Bouakaz; Isabelle Puaut; Erven Rohou (IEEE Real-Time and Embedded Technology and Applications Symposium, 2011)

Affine Data-Flow Graphs for the Synthesis of Hard Real-Time Applications. - Adnan Bouakaz; Jean-Pierre Talpin; Jan Vitek (ACSD, 2012)

Buffer minimization in earliest-deadline first scheduling of dataflow graphs. - Adnan Bouakaz; Jean-Pierre Talpin (LCTES, 2013)

Design of safety-critical Java level 1 applications using affine abstract clocks. - Adnan Bouakaz; Jean-Pierre Talpin (M-SCOPES, 2013)

Real-time scheduling of dataflow graphs. (Ordonnancement temps-réel des graphes flots de données). - Adnan Bouakaz (2013)

An abstraction-refinement framework for priority-driven scheduling of static dataflow graphs. - Adnan Bouakaz; Thierry Gautier (MEMOCODE, 2014)

Earliest-deadline first scheduling of multiple independent dataflow graphs. - Adnan Bouakaz; Thierry Gautier; Jean-Pierre Talpin (SiPS, 2014)

Timed behavioural modelling and affine scheduling of embedded software architectures in the AADL using Polychrony. - Loïc Besnard; Adnan Bouakaz; Thierry Gautier; Paul Le Guernic; Yue Ma 004; Jean-Pierre Talpin; Huafeng Yu (Sci. Comput. Program., 2015)

Symbolic Buffer Sizing for Throughput-Optimal Scheduling of Dataflow Graphs. - Adnan Bouakaz; Pascal Fradet; Alain Girault (RTAS, 2016)

ADFG: a scheduling synthesis tool for dataflow graphs in real-time systems. - Alexandre Honorat; Hai Nam Tran; Loïc Besnard; Thierry Gautier; Jean-Pierre Talpin; Adnan Bouakaz (RTNS, 2017)

A Survey of Parametric Dataflow Models of Computation. - Adnan Bouakaz; Pascal Fradet; Alain Girault (ACM Trans. Design Autom. Electr. Syst., 2017)

Symbolic Analyses of Dataflow Graphs. - Adnan Bouakaz; Pascal Fradet; Alain Girault (ACM Trans. Design Autom. Electr. Syst., 2017)