Hind Fadil

Publication Activity (10 Years)

Years Active: 2004-2008
Publications (10 Years): 0

Publications

Hind Fadil, Jean-Luc Koning
Vers une approche formelle pour la validation des protocoles d'interaction en systèmes multi-agents. Ingénierie des Systèmes d Inf. 13 (2) (2008)
Pasquale De Meo, Giovanni Quattrone, Hind Fadil, Domenico Ursino
A multi-agent system for efficiently managing query answering in an e-government scenario. SAC (2006)
Hind Fadil, Jean-Luc Koning, Félix F. Ramos, Jean-Paul Jamont, Michel Occello
Graphically Designing and Formally Checking Self-Organizations for Wireless Network Systems. Int. Trans. Syst. Sci. Appl. 2 (3) (2006)
Hind Fadil, Jean-Luc Koning
Rules for Translating Interaction Protocols into a B Formal Representation. IAT (2005)
Hind Fadil, Jean-Luc Koning
A Formal Approach to Model Multiagent Interactions Using the B Formal Method. ISSADS (2005)
Yves Ledru, Sophie Dupuy-Chessa, Hind Fadil
Towards Computer-aided Design of OCL Constraints. CAiSE Workshops (1) (2004)