|
Results: |
| 1 |
??????? ?.?., ???????? ?.?. ?????????? ?????? ?????????? ???????????? ???????????? ???????????. ????????? (Formal Methods of Critical Software Development. Practical textbook) / ????. ???????. ??? ???. ???????? ?.?.– ???????: ???. ????????. ??-? «?????. ?????. ??-?», 2009. – 116 ?. (ISBN 978-966-662-184-2) |
| 2 |
A. Gorbenko, I.E. Komari. FME(C)A-Technique of Computer Network Reliability and Criticality Analysis // Proc. East-West Design and Test Workshop (EWDT'2006). – Sochi (Russia), 2006. – P. 163-167 |
| 3 |
A. Gorbenko, V. Kharchenko, A. Romanovsky. Vertical and Horizontal Composition in Service-Oriented Architecture // Proc. Int. Workshop on Methods, Models and Tools for Fault Tolerance (MeMoT'2007). – Oxford (UK), July 3, 2007. – P. 139-147 |
| 4 |
A. Gorbenko, V. Kharchenko. FMEA-technique of Web Services Analysis and Dependability Ensuring // Proc. International Workshop on "Rigorous Engineering of Fault-Tolerant Systems" (REFT'2005). – Newcastle (UK), 2005. – P. 74-83 |
| 5 |
Gorbenko A., Kharchenko V. FME(C)A Technique of Assessment and Ensuring of a Corporate Computer Network Fault-Tolerance and Safety // Proc. 6th Probabilistic Safety Assessment and Management Conference (PSAM), Puerto Rico, 2002. – P. 1891-1896. (Elsevier Science, ISBN-10: 008044122X) |
| 6 |
Babeshko E., Kharchenko V., Gorbenko A. Applying F(I)MEA-technique for SCADA-based Industries Control Systems Dependability Assessment and Ensuring // Proc. 3th Int. Conf. on Dependability of Computer Systems (DepCos-RELCOMEX'2008). – Szklarsko Poreba (Poland), 26-28 Jun., 2008. – P. 309-315 (ACM DL, ISBN: 978-0-7695-3179-3) |
| 7 |
Gorbenko, A. Romanovsky, V. Kharchenko. How to Enhance UDDI with Dependability Capabilities // Proc. 32nd Annual IEEE Int. Computer Software and Applications Conf. (COMPSAC'2008). – Turku (Finland), 28 Jul. - 1 Aug., 2008. – P. 1023-1028 (ISBN: 978-0-7695-3262-2) |
| 8 |
Gorbenko, V. Kharchenko, O. Tarasyuk, Y. Chen, A. Romanovsky. The Threat of Uncertainty in Service-Oriented Architecture Proc. RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems (SERENE'2008). November 17-19, 2008, Newcastle upon Tyne, UK, pp. 49-54. (ACM DL, ISBN: 978-1-60558-275-7) |
| 9 |
Gorbenko, A. Romanovsky, V. Kharchenko, A. Mikhaylichenko. Experimenting with Exception Propagation Mechanisms in Service-Oriented Architecture // Proc. 4th Int. Workshop on Exception Handling (WEH'08) co-located with the 16th ACM SIGSOFT Int. Symposium on the Foundations of Software Engineering, Atlanta, GA, USA, November 09-15, 2008, pp. 1-7 (ACM DL, ISBN: 978-1-60558-229-0) |
| 10 |
Komari E., Kharchenko V., Babeshko E., Gorbenko A., Siora A. Extended Dependability Analysis of Information and Control Systems by FME(C)A-technique: Models, Procedures, Application // Proc. 4th Int. Conf. on Dependable Computer Systems (DepCoS-RELCOMEX'09), Brunow, Poland, 30 June-2 July 2009, pp. 25-32 (IEEE Computer Society, ISBN: 978-0-7695-3674-3) |
| 11 |
Y. Chen, A. Romanovsky, A. Gorbenko, V. Kharchenko, S. Mamutov, O. Tarasyuk. Benchmarking Dependability of a System Biology Application. 14th IEEE Int. Conference on Engineering of Complex Computer Systems (ICECCS 2009), Potsdam, Germany, pp. 146 – 153 (ISBN: 978-0-7695-3702-3) |
| 12 |
Gorbenko, V. Kharchenko, S. Mamutov, O. Tarasyuk, Yu. Chen, A. Romanovsky. Real Distribution of Response Time Instability in Service-Oriented Architecture. Proc. 29th IEEE International Symposium on Reliable Distributed Systems (SRDS'2010), Delhi (India), 31 Oct-3 Nov 2010, pp.92 – 99 (ISSN: 1060-9857, ISBN: 978-0-7695-4250-8) |
| 13 |
A. Gorbenko, V. Kharchenko, P. Popov, A. Romanovsky Dependable Composite Web Services with Components Upgraded Online In R. de Lemos et al. (Eds.): Architecting Dependable Systems III, LNCS 3549. Berlin, Heidelberg: Springer-Verlag, 2005. – pp. 92 – 121 (ISSN 0302-9743, ISBN-10 3-540-28968-2) |
| 14 |
A. Gorbenko, V. Kharchenko, A. Furmanov, O. Tarasyuk. F(I)MEA-Technique of Web Services Analysis and Dependability Ensuring. In M. Butler et al. (Eds.): Rigorous Development of Complex Fault-Tolerant Systems, LNCS 4157. Springer-Verlag, 2006, pp. 153-167 (ISSN 0302-9743, ISBN-10 3-540-48265-2) |
| 15 |
A. Gorbenko, I.E. Komari, V. Kharchenko, A. Mikhaylichenko. Exception Analysis in Service-Oriented Architecture. In H. C. Mayer, D. Karagiannis (eds.): Information Systems Technology and its Application, GI-Edition Lectures Notes in Informatics (LNI), P107. GmbH, Bonn: Kölen Druck+Verlag, 2007, pp. 228–233 (ISBN 978-3-88579-201-9, ISSN 1617-546) |
| 16 |
A. Gorbenko, V. Kharchenko, A. Romanovsky. Using Inherent Service Redundancy and Diversity to Ensure Web Services Dependability / In M. Butler, C. Jones, A. Romanovsky, E. Troubitsyna (Eds.): Methods, Models and Tools for Fault Tolerance, LNCS 5454, Springer, 2009, pp. 324-341 (ISSN 0302-9743, ISBN-10 3-642-00866-6) |
| 17 |
A. Gorbenko, O. Tarasyuk, V. Kharchenko. Practical aspects of applying the Invariant-based approach to the formal system development and verification. In T. Walkowiak, J. Mazurkiewicz, J. Sugier and W. Zamojski (Eds.). Monograph of System Dependability. Vol. 2. Dependability of Networks. – Wroclaw: Oficyna Wydawnicza Politechnki Wroclawskiej, 2010, pp. 129–141 (ISBN: 978-83-7493-526-5) |
| 18 |
A. Gorbenko, O. Tarasyuk, Y. Prokhorova1 et all. Development of Safety-Critical Systems in Event-B Using Fault Analysis. In L. Petre, K. Sere, E. Troubitsyna. Dependability and Computer Engineering: Concepts for Software-Intensive Systems. – IGI Global. To appear in 2011. http://www.igi-global.com/bookstore/titledetails.aspx? titleid=49576 |
| 19 |
A. Gorbenko, V. Kharchenko, A. Romanovsky. Measuring and Dealing with the Uncertainty of the SOA Solutions. In V. Cardellini, E. Casalicchio, K. Castelo Branco, et al. (Eds.). Performance and Dependability in Service Computing: Concepts, Techniques and Research Directions. – IGI Global. To appear in 2011. http://www.igi-global.com/bookstore/titledetails.aspx?TitleId=49585 |
| 20 |
?. Gorbenko, V. Kharchenko, A. Romanovsky. On Composing Dependable Web Services Using Undependable Web Components // International Journal of Simulation and Process Modelling Vol. 3, Issue 1/2, 2007. – P. 45-54 (Inderscience Publishers, ISSN 1740-2123) |
| 1 2
3
4
5
6
7
>
>>
| |
|