Mohamed Toub

Publication Activity (10 Years)

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

Top Topics

Virtual Organisations

Demand Forecasting

Formal Verification

Ontology Construction

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)
Kenza Meziati Sabour, Mohamed Toub, Ghassane Aniba
Renewable Electricity Real-Time Pricing: Enhancing Grid's Stability Through Demand Side Management. ISGT Asia (2021)
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)
Mohamed Toub, Mahdi Shahbakhti, Rush D. Robinett, Ghassane Aniba
MPC-trained ANFIS for Control of MicroCSP Integrated into a Building HVAC System. ACC (2019)
Mohamed Toub, Chethan R. Reddy, Meysam Razmara, Mahdi Shahbakhti, Rush D. Robinett, Ghassane Aniba
Model Predictive Control for MicroCSP Integration into a Building HVAC System. ICCA (2018)
Mohamed Toub, Ghassane Aniba, Mohamed Maaroufi, Rush D. Robinett
Decentralized Hamiltonian control of isolated AC microgrids: Theory & design. ISGT Asia (2015)