Adnan Bouakaz

According to our database, Adnan Bouakaz authored at least 12 papers between 2011 and 2017.

Collaborative distances:

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

2017

Symbolic Analyses of Dataflow Graphs.

Adnan Bouakaz, Pascal Fradet, Alain Girault

ACM Trans. Design Autom. Electr. Syst., 2017

A Survey of Parametric Dataflow Models of Computation.

Adnan Bouakaz, Pascal Fradet, Alain Girault

ACM Trans. Design Autom. Electr. Syst., 2017

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

Proceedings of the 25th International Conference on Real-Time Networks and Systems, 2017

2016

Symbolic Buffer Sizing for Throughput-Optimal Scheduling of Dataflow Graphs.

Adnan Bouakaz, Pascal Fradet, Alain Girault

Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016

2015

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, Jean-Pierre Talpin, Huafeng Yu

Sci. Comput. Program., 2015

2014

Earliest-deadline first scheduling of multiple independent dataflow graphs.

Adnan Bouakaz, Thierry Gautier, Jean-Pierre Talpin

Proceedings of the 2014 IEEE Workshop on Signal Processing Systems, 2014

An abstraction-refinement framework for priority-driven scheduling of static dataflow graphs.

Adnan Bouakaz, Thierry Gautier

Proceedings of the Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2014

2013

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

Adnan Bouakaz

PhD thesis, 2013

Design of safety-critical Java level 1 applications using affine abstract clocks.

Adnan Bouakaz, Jean-Pierre Talpin

Proceedings of the International Workshop on Software and Compilers for Embedded Systems, 2013

Buffer minimization in earliest-deadline first scheduling of dataflow graphs.

Adnan Bouakaz, Jean-Pierre Talpin

Proceedings of the SIGPLAN/SIGBED Conference on Languages, 2013

2012

Affine Data-Flow Graphs for the Synthesis of Hard Real-Time Applications.

Adnan Bouakaz, Jean-Pierre Talpin, Jan Vitek

Proceedings of the 12th International Conference on Application of Concurrency to System Design, 2012

2011

Predictable Binary Code Cache: A First Step towards Reconciling Predictability and Just-in-Time Compilation.

Adnan Bouakaz, Isabelle Puaut, Erven Rohou

Proceedings of the 17th IEEE Real-Time and Embedded Technology and Applications Symposium, 2011