Login / Signup
Achraf Lyazidi
ORCID
Publication Activity (10 Years)
Years Active: 2015-2019
Publications (10 Years): 5
Top Topics
Class Diagram
State Machine
Petri Net
Model Driven
Top Venues
Intelligent Environments (Workshops)
NETYS
ISDA
Int. J. Bus. Process. Integr. Manag.
</>
Publications
</>
Achraf Lyazidi
,
Salma Mouline
BuiS: A Methodology for Smart Building Modeling.
Intelligent Environments (Workshops)
(2019)
Achraf Lyazidi
,
Salma Mouline
Formal Verification of UML State Machine Diagrams Using Petri Nets.
NETYS
(2019)
Achraf Lyazidi
,
Salma Mouline
A metamodel-driven definition and implementation of ONDAR: a home automation ontology.
Int. J. Comput. Appl. Technol.
58 (3) (2018)
Achraf Lyazidi
,
Salma Mouline
A model-driven engineering approach to formally verify BPMN models using Petri nets.
Int. J. Bus. Process. Integr. Manag.
8 (4) (2017)
Achraf Lyazidi
,
Salma Mouline
ONDAR: An ontology for home automation.
ISDA
(2015)