Comprehensive mitigation framework for concurrent application of multiple clinical practice guidelines S Wilk, M Michalowski, W Michalowski, D Rosu, M Carrier, ... Journal of Biomedical Informatics 66, 52-71, 2017 | 63 | 2017 |
Using semantic components to represent dynamics of an interdisciplinary healthcare team in a multi-agent decision support system S Wilk, M Kezadri-Hamiaz, D Rosu, C Kuziemsky, W Michalowski, ... Journal of medical systems 40, 1-12, 2016 | 27 | 2016 |
First steps toward a verification and validation ontology M Kezadri, M Pantel Embedded Real Time Software and Systems (ERTS2012), 2012 | 12 | 2012 |
Expanding a First-Order Logic Mitigation Framework to Handle Multimorbid Patient Preferences M Michalowski, S Wilk, D Rosu, M Kezadri Hamiaz, W Michalowski, ... AMIA 2015 Annual Symposium, 895-903, 2015 | 11 | 2015 |
An ontology-driven framework to support the dynamic formation of an interdisciplinary healthcare team S Wilk, M Kezadri-Hamiaz, D Amyot, W Michalowski, C Kuziemsky, ... International Journal of Medical Informatics 136, 104075, 2020 | 10 | 2020 |
Correct-by-construction model composition: Application to the Invasive Software Composition method MK Hamiaz, M Pantel, B Combemale, X Thirioux arXiv preprint arXiv:1404.0853, 2014 | 10 | 2014 |
A proof assistant based formalization of MDE components M Kezadri, B Combemale, M Pantel, X Thirioux International Workshop on Formal Aspects of Component Software, 223-240, 2011 | 9 | 2011 |
iFogRep: An intelligent consistent approach for replication and placement of IoT based on fog computing SS Safa'a, I Alansari, MK Hamiaz, W Ead, RA Tarabishi, H Khater Egyptian Informatics Journal 24 (2), 327-339, 2023 | 8 | 2023 |
Correct-by-construction model driven engineering composition operators M Kezadri Hamiaz, M Pantel, X Thirioux, B Combemale Formal Aspects of Computing 28, 409-440, 2016 | 8 | 2016 |
Supporting process execution by interdisciplinary healthcare teams: Middleware design for IBM BPM N Çatal, D Amyot, W Michalowski, M Kezadri-Hamiaz, M Baslyman, S Wilk, ... Procedia computer science 113, 376-383, 2017 | 7 | 2017 |
A framework for modeling workflow execution by an interdisciplinary healthcare team M Kezadri-Hamiaz, D Rosu, S Wilk, C Kuziemsky, W Michalowski, ... MEDINFO 2015: eHealth-enabled Health, 1100-1100, 2015 | 5 | 2015 |
A formal framework to prove the correctness of model driven engineering composition operators M Kezadri Hamiaz, M Pantel, B Combemale, X Thirioux International Conference on Formal Engineering Methods, 235-250, 2014 | 5 | 2014 |
Aligning interdisciplinary healthcare team behavior with workflow execution: an example of a radical prostatectomy workflow S Wilk, D O'Sullivan, M Kezadri-Hamiaz, C Kuziemsky, D Rosu, ... 2016 IEEE 29th International Symposium on Computer-Based Medical Systems …, 2016 | 4 | 2016 |
Assistance à la validation et vérification de systèmes critiques: ontologies et intégration de composants M Kezadri Institut National Polytechnique de Toulouse-INPT, 2013 | 2 | 2013 |
I-OPC: An intelligent optimal path computation system using critical path prediction and deep learning for a time-sensitive network SS Safa'a, IS Alansari, MK Hamiaz, W Ead, RA Tarabishi, M Farouk, ... Alexandria Engineering Journal 84, 138-152, 2023 | 1 | 2023 |
Egyptian Informatics Journal SS Safa’a, I Alansari, MK Hamiaz, W Ead, RA Tarabishi, H Khater | 1 | 2023 |
A formal framework to prove the correctness of model driven engineering composition operators M Kezadri, M Pantel, B Combemale, X Thirioux ICFEM'14-16TH INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, 2014 | 1 | 2014 |
An Optimized Hierarchal Cluster Formation Approach for Management of Smart Cities SS Saleh, IS Alansari, M Farouk, MK Hamiaz, W Ead, RA Tarabishi, ... Applied Sciences 13 (24), 13143, 2023 | | 2023 |
ODCS: On-Demand Hierarchical Consistent Synchronization Approach for the IoT SS Saleh, IS Alansari, MK Hamiaz, W Ead, RA Tarabishi, M Farouk, ... Electronics 12 (22), 4708, 2023 | | 2023 |
An Optimized Hierarchal Cluster Formation Approach for Smart Cities SS Saleh, I Alansari, MK Hamiaz, W Ead, R Tarabishi, H Khater | | 2023 |