dblp.uni-trier.dewww.uni-trier.de

Hind Fadil

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
6EEHind 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
5EEPasquale 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
3EEHind Fadil, Jean-Luc Koning: Rules for Translating Interaction Protocols into a B Formal Representation. IAT 2005: 495-498
2EEHind 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

Coauthor Index

1Félix F. Ramos Corchado (Félix F. Ramos) [4]
2Sophie Dupuy-Chessa (Sophie Dupuy) [1]
3Jean-Paul Jamont [4]
4Jean-Luc Koning [2] [3] [4] [6]
5Yves Ledru [1]
6Pasquale De Meo [5]
7Michel Occello [4]
8Giovanni Quattrone [5]
9Domenico Ursino [5]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)