| FOCOVE: Formal concurrency verification environment for complex systems DE Saïdouni, A Benamira, N Belala, F Arfi A||| A 5 (10), 4, 2008 | 16 | 2008 |
| Consideration of the covering steps in the maximality-based labeled transition systems A Benamira, DE Saidouni Proceedings of International Arab Conference on Information Technology (ACIT …, 2006 | 8 | 2006 |
| Causal reversibility in individual token interpretation of Petri Nets A Benamira Computer Science 21, 489-511, 2020 | 5 | 2020 |
| La alpha-réduction à la volée des systèmes de transitions étiquetées maximales DE Saidouni, A Benamira Technical Report, Laboratoire LIRE, Equipe Vision et Infographie Université …, 2004 | 5 | 2004 |
| Vérification des équivalences de comportements des systèmes concurrents A Benamira, DE Saidouni | 4 | 2006 |
| Maximality-based labeled transition systems normal form A Benamira, DE Saïdouni Modeling Approaches and Algorithms for Advanced Computer Applications, 337-346, 2013 | 1 | 2013 |
| Maximality-based Step Graph for Safety-Petri Nets A Benamira, DE Saidouni International Journal of Computer Science and Telecommunications 3 (9), 17-25, 2012 | 1 | 2012 |
| Graphe de Pas Maximaux: une Solution pour la Réduction des Systèmes de Transitions Eétiquetées Maximales. A Benamira, DE Saïdouni CIIA, 2011 | 1 | 2011 |
| A Locally Sequential Globally Asynchronous Net from Maximality-Based Labelled Transition System A Benamira, DE Saidouni Modelling and Implementation of Complex Systems: Proceedings of the 4th …, 2016 | | 2016 |
| Mémoire de Magistère A BENAMIRA | | |
