Achraf Lyazidi

According to our database, Achraf Lyazidi authored at least 5 papers between 2015 and 2019.

Collaborative distances:

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

2019

Formal Verification of UML State Machine Diagrams Using Petri Nets.

Achraf Lyazidi, Salma Mouline

Proceedings of the Networked Systems - 7th International Conference, 2019

BuiS: A Methodology for Smart Building Modeling.

Achraf Lyazidi, Salma Mouline

Proceedings of the Intelligent Environments 2019, 2019

2018

A metamodel-driven definition and implementation of ONDAR: a home automation ontology.

Achraf Lyazidi, Salma Mouline

Int. J. Comput. Appl. Technol., 2018

2017

A model-driven engineering approach to formally verify BPMN models using Petri nets.

Achraf Lyazidi, Salma Mouline

Int. J. Bus. Process. Integr. Manag., 2017

2015

ONDAR: An ontology for home automation.

Achraf Lyazidi, Salma Mouline

Proceedings of the 15th International Conference on Intelligent Systems Design and Applications, 2015