Search the dblp DataBase

Publications of Author

1. Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer, Michael Hu
   Using a Rigorous Approach for Engineering Web Service Compositions: A Case Study. [Citation Graph (0, 0)][DBLP]
   IEEE SCC, 2005, pp:217-224 [Conf]
   
2. Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer
   Model-Based Analysis of Obligations in Web Service Choreography. [Citation Graph (0, 0)][DBLP]
   AICT/ICIW, 2006, pp:149- [Conf]
   
3. Liang Chen, Bruno Wassermann, Wolfgang Emmerich, Howard Foster
   Web service orchestration with BPEL. [Citation Graph (0, 0)][DBLP]
   ICSE, 2006, pp:1071-1072 [Conf]
   
4. Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer
   LTSA-WS: a tool for model-based verification of web service compositions and choreography. [Citation Graph (0, 0)][DBLP]
   ICSE, 2006, pp:771-774 [Conf]
   
5. Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer
   Compatibility Verification for Web Service Choreography. [Citation Graph (0, 0)][DBLP]
   ICWS, 2004, pp:738-741 [Conf]
   
6. Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer
   Tool Support for Model-Based Engineering of Web Service Compositions. [Citation Graph (0, 0)][DBLP]
   ICWS, 2005, pp:95-102 [Conf]
   
7. Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer
   Model-based Verification of Web Service Compositions. [Citation Graph (0, 0)][DBLP]
   ASE, 2003, pp:152-163 [Conf]
   
8. Howard Foster, Wolfgang Emmerich, Jeff Kramer, Jeff Magee, David Rosenblum, Sebastián Uchitel
   Model checking service compositions under resource constraints. [Citation Graph (0, 0)][DBLP]
   ESEC/SIGSOFT FSE, 2007, pp:225-234 [Conf]
   
9. 
   WS-Engineer 2008. [Citation Graph (, )][DBLP]
   
   
10. 
    A Model-Driven Approach to Dynamic and Adaptive Service Brokering Using Modes. [Citation Graph (, )][DBLP]
    
    
11. 
    Towards Self-management in Service-Oriented Computing with Modes. [Citation Graph (, )][DBLP]
    
    
12. 
    Engage: Engineering Service Modes with WS-Engineer and Dino. [Citation Graph (, )][DBLP]
    
    
13. 
    Tool Support for Safety Analysis of Service Composition and Deployment Models. [Citation Graph (, )][DBLP]
    
    
14. 
    Safety and Response-Time Analysis of an Automotive Accident Assistance Service. [Citation Graph (, )][DBLP]
    
    
15. 
    Leveraging Eclipse for integrated model-based engineering of web service compositions. [Citation Graph (, )][DBLP]
    
    
16. 
    MTSA: Eclipse support for modal transition systems construction, analysis and elaboration. [Citation Graph (, )][DBLP]
    
    
17. 
    Leveraging Integrated Tools for Model-Based Analysis of Service Compositions. [Citation Graph (, )][DBLP]