Liste des publications

2018

[OBA18] A. Outamazirt, K. Barkaoui, D. Aissani. "Performance analysis of the M/G/c/c + r queuing system for cloud computing data centres", International Journal of Critical Computer-Based Systems, vol. 8(3-4), pp. 234-257, 2018, (doi:10.1504/IJCCBS.2018.096441)

[DJG15a] P. Durand, L. Jaupi, D. Ghorbanzadeh. "Energy Threshold Detection in Neutronic Signal by Automatic Classification and Linear Programming", World Congress on Engineering 2015, July 2015, Vol. I, pp.86-89, Series ISBN: 978-988-19253-4-3, London, UK,

[HMB13] N. Harrath, B. Monsuez, K. Barkaoui. "Verifying SystemC with Predicate Abstraction: a Component Based Approach", On the 14th International Conference on Information Reuse and Integration (IEEE IRI), August 2013, San Francisco, USA,

[HM 11] N. Harrath, B. Monsuez, V. Paun. "A WCET Estimation Workflow Based on the TWSA Model of SystemC Designs", On the 32nd IEEE Real-Time Systems Symposium (RTSS), November 2011, pp. - ,
[HMD11] N. Harrath, B. Monsuez, J. Delacroix. "Building SystemC Waiting State Automata", On the Fifth International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS), September 2011, pp.108-119 , Tunis, Tunisia,
[DMH11] J. Delacroix, B. Monsuez, N. Harrath. "Building SystemC waiting state automata ", Fifth International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2011), July 2011, pp.54-66,

[HM09a] N. Harrath, B. Monsuez. "Timed SystemC Waiting State Automata", On the Third International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS), July 2009, pp.60-72, Rabat, Morroco, (DOI: http://hal.archives-ouvertes.fr/hal-00672908/)
[HM09] N. Harrath, B. Monsuez. "Timed SystemC Waiting State Automata", On the Third International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS), July 2009, pp.60-72, Rabat, Morroco, (DOI: http://hal.archives-ouvertes.fr/hal-00672908/)