Howard Foster

40 papers A* 4A 5C 2Misc 1Journal 4Unranked 16
YearRankTypeTitle / Venue / Authors
2016 J jnl
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
Emery Roe, Robert G. Bea, Sebastiaan N. Jonkman, H. Faucher De Corn, Howard Foster, John Radke, Paul Schulman, Rune Storesund
2014 — conf
4th International Workshop on Adaptive Services for the Future Internet (WAS4FI 2014): Preface.
ESOCC Workshops
Javier Cubo, Juan Boubeta-Puig, Howard Foster, Winfried Lamersdorf, Nadia Gámez
2014 J jnl
Adaptive Services for the Future Internet.
J. Univers. Comput. Sci.
Javier Cubo, Guadalupe Ortiz, Juan Boubeta-Puig, Howard Foster, Winfried Lamersdorf
2013 J jnl
Special section on automation of software test.
J. Syst. Softw.
Antonia Bertolino, Howard Foster, J. Jenny Li, Hong Zhu
2012 — conf
Formal Certification and Compliance for Run-Time Service Environments.
IEEE SCC
Howard Foster, George Spanoudakis, Khaled Mahbub
2012 — ed.
Proceedings of the 2nd International Workshop on Adaptive Services for the Future Internet and 6th International Workshop on Web APIs and Service Mashups (WAS4FI-Mashups 2012), Bertinoro, Italy, September 19, 2012
WAS4FI-Mashups
Javier Cubo, Juan Boubeta-Puig, Guadalupe Ortiz, Howard Foster, Winfried Lamersdorf, Agnes Koschmider, Maristella Matera, Victoria Torres
2011 — ch.
A Formal Support to Business and Architectural Design for Service-Oriented Systems.
Results of the SENSORIA Project
Roberto Bruni, Howard Foster, Alberto Lluch-Lafuente, Ugo Montanari, Emilio Tuosto
2011 Misc conf
Advanced service monitoring configurations with SLA decomposition and selection.
SAC
Howard Foster, George Spanoudakis
2011 — ed.
Proceedings of the 6th International Workshop on Automation of Software Test, AST 2011, Waikiki, Honolulu, HI, USA, May 23-24, 2011
AST@ICSE
Antonia Bertolino, Howard Foster, J. Jenny Li
2011 — ch.
Runtime Support for Dynamic and Adaptive Service Composition.
Results of the SENSORIA Project
Arun Mukhija, David S. Rosenblum, Howard Foster, Sebastián Uchitel
2011 — conf
SMaRT: a workbench for reporting the monitorability of services from SLAs.
PESOS@ICSE
Howard Foster, George Spanoudakis
2011 — conf
Seventh International Workshop on Engineering Service-Oriented Applications (WESOA 2011).
ICSOC Workshops
George Feuerlicht, Howard Foster, Winfried Lamersdorf, Guadalupe Ortiz, Christian Zirpins
2011 A* conf
Sixth international workshop on automation of software test: (AST 2011).
ICSE
Howard Foster, Antonia Bertolino, J. Jenny Li
2011 — ch.
Specification and Analysis of Dynamically-Reconfigurable Service Architectures.
Results of the SENSORIA Project
Howard Foster, Arun Mukhija, David S. Rosenblum, Sebastián Uchitel
2011 — conf
Taming the Cloud: Safety, Certification and Compliance for Software Services - Keynote at the Workshop on Engineering Service-Oriented Applications (WESOA) 2011.
ICSOC Workshops
Howard Foster, George Spanoudakis
2011 — ch.
UML Extensions for Service-Oriented Systems.
Results of the SENSORIA Project
Howard Foster, László Gönczy, Nora Koch, Philip Mayer, Carlo Montangero, Dániel Varró
2010 — conf
AVYTAT'10 - PC Co-chairs Message.
OTM Workshops
Javier Cámara, Howard Foster, Carlos E. Cuesta, Miguel Ángel Pérez-Toledano
2010 J jnl
An Integrated Workbench for Model-Based Engineering of Service Compositions.
IEEE Trans. Serv. Comput.
Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer
2010 — conf
Sla Based Federated E-Maritime Services.
MCIS
Maria A. Lambrou, Howard Foster
2009 — conf
Architecture and behaviour analysis for engineering Service Modes.
PESOS@ICSE
Howard Foster
2009 — conf
Engage: Engineering Service Modes with WS-Engineer and Dino.
ICSOC/ServiceWave
Howard Foster, Arun Mukhija, David S. Rosenblum, Sebastián Uchitel
2008 A conf
A Model-Driven Approach to Dynamic and Adaptive Service Brokering Using Modes.
ICSOC
Howard Foster, Arun Mukhija, David S. Rosenblum, Sebastián Uchitel
2008 C conf
Leveraging Integrated Tools for Model-Based Analysis of Service Compositions.
ICIW
Howard Foster, Philip Mayer
2008 — conf
Leveraging Modes and UML2 for Service Brokering Specifications.
MDWE@MoDELS
Howard Foster, Sebastián Uchitel, Jeff Kramer, Jeff Magee
2008 C conf
Safety and Response-Time Analysis of an Automotive Accident Assistance Service.
ISoLA
Ashok Argent-Katwala, Allan Clark, Howard Foster, Stephen Gilmore, Philip Mayer, Mirco Tribastone
2008 A conf
Tool Support for Safety Analysis of Service Composition and Deployment Models.
ICWS
Howard Foster
2008 A conf
WS-Engineer 2008.
ICSOC
Howard Foster
2007 — conf
MTSA: Eclipse support for modal transition systems construction, analysis and elaboration.
ETX
Nicolás D'Ippolito, Dario Fischbein, Howard Foster, Sebastián Uchitel
2007 — conf
Model checking service compositions under resource constraints.
ESEC/SIGSOFT FSE
Howard Foster, Wolfgang Emmerich, Jeff Kramer, Jeff Magee, David S. Rosenblum, Sebastián Uchitel
2007 — conf
Towards Self-management in Service-Oriented Computing with Modes.
ICSOC Workshops
Howard Foster, Sebastián Uchitel, Jeff Kramer, Jeff Magee
2007 — ch.
WS-Engineer: A Model-Based Approach to Engineering Web Service Compositions and Choreography.
Test and Analysis of Web Services
Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer
2006 — —
A rigorous approach to engineering web service compositions.
Howard Foster
2006 A* conf
LTSA-WS: a tool for model-based verification of web service compositions and choreography.
ICSE
Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer
2006 — conf
Model-Based Analysis of Obligations in Web Service Choreography.
AICT/ICIW
Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer
2006 A* conf
Web service orchestration with BPEL.
ICSE
Liang Chen, Bruno Wassermann, Wolfgang Emmerich, Howard Foster
2005 — conf
Leveraging Eclipse for integrated model-based engineering of web service compositions.
eTX
Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer
2005 A conf
Tool Support for Model-Based Engineering of Web Service Compositions.
ICWS
Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer
2005 — conf
Using a Rigorous Approach for Engineering Web Service Compositions: A Case Study.
IEEE SCC
Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer, Michael Hu
2004 A conf
Compatibility Verification for Web Service Choreography.
ICWS
Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer
2003 A* conf
Model-based Verification of Web Service Compositions.
ASE
Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer