Publications de Djemai KEBBAL
An automatic parametric approach for WCET analysis of C programs (regular paper)
Dans : European Conference on Embedded Real Time Software and Systems (ERTS 2010), Toulouse, 19/05/10-21/05/10, SIA/3AF/SEE, (support électronique), mai 2010.
Accès : http://www.irit.fr/publis/TRACES/11375_ERTS2010_0079_final.pdf
BibTeXUne approche pour l’analyse du pire cas du temps d’exécution des programmes temps-réels
Dans : Colloque National de la Recherche Universitaire dans les IUT (CNR-IUT 2006), Brest, 01/06/06-02/06/06, IUT de Brest, (en ligne), juin 2006.
Résumé Accès : http://www.irit.fr/publis/TRACES/EB1_01_KebbalDjemaioral.pdf
BibTeXCombining Symbolic Execution and Path Enumeration in Worst-Case Execution Time Analysis
Dans : International Workshop on Worst-Case Execution Time Analysis (WCET 2006), Dresden, 04/07/06, Dagstuhl Research Online Publication Server, (en ligne), juillet 2006.
Résumé Accès : http://drops.dagstuhl.de/opus/volltexte/2006/675/pdf/WCET_Kebbal.675.pdf
BibTeXAutomatic flow analysis using symbolic execution and path enumeration
Dans : International Workshop on Embedded Computing (IWEC 2006), Columbus, Ohio, USA, 14/08/06, IEEE : Institute of Electrical and Electronics Engineers, p. 397-404, août 2006.
Accès : http://www.irit.fr/publis/TRACES/6678_IWEC.pdf
BibTeXDjemai Kebbal, El-Ghazali Talbi, Jean-Marc Geib
Multi-application Scheduling in Networks of Workstations and Clusters of Processors
Dans : NATO Advanced Research Workshop, IWCC, Mangalia, Romania, 01/09/02-06/09/02, Springer-Verlag, p. 145-155, septembre 2002.
Résumé Accès : http://www.springerlink.com/(x5snfd3tszdktj45xkansdrh)/app/home/contribution.asp?referrer=parent&backto=issue – 14 – 32;journal – 1354 – 2236;linkingpublicationresults
BibTeX