Liste des publications

2017

[AMK17] F. Adaili, O. Mosbahi, M. Khalgui, S. Bouzefrane. "Towards a Secure RA2DL Based Approach", Titre du livre: "Evaluation of Novel Approaches to Software Engineering", February 2017, Springer International Publishing, pp. 89-110, (doi: 10.1007/978-3-319-56390-9_5)

[CBB16a] T. Cherfia, F. Belala, K. Barkaoui. "A bigraph-based framework for specification and analysis of context-aware systems Multiple Input Multiple Output Link", Int. J. of Critical Computer-Based Systems (IJCCBS), vol. 6(4), pp. 322 - 342, 2016
[DBS16] A. Dib, K. Barkaoui, Z. Sahnoun. "Specification and verification of reconfigurable multi-agent system architectures", Multiagent and Grid Systems, vol. 12(2), pp. 105-124, 2016

[TKL16] N. Treves, M. Khalgui, W. Lakhdhar, R. Mzid. "MILP-based Approach for Optimal Implementation of Reconfigurable Real-time Systems", ICSOFT-EA 2016, July 2016, pp.330-335, Portugal,
[AMK16] F. Adaili, O. Mosbahi, M. Khalgui, S. Bouzefrane. "RA2DL-Pool: New Useful Solution to Handle Security of Reconfigurable Embedded Systems", The 11th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2016), April 2016, pp.102-111, Rome, Italia, (DOI: 10.5220/0005874301020111)

[AMK15] F. Adaili, O. Mosbahi, M. Khalgui, S. Bouzefrane. "RA2DL: New Flexible Solution for Adaptive AADL-based Control Components", 5th international conference on Pervasive and embedded computing and communication systems, February 2015, pp.247-258, Â ESEO, Angers, Loire Valley, France, (DOI: 10.5220/0005241202470258)

[AMKa15] F. Adaili, O. Mosbahi, M. Khalgui, S. Bouzefrane. "RA2DL: New Reconfigurable AADL Component", JournÃ©es Doctorales de lâ€™Ecole Polytechnique de Tunisie (JDEPT' 15), April 2015, pp.to appear, La Marsa, Tunisia,

[KZB14] A. Kheldoun, J. Zhang, K. Barkaoui, M. Ioulalen. "A High-Level Nets based Approach for Reconfigurations of Distributed Control Systems ", 1st International Workshop on Petri Nets for Adaptive Discrete-Event Control Systems ADECS 2014, June 2014, Vol. 1161, pp.36-51, Series CEUR Workshop Proceedings,

[BBBb11] K. Barkaoui, C. Bouanaka, F. Belala. "A tile logic-based semantics for mobile software architectures", International Journal of Critical Computer-Based Systems (IJCCBS) Inderscience Publishers, vol. 2(3/4), pp. 288-308, 2011