Howard Foster

According to our database, Howard Foster authored at least 38 papers between 2003 and 2016.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2016

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

2014

Adaptive Services for the Future Internet.

Javier Cubo, Guadalupe Ortiz, Juan Boubeta-Puig, Howard Foster, Winfried Lamersdorf

J. Univers. Comput. Sci., 2014

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

Proceedings of the Advances in Service-Oriented and Cloud Computing, 2014

2013

Special section on automation of software test.

Antonia Bertolino, Howard Foster, J. Jenny Li, Hong Zhu

J. Syst. Softw., 2013

2012

Formal Certification and Compliance for Run-Time Service Environments.

Howard Foster, George Spanoudakis, Khaled Mahbub

Proceedings of the 2012 IEEE Ninth International Conference on Services Computing, 2012

2011

Advanced service monitoring configurations with SLA decomposition and selection.

Howard Foster, George Spanoudakis

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 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

Proceedings of the Service-Oriented Computing - ICSOC 2011 Workshops, 2011

Seventh International Workshop on Engineering Service-Oriented Applications (WESOA 2011).

George Feuerlicht, Howard Foster, Winfried Lamersdorf, Guadalupe Ortiz, Christian Zirpins

Proceedings of the Service-Oriented Computing - ICSOC 2011 Workshops, 2011

SMaRT: a workbench for reporting the monitorability of services from SLAs.

Howard Foster, George Spanoudakis

Proceedings of the 3rd International Workshop on Principles of Engineering Service-Oriented Systems, 2011

Sixth international workshop on automation of software test: (AST 2011).

Howard Foster, Antonia Bertolino, J. Jenny Li

Proceedings of the 33rd International Conference on Software Engineering, 2011

Runtime Support for Dynamic and Adaptive Service Composition.

Arun Mukhija, David S. Rosenblum, Howard Foster, Sebastián Uchitel

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

Specification and Analysis of Dynamically-Reconfigurable Service Architectures.

Howard Foster, Arun Mukhija, David S. Rosenblum, Sebastián Uchitel

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

UML Extensions for Service-Oriented Systems.

Howard Foster, László Gönczy, Nora Koch, Philip Mayer, Carlo Montangero, Dániel Varró

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

A Formal Support to Business and Architectural Design for Service-Oriented Systems.

Roberto Bruni, Howard Foster, Alberto Lluch-Lafuente, Ugo Montanari, Emilio Tuosto

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

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

AVYTAT'10 - PC Co-chairs Message.

Javier Cámara, Howard Foster, Carlos E. Cuesta, Miguel Ángel Pérez Toledano

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2010 Workshops, 2010

Sla Based Federated E-Maritime Services.

Maria A. Lambrou, Howard Foster

Proceedings of the 5th Mediterranean Conference on Information Systems, 2010

2009

Engage: Engineering Service Modes with WS-Engineer and Dino.

Howard Foster, Arun Mukhija, David S. Rosenblum, Sebastián Uchitel

Proceedings of the Service-Oriented Computing, 7th International Joint Conference, 2009

Architecture and behaviour analysis for engineering Service Modes.

Howard Foster

Proceedings of the International ICSE Workshop on Principles of Engineering Service-Oriented Systems, 2009

2008

Leveraging Modes and UML2 for Service Brokering Specifications.

Howard Foster, Sebastián Uchitel, Jeff Kramer, Jeff Magee

Proceedings of the 4th International Workshop on Model-Driven Web Engineering, 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

Proceedings of the Leveraging Applications of Formal Methods, 2008

Tool Support for Safety Analysis of Service Composition and Deployment Models.

Howard Foster

Proceedings of the 2008 IEEE International Conference on Web Services (ICWS 2008), 2008

A Model-Driven Approach to Dynamic and Adaptive Service Brokering Using Modes.

Howard Foster, Arun Mukhija, David S. Rosenblum, Sebastián Uchitel

Proceedings of the Service-Oriented Computing, 2008

WS-Engineer 2008.

Howard Foster

Proceedings of the Service-Oriented Computing, 2008

Leveraging Integrated Tools for Model-Based Analysis of Service Compositions.

Howard Foster, Philip Mayer

Proceedings of the Third International Conference on Internet and Web Applications and Services, 2008

2007

WS-Engineer: A Model-Based Approach to Engineering Web Service Compositions and Choreography.

Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer

Proceedings of the Test and Analysis of Web Services, 2007

Model checking service compositions under resource constraints.

Howard Foster, Wolfgang Emmerich, Jeff Kramer, Jeff Magee, David S. Rosenblum, Sebastián Uchitel

Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Towards Self-management in Service-Oriented Computing with Modes.

Howard Foster, Sebastián Uchitel, Jeff Kramer, Jeff Magee

Proceedings of the Service-Oriented Computing, 2007

MTSA: Eclipse support for modal transition systems construction, analysis and elaboration.

Nicolás D'Ippolito, Dario Fischbein, Howard Foster, Sebastián Uchitel

Proceedings of the 2007 OOPSLA workshop on Eclipse Technology eXchange, 2007

2006

A rigorous approach to engineering web service compositions.

Howard Foster

PhD thesis, 2006

LTSA-WS: a tool for model-based verification of web service compositions and choreography.

Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Web service orchestration with BPEL.

Liang Chen, Bruno Wassermann, Wolfgang Emmerich, Howard Foster

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Model-Based Analysis of Obligations in Web Service Choreography.

Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer

Proceedings of the Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services (AICT/ICIW 2006), 2006

2005

Tool Support for Model-Based Engineering of Web Service Compositions.

Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer

Proceedings of the 2005 IEEE International Conference on Web Services (ICWS 2005), 2005

Leveraging Eclipse for integrated model-based engineering of web service compositions.

Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer

Proceedings of the 2005 OOPSLA workshop on Eclipse Technology eXchange, 2005

Using a Rigorous Approach for Engineering Web Service Compositions: A Case Study.

Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer, Michael Hu

Proceedings of the 2005 IEEE International Conference on Services Computing (SCC 2005), 2005

2004

Compatibility Verification for Web Service Choreography.

Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer

Proceedings of the IEEE International Conference on Web Services (ICWS'04), 2004

2003

Model-based Verification of Web Service Compositions.

Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer

Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003