A multi formalisms prototyping approach from formal description to implementation of distributed systems. - Alioune Diagne; Fabrice Kordon (RSP, 1996)

Testing Prototypes Validity to Enhance Code Reuse. - Didier Buchs; Alioune Diagne; Fabrice Kordon (International Workshop on Rapid System Prototyping, 1998)

Enhancing telecommunications service engineering with mobile agent technology and formal methods. - Marie-Pierre Gervais; Alioune Diagne (IEEE Commun. Mag., 1998)