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.
Chen, Y. and Romanovsky, A. Improving the Dependability of Web Services Integration. IT Professional Vol. 10, Issue 3, pp 29 – 35. IEEE Computer Society, 2008
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.
WS fault tolerance and composition:
Gorbenko, A., Mikhaylichenko, A., Kharchenko, V., Romanovsky, A. Experimenting With Exception Handling Mechanisms Of Web Services Implemented Using Different Development Kits. School of Computing Science, Newcastle University, CS-TR: 1010, Mar 2007
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.
Measurements in SOA and WSs:
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.