Dr. Sergiy Vilkomir - Publications

Software Quality Research Laboratory (SQRL), Department of Electrical Engineering and Computer Science,
College of Engineering, University of Tennessee, USA

CONTACT DETAILS - EXPERIENCE - RESEARCH - TEACHING - PUBLICATIONS

Publications

• Book chapter - 1
  
  
• Journals - 14
  
  
• International conferences - 27
  
  
• Other conferences (Russia and Ukraine) - 16
  
  
• Standards - 3

• Documents and Citations indexed by ResearchIndex
  
  
• List of publications from the ACM Portal.
  
  
• Documents indexed by CSB, The Collection of Computer Science Bibliographies
  
  
• List of publications from the DBLP Bibliography Server
  
  
• IEEE publications from IEEE Xplore
  
  
• List of publications from Google Scholar
  
  
• Bibliographic entries in Zetoc, the British Library's Electronic Table of Contents database
  
  

2008

1. Sergiy Vilkomir, Tom Swain, Jesse Poore and Kevin Clarno. Modeling input space for testing scientific computational software: a case study. To appear in Proceedings of the International Conference on Computational Science 2008 (ICCS 2008), Krakow, POLAND, June 23-25, 2008, Part III, LNCS 5103, pp. 291-300.
   
   
2. Sergiy A. Vilkomir, David L. Parnas, Veena B. Mendiratta, Eamonn Murphy. Computer Systems Availability Evaluation Using a Segregated Failures Model. To appear in Quality and Reliability Engineering International Journal, 2008.
   
   
3. Sergiy A. Vilkomir, Tom Swain and Jesse Poore. Combinatorial test case selection with Markovian usage models. Proceedings of the 5th International Conference on Information Technology: New Generations (ITNG 2008), April 7-9, 2008, Las Vegas, Nevada, USA, IEEE Computer Society, pp. 3-8. ( , 585 K)
   
   
4. Sergiy A. Vilkomir and Jonathan P. Bowen. From MC/DC to RC/DC: Formalization and Analysis of Control-Flow Testing Criteria. Chapter in “Formal Methods and Testing”, R.M. Hierons et al. (Eds.), Springer Berlin / Heidelberg, Lecture Notes in Computer Science, Volume 4949, 2008, DOI 10.1007/978-3-540-78917-8, pp. 240-270.
   
   
5. Robert M. Hierons, Kiril Bogdanov, J. P. Bowen, R. Cleaveland, John Derrick, Jeremy Dick, M. Gheorghe, Mark Harman, K. Kapoor, Paul Krause, G. Luettgen, A. J. H. Simons, Sergiy A. Vilkomir, M. R. Woodward and Hussein Zedan. Working Together: Formal Methods and Testing, to appear in ACM Computing Surveys, 2008
   
   

   2007

6. David Parnas and Sergiy Vilkomir. Precise Documentation of Critical Software. Proceedings of the 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) , Dallas, Texas, USA, November 14 - 16, 2007, pp. 237-244.
   
   
7. David Parnas and Sergiy Vilkomir. Using Precise Documentation to Improve the Trustworthiness of Critical Software. Radioelectronic and Computer Systems journal (Ukraine), Vol. 8 (27), 2007, pp. 163-172. In Russian. ( , 324 K).
   
   

   2006

