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
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., & Barkaoui, K. (2018). Delay-dependent partial order reduction technique for real time systems. Real-Time Systems, 54(2), 278-306. Lien externe