Suivre
Mounira kezadri Hamiaz
Titre
Citée par
Citée par
Année
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
532017
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 (2), 1-12, 2016
242016
First steps toward a verification and validation ontology
M Kezadri, M Pantel
Embedded Real Time Software and Systems (ERTS2012), 2012
112012
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
102015
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
102014
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
92011
Correct-by-construction model driven engineering composition operators
M Kezadri Hamiaz, M Pantel, X Thirioux, B Combemale
Formal Aspects of Computing 28 (3), 409-440, 2016
72016
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
62020
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
52017
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
52014
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
42016
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
42015
Assistance à la validation et vérification de systèmes critiques: ontologies et intégration de composants
M Kezadri
22013
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
12014
Correct-by-construction model composition: Application to the Invasive Software Composition method
M Kezadri, M Pantel, B Combemale, X Thirioux
International Workshop on Formal Engineering approaches to Software …, 2014
2014
Vérification de transformations de modèles
M KEZADRI
Mars, 2009
2009
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–16