Dejan Desovski

Publication Activity (10 Years)

Years Active: 2001-2007
Publications (10 Years): 0

Publications

K. Subramani, Dejan Desovski
An empirical analysis of algorithms for partially Clairvoyant scheduling. Int. J. Parallel Emergent Distributed Syst. 22 (5) (2007)
David Owen, Dejan Desovski, Bojan Cukic
Random testing of formal software models and induced coverage. Random Testing (2006)
David Owen, Dejan Desovski, Bojan Cukic
Effectively Combining Software Verification Strategies: Understanding Different Assumptions. ISSRE (2006)
Dejan Desovski, Bojan Cukic
A Component-Based Approach to Verification and Validation of Formal Software Models. WADS (2006)
Dejan Desovski, Vijai Gandikota, Yan Liu, Yue Jiang, Bojan Cukic
Verification and Validation of a Fingerprint Image Registration Software. EURASIP J. Adv. Signal Process. 2006 (2006)
Dejan Desovski, Bojan Cukic
A Strategy for Verification of Decomposable SCR Models. PRDC (2006)
K. Subramani, Dejan Desovski
On contrasting vertex contraction with relaxation-based approaches for negative cost cycle detection. Appl. Math. Comput. 173 (1) (2006)
K. Subramani, Dejan Desovski
A New Verification Procedure for Partially Clairvoyant Scheduling. FORMATS (2005)
Bojan Cukic, Martin Mladenovski, Dejan Desovski, Sampath Yerramalla
Real-Time Data Fusion Technique for Validation of an Autonomous System. WORDS (2005)
K. Subramani, Dejan Desovski
On the Empirical Efficiency of the Vertex Contraction Algorithm for Detecting Negative Cost Cyles in Networks. International Conference on Computational Science (1) (2005)
Dejan Desovski, Yan Liu, Bojan Cukic
Linear Randomized Voting Algorithm for Fault Tolerant Sensor Fusion and the Corresponding Reliability Model. HASE (2005)
Petar Popic, Dejan Desovski, Walid Abdelmoez, Bojan Cukic
Error Propagation in the Reliability Analysis of Component Based Systems. ISSRE (2005)
K. Subramani, Dejan Desovski
Out of order quantifier elimination for Standard Quantified Linear Programs. J. Symb. Comput. 40 (6) (2005)
Dejan Desovski
Combining Testing and Model Checking for Verification of High Assurance Systems. HASE (2004)
Dejan Desovski, Vijai Gandikota, Yan Liu, Yue Jiang, Bojan Cukic
Validation and Reliability Estimation of a Fingerprint Image Registration Software. ISSRE (2004)
Ming Li, Y. Wei, Dejan Desovski, Hamed Nejad, Sushmita Ghose, Bojan Cukic, Carol S. Smidts
Validation of a Methodology for Assessing Software Reliability. ISSRE (2004)
Victor L. Winter, Dejan Desovski, Bojan Cukic
Virtual Environment Modeling for Requirements Validation of High Consequence Systems. RE (2001)