Zakaryae Boudi

Orcid: 0000-0002-0813-6434

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
A Deep Reinforcement Learning Framework with Formal Verification.
Formal Aspects Comput., March, 2023

Towards a B-Method Framework for Smart Contract Verification: The Case of ACTUS Financial Contracts.
Proceedings of the Risks and Security of Internet and Systems, 2023

2021
Formalizing Ontologies for AI Models Validation: from OWL to Event-B.
Proceedings of the 15th IEEE International Conference on Semantic Computing, 2021

2020
Building Valid Career Ontologies with B-CPNs.
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.
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.
Proceedings of the New Trends in Model and Data Engineering, 2018

2015
HCPN Modeling for ERTMS Requirements Specification.
Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015


  Loading...