ReDCAD laboratory   |  ENIS   |  University of Sfax ReDCAD
Research Laboratory on Development and Control of Distributed Applications

Current Position

PhD student, National School of Engineering of Sfax-Tunisia


Engineer degree in Computer Science from the National School of Engineering of Sfax-Tunisia, in 2013.


National School of Engineering of Sfax (ENIS)
Department of the Computer Science and Applied Mathematics (DGIMA)
Route de Soukra Km 4, PB 1173, Sfax-Tunisie
Email : mkaouar.hana@gmail.com

Research activities

Research Topics
My current research focuses on formal validation and verification for Distributed Real Time systems.


International Conference Papers
Hana Mkaouar, Bechir Zalila, Jérôme Hugues, Mohamed Jmaiel:
From AADL Model to LNT Specification. Ada-Europe 2015: 146-161.[DOI]