Zakaryae Boudi

According to our database, Zakaryae Boudi authored at least 7 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

A Deep Reinforcement Learning Framework with Formal Verification.

Zakaryae Boudi, Abderrahim Ait Wakrime, Mohamed Toub, Mohamed Haloua

Formal Aspects Comput., March, 2023

Towards a B-Method Framework for Smart Contract Verification: The Case of ACTUS Financial Contracts.

Zakaryae Boudi, Mohamed Toub

Proceedings of the Risks and Security of Internet and Systems, 2023

2021

Formalizing Ontologies for AI Models Validation: from OWL to Event-B.

Mohamed Ould Bah, Zakaryae Boudi, Mohamed Toub, Abderrahim Ait Wakrime, Ghassane Aniba

Proceedings of the 15th IEEE International Conference on Semantic Computing, 2021

2020

Building Valid Career Ontologies with B-CPNs.

Zakaryae Boudi, Abderrahim Ait Wakrime, Mohamed Toub, Mohamed Haloua

Proceedings of the Smart Applications and Data Analysis - Third International Conference, 2020

2019

Introducing B-Sequenced Petri Nets as a CPN Sub-class for Safe Train Control.

Zakaryae Boudi, Abderrahim Ait Wakrime, Simon Collart Dutilleul, Mohamed Haloua

Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, 2019

2018

Petri Nets to Event-B: Handling Mathematical Sequences Through an ERTMS L3 Case.

Zakaryae Boudi, Abderrahim Ait Wakrime, Simon Collart Dutilleul, Mohamed Haloua

Proceedings of the New Trends in Model and Data Engineering, 2018

2015

HCPN Modeling for ERTMS Requirements Specification.

Zakaryae Boudi, El-Miloudi El-Koursi, Simon Collart Dutilleul

Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015