Howard Foster

Publication Activity (10 Years)

Years Active: 2003-2016
Publications (10 Years): 1

Top Venues

J. Syst. Softw.

ESOCC Workshops

J. Univers. Comput. Sci.

IEEE SCC

Imperial College London, UK (PHD)

Education History

Imperial College London, UK

PHD

Publications

Emery Roe, Robert G. Bea, Sebastiaan N. Jonkman, H. Faucher De Corn, Howard Foster, John Radke, Paul Schulman, Rune Storesund
Risk assessment and management for interconnected critical infrastructure systems at the site and regional levels in California's Sacramento-San Joaquin Delta. Int. J. Crit. Infrastructures 12 (1/2) (2016)
Javier Cubo, Juan Boubeta-Puig, Howard Foster, Winfried Lamersdorf, Nadia Gámez
4th International Workshop on Adaptive Services for the Future Internet (WAS4FI 2014): Preface. ESOCC Workshops (2014)
Javier Cubo, Guadalupe Ortiz, Juan Boubeta-Puig, Howard Foster, Winfried Lamersdorf
Adaptive Services for the Future Internet. J. Univers. Comput. Sci. 20 (8) (2014)
Antonia Bertolino, Howard Foster, J. Jenny Li, Hong Zhu
Special section on automation of software test. J. Syst. Softw. 86 (8) (2013)
Howard Foster, George Spanoudakis, Khaled Mahbub
Formal Certification and Compliance for Run-Time Service Environments. IEEE SCC (2012)
Howard Foster, George Spanoudakis
SMaRT: a workbench for reporting the monitorability of services from SLAs. PESOS@ICSE (2011)
Howard Foster, Antonia Bertolino, J. Jenny Li
Sixth international workshop on automation of software test: (AST 2011). ICSE (2011)
Howard Foster, George Spanoudakis
Taming the Cloud: Safety, Certification and Compliance for Software Services - Keynote at the Workshop on Engineering Service-Oriented Applications (WESOA) 2011. ICSOC Workshops (2011)
George Feuerlicht, Howard Foster, Winfried Lamersdorf, Guadalupe Ortiz, Christian Zirpins
Seventh International Workshop on Engineering Service-Oriented Applications (WESOA 2011). ICSOC Workshops (2011)
Howard Foster, George Spanoudakis
Advanced service monitoring configurations with SLA decomposition and selection. SAC (2011)
Maria A. Lambrou, Howard Foster
Sla Based Federated E-Maritime Services. MCIS (2010)
Javier Cámara, Howard Foster, Carlos E. Cuesta, Miguel Ángel Pérez Toledano
AVYTAT'10 - PC Co-chairs Message. OTM Workshops (2010)
Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer
An Integrated Workbench for Model-Based Engineering of Service Compositions. IEEE Trans. Serv. Comput. 3 (2) (2010)
Howard Foster
Architecture and behaviour analysis for engineering Service Modes. PESOS@ICSE (2009)
Howard Foster, Arun Mukhija, David S. Rosenblum, Sebastián Uchitel
Engage: Engineering Service Modes with WS-Engineer and Dino. ICSOC/ServiceWave (2009)
Howard Foster, Sebastián Uchitel, Jeff Kramer, Jeff Magee
Leveraging Modes and UML2 for Service Brokering Specifications. MDWE@MoDELS (2008)
Howard Foster
Tool Support for Safety Analysis of Service Composition and Deployment Models. ICWS (2008)
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)
Howard Foster, Philip Mayer
Leveraging Integrated Tools for Model-Based Analysis of Service Compositions. ICIW (2008)
Howard Foster, Arun Mukhija, David S. Rosenblum, Sebastián Uchitel
A Model-Driven Approach to Dynamic and Adaptive Service Brokering Using Modes. ICSOC (2008)
Howard Foster
WS-Engineer 2008. ICSOC (2008)
Howard Foster, Sebastián Uchitel, Jeff Kramer, Jeff Magee
Towards Self-management in Service-Oriented Computing with Modes. ICSOC Workshops (2007)
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)
Nicolás D'Ippolito, Dario Fischbein, Howard Foster, Sebastián Uchitel
MTSA: Eclipse support for modal transition systems construction, analysis and elaboration. ETX (2007)
Liang Chen, Bruno Wassermann, Wolfgang Emmerich, Howard Foster
Web service orchestration with BPEL. ICSE (2006)
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)
Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer
Model-Based Analysis of Obligations in Web Service Choreography. AICT/ICIW (2006)
Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer
Leveraging Eclipse for integrated model-based engineering of web service compositions. eTX (2005)
Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer
Tool Support for Model-Based Engineering of Web Service Compositions. ICWS (2005)
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)
Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer
Compatibility Verification for Web Service Choreography. ICWS (2004)
Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer
Model-based Verification of Web Service Compositions. ASE (2003)

Howard Foster.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Howard Foster