2015

Conférence Internationale avec comité de lecture

• [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,
• [MBL15a] A. Methni, K. Barkaoui, M. Lemerre, S. Haddad, B. Ben Hedia. " State Space Reduction Strategies for Model Checking Concurrent C Programs", 9th Workshop on Verification and Evaluation of Computer and Communication Systems(VECoS'15), September 2015, Vol. 1431, pp.65-76, Series CEUR Workshop Proceedings, Bucharest, Romania,
• [MBL15] A. Methni, K. Barkaoui, M. Lemerre, S. Haddad, B. Ben Hedia. "Specifying and Verifying Concurrent C Programs with TLA+", Formal Techniques for Safety-Critical Systems, April 2015, Vol. 476, pp.206-222, Series Communications in Computer and Information Science, Luxembourg, (DOI: 10.1007/978-3-319-17581-2_14)