ma photo
Amal GASSARA
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

Education

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.

Address

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 : amal.gassara@gmail.com

Research activities

Research Topics
My current research focuses on formalizing and multi-scale modeling of deployment based on bigraphs

Master's thesis
Verification of non-functional properties for real time embedded system dynamically reconfigurable

Publications

International Conferences Papers
[1] 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]
[2] 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]
[3] 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]
[4] 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]

Educational activities

Teaching assistant
The Higher Institute of Electronics and Communication
University of Sfax-Tunisia