Monter d'un niveau |
Barkaoui, K., & Boucheneb, H. (2018). Introduction to special issue on verification and evaluation of computer systems. Innovations in Systems and Software Engineering, 14(2), 81-82. Lien externe
Boucheneb, H., & Barkaoui, K. (2018). Delay-dependent partial order reduction technique for real time systems. Real-Time Systems, 54(2), 278-306. Lien externe
Hawedi, M., Talhi, C., & Boucheneb, H. (2018). Multi-tenant intrusion detection system for public cloud (MTIDS). Journal of Supercomputing, 74(10), 5199-5230. Lien externe
Barkaoui, K., & Boucheneb, H. (septembre 2018). On Persistency in Time Petri Nets [Communication écrite]. 16th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2018), Beijing, China. Lien externe
Barkaoui, K., Boucheneb, H., & Li, Z. (septembre 2018). Exploiting Local Persistency for Reduced State Space Generation [Communication écrite]. 12th International Conference on Verification and Evaluation of Computer and Communication Systems, Grenoble, France. Lien externe
Boucheneb, H., Lime, D., Roux, O. H., & Seidner, C. (juin 2018). Optimal-cost reachability analysis based on time petri nets [Communication écrite]. 18th International Conference on Application of Concurrency to System Design (ACSD 2018), Bratislava, Slovakia. Lien externe
Hawedi, M., Talhi, C., & Boucheneb, H. (mai 2018). Security as a service for public cloud tenants (SaaS) [Communication écrite]. 8th International Symposium on Frontiers in Ambient and Mobile Systems (FAMS 2018), Porto, Portugal. Publié dans Procedia Computer Science, 130. Disponible
Ould-Yahia, Y., Bouzefrane, S., & Boucheneb, H. (avril 2018). Towards privacy and ownership preserving of outsourced health data in IoT-cloud context [Communication écrite]. International Symposium on Programming and Systems (ISPS 2018), Algiers, Algeria (6 pages). Lien externe