A composite machine-learning-based framework for supporting low-level event logs to high-level business process model activities mappings enhanced by flexible BPMN model translation
Al-Ali, H., Cuzzocrea, A., Damiani, E., Mizouni, R., Tello, G.
Published in Soft computing (Berlin, Germany) (01.05.2020)
Published in Soft computing (Berlin, Germany) (01.05.2020)
Get full text
Journal Article
Composition of Use Cases Using Synchronization and Model Checking
Mizouni, R., Salah, A., Kolahi, S., Dssouli, R.
Published in Formal Techniques for Networked and Distributed Systems - FORTE 2006 (2006)
Published in Formal Techniques for Networked and Distributed Systems - FORTE 2006 (2006)
Get full text
Book Chapter
Conference Proceeding
The Metaverse: Survey, Trends, Novel Pipeline Ecosystem & Future Directions
Sami, H., Hammoud, A., Arafeh, M., Wazzeh, M., Arisdakessian, S., Chahoud, M., Wehbi, O., Ajaj, M., Mourad, A., Otrok, H., Wahab, O. Abdel, Mizouni, R., Bentahar, J., Talhi, C., Dziong, Z., Damiani, E., Guizani, M.
Published in IEEE Communications surveys and tutorials (22.04.2024)
Published in IEEE Communications surveys and tutorials (22.04.2024)
Get full text
Journal Article
A greedy-proof incentive-compatible mechanism for group recruitment in mobile crowd sensing
Suliman, Ahmed, Otrok, Hadi, Mizouni, Rabeb, Singh, Shakti, Ouali, Anis
Published in Future generation computer systems (01.12.2019)
Published in Future generation computer systems (01.12.2019)
Get full text
Journal Article
A simulation-based approach to enhancing project schedules by the inclusion of remedial action scenarios
Lazarova-Molnar, S., Mizouni, R.
Published in Proceedings of the 2011 Winter Simulation Conference (WSC) (01.12.2011)
Published in Proceedings of the 2011 Winter Simulation Conference (WSC) (01.12.2011)
Get full text
Conference Proceeding
Hybrid tool integrating HOL theorem proving with MDG model checking
Mizouni, R., Tahar, S., Curzon, P.
Published in Proceedings. The 16th International Conference on Microelectronics, 2004. ICM 2004 (2004)
Published in Proceedings. The 16th International Conference on Microelectronics, 2004. ICM 2004 (2004)
Get full text
Conference Proceeding
Performance Evaluation of Mobile Web Services
Mizouni, R., Serhani, M. A., Dssouli, R., Benharref, A., Taleb, I.
Published in 2011 IEEE Ninth European Conference on Web Services (01.09.2011)
Published in 2011 IEEE Ninth European Conference on Web Services (01.09.2011)
Get full text
Conference Proceeding
Enriching Use Cases with CTTs
Mizouni, R, Sinnig, D, Khendek, F
Published in 2010 15th IEEE International Conference on Engineering of Complex Computer Systems (01.03.2010)
Published in 2010 15th IEEE International Conference on Engineering of Complex Computer Systems (01.03.2010)
Get full text
Conference Proceeding
Towards a best-effort framework for developing smart mobile applications
Benharref, A., Mizouni, R., Serhani, M. A.
Published in 2012 8th International Wireless Communications and Mobile Computing Conference (IWCMC) (01.08.2012)
Published in 2012 8th International Wireless Communications and Mobile Computing Conference (IWCMC) (01.08.2012)
Get full text
Conference Proceeding
Towards Battery-Aware Self-Adaptive Mobile Applications
Mizouni, R., Serhani, M. A., Benharref, A., Al-Abassi, O.
Published in 2012 IEEE Ninth International Conference on Services Computing (01.06.2012)
Published in 2012 IEEE Ninth International Conference on Services Computing (01.06.2012)
Get full text
Conference Proceeding
Towards Smart Anti-Malwares for Battery-Powered Devices
Al Housani, H., Otrok, H., Mizouni, R., Robert, J., Mourad, A.
Published in 2012 5th International Conference on New Technologies, Mobility and Security (NTMS) (01.05.2012)
Published in 2012 5th International Conference on New Technologies, Mobility and Security (NTMS) (01.05.2012)
Get full text
Conference Proceeding
On the Performance of Hosting Web Services on Mobile Devices
Mizouni, R., Serhani, M. A., Dssouli, R., Benharref, A., Taleb, I.
Published in 2011 IEEE International Conference on Services Computing (01.07.2011)
Published in 2011 IEEE International Conference on Services Computing (01.07.2011)
Get full text
Conference Proceeding
Tool Support for Composition and Verification of Formal Behavior
Kolahi, S., Salah, A., Mizouni, R., Dssouli, R.
Published in 2007 Innovations in Information Technologies (IIT) (01.11.2007)
Published in 2007 Innovations in Information Technologies (IIT) (01.11.2007)
Get full text
Conference Proceeding