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 × Canada
1 × China
1 × Croatia
1 × Taiwan
Collaborated with:
J.Kramer J.Magee S.Uchitel G.Spanoudakis W.Emmerich L.Chen B.Wassermann D.S.Rosenblum
Talks about:
servic (5) composit (3) model (3) web (3) verif (2) base (2) choreographi (1) decomposit (1) constraint (1) orchestr (1)

Person: Howard Foster

DBLP DBLP: Foster:Howard

Contributed to:

SAC 20112011
ESEC/FSE 20072007
ICSE 20062006
ASE 20032003

Wrote 5 papers:

SAC-2011-FosterS #composition #monitoring
Advanced service monitoring configurations with SLA decomposition and selection (HF, GS), pp. 1582–1589.
ESEC-FSE-2007-FosterEKMRU #composition #constraints #model checking
Model checking service compositions under resource constraints (HF, WE, JK, JM, DSR, SU), pp. 225–234.
ICSE-2006-ChenWEF #distributed #web #web service
Web service orchestration with BPEL (LC, BW, WE, HF), pp. 1071–1072.
ICSE-2006-FosterUMK #composition #modelling #named #verification #web #web service
LTSA-WS: a tool for model-based verification of web service compositions and choreography (HF, SU, JM, JK), pp. 771–774.
ASE-2003-FosterUMK #composition #modelling #verification #web #web service
Model-based Verification of Web Service Compositions (HF, SU, JM, JK), pp. 152–163.

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.