> Home Page   > Areas   > Staff   > Publications   > Seminars   > News   >  Dessert-club   > Conference history  > DESSERT 2010 

Results:

41 Kharchenko V.S. Multiversion systems: models, reliability, design technologies // Proceedings of 10th European Conference on Safety and Reliability, Munich, Germany, 13-17 September, 1999. - vol. 1. - Pp. 73-77.
42 Kharchenko V.S., Gridin Yu.V. Models of on-board multiprocessing computer systems with categorization of requests under hardware and software faults // Space Science and Technology.- 1999.- Vol.5.- Num.5/6.- Pp.103-109. (In Russian).
43 Gostishchev V.V., Kharchenko V.S. Unified reconfiguration algorithms of matrix computing systems// Engineering Simulation.- 1999.- Num.1.- Pp.27-36. (In Russian).
44 Kharchenko V.S. Fesenko G.V., Sidorenko N.F. Systems with multistage degradation and self-recovery // Railway I&C.- 1999.- Num.6.- Pp.18-24. (In Russian).
45 Kharchenko V.S. ?ishchenko S.V., Il'ina O.A. ??del of software development taking into account design defects // Railway I&C.- 1999.- Num.2.-Pp.12-18. (In Russian).
46 Kharchenko V.S., Vilkomir S.A., Sklyar V.V. A Compensation of Human Errors in Software by Matrix-Graph Method of Choice Software Reliabiliy Models // Railway Instrumentation and Control Systems.- 1999.- n 6.- P. 48-51 (In Russian).
47 Kharchenko V.S., Zenin A.P., Sklyar V.V. ??thods of Multi-Parameter Adaptation Control Systems with Majority Reservation // Space Science and Technology.- 1999.- V. 5.- n 5/6.- P. 81-91. (In Russian)
48 Kharchenko V.S., Gridin Yu.V., Melnikov V.A., ?ukminov V.A. Perspective directions of defect-tolerant computer systems development.// Foreign Radioelectronics.- 2000. - Num.7.- Pp. 21-29. (In Russian).
49 Kharchenko V.S. ??dels and algorithms of adaptive multilevel majority computer-based control systems reconfiguration // ?utomatics and Telemechanics.- 2000.- Num.12.- Pp. 89-101. (In Russian).
50 Kharchenko V.S., Cherepakhin D.A., Sidorenko N.F. Safety assessment of I&C assuming multistage // Railway I&C.- 2000.- Num.4.- Pp.97-98. (In Russian).
51 Kharchenko V.S., Sklyar V.V. ?ultiversion systems with version-threshold ?daptation and graph-event assessment method // Railway I&C.- 2000.- Num.4.- Pp. 23-27. (In Russian).
52 Kharchenko V.S., Shurigin O.V. Deterministic assessment of fault-tolerant duplicated computing structures with combined redundancy // Engineering Simulation.- 2000.- Num.3.- Pp.31-38. (In Russian).
53 Kharchenko V.S., Vilkomir S.A. The formalized models of software verification assessment // Proceedings of 5th International Conference Probabilistic Safety Assessment and Management, Osaka, Japan, November, 27-Desember, 1, 2000. -Vol.4.- Pp. 2383-2388.(In English).
54 Kharchenko V.S. The probabilistic assessment of survivability and safety of an unmanned control systems with multistage degradation by use of QD-diagrams // Proceedings of 5th International Conference Probabilistic Safety Assessment and Management, Osaka, Japan, November, 27-Desember, 1, 2000. - Vol.1.-Pp. 525-531
55 Kharchenko V.S. ??dels and reconfiguration algorithms of adaptive majority systems // ?utomatics and Telemechanics. - 2000.- Num.12.- Pp. 89-101. (In Russian).
56 Kharchenko V.S., Sklyar V.V., Vilkomir S.A. Choice of software reliability models for critical application systems // Control Systems and Computers. -2000. - Num.3.- Pp.59-69 (In Russian).
57 Vilkomir S.A., Kharchenko V.S. An "asymmetric" approach to the assessment of safety-critical software during certification and licensing // Proceedings of the ESCOM - SCOPE 2000 Conference "PROJECT CONTROL: THE HUMAN FACTOR", Munich, Germany, 18 - 20 April, 2000. - Pp. 467 - 475.
58 Kharchenko V.S., Sklyar V.V. The Graph-Event Model for Reliability Assessment and a Consecution of Adaptive Multiversion Systems Architecture Choice // Railway Instrumentation and Control Systems.- 2000.- n 4.- P. 64-67. (In Russian).
59 Kharchenko V.S., Sklyar V.V., Vilkomir S.A. A Choice of Software Reliability Models for Critical Application Systems // Control Systems and Computers.- 2000.- n 2.- P. 59-69 (In Russian).
60 Kharchenko V.S., Sclyar V.V., Gordejev A.A., Tokarev V.I., Gerasimenko A.D., Beliy U.A. Use of the metrics Holstead at an assessment of safety of critical software.// Radio-Electronic and Computer Systems (Ukraine). - 2000. - Num.. 4(4). - P. 145-150. (In Russian).
<< < 1 2 3 4 5 6 7 8 9 > >>