Liste des publications

2013

[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/)