Model-based Verification of Web Service Compositions. - Howard Foster; Sebastián Uchitel; Jeff Magee; Jeff Kramer (ASE, 2003)

Compatibility Verification for Web Service Choreography. - Howard Foster; Sebastián Uchitel; Jeff Magee; Jeff Kramer (ICWS, 2004)

Using a Rigorous Approach for Engineering Web Service Compositions: A Case Study. - Howard Foster; Sebastián Uchitel; Jeff Magee; Jeff Kramer; Michael Hu (IEEE SCC, 2005)

Leveraging Eclipse for integrated model-based engineering of web service compositions. - Howard Foster; Sebastián Uchitel; Jeff Magee; Jeff Kramer (eTX, 2005)

Tool Support for Model-Based Engineering of Web Service Compositions. - Howard Foster; Sebastián Uchitel; Jeff Magee; Jeff Kramer (ICWS, 2005)

Model-Based Analysis of Obligations in Web Service Choreography. - Howard Foster; Sebastián Uchitel; Jeff Magee; Jeff Kramer (AICT/ICIW, 2006)

Web service orchestration with BPEL. - Liang Chen; Bruno Wassermann; Wolfgang Emmerich; Howard Foster (ICSE, 2006)

LTSA-WS: a tool for model-based verification of web service compositions and choreography. - Howard Foster; Sebastián Uchitel; Jeff Magee; Jeff Kramer (ICSE, 2006)

A rigorous approach to engineering web service compositions. - Howard Foster (2006)

MTSA: Eclipse support for modal transition systems construction, analysis and elaboration. - Nicolás D'Ippolito; Dario Fischbein; Howard Foster; Sebastián Uchitel (ETX, 2007)

Towards Self-management in Service-Oriented Computing with Modes. - Howard Foster; Sebastián Uchitel; Jeff Kramer; Jeff Magee (ICSOC Workshops, 2007)

Model checking service compositions under resource constraints. - Howard Foster; Wolfgang Emmerich; Jeff Kramer; Jeff Magee; David S. Rosenblum; Sebastián Uchitel (ESEC/SIGSOFT FSE, 2007)

WS-Engineer: A Model-Based Approach to Engineering Web Service Compositions and Choreography. - Howard Foster; Sebastián Uchitel; Jeff Magee; Jeff Kramer (Test and Analysis of Web Services, 2007)

Leveraging Integrated Tools for Model-Based Analysis of Service Compositions. - Howard Foster; Philip Mayer (ICIW, 2008)

WS-Engineer 2008. - Howard Foster (ICSOC, 2008)

A Model-Driven Approach to Dynamic and Adaptive Service Brokering Using Modes. - Howard Foster; Arun Mukhija; David S. Rosenblum; Sebastián Uchitel (ICSOC, 2008)

Tool Support for Safety Analysis of Service Composition and Deployment Models. - Howard Foster (ICWS, 2008)

Safety and Response-Time Analysis of an Automotive Accident Assistance Service. - Ashok Argent-Katwala; Allan Clark; Howard Foster; Stephen Gilmore; Philip Mayer; Mirco Tribastone (ISoLA, 2008)

Leveraging Modes and UML2 for Service Brokering Specifications. - Howard Foster; Sebastián Uchitel; Jeff Kramer; Jeff Magee (MDWE@MoDELS, 2008)

Architecture and behaviour analysis for engineering Service Modes. - Howard Foster (PESOS@ICSE, 2009)

Engage: Engineering Service Modes with WS-Engineer and Dino. - Howard Foster; Arun Mukhija; David S. Rosenblum; Sebastián Uchitel (ICSOC/ServiceWave, 2009)

Sla Based Federated E-Maritime Services. - Maria A. Lambrou; Howard Foster (MCIS, 2010)

AVYTAT'10 - PC Co-chairs Message. - Javier Cámara 001; Howard Foster; Carlos E. Cuesta; Miguel Ángel Pérez Toledano (OTM Workshops, 2010)

An Integrated Workbench for Model-Based Engineering of Service Compositions. - Howard Foster; Sebastián Uchitel; Jeff Magee; Jeff Kramer (IEEE Trans. Serv. Comput., 2010)

A Formal Support to Business and Architectural Design for Service-Oriented Systems. - Roberto Bruni 001; Howard Foster; Alberto Lluch-Lafuente; Ugo Montanari; Emilio Tuosto (Results of the SENSORIA Project, 2011)

UML Extensions for Service-Oriented Systems. - Howard Foster; László Gönczy; Nora Koch; Philip Mayer; Carlo Montangero; Dániel Varró (Results of the SENSORIA Project, 2011)

Specification and Analysis of Dynamically-Reconfigurable Service Architectures. - Howard Foster; Arun Mukhija; David S. Rosenblum; Sebastián Uchitel (Results of the SENSORIA Project, 2011)

Runtime Support for Dynamic and Adaptive Service Composition. - Arun Mukhija; David S. Rosenblum; Howard Foster; Sebastián Uchitel (Results of the SENSORIA Project, 2011)

Sixth international workshop on automation of software test: (AST 2011). - Howard Foster; Antonia Bertolino; J. Jenny Li 001 (ICSE, 2011)

SMaRT: a workbench for reporting the monitorability of services from SLAs. - Howard Foster; George Spanoudakis (PESOS@ICSE, 2011)

Seventh International Workshop on Engineering Service-Oriented Applications (WESOA 2011). - George Feuerlicht; Howard Foster; Winfried Lamersdorf; Guadalupe Ortiz 001; Christian Zirpins (ICSOC Workshops, 2011)

Taming the Cloud: Safety, Certification and Compliance for Software Services - Keynote at the Workshop on Engineering Service-Oriented Applications (WESOA) 2011. - Howard Foster; George Spanoudakis (ICSOC Workshops, 2011)

Advanced service monitoring configurations with SLA decomposition and selection. - Howard Foster; George Spanoudakis (SAC, 2011)

Formal Certification and Compliance for Run-Time Service Environments. - Howard Foster; George Spanoudakis; Khaled Mahbub (IEEE SCC, 2012)

Special section on automation of software test. - Antonia Bertolino; Howard Foster; J. Jenny Li 001; Hong Zhu 002 (J. Syst. Softw., 2013)

4th International Workshop on Adaptive Services for the Future Internet (WAS4FI 2014): Preface. - Javier Cubo; Juan Boubeta-Puig; Howard Foster; Winfried Lamersdorf; Nadia Gámez (ESOCC Workshops, 2014)

Adaptive Services for the Future Internet. - Javier Cubo; Guadalupe Ortiz 001; Juan Boubeta-Puig; Howard Foster; Winfried Lamersdorf (J. Univers. Comput. Sci., 2014)

Risk assessment and management for interconnected critical infrastructure systems at the site and regional levels in California's Sacramento-San Joaquin Delta. - Emery Roe; Robert G. Bea; Sebastiaan N. Jonkman; H. Faucher De Corn; Howard Foster; John Radke; Paul Schulman; Rune Storesund (Int. J. Crit. Infrastructures, 2016)