Papers: Howard Foster

< Howard Foster

Conference and Workshop Papers

1. Ashok Argent-Katwala, A Clark, Howard Foster, Stephen T. Gilmore, Philip Mayer, Mirco Tribastone, Safety and Response-Time Analysis of an Automotive Accident Assistance Service presented at: ISOLA'08, 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Springer, 2008-09, More>
   
   
2. Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer, WS-Engineer: A Tool for Model-Based Verification of Web Service Compositions and Choreography presented at: IEEE International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 2006., 2006-04, More>
   
   
3. Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer, Model-Based Analysis of Obligations in Web Service Choreography presented at: IEEE International Conference on Internet & Web Applications and Services 2006, Guadeloupe, FC., 2006, More>
   
   
4. Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer, Leveraging Eclipse for Integrated Model-Based Engineering of Web Service Compositions presented at: ETX2005 Workshop at OOPSLA05, San Diego, CA, October 2005., 2005, More>
   
   
5. Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer, Tool support for model-based engineering of web service compositions presented at: IEEE international conference on services computing. Orlando, FL, 11 - 15 July 2005, IEEE Computer Society, 2005, ISBN: 0-7695-2409-5, More>
   
   
6. Howard Foster, Jeff Kramer, Jeff Magee, Sebastian Uchitel, Using a Rigorous Approach for Engineering Web Service Compositions: A Case Study presented at: IEEE International Conference on Services Computing (SCC), Orlando, USA, 2005., 2005, More>
   
   
7. Howard Foster, Jeff Kramer, Jeff Magee, Sebastian Uchitel, Compatibility verification for web service choreography presented at: IEEE international conference on web services (ICWS 2004), San Diego, CA, IEEE Computer Soc, 2004, ISBN: 0-7695-2167-3, More>
   
   
8. Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer, Model-based verification of web service compositions presented at: 18th IEEE international conference on automated software engineering, Montreal, Canada, 2003, IEEE Computer Soc, 2003, ISBN: 0-7695-2035-9, More>
   
   

CategoryPeople, CategoryPapers