Virtual Environment Modeling for Requirements Validation of High Consequence Systems. - Victor L. Winter; Dejan Desovski; Bojan Cukic (RE, 2001)

Combining Testing and Model Checking for Verification of High Assurance Systems. - Dejan Desovski (HASE, 2004)

Validation and Reliability Estimation of a Fingerprint Image Registration Software. - Dejan Desovski; Vijai Gandikota; Yan Liu 003; Yue Jiang 001; Bojan Cukic (ISSRE, 2004)

Validation of a Methodology for Assessing Software Reliability. - Ming Li; Y. Wei; Dejan Desovski; Hamed Nejad; Sushmita Ghose; Bojan Cukic; Carol S. Smidts (ISSRE, 2004)

A New Verification Procedure for Partially Clairvoyant Scheduling. - K. Subramani 001; Dejan Desovski (FORMATS, 2005)

Linear Randomized Voting Algorithm for Fault Tolerant Sensor Fusion and the Corresponding Reliability Model. - Dejan Desovski; Yan Liu 003; Bojan Cukic (HASE, 2005)

On the Empirical Efficiency of the Vertex Contraction Algorithm for Detecting Negative Cost Cyles in Networks. - K. Subramani 001; Dejan Desovski (International Conference on Computational Science (1), 2005)

Error Propagation in the Reliability Analysis of Component Based Systems. - Petar Popic; Dejan Desovski; Walid Abdelmoez; Bojan Cukic (ISSRE, 2005)

Real-Time Data Fusion Technique for Validation of an Autonomous System. - Bojan Cukic; Martin Mladenovski; Dejan Desovski; Sampath Yerramalla (WORDS, 2005)

Out of order quantifier elimination for Standard Quantified Linear Programs. - K. Subramani 001; Dejan Desovski (J. Symb. Comput., 2005)

A Component-Based Approach to Verification and Validation of Formal Software Models. - Dejan Desovski; Bojan Cukic (WADS, 2006)

Effectively Combining Software Verification Strategies: Understanding Different Assumptions. - David Owen 002; Dejan Desovski; Bojan Cukic (ISSRE, 2006)

Random testing of formal software models and induced coverage. - David Owen 002; Dejan Desovski; Bojan Cukic (Random Testing, 2006)

A Strategy for Verification of Decomposable SCR Models. - Dejan Desovski; Bojan Cukic (PRDC, 2006)

On contrasting vertex contraction with relaxation-based approaches for negative cost cycle detection. - K. Subramani 001; Dejan Desovski (Appl. Math. Comput., 2006)

Verification and Validation of a Fingerprint Image Registration Software. - Dejan Desovski; Vijai Gandikota; Yan Liu 003; Yue Jiang 001; Bojan Cukic (EURASIP J. Adv. Signal Process., 2006)

An empirical analysis of algorithms for partially Clairvoyant scheduling. - K. Subramani 001; Dejan Desovski (Int. J. Parallel Emergent Distributed Syst., 2007)