| Component adaptation: Specification and verification I Mouakher, A Lanoix, J Souquieres | 29 | 2006 |
| Extending causal semantics of UML2. 0 sequence diagram for distributed systems F Dhaou, I Mouakher, C Attiogbé, K Bsaïes 2015 10th International Joint Conference on Software Technologies (ICSOFT) 1 …, 2015 | 4 | 2015 |
| Refinement of UML2. 0 sequence diagrams for distributed systems F Dhaou, I Mouakher, C Attiogbé, K Bsaïes | 3 | 2016 |
| Protocol verification in a software component-based approach I Mouakher, J Souquières, F Alexandre 15th Annual IEEE International Conference and Workshop on the Engineering of …, 2008 | 2 | 2008 |
| A causal semantics for UML2. 0 sequence diagrams with nested combined fragments F Dhaou, I Mouakher, C Attiogbé, K Bsaies | 1 | 2017 |
| Guard Evaluation and Synchronization Issues in Causal Semantics for UML2. X Sequence Diagrams F Dhaou, I Mouakher, JC Attiogbé, K Bsaies | | 2018 |
| An Operational Semantics of UML2. X Sequence Diagrams for Distributed Systems F Dhaou, I Mouakher, JC Attiogbé, K Bsaies International Conference on Evaluation of Novel Approaches to Software …, 2017 | | 2017 |
| Vérification et correction des spécifications B: application à l'assemblage de composants IM Abdelmoula | | 2010 |
| Vérification et correction des spécifications B: application à l'assemblage de composants.(Verification and Correction of B Specification in a CBSE approach). IM Abdelmoula Tunis El Manar University, Tunisia, 2010 | | 2010 |
| Raffinement B de systèmes de transitions étiquetés I Mouakher, F Alexandre | | 2009 |
| Diagnostic et correction d'erreurs de spécifications: application à l'assemblage de composants I Mouakher, J Souquières, F Alexandre | | 2008 |
| Protocol verification in a software component approach I Mouakher, F Alexandre, J Souquières | | 2007 |
| Automatisation de l'application de l'hypothèse de récurrence dans la preuve des formules implicatives I Mouakher, F Alexandre, K Bsaïes | | 2005 |
