Towards the Formal Development of Software Based Systems: Access Control System as a Case Study. - Ammar Boucherit; Laura M. Castro; Abdallah Khababa; Osman Hasan (Inf. Technol. Control., 2018)

Automatic generating algorithm of rewriting logic specification for multi-agent system models based on Petri nets. - Ammar Boucherit; Abdallah Khababa; Laura M. Castro (Multiagent Grid Syst., 2018)

Formalizing and Verifying UML Activity Diagrams. - Messaoud Abbas; Mounir Beggas; Ammar Boucherit (MEDI Workshops, 2019)

Petri net and rewriting logic based formal analysis of multi-agent based safety-critical systems. - Ammar Boucherit; Laura M. Castro; Abdallah Khababa; Osman Hasan (Multiagent Grid Syst., 2020)

An Enhanced Rewriting Logic Based Semantics for High Level Petri nets. - Ammar Boucherit; Kamel Barkaoui; Osman Hasan (PNSE@Petri Nets, 2021)

Development of Critical Systems with UML/OCL and FoCaLiZe. - Messaoud Abbas; Fatima Haloua; Ammar Boucherit (MEDI Workshops, 2021)

Towards a hybrid formal analysis technique for safety-critical software architectures. - Ammar Boucherit; Laura M. Castro; Osman Hasan; Abdallah Khababa (Int. J. Crit. Comput. Based Syst., 2021)

A Rewriting Logic Based Behaviour Semantics of Discrete event systems Models with Complex Dynamics. - Ammar Boucherit; Kamel Barkaoui; Mohammed Lamine Lamouri (ICNSC, 2023)

PN2Maude: An automatic tool to generate Maude specification for Petri net models. - Ammar Boucherit; Messaoud Abbas; Mohammed Lamine Lamouri; Osman Hasan (Comput. Sci. J. Moldova, 2023)