Towards Computer-aided Design of OCL Constraints. - Yves Ledru; Sophie Dupuy-Chessa; Hind Fadil (CAiSE Workshops (1), 2004)

Rules for Translating Interaction Protocols into a B Formal Representation. - Hind Fadil; Jean-Luc Koning (IAT, 2005)

A Formal Approach to Model Multiagent Interactions Using the B Formal Method. - Hind Fadil; Jean-Luc Koning (ISSADS, 2005)

A multi-agent system for efficiently managing query answering in an e-government scenario. - Pasquale De Meo; Giovanni Quattrone; Hind Fadil; Domenico Ursino (SAC, 2006)

Graphically Designing and Formally Checking Self-Organizations for Wireless Network Systems. - Hind Fadil; Jean-Luc Koning; Félix F. Ramos 001; Jean-Paul Jamont; Michel Occello (Int. Trans. Syst. Sci. Appl., 2006)

Vers une approche formelle pour la validation des protocoles d'interaction en systèmes multi-agents. - Hind Fadil; Jean-Luc Koning (Ingénierie des Systèmes d Inf., 2008)