| ONDAR: an ontology for home automation A Lyazidi, S Mouline 2015 15th International Conference on Intelligent Systems Design and …, 2015 | 10 | 2015 |
| Formal verification of UML state machine diagrams using Petri nets A Lyazidi, S Mouline Networked Systems: 7th International Conference, NETYS 2019, Marrakech …, 2019 | 9 | 2019 |
| A model-driven engineering approach to formally verify BPMN models using Petri nets A Lyazidi, S Mouline International Journal of Business Process Integration and Management 8 (4 …, 2017 | 6 | 2017 |
| Formal Verification of BPMN Models using Petri Nets A Lyazidi, S Mouline Proc. of the The 1st International Workshop on Models and Algorithms for …, 2013 | 3 | 2013 |
| A metamodel-driven definition and implementation of ONDAR: a home automation ontology A Lyazidi, S Mouline International Journal of Computer Applications in Technology 58 (3), 198-210, 2018 | 2 | 2018 |
| ONCAR: an ontology-based approach for car automation modelling A Lyazidi, S Mouline International Journal of Vehicle Systems Modelling and Testing 15 (1), 21-40, 2021 | 1 | 2021 |
| BuiS: A Methodology for Smart Building Modeling. A Lyazidi, S Mouline Intelligent Environments (Workshops), 56-65, 2019 | | 2019 |
