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: Foster:Howard
Contributed to:
2011
2007
2006
2003Wrote 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.