|
|
|
|
 Collapse all descriptions
|
|
1 |
2011 |
Dynamic Creation of Monitoring Infrastructures
H.Foster and G.Spanoudakis, Dynamic Creation of Monitoring Infrastructures, in Service Level Agreements for Cloud Computing, Wieder, P.; Butler, J.M.; Theilmann, W.; Yahyapour, R. (Eds.), Springer, (2011)
|
H.Foster and G.Spanoudakis |
|
|
2 |
2010 |
Specification and Analysis of Dynamically-Reconfigurable Service Architectures
in Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA project on Software Engineering for Service-Oriented Computing, M.Wirsing and M.Hölzl (Eds.), Springer-Verlag Berlin and Heidelberg GmbH & Co. (2010).
|
H.Foster, A.Mukhija, D.S.Rosenblum, and S.Uchitel |
|
|
3 |
2010 |
UML Extensions for Service-Oriented Systems
in Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA project on Software Engineering for Service-Oriented Computing, M.Wirsing and M.Hölzl (Eds.), Springer-Verlag Berlin and Heidelberg GmbH & Co. (2010).
|
H.Foster, S.Uchitel, J.Magee and J.Kramer |
|
|
4 |
2010 |
Runtime Support for Dynamic and Adaptive Service Composition
|
A.Mukhija, H.Foster, D.S.Rosenblum, and S.Uchitel |
|
|
5 |
2010 |
A Formal Support to Business and Architectural Design for Service-Oriented Systems
in Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA project on Software Engineering for Service-Oriented Computing, M.Wirsing and M.Hölzl (Eds.), Springer-Verlag Berlin and Heidelberg GmbH & Co. (2010)
|
R.Bruni, H.Foster, A.L. Lafuente, U.Montanari and E.Tuosto |
|
|
6 |
2007 |
WS-Engineer: A Model-Based Approach to Engineering Web Service Compositions and Choreography
in Test and Analysis of Web Services, Baresi, Luciano; Di Nitto, Elisabetta (Eds.), Springer-Verlag Berlin and Heidelberg GmbH & Co. (Aug 2007), ISBN: 978-3-540-72911-2.
|
H.Foster, S.Uchitel, J.Magee and J.Kramer |
|
|
1 |
2011 |
Safety, Certification and Compliance for Software Services (WESOA11)
H.Foster and G.Spanoudakis, Safety, Ceritifcation and Compliance for Software Services, in proceedings of the Workshop on Engineering Service-Oriented Applications (WESOA11), Paphos, Cyprus, December 2011.
|
H.Foster and G.Spanoudakis |
|
|
2 |
2011 |
SMaRT: A Workbench for Reporting the Monitorability of Services from SLAs
3rd International Workshop on the Principles of Engineering Service-Oriented Systems (PESOS) located at the IEEE International Conference on Software Engineering, Honolulu, HI, May 2011
|
H.Foster and G.Spanoudakis |
|
|
3 |
2011 |
Standards-based Service-Oriented Port Service Development (FACT11)
in proceedings of THE FUTURE OF AUTOMATED CONTAINER TERMINALS - Port Operations Research and Technology Workshop, Imperial College London, London, UK, April 2011
|
M. Lambrou, ØJ Rødseth, K.Fjørtoft and H.Foster |
|
|
4 |
2010 |
Advanced Service Monitoring Configuratons with SLA Decomposition and Selection
in proceedings of the 26th ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 2011
|
H.Foster and G.Spanoudakis |
|
|
5 |
2010 |
Model-Driven Service Configuration with Formal SLA Decomposition and Selection
the 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), Crete, Greece. October 2010
|
H.Foster and G.Spanoudakis |
|
|
6 |
2010 |
SLA-Based Federated E-Maritime Services (MCIS10)
|
M.Lambrou and H.Foster |
|
|
7 |
2009 |
Engage: Engineering Service Modes with WS-Engineer and Dino (ICSOC09)
the 7th Joint International Conference on Service Oriented Computing (ICSOC 2009), Stockholm, Sweden. November 2009
|
H.Foster, A.Mukhija, D.S. Rosenblum and S.Uchitel |
|
|
8 |
2009 |
Architecture and Behaviour Analysis for Engineering Service Modes (PESOS09)
in Proceedings of the 2nd Workshop on Principles of Engineering Service Oriented Systems (PESOS) at ICSE 2009, Vancouver, Canada. May 2009
|
H.Foster |
|
|
9 |
2008 |
WS-Engineer 2008: A Service Architecture, Behaviour and Deployment Verification Platform (ICSOC08)
in Proceedings of the 6th International Conference on Service Oriented Computing (ICSOC 2008), Sydney, Australia. December 2008
|
H.Foster |
|
|
10 |
2008 |
A Model-Driven Approach to Dynamic and Adaptive Service Brokering using Modes (ICSOC08)
in Proceedings of the 6th International Conference on Service Oriented Computing (ICSOC 2008), Sydney, Australia. December 2008
|
H.Foster, A.Mukhija, S.Uchitel and D.Rosenblum |
|
|
11 |
2008 |
Safety and Response-Time Analysis of an Automotive Accident Assistance Service (ISOLA08)
in Proceedings of ISoLA 2008, Chalkidiki, Greece. October 2008
|
A.Argent-Katwala, A.Clark, H.Foster, S.Gilmore, P.Mayer and M.Tribastone |
|
|
12 |
2008 |
Tool Support for Safety Analysis of Service Composition and Deployment Models (ICWS08)
in Proceedings of ICWS 2008, Beijing, China. September 2008
|
H.Foster |
|
|
13 |
2008 |
Leveraging Modes and UML2 for Service Brokering Specifications (MDWE08)
in Proceedings of 4th Model-Driven Web Engineering Workshop (MDWE 2008), Toulouse, France. September 2008
|
H.Foster, S.Uchitel, J.Magee and J.Kramer |
|
|
14 |
2008 |
Leveraging Integrated Tools for Model-Based Analysis of Service Compositions (ICIW08)
|
H.Foster and P.Mayer |
|
|
15 |
2007 |
MTSA: The Modal Transition System Analyser Eclipse Plugin (ETX07)
ETX2007 Workshop at OOPSLA07
|
N. D'Ippolito, H.Foster, and S.Uchitel |
|
|
16 |
2007 |
Model Checking Service Compositions under Resource Constraints (FSE07)
Proceedings of ESEC/FSE 2007, Dubrovnik, Croatia. Sept 2007.
|
H.Foster, W. Emmerich, J.Kramer, J.Magee, D.Rosenblum and S.Uchitel |
|
|
17 |
2007 |
Towards Self-Management in Service-oriented Computing with Modes (WESOA07)
Proceedings of the Workshop on Engineering Service-Oriented Applications (WESOA07), Vienna, Austria. Sept 2007.
|
H.Foster, S.Uchitel, J.Kramer and J.Magee |
|
|
18 |
2006 |
Adaptable Software Architectures and Task Synthesis for UAVs (SEAS06)
Systems Engineering for Autonomous Systems (SEAS) DTC Conference, Edinburgh, UK, July 2006
|
H.Foster, J.Magee, J.Kramer and S.Uchitel |
|
|
19 |
2006 |
A Tool for Model-Based Verification of Web Service Compositions and Choreography (ICSE06)
IEEE International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 2006
|
H.Foster, S.Uchitel, J.Magee and J.Kramer |
|
|
20 |
2006 |
Model-Based Analysis of Obligations in Web Service Choreography (ICIW06)
IEEE International Conference on Internet & Web Applications and Services (ICIW) 2006, Guadeloupe, French Caribbean
|
H.Foster, S.Uchitel, J.Magee and J.Kramer |
|
|
21 |
2005 |
Leveraging Eclipse for Integrated Model-Based Engineering of Web Service Compositions (ETX05)
ETX2005 Workshop at OOPSLA05, San Diego, CA, October 2005.
|
H.Foster, S.Uchitel, J.Magee and J.Kramer |
|
|
22 |
2005 |
Using a Rigorous Approach for Engineering Web Service Compositions: A Case Study (SCC05)
IEEE International Conference on Services Computing, Orlando, FL, July 2005.
|
H.Foster, S.Uchitel, J.Magee, J.Kramer and M.Hu |
|
|
23 |
2005 |
Tool Support for Model-Based Engineering of Web Service Compositions (ICWS05)
IEEE International Conference on Web Services (ICWS) 2005, Orlando, FL, July 2005
|
H.Foster, S.Uchitel, J.Magee and J.Kramer |
|
|
24 |
2004 |
Compatibility Verification for Web Service Choreography (ICWS04)
IEEE International Conference on Web Services, San Diego, CA, July 2004
|
H.Foster, S.Uchitel, J.Magee and J.Kramer |
|
|
25 |
2003 |
Model-Based Verification of Web Service Compositions (ASE03)
IEEE Automated Software Engineering, Montreal, Canada, 2003
|
H.Foster, S.Uchitel, J.Magee and J.Kramer |
|
| Conference (Non-Refereed) |
|