| 2012 | ||
|---|---|---|
| c24 | Howard Foster, George Spanoudakis, Khaled Mahbub: Formal Certification and Compliance for Run-Time Service Environments. IEEE SCC 2012: 17-24 | |
| 2011 | ||
| p5 | Howard Foster, László Gönczy, Nora Koch, Philip Mayer, Carlo Montangero, Dániel Varró: UML Extensions for Service-Oriented Systems. Results of the SENSORIA Project 2011: 35-60 | |
| p4 | Roberto Bruni, Howard Foster, Alberto Lluch-Lafuente, Ugo Montanari, Emilio Tuosto: A Formal Support to Business and Architectural Design for Service-Oriented Systems. Results of the SENSORIA Project 2011: 133-152 | |
| p3 | Howard Foster, Arun Mukhija, David S. Rosenblum, Sebastián Uchitel: Specification and Analysis of Dynamically-Reconfigurable Service Architectures. Results of the SENSORIA Project 2011: 428-446 | |
| p2 | Arun Mukhija, David S. Rosenblum, Howard Foster, Sebastián Uchitel: Runtime Support for Dynamic and Adaptive Service Composition. Results of the SENSORIA Project 2011: 585-603 | |
| c23 | Howard Foster, Antonia Bertolino, J. Jenny Li: Sixth international workshop on automation of software test: (AST 2011). ICSE 2011: 1216-1217 | |
| c22 | George Feuerlicht, Howard Foster, Winfried Lamersdorf, Guadalupe Ortiz, Christian Zirpins: Seventh International Workshop on Engineering Service-Oriented Applications (WESOA 2011). ICSOC Workshops 2011: 1-2 | |
| c21 | 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: 3-8 | |
| c20 | Howard Foster, George Spanoudakis: Advanced service monitoring configurations with SLA decomposition and selection. SAC 2011: 1582-1589 | |
| 2010 | ||
| j1 | Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer: An Integrated Workbench for Model-Based Engineering of Service Compositions. IEEE T. Services Computing 3(2): 131-144 (2010) | |
| c19 | ||
| c18 | Javier Cámara, Howard Foster, Carlos E. Cuesta, Miguel Ángel Pérez Toledano: AVYTAT'10 - PC Co-chairs Message. OTM Workshops 2010: 55-56 | |
| 2009 | ||
| c17 | Howard Foster, Arun Mukhija, David S. Rosenblum, Sebastián Uchitel: Engage: Engineering Service Modes with WS-Engineer and Dino. ICSOC/ServiceWave 2009: 641-642 | |
| 2008 | ||
| c16 | Howard Foster, Philip Mayer: Leveraging Integrated Tools for Model-Based Analysis of Service Compositions. ICIW 2008: 72-77 | |
| c15 | 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 | |
| c14 | ||
| c13 | Howard Foster: Tool Support for Safety Analysis of Service Composition and Deployment Models. ICWS 2008: 716-723 | |
| c12 | 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 | ||
| c11 | 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 | |
| c10 | Howard Foster, Sebastián Uchitel, Jeff Kramer, Jeff Magee: Towards Self-management in Service-Oriented Computing with Modes. ICSOC Workshops 2007: 338-350 | |
| c9 | 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 | |
| p1 | 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 | ||
| c8 | Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer: Model-Based Analysis of Obligations in Web Service Choreography. AICT/ICIW 2006: 149 | |
| c7 | 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 | |
| c6 | Liang Chen, Bruno Wassermann, Wolfgang Emmerich, Howard Foster: Web service orchestration with BPEL. ICSE 2006: 1071-1072 | |
| 2005 | ||
| c5 | 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 | |
| c4 | Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer: Leveraging Eclipse for integrated model-based engineering of web service compositions. ETX 2005: 95-99 | |
| c3 | Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer: Tool Support for Model-Based Engineering of Web Service Compositions. ICWS 2005: 95-102 | |
| 2004 | ||
| c2 | Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer: Compatibility Verification for Web Service Choreography. ICWS 2004: 738-741 | |
| 2003 | ||
| c1 | Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer: Model-based Verification of Web Service Compositions. ASE 2003: 152-163 | |
Colors in the list of coauthors
Last update Sun May 19 06:37:58 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page