2008 |
6 | EE | 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'Information 13(2): 33-52 (2008) |
2006 |
5 | EE | 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: 308-312 |
4 | | 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.
ITSSA 2(3): 297-302 (2006) |
2005 |
3 | EE | Hind Fadil,
Jean-Luc Koning:
Rules for Translating Interaction Protocols into a B Formal Representation.
IAT 2005: 495-498 |
2 | EE | Hind Fadil,
Jean-Luc Koning:
A Formal Approach to Model Multiagent Interactions Using the B Formal Method.
ISSADS 2005: 516-528 |
2004 |
1 | | Yves Ledru,
Sophie Dupuy-Chessa,
Hind Fadil:
Towards Computer-aided Design of OCL Constraints.
CAiSE Workshops (1) 2004: 329-338 |