BibSonomy ::  author :: Vilkomir ::

bookmarks

publications

• A probability model of system downtime with implications for optimal warranty design.
  Ben Flood and Brett Houlding and Simon P. Wilson and Sergiy Vilkomir Quality and Reliability Eng. Int.26(1):83-96(2010)
  to dblp by dblp on Feb 4, 2010, 12:00 AM
  URL | BibTeX | spam 
• Consistency preserving co-evolution of formal specifications and agent-oriented conceptual models.
  Aneesh Krishna and Sergiy A. Vilkomir and Aditya K. Ghose Information & Software Technology51(2):478-496(2009)
  to dblp by dblp on Nov 26, 2009, 12:00 AM
  URL | BibTeX | spam 
• Software Input Space Modeling with Constraints among Parameters.
  Sergiy A. Vilkomir and W. Thomas Swain and Jesse H. Poore COMPSAC 1, page 136-141. IEEE Computer Society, (2009)
  to dblp by dblp on Nov 26, 2009, 12:00 AM
  URL | BibTeX | spam 
• Using formal specifications to support testing.
  Robert M. Hierons and Kirill Bogdanov and Jonathan P. Bowen and Rance Cleaveland and John Derrick and Jeremy Dick and Marian Gheorghe and Mark Harman and Kalpesh Kapoor and Paul Krause and Gerald Lüttgen and Anthony J. H. Simons and Sergiy A. Vilkomir and Martin R. Woodward and Hussein Zedan ACM Comput. Surv.(2009)
  to dblp by dblp on Feb 27, 2009, 12:00 AM
  URL | BibTeX | spam 
• Using Formal Specifications to Support Testing
  R. M. Hierons and K. Bogdanov and J. P. Bowen and R. Cleaveland and J. Derrick and J. Dick and M. Gheorghe and M. Harman and K. Kapoor and P. Krause and G. Luettgen and A. J. H. Simons and S. Vilkomir and M. R. Woodward and H. Zedan ACM Computing Surveys(2008)
  to 2009 formal_specification tests by leonardo on Feb 11, 2009, 8:14 PM
  BibTeX | spam 
• Computer systems availability evaluation using a segregated failures model.
  Sergiy A. Vilkomir and David Lorge Parnas and Veena B. Mendiratta and Eamonn Murphy Quality and Reliability Eng. Int.24(4):447-465(2008)
  to dblp by dblp on Nov 7, 2008, 12:00 AM
  URL | BibTeX | spam 
• Modeling Input Space for Testing Scientific Computational Software: A Case Study.
  Sergiy A. Vilkomir and W. Thomas Swain and Jesse H. Poore and Kevin T. Clarno ICCS 3, volume 5103 of Lecture Notes in Computer Science, page 291-300. Springer, (2008)
  to dblp by dblp on Jun 30, 2008, 12:00 AM
  URL | BibTeX | spam 
• From MC/DC to RC/DC: Formalization and Analysis of Control-Flow Testing Criteria.
  Sergiy A. Vilkomir and Jonathan P. Bowen Formal Methods and Testing, volume 4949 of Lecture Notes in Computer Science, page 240-270. Springer, (2008)
  to dblp by dblp on Apr 21, 2008, 12:00 AM
  URL | BibTeX | spam 
• Precise Documentation of Critical Software.
  David Lorge Parnas and Sergiy A. Vilkomir HASE, page 237-244. IEEE Computer Society, (2007)
  to dblp by dblp on Feb 9, 2008, 12:00 AM
  URL | BibTeX | spam 
• Formalization and assessment of regulatory requirements for safety-critical software.
  Sergiy A. Vilkomir and Jonathan P. Bowen and Aditya K. Ghose ISSE2(3-4):165-178(2006)
  to dblp by dblp on Dec 8, 2007, 12:00 AM
  URL | BibTeX | spam 
• Formalization of Software Testing Criteria using the Z Notation.
  Sergiy A. Vilkomir and Jonathan P. Bowen COMPSAC, page 351-356. IEEE Computer Society, (2001)
  to dblp by dblp on Jul 25, 2007, 12:00 AM
  URL | BibTeX | spam 
• Loosely-coupled Consistency between Agent-oriented Conceptual Models and Z Specifications.
  Aneesh Krishna and Aditya K. Ghose and Sergiy A. Vilkomir SEKE, page 455-460. (2005)
  to dblp by dblp on Mar 1, 2007, 12:00 AM
  URL | BibTeX | spam 
• Segregated failures model for availability evaluation of fault-tolerant systems.
  Sergiy A. Vilkomir and David Lorge Parnas and Veena B. Mendiratta and Eamonn Murphy ACSC, volume 48 of CRPIT, page 55-61. Australian Computer Society, (2006)
  to dblp by dblp on Feb 14, 2007, 12:00 AM
  URL | BibTeX | spam 
• Specification of Software Component Requirements Using the Trace Function Method.
  Colm Quinn and Sergiy A. Vilkomir and David Lorge Parnas and Srdjan Kostic ICSEA, page 50. IEEE Computer Society, (2006)
  to dblp by dblp on Jan 17, 2007, 12:00 AM
  URL | BibTeX | spam 
• From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria.
  Sergiy A. Vilkomir and Jonathan P. Bowen Formal Asp. Comput.18(1):42-62(2006)
  to dblp by dblp on Jul 3, 2006, 12:00 AM
  URL | BibTeX | spam 
• Co-evolution of complementary formal and informal requirements
  A. Krishna and A. K. Ghose and S. A. Vilkomir Proceedings 7th Intl. Workshop on Principles of Software Evolution, page 159--164. (2004)
  to formal i-star requirements by neilernst on Mar 24, 2006, 4:34 PM
  URL | BibTeX | spam 
• Availability Evaluation of Hardware/Software Systems with Several Recovery Procedures.
  Sergiy A. Vilkomir and David Lorge Parnas and Veena B. Mendiratta and Eamonn Murphy COMPSAC 1, page 473-478. IEEE Computer Society, (2005)
  to dblp by dblp on Jan 6, 2006, 12:00 AM
  URL | BibTeX | spam 
• Disciplined Methods of Software Specification: A Case Study.
  Robert L. Baber and David Lorge Parnas and Sergiy A. Vilkomir and Paul Harrison and Tony O'Connor ITCC 2, page 428-437. IEEE Computer Society, (2005)
  to dblp by dblp on Jul 1, 2005, 12:00 AM
  URL | BibTeX | spam 
• Co-Evolution of Complementary Formal and Informal Requirements.
  Aneesh Krishna and Aditya K. Ghose and Sergiy A. Vilkomir IWPSE, page 159-164. IEEE Computer Society, (2004)
  to dblp by dblp on Apr 7, 2005, 12:00 AM
  URL | BibTeX | spam 
• A Case Study of Combining I* Framework and the Z Notation.
  Aneesh Krishna and Sergiy A. Vilkomir and Aditya K. Ghose ICEIS 3, page 192-200. (2004)
  to dblp by dblp on Jun 3, 2004, 12:00 AM
  URL | BibTeX | spam