| Towards the formal specification and verification of multi-agent based systems B Ammar, K Abdallah International Journal of Computer Science Issues (IJCSI) 8 (4), 200, 2011 | 10 | 2011 |
| Automatic generating algorithm of rewriting logic specification for multi-agent system models based on petri nets A Boucherit, A Khababa, LM Castro Multiagent and Grid Systems 14 (4), 403-418, 2018 | 8 | 2018 |
| Rewriting logic based approach for the formalization of critical systems based on multi-agent system A Boucherit, A Khebaba, F Belala International Journal of Computer Applications 13 (2), 2011 | 4 | 2011 |
| A contribution to the formal checking of multi-agents systems F Belala, A Boucherit IEEE International Conference on Computer Systems and Applications, 2006., 9-16, 2006 | 4 | 2006 |
| An enhanced rewriting logic based semantics for high-level petri nets A Boucherit, K Barkaoui, O Hasan The International Workshop on Petri Nets and Software Engineering 2021 co …, 2021 | 3 | 2021 |
| Petri net and rewriting logic based formal analysis of multi-agent based safety-critical systems A Boucherit, LM Castro, A Khababa, O Hasan Multiagent and Grid Systems 16 (1), 47-66, 2020 | 3 | 2020 |
| Towards the formal development of software based systems: access control system as a case study A Boucherit, LM Castro, A Khababa, O Hasan Information Technology and Control 47 (3), 393-405, 2018 | 2 | 2018 |
| Towards a Videoconference Interface Formalisation F Belala, A Boucherit The 4th International Arab Conference on computer science and Information …, 2006 | 2 | 2006 |
| Formalizing and verifying UML activity diagrams M Abbas, M Beggas, A Boucherit New Trends in Model and Data Engineering: MEDI 2019 International Workshops …, 2019 | 1 | 2019 |
| A Rewriting Logic Based Behaviour Semantics of Discrete event systems Models with Complex Dynamics A Boucherit, K Barkaoui, ML Lamouri 2023 IEEE International Conference on Networking, Sensing and Control (ICNSC …, 2023 | | 2023 |
| PN2Maude: An automatic tool to generate Maude specification for Petri net models. A Boucherit, M Abbas, ML Lamouri, O Hasan Computer Science Journal of Moldova 31 (2), 2023 | | 2023 |
| Development of Critical Systems with UML/OCL and FoCaLiZe M Abbas, F Haloua, A Boucherit Advances in Model and Data Engineering in the Digitalization Era: MEDI 2021 …, 2021 | | 2021 |
| Towards a hybrid formal analysis technique for safety-critical software architectures A Boucherit, LM Castro, O Hasan, A Khababa International Journal of Critical Computer-Based Systems 10 (2), 95-119, 2021 | | 2021 |
| Contribution à la conception d'architecture logicielle sur des systèmes critiques basés agent A Boucherit | | 2019 |
| Contribution for the Formal Analysis of Agent Based Critical Systems Properties B Ammar, K Abdallah Wulfenia 20 (1), 217-230, 2013 | | 2013 |
| Development Life-Cycle Approach for Critical Systems F Haloua, M Abbas, A Boucherit, CF Snook, R Rioboo Available at SSRN 4070225, 0 | | |
