Search the dblp DataBase

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]