First Steps Toward a Verification and Validation Ontology. - Mounira Kezadri; Marc Pantel (KEOD, 2010)

A Proof Assistant Based Formalization of MDE Components. - Mounira Kezadri; Benoît Combemale; Marc Pantel; Xavier Thirioux (FACS, 2011)

A Formal Framework to Prove the Correctness of Model Driven Engineering Composition Operators. - Mounira Kezadri Hamiaz; Marc Pantel; Benoît Combemale; Xavier Thirioux (ICFEM, 2014)

Correct-by-construction model composition: Application to the Invasive Software Composition method. - Mounira Kezadri Hamiaz; Marc Pantel; Benoît Combemale; Xavier Thirioux (FESCA, 2014)

Expanding a First-Order Logic Mitigation Framework to Handle Multimorbid Patient Preferences. - Martin Michalowski; Szymon Wilk; Daniela Rosu 002; Mounira Kezadri; Wojtek Michalowski; Marc Carrier (AMIA, 2015)

A Framework for Modeling Workflow Execution by an Interdisciplinary Healthcare Team. - Mounira Kezadri-Hamiaz; Daniela Rosu 002; Szymon Wilk; Craig E. Kuziemsky; Wojtek Michalowski; Marc Carrier (MedInfo, 2015)

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 002; Wojtek Michalowski; Michael Fung Kee Fung (CBMS, 2016)

Correct-by-construction model driven engineering composition operators. - Mounira Kezadri Hamiaz; Marc Pantel; Xavier Thirioux; Benoît Combemale (Formal Aspects Comput., 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 002; Craig E. Kuziemsky; Wojtek Michalowski; Daniel Amyot; Marc Carrier (J. Medical Syst., 2016)

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 (EUSPN/ICTH, 2017)

Comprehensive mitigation framework for concurrent application of multiple clinical practice guidelines. - Szymon Wilk; Martin Michalowski; Wojtek Michalowski; Daniela Rosu 002; Marc Carrier; Mounira Kezadri-Hamiaz (J. Biomed. Informatics, 2017)

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 002; Marc Carrier; Randy Giffen (Int. J. Medical Informatics, 2020)