Liste des publications

2015

[MLH15] A. Methni, M. Lemerre, S. Haddad, K. Barkaoui, B. Ben Hedia. "Verifying and Constructing Abstract TLA Specifications: Application to the Verification of C programs", The Tenth International Conference on Software Engineering Advances - ICSEA 2015 : , November 2015, pp.56-61, Barcelone, Spain,

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