|
 
|
Liste des publications
2014
- [HMB14] N. Harrath, B. Monsuez, K. Barkaoui. "A Framework for Verification of SystemC Designs Using SystemCWaiting State Automata", In Advances in Intelligent Systems and Computing, Springer Verlag, vol. 263 , pp. 77-104, 2014, (doi:10.1007/978-3-319-04717-1)
-
[Har14]
N. Harrath.
"A Stepwise Compositional Approach to Model and Analyze SystemC Designs at teh Transactional Level and the Delta Cycle Level",
Soutenue le: 04 November 2014,
pp. 183,
-
[Har14a]
N. Harrath.
"A Stepwise Compositional Approach to Model and Analyze SystemC Designs at the Transactional Level and the Delta Cycle Level",
Soutenue le: 04 November 2014,
pp. 248,
Revue Internationale avec comité de lecture
Mémoire de Thèse
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,
Conférence Internationale avec comité de lecture
2011
- [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,
Conférence Internationale avec comité de lecture
2009
- [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/)
