Bruno Monsuez

Doctorant(e)

Publications

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

[HM13a] N. Harrath, B. Monsuez. " Compositional Reactive Semantics of System-Level Designs Written in SystemC and Formal Verification with Predicate Abstraction", the International Journal of Critical Computer-Based Systems, Inderscience Publishers, 2013
[HM13] N. Harrath, B. Monsuez. "Compositional Reactive Semantics of System-Level Designs Written in SystemC and Formal Verification with Predicate Abstraction", Accepted in the International Journal of Critical Computer-Based Systems, Inderscience Publishers, 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,
[HMBa13] 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,

[HM12a] N. Harrath, B. Monsuez. "SystemC Waiting State Automata", International Journal of Critical Computer-Based Systems,, vol. 3, pp. 60-95, 2012
[HM12] N. Harrath, B. Monsuez. "SystemC Waiting State Automata", International Journal of Critical Computer-Based Systems, vol. 3(1â€“2/2012), pp. 60-95, 2012, (doi:10.1504/IJCCBS.2012.045077)

[BMP11] K. Barkaoui, B. Monsuez, D. Poitrenaud. "Special Issue on Verification and Evaluation of Computer and Communication Systems - Part I", International Journal of Critical Computer-Based Systems (IJCCBS) Inderscience Publishers, vol. 2(3/4, 2011), pp. 414, 2011, (doi:1757-8779)

[HM11] N. Harrath, B. Monsuez. " A WCET Estimation Workflow Based on the TWSA Model of SystemC Designs", On the 32nd IEEE Real-Time Systems Symposium (RTSS), November 2011, Wien, Austria,
[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,

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