Source: http://homepages.cs.ncl.ac.uk/alexander.romanovsky/home.formal/ws.html
Timestamp: 2019-04-23 00:45:30+00:00

Document:
F. Tartanoglu, V. Issarny, A. Romanovsky, N. L_(c)vy: Coordinated Forward Error Recovery for Composite Web Services. SRDS 2003. Pp. 167-176. 2003.
F. Tartanoglu, V. Issarny, A. Romanovsky, N. Levy. Dependability in the Web Services Architecture. In: Architecting Dependable Systems, de Lemos, R., Gacek, C., Romanovsky, A., (eds.). pp. 90-109. LNCS 2677. Springer. 2003.
Tartanoglu, F., Levy, N., Issarny, V., Romanovsky, A. Using the B Method for the Formalization of Coordinated Atomic Actions, CS-TR: 865. School of Computing Science, Newcastle University, Oct 2004.
F. Tartanoglu, V. Issarny, N. Levy, A. Romanovsky. Formalizing Dependability Mechanisms in B: From Specification to Development Support. ICSE 2003 Workshop on Software Architectures for Dependable Systems. Portland, Oregon – USA 3 May, 2003.
A. Romanovsky, P. Periorellis, A. F. Zorzo: Structuring Integrated Web Applications for Fault Tolerance. ISADS 2003. Pp. 99-106. 2003.
A. F. Zorzo, P. Periorellis, A. Romanovsky: Using Co-ordinated Atomic Actions for Building Complex Web Applications: A Learning Experience. WORDS 2003. Pp. 288-295. 2003.
C. B. Jones, A. B. Romanovsky, I. Welch: A Structured Approach to Handling On-Line Interface Upgrades. COMPSAC 2002. Pp. 1000-1005. 2002.
C. B. Jones, P. Periorellis, A. B. Romanovsky, Ian Welch: Structured Handling of Online Interface Upgrades in Integrating Dependable Systems of Systems. FIDJI 2002. Pp. 73-86. 2002.
P. Li, Y. Chen, A. Romanovsky. Measuring the Dependability of Web Services for Use in e-Science Experiments. Volume: D. Penkler, M. Reitenspiess, and F. Tam (Eds.): ISAS 2006, LNCS 4328, pp. 193 - 205, 2006.
Y. Chen, A. Romanovsky. Improving Service Availability without Improving Availability of Individual Services, School of Computing Science, Newcastle University, CS-TR: 1025. May 2007.
The WS-Mediator architecture for dependable WS integration – the web site with downloads.
A. Gorbenko, V. S. Kharchenko, A. B. Romanovsky. On composing dependable Web Services using undependable web components. Int. Journal on Simulation and Process Modelling. Vol. 3, Issue 1/2, pp 45-54. Inderscience Publishers, 2007.
A. Gorbenko, V. S. Kharchenko, P. T. Popov, A. B. Romanovsky. Dependable Composite Web Services with Components Upgraded Online. WADS 2004. Pp. 92-121. 2004.
Kharchenko, V., Popov, P., Romanovsky, A. On Dependability of Composite Web Services with Components Upgraded Online. Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), Florence, Italy, June 28-July 1, 2004 (Supplemental Volume) pp. 287-291, IEEE Computer Society 2004.
Gorbenko, A., Kharchenko, V., Popov, P. and Romanovsky, A. Dependable Composite Web Services with Components Upgraded Online. In: Architecting Dependable Systems III, de Lemos, R., Gacek, C. and Romanovsky, A. (eds.) pp. 92-121. LNCS 3549. 2005.
A. Gorbenko A. Romanovsky, V. Kharchenko. How to Enhance UDDI with Dependability Capabilities . In Proceedings of Computer Software & Applications Conference (COMPSAC 08), Volume II - Workshop Papers, pp. 1023-1028, July 2008, Turku, Finland. IEEE Computer Society, Conference Publishing Services, 2008.
A. Gorbenko, V. Kharchenko, O. Tarasyuk, Y. Chen, Alexander Romanovsky. The Threat of Uncertainty in Service-Oriented Architecture. 1st Int. workshop on Software Engineering for Resilient Systems - SERENE 2008. November 17-19, 2008. Newcastle upon Tyne (UK). ACM DL.
A. Gorbenko, V. Kharchenko, A. Romanovsky, A. Mikhaylichenko. Experimenting with Exception Propagation Mechanisms in Service-Oriented Architectures. 4th International Workshop on Exception Handling (WEH.08), at ACM SIGSOFT 2008/FSE 16, Altanta, USA. 14 November 2008. ACM DL.

References: V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V.