Get started
Author

Achraf Lyazidi

Observed name: Lyazidi Achraf
ORCID: 0000-0002-4171-8647
Observed ORCID: 0000-0002-4171-8647
OpenAlex ID: A5077071611
Formal Verification of UML State Machine Diagrams Using Petri Nets
2019 · Achraf Lyazidi, Salma Mouline · Lecture notes in computer science · 10
ONDAR: An ontology for home automation
2015 · Achraf Lyazidi, Salma Mouline · International Conference on Intelligent Systems Design and Applications (ISDA) · 7
A model-driven engineering approach to formally verify BPMN models using Petri nets
2017 · Achraf Lyazidi, Salma Mouline · International Journal of Business Process Integration and Management · 3
A metamodel-driven definition and implementation of ONDAR: a home automation ontology
2018 · Achraf Lyazidi, Salma Mouline · International Journal of Computer Applications in Technology · 2
Integrating Model-Driven Engineering with Machine Learning for Intelligent Systems: Literature Review
2025 · Kaouthar Elgueddari, Zineb Aarab, et al.
PDF
Model-Driven Transformation of Business Processes into Blockchain Smart Contracts
2025 · Imane Bouzaidi Tiali, Zineb Aarab, et al. · International Journal of Advanced Computer Science and Applications
PDF
ONCAR: an ontology-based approach for car automation modelling
2021 · Salma Mouline, Achraf Lyazidi · International Journal of Vehicle Systems Modelling and Testing
ONCAR: an ontology-based approach for car automation modelling
2021 · Achraf Lyazidi, Salma Mouline · International Journal of Vehicle Systems Modelling and Testing
BuiS: A Methodology for Smart Building Modeling
2019 · Lyazidi Achraf, Mouline Salma · Ambient intelligence and smart environments
Works count: 9
Citation count: 22
H-index: 3
I10-index: 1
Year
Topic
Type