PhD student, National School of Engineering of Sfax-Tunisia
M.S. degree in Computer Science from the National School of Engineers of Sfax-Tunisia, in 2011.
Engineer degree in Computer Science from the National School of Engineering of Sfax-Tunisia, in 2010.
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 : email@example.com
My current research focuses on formalizing and multi-scale modeling of deployment based on bigraphs
Verification of non-functional properties for real time embedded system dynamically reconfigurable
|International Conferences Papers|
|||Amal Gassara, Ismael Bouassida Rodriguez, and Mohamed Jmaiel. A multi-scale modeling approach for software architecture deployment. In Proceedings of the 30th Annual ACM Symposium on Applied Computing (SAC 2015), Salamanca, Spain, 2015. [BibTex, DOI]|
|||Amal Gassara, Ismael Bouassida Rodriguez, and Mohamed Jmaiel. Towards a multi-scale modeling for architectural deployment based on bigraphs. In Proceedings of the 7th European Conference on Software Architecture (ECSA 2013), Montpellier, France, 2013. [BibTex, DOI]|
|||Fatma Krichen, Amal Gassara, Bechir Zalila, Brahim Hamid, and Mohamed Jmaiel. Modélisation et vérification des systèmes embarqués temps réel reconfigurables. In 6ème Conférence Internationale Francophone sur les Architectures Logicielles (CAL 2012), Montpellier, France, 2012. [BibTex]|
|||Fatma Krichen, Amal Gassara, Bechir Zalila, and Mohamed Jmaiel. A Model-Based Verification framework of Reconfigurable Real-time Embedded Systems. In the 17 th IEEE Symposium on Computers and Communication (ISCC'12), Cappadocia, Turkey, pages 750-752, July 2012.IEEE. [BibTex, DOI]|
The Higher Institute of Electronics and Communication
University of Sfax-Tunisia