Amal Gassara

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 11

Top Topics

Modeling Method

Reactive Systems

Information Exchange

Top Venues

Comput. Electr. Eng.

Publications

Salma Bradai, Amal Gassara, Khaled Taouil, Badii Louati
Blockchain-Based Exchange Place: Genericity vs Performance. CRiSIS (2023)
Amal Gassara, Ismael Bouassida Rodriguez
Describing correct UAVs cooperation architectures applied on an anti-terrorism scenario. J. Inf. Secur. Appl. 58 (2021)
Salma Bradai, Amal Gassara, Ahmed Ben Ali, Philippe Genestier, Michel Giordani
A Generic Blockchain-based Exchange Place. BRAINS (2020)
Amal Gassara, Ismael Bouassida Rodriguez
A Graph Based Model for UAVs Group-Wide Collaboration Applied on an Anti-terrorism Scenario. CRiSIS (2019)
Amal Gassara, Ismael Bouassida Rodriguez, Mohamed Jmaiel, Khalil Drira
Executing bigraphical reactive systems. Discret. Appl. Math. 253 (2019)
Amal Gassara, Ismael Bouassida Rodriguez
Describing correct deployment architectures based on a bigraphical multi-scale modeling approach. Comput. Electr. Eng. 63 (2017)
Amal Gassara, Ismael Bouassida Rodriguez, Mohamed Jmaiel
A tool for modeling SoS architectures using bigraphs. SAC (2017)
Amal Gassara, Ismael Bouassida Rodriguez, Mohamed Jmaiel, Khalil Drira
A bigraphical multi-scale modeling methodology for system of systems. Comput. Electr. Eng. 58 (2017)
Amal Gassara, Ismael Bouassida Rodriguez, Mohamed Jmaiel, Khalil Drira
Encoding Bigraphical Reactive Systems into Graph Transformation Systems. Electron. Notes Discret. Math. 55 (2016)
Amal Gassara, Ismael Bouassida Rodriguez
A Bigraphical Modeling Methodology for Multi-scale Reconfigurable Systems. WETICE (2016)
Amal Gassara, Ismael Bouassida Rodriguez, Mohamed Jmaiel
A multi-scale modeling approach for software architecture deployment. SAC (2015)
Amal Gassara, Ismael Bouassida Rodriguez, Mohamed Jmaiel
Towards a Multi-scale Modeling for Architectural Deployment Based on Bigraphs. ECSA (2013)
Fatma Krichen, Amal Gassara, Bechir Zalila, Mohamed Jmaiel
Towards a verification approach for reconfigurable embedded systems. ISCC (2012)