Hind Fadil

According to our database, Hind Fadil authored at least 6 papers between 2004 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

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

2006

Graphically Designing and Formally Checking Self-Organizations for Wireless Network Systems.

Hind Fadil, Jean-Luc Koning, Félix F. Ramos, Jean-Paul Jamont, Michel Occello

Int. Trans. Syst. Sci. Appl., 2006

A multi-agent system for efficiently managing query answering in an e-government scenario.

Pasquale De Meo, Giovanni Quattrone, Hind Fadil, Domenico Ursino

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

2005

A Formal Approach to Model Multiagent Interactions Using the B Formal Method.

Hind Fadil, Jean-Luc Koning

Proceedings of the Advanced Distributed Systems: 5th International School and Symposium, 2005

Rules for Translating Interaction Protocols into a B Formal Representation.

Hind Fadil, Jean-Luc Koning

Proceedings of the 2005 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2005

2004

Towards Computer-aided Design of OCL Constraints.

Yves Ledru, Sophie Dupuy-Chessa, Hind Fadil

Proceedings of the CAiSE'04 Workshops in connection with The 16th Conference on Advanced Information Systems Engineering, 2004