Travelled to:1 × Argentina
1 × Germany
1 × Switzerland
2 × Portugal
Collaborated with:A.Koukam P.Gruer T.Lissajoux D.Monticolo S.Gomes N.Gaud S.Galland A.Koukam K.Cetnarowicz
Talks about:system (3) design (3) specif (2) multi (2) agent (2) wiki (2) radiomobil (1) framework (1) knowledg (1) fragment (1)
Person: Vincent Hilaire
DBLP: Hilaire:Vincent
Contributed to:
2010
2010
2001
20001999Wrote 5 papers:
- ICEIS-DISI-2010-MonticoloGHK #collaboration #evaluation #semantics #wiki
- Collaborative Knowledge Evaluation with a Semantic Wiki — WikiDesign (DM, SG, VH, AK), pp. 133–141.
- SAC-2010-HilaireGGK #approach #documentation
- An approach based upon OWL-S for method fragments documentation and selection (VH, NG, SG, AK), pp. 938–939.
- SEKE-2001-GruerHKC #analysis #design #framework #multi
- A Formal Framework for Multi-Agent Systems Analysis and Design (PG, VH, AK, KC), pp. 276–282.
- FASE-2000-GruerHK #design #network #problem #specification #using #verification
- Verification of Object-Z Specifications by Using Transition Systems: Application to the Radiomobile Network Design Problem (PG, VH, AK), pp. 222–236.
- ICEIS-1999-HilaireLK #execution #multi #specification #towards
- Towards an Executable Specification of Multi-Agent Systems (VH, TL, AK), pp. 232–239.