The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Sergiy A. Vilkomir: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Sergiy A. Vilkomir, David Lorge Parnas, Veena B. Mendiratta, Eamonn Murphy
    Segregated failures model for availability evaluation of fault-tolerant systems. [Citation Graph (0, 0)][DBLP]
    ACSC, 2006, pp:55-61 [Conf]
  2. Sergiy A. Vilkomir, Aditya K. Ghose, Aneesh Krishna
    Combining Agent-Oriented Conceptual Modelling with Formal Methods. [Citation Graph (0, 0)][DBLP]
    Australian Software Engineering Conference, 2004, pp:147-157 [Conf]
  3. Sergiy A. Vilkomir, Jonathan P. Bowen
    Formalization of Software Testing Criteria using the Z Notation. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2001, pp:351-356 [Conf]
  4. Sergiy A. Vilkomir, Kalpesh Kapoor, Jonathan P. Bowen
    Tolerance of Control-Flow Testing Criteria. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2003, pp:182-187 [Conf]
  5. Sergiy A. Vilkomir, David Lorge Parnas, Veena B. Mendiratta, Eamonn Murphy
    Availability Evaluation of Hardware/Software Systems with Several Recovery Procedures. [Citation Graph (0, 0)][DBLP]
    COMPSAC (1), 2005, pp:473-478 [Conf]
  6. Aneesh Krishna, Sergiy A. Vilkomir, Aditya K. Ghose
    A Case Study of Combining I* Framework and the Z Notation. [Citation Graph (0, 0)][DBLP]
    ICEIS (3), 2004, pp:192-200 [Conf]
  7. Robert L. Baber, David Lorge Parnas, Sergiy A. Vilkomir, Paul Harrison, Tony O'Connor
    Disciplined Methods of Software Specification: A Case Study. [Citation Graph (0, 0)][DBLP]
    ITCC (2), 2005, pp:428-437 [Conf]
  8. Aneesh Krishna, Aditya K. Ghose, Sergiy A. Vilkomir
    Co-Evolution of Complementary Formal and Informal Requirements. [Citation Graph (0, 0)][DBLP]
    IWPSE, 2004, pp:159-164 [Conf]
  9. Sergiy A. Vilkomir, Aditya K. Ghose
    Development of a Normative Package for Safety-Critical Software Using Formal Regulatory Requirements. [Citation Graph (0, 0)][DBLP]
    PROFES, 2004, pp:523-537 [Conf]
  10. Aneesh Krishna, Aditya K. Ghose, Sergiy A. Vilkomir
    Loosely-coupled Consistency between Agent-oriented Conceptual Models and Z Specifications. [Citation Graph (0, 0)][DBLP]
    SEKE, 2005, pp:455-460 [Conf]
  11. Sergiy A. Vilkomir, Jonathan P. Bowen
    Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing. [Citation Graph (0, 0)][DBLP]
    ZB, 2002, pp:291-308 [Conf]
  12. Colm Quinn, Sergiy A. Vilkomir, David Lorge Parnas, Srdjan Kostic
    Specification of Software Component Requirements Using the Trace Function Method. [Citation Graph (0, 0)][DBLP]
    ICSEA, 2006, pp:50- [Conf]
  13. Sergiy A. Vilkomir, Jonathan P. Bowen
    From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2006, v:18, n:1, pp:42-62 [Journal]

  14. Software Input Space Modeling with Constraints among Parameters. [Citation Graph (, )][DBLP]


  15. Precise Documentation of Critical Software. [Citation Graph (, )][DBLP]


  16. Modeling Input Space for Testing Scientific Computational Software: A Case Study. [Citation Graph (, )][DBLP]


  17. Combinatorial Test Case Selection with Markovian Usage Models. [Citation Graph (, )][DBLP]


  18. From MC/DC to RC/DC: Formalization and Analysis of Control-Flow Testing Criteria. [Citation Graph (, )][DBLP]


  19. Using formal specifications to support testing. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002