3532 articles – 5253 Notices  [english version]
.:. Consultation > Liste par auteurs > Mouakher .:.
6 documents classés par :
fulltext access Raffinement B de systèmes de transitions étiquetés
Mouakher I., Alexandre F.
(2009) [inria-00435896 - version 1]
Diagnostic et correction d'erreurs de spécifications : application à l'assemblage de composants
Mouakher I., Souquières J., Alexandre F.
RTSI - L'Objet 14 (2008) 11--42 [hal-00343182 - version 1]
Protocol Verification in a Software Component-Based Approach
Mouakher I., Souquières J., Alexandre F.
In 15th annual IEEE International Conference on the Engineering of Computer Based Systems (2008) 10 pages [hal-00185002 - version 1]
Protocol verification in a software component approach
Mouakher I., Alexandre F., Souquières J.
Rapport interne (2007) [hal-00182262 - version 1]
fulltext access Component Adaptation: Specification and Verification
Mouakher I., Lanoix A., Souquières J.
Dans 11th International Workshop on Component Oriented Programming - WCOP 2006 (2006) 8 [inria-00074477 - version 1]
fulltext access Automatisation de l'application de l'hypothèse de récurrence dans la preuve des formules implicatives
Mouakher I., Alexandre F., Bsaïes K.
In Premières Journées Francophones de Programmation par Contraintes - JFPC'2005 (2005) 179-188 [inria-00000070 - version 1]