HCPN Modeling for ERTMS Requirements Specification. - Zakaryae Boudi; El-Miloudi El-Koursi; Simon Collart Dutilleul (HASE, 2015)

Petri Nets to Event-B: Handling Mathematical Sequences Through an ERTMS L3 Case. - Zakaryae Boudi; Abderrahim Ait Wakrime; Simon Collart Dutilleul; Mohamed Haloua (MEDI Workshops, 2018)

Introducing B-Sequenced Petri Nets as a CPN Sub-class for Safe Train Control. - Zakaryae Boudi; Abderrahim Ait Wakrime; Simon Collart Dutilleul; Mohamed Haloua (ENASE, 2019)

Building Valid Career Ontologies with B-CPNs. - Zakaryae Boudi; Abderrahim Ait Wakrime; Mohamed Toub; Mohamed Haloua (SADASC, 2020)

Formalizing Ontologies for AI Models Validation: from OWL to Event-B. - Mohamed Ould Bah; Zakaryae Boudi; Mohamed Toub; Abderrahim Ait Wakrime; Ghassane Aniba (ICSC, 2021)

Towards a B-Method Framework for Smart Contract Verification: The Case of ACTUS Financial Contracts. - Zakaryae Boudi; Mohamed Toub (CRiSIS, 2023)

A Deep Reinforcement Learning Framework with Formal Verification. - Zakaryae Boudi; Abderrahim Ait Wakrime; Mohamed Toub; Mohamed Haloua (Formal Aspects Comput., 2023)