Mounira Kezadri

According to our database, Mounira Kezadri authored at least 12 papers between 2010 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

An ontology-driven framework to support the dynamic formation of an interdisciplinary healthcare team.

Szymon Wilk, Mounira Kezadri-Hamiaz, Daniel Amyot, Wojtek Michalowski, Craig E. Kuziemsky, Nihan Çatal, Daniela Rosu, Marc Carrier, Randy Giffen

Int. J. Medical Informatics, 2020

2017

Comprehensive mitigation framework for concurrent application of multiple clinical practice guidelines.

Szymon Wilk, Martin Michalowski, Wojtek Michalowski, Daniela Rosu, Marc Carrier, Mounira Kezadri-Hamiaz

J. Biomed. Informatics, 2017

Supporting process execution by interdisciplinary healthcare teams: Middleware design for IBM BPM.

Nihan Çatal, Daniel Amyot, Wojtek Michalowski, Mounira Kezadri-Hamiaz, Malak Baslyman, Szymon Wilk, Randy Giffen

Proceedings of the 8th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2017) / The 7th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH-2017) / Affiliated Workshops, 2017

2016

Using Semantic Components to Represent Dynamics of an Interdisciplinary Healthcare Team in a Multi-Agent Decision Support System.

Szymon Wilk, Mounira Kezadri-Hamiaz, Daniela Rosu, Craig E. Kuziemsky, Wojtek Michalowski, Daniel Amyot, Marc Carrier

J. Medical Syst., 2016

Correct-by-construction model driven engineering composition operators.

Mounira Kezadri Hamiaz, Marc Pantel, Xavier Thirioux, Benoît Combemale

Formal Aspects Comput., 2016

Aligning Interdisciplinary Healthcare Team Behavior with Workflow Execution: An Example of a Radical Prostatectomy Workflow.

Szymon Wilk, Dympna O'Sullivan, Mounira Kezadri-Hamiaz, Craig E. Kuziemsky, Daniela Rosu, Wojtek Michalowski, Michael Fung Kee Fung

Proceedings of the 29th IEEE International Symposium on Computer-Based Medical Systems, 2016

2015

A Framework for Modeling Workflow Execution by an Interdisciplinary Healthcare Team.

Mounira Kezadri-Hamiaz, Daniela Rosu, Szymon Wilk, Craig E. Kuziemsky, Wojtek Michalowski, Marc Carrier

Proceedings of the MEDINFO 2015: eHealth-enabled Health, 2015

Expanding a First-Order Logic Mitigation Framework to Handle Multimorbid Patient Preferences.

Martin Michalowski, Szymon Wilk, Daniela Rosu, Mounira Kezadri, Wojtek Michalowski, Marc Carrier

Proceedings of the AMIA 2015, 2015

2014

Correct-by-construction model composition: Application to the Invasive Software Composition method.

Mounira Kezadri Hamiaz, Marc Pantel, Benoît Combemale, Xavier Thirioux

Proceedings of the Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2014

A Formal Framework to Prove the Correctness of Model Driven Engineering Composition Operators.

Mounira Kezadri Hamiaz, Marc Pantel, Benoît Combemale, Xavier Thirioux

Proceedings of the Formal Methods and Software Engineering, 2014

2011

A Proof Assistant Based Formalization of MDE Components.

Mounira Kezadri, Benoît Combemale, Marc Pantel, Xavier Thirioux

Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011

2010

First Steps Toward a Verification and Validation Ontology.

Mounira Kezadri, Marc Pantel

Proceedings of the KEOD 2010, 2010