34312 articles – 26877 Notices  [english version]
.:. Consultation > Par auteur > Alexandre .:.
15 documents classés par :
1 - 2 Page Suivante Page Finale
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.
Dans 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 Automatisation de l'application de l'hypothèse de récurrence dans la preuve des formules implicatives
Mouakher I., Alexandre F., Bsaïes K.
Dans Premières Journées Francophones de Programmation par Contraintes - JFPC'2005 (2005) 179-188 [inria-00000070 - version 1]
A Method for Patching Faulty Conjectures
Demba M., Alexandre F., Bsaïes K.
N° A04-R-321 || demba04a (2004) [inria-00100226 - version 1]
Proving Theorems by Folding/Unfolding
Demba M., Bsaïes K., Alexandre F.
Dans 2nd International Conference : Sciences of Electronic, Technologies of Information and Telecommunications - SETIT 2004 (2004) 6 p [inria-00100204 - version 1]
Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures
Alexandre F., Bsaïes K., Demba M.
Dans Logic Based Program Synthesis and Transformation: 13th International Symposium - LOPSTR 2003 3018 (2003) 20-33 [inria-00100052 - version 1]
Correcting Faulty Conjectures by Logic Program Synthesis
Demba M., Bsaïes K., Alexandre F.
Dans International Conference on Computers Systems and Applications 2003 - AICCSA'03 (2003) 6 p [inria-00099562 - version 1]
Correction de conjectures fausses par synthèse de programmes
Demba M., Alexandre F., Bsaïes K.
Dans Douzièmes Journées Francophones de Programmation Logique et Programmation par Contraintes 2003 - JFPLC'2003 (2003) 4 p [inria-00099561 - version 1]