Zakaryae Boudi

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 7

Top Topics

Semantically Rich

Requirements Specification

Top Venues

Formal Aspects Comput.

Publications

Zakaryae Boudi, Mohamed Toub
Towards a B-Method Framework for Smart Contract Verification: The Case of ACTUS Financial Contracts. CRiSIS (2023)
Zakaryae Boudi, Abderrahim Ait Wakrime, Mohamed Toub, Mohamed Haloua
A Deep Reinforcement Learning Framework with Formal Verification. Formal Aspects Comput. 35 (1) (2023)
Mohamed Ould Bah, Zakaryae Boudi, Mohamed Toub, Abderrahim Ait Wakrime, Ghassane Aniba
Formalizing Ontologies for AI Models Validation: from OWL to Event-B. ICSC (2021)
Zakaryae Boudi, Abderrahim Ait Wakrime, Mohamed Toub, Mohamed Haloua
Building Valid Career Ontologies with B-CPNs. SADASC (2020)
Zakaryae Boudi, Abderrahim Ait Wakrime, Simon Collart Dutilleul, Mohamed Haloua
Introducing B-Sequenced Petri Nets as a CPN Sub-class for Safe Train Control. ENASE (2019)
Zakaryae Boudi, Abderrahim Ait Wakrime, Simon Collart Dutilleul, Mohamed Haloua
Petri Nets to Event-B: Handling Mathematical Sequences Through an ERTMS L3 Case. MEDI Workshops (2018)
Zakaryae Boudi, El-Miloudi El-Koursi, Simon Collart Dutilleul
HCPN Modeling for ERTMS Requirements Specification. HASE (2015)