Howard Foster

2008
17	EE	Howard Foster, Philip Mayer: Leveraging Integrated Tools for Model-Based Analysis of Service Compositions. ICIW 2008: 72-77
16	EE	Howard Foster, Arun Mukhija, David S. Rosenblum, Sebastián Uchitel: A Model-Driven Approach to Dynamic and Adaptive Service Brokering Using Modes. ICSOC 2008: 558-564
15	EE	Howard Foster: WS-Engineer 2008. ICSOC 2008: 728-729
14	EE	Howard Foster: Tool Support for Safety Analysis of Service Composition and Deployment Models. ICWS 2008: 716-723
13	EE	Ashok Argent-Katwala, Allan Clark, Howard Foster, Stephen Gilmore, Philip Mayer, Mirco Tribastone: Safety and Response-Time Analysis of an Automotive Accident Assistance Service. ISoLA 2008: 191-205
2007
12	EE	Howard Foster, Wolfgang Emmerich, Jeff Kramer, Jeff Magee, David S. Rosenblum, Sebastián Uchitel: Model checking service compositions under resource constraints. ESEC/SIGSOFT FSE 2007: 225-234
11	EE	Nicolás D'Ippolito, Dario Fischbein, Howard Foster, Sebastián Uchitel: MTSA: Eclipse support for modal transition systems construction, analysis and elaboration. ETX 2007: 6-10
10	EE	Howard Foster, Sebastián Uchitel, Jeff Kramer, Jeff Magee: Towards Self-management in Service-Oriented Computing with Modes. ICSOC Workshops 2007: 338-350
9	EE	Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer: WS-Engineer: A Model-Based Approach to Engineering Web Service Compositions and Choreography. Test and Analysis of Web Services 2007: 87-119
2006
8	EE	Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer: Model-Based Analysis of Obligations in Web Service Choreography. AICT/ICIW 2006: 149
7	EE	Liang Chen, Bruno Wassermann, Wolfgang Emmerich, Howard Foster: Web service orchestration with BPEL. ICSE 2006: 1071-1072
6	EE	Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer: LTSA-WS: a tool for model-based verification of web service compositions and choreography. ICSE 2006: 771-774
2005
5	EE	Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer: Leveraging Eclipse for integrated model-based engineering of web service compositions. ETX 2005: 95-99
4	EE	Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer: Tool Support for Model-Based Engineering of Web Service Compositions. ICWS 2005: 95-102
3	EE	Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer, Michael Hu: Using a Rigorous Approach for Engineering Web Service Compositions: A Case Study. IEEE SCC 2005: 217-224
2004
2	EE	Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer: Compatibility Verification for Web Service Choreography. ICWS 2004: 738-741
2003
1	EE	Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer: Model-based Verification of Web Service Compositions. ASE 2003: 152-163

Coauthor Index

1	Ashok Argent-Katwala	[13]
2	Liang Chen	[7]
3	Allan Clark	[13]
4	Nicolás D'Ippolito	[11]
5	Wolfgang Emmerich	[7] [12]
6	Dario Fischbein	[11]
7	Stephen Gilmore (Stephen T. Gilmore)	[13]
8	Michael Hu	[3]
9	Jeff Kramer	[1] [2] [3] [4] [5] [6] [8] [9] [10] [12]
10	Jeff Magee (Jeff N. Magee)	[1] [2] [3] [4] [5] [6] [8] [9] [10] [12]
11	Philip Mayer	[13] [17]
12	Arun Mukhija	[16]
13	David S. Rosenblum	[12] [16]
14	Mirco Tribastone	[13]
15	Sebastián Uchitel	[1] [2] [3] [4] [5] [6] [8] [9] [10] [11] [12] [16]
16	Bruno Wassermann	[7]

Colors in the list of coauthors