Monter d'un niveau |
Barkaoui, K., Boucheneb, H., Mili, A., & Tahar, S. (août 2017). Verification and evaluation of computer and communication systems [Communication écrite]. 11th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2017), Montréal, Québec. Lien externe
Boucheneb, H., Lime, D., Parquier, B., Roux, O. H., & Seidner, C. (septembre 2017). Optimal reachability in cost time Petri nets [Communication écrite]. 15th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2017), Berlin, Germany. Lien externe
Ould-Yahia, Y., Banerjee, S., Bouzefrane, S., & Boucheneb, H. (2017). Exploring formal strategy framework for the security in iot towards e-health context using computational intelligence. Dans Internet of Things and Big Data Technologies for Next Generation Healthcare (Vol. 23, p. 63-90). Lien externe
Yassin, M., Ould-Slimane, H., Talhi, C., & Boucheneb, H. (juin 2017). SQLIIDaaS: A SQL injection intrusion detection framework as a service for SAAS providers [Communication écrite]. 4th IEEE International Conference on Cyber Security and Cloud Computing (CSCloud 2017), New York, New York. Lien externe