BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Hilaire:Vincent

Contributed to:

ICEIS DISI 20102010
SAC 20102010
SEKE 20012001
FASE 20002000
ICEIS 19991999

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.