8. Sergiy Vilkomir, Jonathan Bowen and Aditya Ghose. Formalization and assessment of regulatory requirements for safety-critical software. Innovations in Systems and Software Engineering - A NASA Journal, Volume 2, Numbers 3-4, December 2006, pp. 165-178, DOI 10.1007/s11334-006-0006-8, ( , 813 K).
   
   
9. Colm Quinn, Sergiy Vilkomir, David Parnas and Srdjan Kostic. Specification of Software Component Requirements Using the Trace Function Method. Proceeding of the International Conference on Software Engineering Advances (ICSEA 2006), October 29 - November 3, 2006, Tahiti, French Polynesia, IEEE Computer Society, (, 196 K).
   
   
10. Sergiy A. Vilkomir. Using MC/DC and RC/DC criteria for specification-based testing of safety-critical software. Radioelectronic and Computer Systems journal (Ukraine), Vol. 6 (18), 2006, pp. 130-135.
    
    
11. Sergiy A. Vilkomir and J. P. Bowen. From MC/DC to RC/DC: Formalization and Analysis of Control-Flow Testing Criteria, Formal Aspects of Computing, Vol. 18, Num. 1, March 2006, pp. 42-62. DOI: 10.1007/s00165-005-0084-7, (, 200 K).
    
    
12. Sergiy A. Vilkomir, David L. Parnas, Veena B. Mendiratta, Eamonn Murphy. Segregated Failures Model for Availability Evaluation of Fault-Tolerant Systems, Proceedings of the 29th Australasian Computer Science Conference (ACSC 2006), Tasmania, Hobart, Australia, January 16 - 19, 2006, CRPIT vol. 48, ACS, pp. 55-61. ( , 196 K)
    
    

    2005

