Volgen
amal gassara
amal gassara
ReDCAD, University of Sfax, B.P. 1173, 3038 Sfax, Tunisia
Geverifieerd e-mailadres voor redcad.org
Titel
Geciteerd door
Geciteerd door
Jaar
A bigraphical multi-scale modeling methodology for system of systems
A Gassara, IB Rodriguez, M Jmaiel, K Drira
Computers & Electrical Engineering 58, 113-125, 2017
182017
Towards a multi-scale modeling for architectural deployment based on bigraphs
A Gassara, I Bouassida Rodriguez, M Jmaiel
Software Architecture: 7th European Conference, ECSA 2013, Montpellier …, 2013
162013
A tool for modeling sos architectures using bigraphs
A Gassara, I Bouassida, M Jmaiel
Proceedings of the Symposium on Applied Computing, 1787-1792, 2017
132017
Executing bigraphical reactive systems
A Gassara, IB Rodriguez, M Jmaiel, K Drira
Discrete Applied Mathematics 253, 73-92, 2019
122019
Describing correct UAVs cooperation architectures applied on an anti-terrorism scenario
A Gassara, IB Rodriguez
Journal of Information Security and Applications 58, 102775, 2021
62021
A Generic blockchain-based exchange place
S Bradai, A Gassara, AB Ali, P Genestier, M Giordani
2020 2nd Conference on Blockchain Research & Applications for Innovative …, 2020
32020
Encoding bigraphical reactive systems into graph transformation systems
A Gassara, IB Rodriguez, M Jmaiel, K Drira
Electronic Notes in Discrete Mathematics 55, 207-210, 2016
32016
A formal method for modeling deployment architectures based on bigraphs
A Gassara, IB Rodriguez, M Jmaiel, K Drira
ACM SIGAPP Applied Computing Review 15 (2), 8-16, 2015
32015
A multi-scale modeling approach for software architecture deployment
A Gassara, IB Rodriguez, M Jmaiel
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 1405-1410, 2015
32015
Describing correct deployment architectures based on a bigraphical multi-scale modeling approach
A Gassara, IB Rodriguez
Computers & Electrical Engineering 63, 277-288, 2017
22017
A Bigraphical Modeling Methodology for Multi-scale Reconfigurable Systems
A Gassara, IB Rodriguez
2016 IEEE 25th International Conference on Enabling Technologies …, 2016
12016
Towards a verification approach for reconfigurable embedded systems
F Krichen, A Gassara, B Zalila, M Jmaiel
2012 IEEE Symposium on Computers and Communications (ISCC), 000750-000752, 2012
12012
A Graph Based Model for UAVs Group-Wide Collaboration Applied on an Anti-terrorism Scenario
A Gassara, I Bouassida Rodriguez
Risks and Security of Internet and Systems: 14th International Conference …, 2020
2020
Program Committee for SESoS 2018
M Aksit, T Batista, M Becker, I Borne, IB Rodriguez, F Delicato, C Eichler, ...
MEMOIRE
A GASSARA
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–15