13. Sergiy A. Vilkomir, Paul Tips, David L. Parnas, J. Monahan, T. O'Connor. Evaluation of Automated Testing Coverage: a Case Study of Wireless Secure Connection Software Testing, Supplementary proceedings of the 16th IEEE International Symposium on Software Engineering Reliability (ISSRE 2005), November 8-11, 2005, Chicago, Illinois, USA, pp. 3.123-3.134. (abstract , 72 K) (slides , 1.1 MB)
    
    
14. Sergiy A. Vilkomir, David L. Parnas, Veena B. Mendiratta, Eamonn Murphy. Availability evaluation of hardware/software systems with several recovery procedures, Proceedings of the 29th IEEE Annual International Computer Software and Applications Conference (COMPSAC 2005), Edinburgh, Scotland, July 25-28, 2005, IEEE Computer Society, pp. 473-478. ( , 132 K)
    
    
15. Aneesh Krishna, Aditya K. Ghose, Sergiy A. Vilkomir. 'Loosely-coupled' consistency between agent-oriented conceptual models and Z specifications, Proceedings of the Seventeenth International Conference on Software Engineering and Knowledge Engineering (SEKE'05), July 14-16, 2005, Taipei, Taiwan, Republic of China. ( , 596 K)
    
    
16. Robert L. Baber, David L. Parnas, Sergiy A. Vilkomir, Paul Harrison, Tony O'Connor. Disciplined Methods of Software Specification: A Case Study, Proceedings of the International Conference on Information Technology Coding and Computing (ITCC 2005), April 4-6, 2005, Las Vegas, NV, USA, IEEE Computer Society, pp. 428-437. ( , 676 K)

    2004

17. A. Krishna, A. Ghose, and S. Vilkomir. Consistency preserving co-evolution of formal and informal models, Proceedings of World Congress on Lateral-Computing (WCLC-2004), Bangalore, India, December 17-19, 2004.
    
    
18. A. Krishna, A. Ghose, and S. Vilkomir. Co-Evolution of Complementary Formal and Informal Requirements, Proceedings of 7th International Workshop on Principles of Software Evolution (IWPSE'04), September 06 - 07, 2004, Kyoto, Japan, pp. 159-164 ( , 944 K)
    
    
19. S. Vilkomir, A. Ghose and A. Krishna. Combining agent-oriented conceptual modeling with formal methods, Proceedings of 15th Australian Software Engineering Conference (ASWEC 2004), 13-16 April 2004, Melbourne, Australia, IEEE Computer Society, pp. 147-157 ( , 1200 K)
    
    
20. A. Krishna, S. Vilkomir and A. Ghose. A case study of combining i* framework and the Z notation, Proceedings of ICEIS-2004: The 6th International Conference on Enterprise Information Systems, Porto, Portugal, 14-17 April 2004 ( , 443K)
    
    
21. S. Vilkomir and A. Ghose. Development of a normative package for safety-critical software using formal regulatory requirements, Proceedings of the Product Focused Software Process Improvement: 5th International Conference, PROFES 2004, Kansai Science City, Japan, April 5-8, 2004, Lecture Notes in Computer Science, Springer-Verlag, LNCS 3009, 2004, pp. 523 - 537 ( , 243K)
    
    

    2003

22. V. Kharchenko and S. Vilkomir. Assessment of critical software verification: criteria, models and implementation, Control Systems and Computers, num. 6, 2003, pp. 60 - 68 (in Russian)
    
    
23. S. A. Vilkomir, K. Kapoor and J. P. Bowen. Tolerance of Control-Flow Testing Criteria, Proceedings of 27th IEEE Annual International Computer Software and Applications Conference ( COMPSAC 2003), Dallas, Texas, USA, 3-6 November 2003. IEEE Computer Society Press, 2003, pp. 182-187 ( , 136K)

    2002

24. S. A. Vilkomir and J. P. Bowen. Establishing Formal Regulatory Requirements for Safety-Critical Software Certification, Proceedings of AQuIS 2002: 5th International Conference on Achieving Quality In Software and SPICE 2002: 2nd International Conference on Software Process Improvement and Capability Determination,Venice, Palazzo Papafava, March 13-15, 2002, pages 7-18 ( , 88K)
    
    
25. S. A. Vilkomir and J. P. Bowen. Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing, Proceedings of ZB2002: 2nd International Conference of Z and B Users, Grenoble, France, 23-25 January 2002. Didier Bert, Jonathan P. Bowen, Martin Henson and Ken Robinson (eds.), Lecture Notes in Computer Science, Springer-Verlag, LNCS 2272, 2002, pages 295 - 313 ( , 149K)

    2001

    
26. S. A. Vilkomir and J. P. Bowen. Formalization of software testing criteria using the Z notation, Proceedings of COMPSAC 2001: 25th IEEE Annual International Computer Software and Applications Conference, Chicago, Illinois, USA, 8--12 October 2001. IEEE Computer Society Press, 2001, pp. 351 - 356. ( , 473K; PostScript file, 76K).

    2000

27. V. Kharchenko and S. Vilkomir. The Formalized Models of an Evaluation of a Verification Process of Critical Digital Systems Software. - Proceedings of PSAM 5, International Conference on Probabilistic Safety Assessment and Management, November 27 - December 1, 2000, Osaka, Japan, 2000, Vol. 4, pp. 2383 - 2388.
    
    
28. S. Vilkomir and V. Kharchenko. An "Asymmetric" Approach to the Assessment of Safety-Critical Software During Certification and Licensing, - PROJECT CONTROL: THE HUMAN FACTOR, Proceedings of ESCOM-SCOPE 2000 Conference, 18th - 20th April 2000, Munich, Germany, pp. 467 - 475. ( , 121K)
    
    
29. M. Yastrebenetsky, Y. Rosen, V. Vasilchenko, S. Vilkomir. Elaboration of Common Regulatory Requirements on Modernized NPP Instrumentation and Control Systems Important to Safety.- Foresight and Precaution. Proceedings of ESREL 2000, SARS and SRA-Europe Annual Conference, Edinburgh, Scotland, 15-17 May, 2000; Volume 1, pp. 813 - 817.
    
    
30. V. Kharchenko, Sklyar V., Vilkomir S. On Choosing Software Reliability Models for Critical Application Systems. - Control Systems and Computers, num. 3, 2000, pp. 59 - 69 (in Russian)
    
    
31. NP 306.7.02/2.041-2000. Methods of Assessment of Safety-Important NPP I&C Systems Conformity to Requirements of Nuclear and Radiation Safety. - M. Yastrebenetsky, S.Vinogradskaya, Y. Rosen, S. Vilkomir, V. Goldrin, L. Spektor, O. Butova, V. Kharchenko.- Nuclear Regulatory Administration of Ukraine, Kiev, 2000. Approved of 27.11.2000, N 214 (in Russian).
    
    
32. NP 306.5.02/3.035-2000. Requirements of Nuclear and Radiation Safety to Safety-Important NPP I&C Systems. - M. Yastrebenetsky, Y. Rosen, O. Butova, S. Vilkomir, S. Vinogradskaya, V. Goldrin, L. Spektor, V. Kharchenko. - Nuclear Regulatory Administration of Ukraine, Kiev, 2000. Approved of 28.03.2000, N 19 (in Russian).
    
    

    1999

33. Vilkomir S., V. Kharchenko. Methodology of the review of software for safety important systems. - Safety and Reliability. Proceedings of ESREL'99 - The Tenth European Conference on Safety and Reliability, Munich-Garching, Germany, 13-17 September 1999, Volume 1, pp. 593-596. ( , 81K)
    
    
34. Vilkomir S., V. Kharchenko, Ponomaryev A., Gorda A. The System Safety Assessment by the Use of Programming Tools during the Licensing Process. - Proceedings of the 17th International System Safety Conference, Orlando, Florida, USA, August 16 - 21, 1999, pp. 222 - 227. ( , 37K)
    
    
35. Vilkomir S. Requirements to Software during Licensing of NPP's Microprocessor Systems, important for Safety. - Models and Systems, num. 1, 1999, Kharkov, pp. 20 - 22. (in Russian).
    
    
36. V. Kharchenko, Vilkomir S., Sklyar V. Compensation of human errors in software by the matrix-graph method of reliability models fitting, - Instrumentation and Control Systems at Rail Transport, 6 (21), 1999, pp. 48 - 51 (in Russian).

    1998

37. Vilkomir S., Zhidok G. Experience of licensing of software for digital safety related systems in Ukraine. - Project Control for 2000 and Beyond. Proceedings of ESCOM- ENCRESS 98, 27-29 May 1998, Rome, Italy, pp. 328-331
    
    
38. M. Yastrebenetsky, Y. Rozen, S.Vinogradskaja, S. Vilkomir, G. Zhidok. Development of Regulatory Requirement to NPP Instrumentation and Control Systems in Ukraine. - Proceedings of the Sixth International Conference on Nuclear Engineering (ICONE-6), USA, May 10-15, 1998

    1997

39. Zhidok G.I., Yastrebenetsky M.A., Vilkomir S.A. Legislative Policy and Standards Preparedness for Licensing Process of NPP's I&C Systems. - Proceedings of the International Topical Meeting on VVER Instrumentation and Control, April 21-24, 1997, Congress Centre, Prague, Czech Republic, pp. 113-122.

    1995

40. Vilkomir S., Zhidok G.Software for Nuclear Power-Generating Unit Protection Systems: Safety and Reliability Problem. - Control Systems and Computers, num. 4/5, 1995, pp. 82-86 (in Russian).
    
    
41. M. Yastrebenetsky, L. Garagulya, V. Glygalo, V.Goldrin, G. Gidok, B. Evdeev, L.Spector, S. Vilkomir, S. Vinogradskaya. Reliability Analysis of VVER-1000 Information and Control Systems. - The 3rd JSME/ASME Joint International Conference on Nuclear Engineering. April 23-27, 1995, Kyoto International Conference Hall, Kyoto, Japan, Vol. 3, pp.1295-1298
    
    
42. S. Vilkomir. The use of software tools for reliability and safety examination of nuclear power plants control systems, Proceedings of the 1st Ukrainian conference on Reliability, Kiev, 1995 (in Russian).

    1985 - 1994 (all in Russian)

43. S. Vilkomir. Software for reliability and safety assessment of control systems. Proceedings of the 1st Ukrainian conference on Automatic Control "Automation-94", Vol. 2, Kiev, 1994.
    
    
44. Vilkomir S., Vinogradskaya S., Yastrebenetskii M. A Software Package for Evaluating the Reliability of Power Station Automation Systems. - Teploenergetica, num. 2, 1993, pp. 35-37. Translated into English, Thermal Engineering, num. 2, v. 40, Feb. 1993, p. 119-121
    
    
45. S. Vilkomir, M. Yastrebenetsky, S. Vinogradskaya, Y. Peltsman and V. Filippova. Program-information system "Reliability" for reliability assessment and maintenance of compound-structure control systems. Proceedings of the 5th USSR Conference on Reliability and Safety of Computer-Based System, Suzdal, November 1991.
    
    
46. S. Vilkomir. Reliability Estimation Programme "PRANA" and Its Application for Nuclear Power-Stations Control Systems Reliability Estimation, Proceedings of the Conference on Reliability and Safety Problems of Nuclear Power-Stations, Balakovskaya NPP, October 1991.
    
    
47. S. Vilkomir. Reliability analysis of computer control systems for nuclear units with VVER-1000 reactor. Proceedings of the Conference on Reliability and Safety Problems of Nuclear Power-Stations, Rovno NPP, May 1990.
    
    
48. Vilkomir S. Mathematical Model of a Stream of Failures in Microprocessor Information Complexes. - Electronnoe modelirovanie, num. 3, 1988, pp 55-58
    
    
49. Vilkomir S. On One Method of Reliability Estimation for Compound-Structure Systems With Restorable Elements. - Reliability and Quality Control, num. 2, 1988, pp. 14-17
    
    
50. S. Vilkomir and S. Vinogradskaya. Exact method of mean-time-between-failures estimation for compound-structure systems and its application for reliability assessment of NPP control systems. Proceedings of the 4th USSR Conference on Reliability and Safety of Computer-Based System, Suzdal, March 1988.
    
    
51. S. Vilkomir. Model of a stream of failures in microprocessor control complexes. Proceedings of the USSR Conference on Microprocessor Control Complexes, Grozniy, 1987.
    
    
52. S. Vilkomir and S. Vinogradskaya. Reliability comparison of various structures of control systems. Proceedings of the USSR Conference on Control systems in Power Engineering, Metallurgy, Chemical and Petrochemical Industry, Moscow, April 1987.
    
    
53. S. Vilkomir, V. Goldrin, Y. Kolesnikov, M. Yastrebenetsky et al. Reliability coefficients of "Complex-Titan 2" unit information system. Proceedings of the 3d USSR Conference on Development, Implementation and Maintenance of Computer Control Systems at Nuclear Power Plants with VVER-1000. Zaporozhye NPP, March 1987.
    
    
54. A. Gorelik, I. Rozenbaum, V. Homyak, S. Vilkomir et al. Development and implementation of ULU-2 FGU system at Rovno-3 NPP. Proceedings of the 3d USSR Conference on Development, Implementation and Maintenance of Computer Control Systems at Nuclear Power Plants with VVER-1000. Zaporozhye NPP, March 1987.
    
    
55. S. Vilkomir. Failures in microprocessor control systems. Proceedings of the 5th Moscow Conference on Cybernetic and Computer Engineering Problems, Moscow, 1986.
    
    
56. S. Vinogradskaya, S. Vilkomir and V. Artemchuk. Investigation of FGU hardware and functions reliability. Proceedings of the Symposium on Monitoring and Control in Power Engineering, Tbilisi, June 16-20, 1986.
    
    
57. V. Goldrin, Y. Kolesnikov, S. Vilkomir and E. Shahislamov. Serviceability of M64 information systems. Proceedings of the Symposium on Monitoring and Control in Power Engineering, Tbilisi, June 16-20, 1986.
    
    
58. S. Vilkomir. Influence of hardware failures on effectiveness of control systems. Proceedings of the Conference on Mathematical land Programmed Methods of Control Systems Designing, Penza, 1986.
    
    
59. GOST 24.701-86. Unified system of standards of computer control systems. Dependability of computer control systems. General positions. - Y. Zarenin, O. Dimerets, A. Svistelnik, L. Hvilevitskiy, M. Yastrebenetskiy, S. Vilkomir and others. - Moscow, 1986, 17 pp.
    
    
60. S. Vilkomir. Coherence of software reliability and fault-tolerance with reliability of NPP control systems. Proceedings of the 2nd Ukrainian Conference on Data-Processing Units for Monitoring and Control in Power Engineering, Kharkov, October 22-24, 1985.
    
    
61. M. Yastrebenetsky, E. Dudchenko, V. Krishnev and S. Vilkomir. Models of influence of reliability on control systems effectiveness in chemical industry. Proceedings of the 4th USSR Conference on Mathematical Modelling of Chemical Engineering Systems. Vol. 1. Odessa, September 10-12, 1985.
    
    

    

    ---

    Last update 30 April 2008 by Sergiy Vilkomir