Dejan Desovski

According to our database, Dejan Desovski authored at least 17 papers between 2001 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

An empirical analysis of algorithms for partially Clairvoyant scheduling.

K. Subramani, Dejan Desovski

Int. J. Parallel Emergent Distributed Syst., 2007

2006

Verification and Validation of a Fingerprint Image Registration Software.

Dejan Desovski, Vijai Gandikota, Yan Liu, Yue Jiang, Bojan Cukic

EURASIP J. Adv. Signal Process., 2006

On contrasting vertex contraction with relaxation-based approaches for negative cost cycle detection.

K. Subramani, Dejan Desovski

Appl. Math. Comput., 2006

A Strategy for Verification of Decomposable SCR Models.

Dejan Desovski, Bojan Cukic

Proceedings of the 12th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2006), 2006

Random testing of formal software models and induced coverage.

David Owen, Dejan Desovski, Bojan Cukic

Proceedings of the 1st International Workshop on Random Testing, 2006

Effectively Combining Software Verification Strategies: Understanding Different Assumptions.

David Owen, Dejan Desovski, Bojan Cukic

Proceedings of the 17th International Symposium on Software Reliability Engineering (ISSRE 2006), 2006

A Component-Based Approach to Verification and Validation of Formal Software Models.

Dejan Desovski, Bojan Cukic

Proceedings of the Architecting Dependable Systems IV [the book is a result of DSN 2006 workshops, 2006

2005

Out of order quantifier elimination for Standard Quantified Linear Programs.

K. Subramani, Dejan Desovski

J. Symb. Comput., 2005

Real-Time Data Fusion Technique for Validation of an Autonomous System.

Bojan Cukic, Martin Mladenovski, Dejan Desovski, Sampath Yerramalla

Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2005

Error Propagation in the Reliability Analysis of Component Based Systems.

Petar Popic, Dejan Desovski, Walid Abdelmoez, Bojan Cukic

Proceedings of the 16th International Symposium on Software Reliability Engineering (ISSRE 2005), 2005

On the Empirical Efficiency of the Vertex Contraction Algorithm for Detecting Negative Cost Cyles in Networks.

K. Subramani, Dejan Desovski

Proceedings of the Computational Science, 2005

Linear Randomized Voting Algorithm for Fault Tolerant Sensor Fusion and the Corresponding Reliability Model.

Dejan Desovski, Yan Liu, Bojan Cukic

Proceedings of the Ninth IEEE International Symposium on High Assurance Systems Engineering (HASE 2005), 2005

A New Verification Procedure for Partially Clairvoyant Scheduling.

K. Subramani, Dejan Desovski

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2005

2004

Validation of a Methodology for Assessing Software Reliability.

Ming Li, Y. Wei, Dejan Desovski, Hamed Nejad, Sushmita Ghose, Bojan Cukic, Carol S. Smidts

Proceedings of the 15th International Symposium on Software Reliability Engineering (ISSRE 2004), 2004

Validation and Reliability Estimation of a Fingerprint Image Registration Software.

Dejan Desovski, Vijai Gandikota, Yan Liu, Yue Jiang, Bojan Cukic

Proceedings of the 15th International Symposium on Software Reliability Engineering (ISSRE 2004), 2004

Combining Testing and Model Checking for Verification of High Assurance Systems.

Dejan Desovski

Proceedings of the 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 2004

2001

Virtual Environment Modeling for Requirements Validation of High Consequence Systems.

Victor L. Winter, Dejan Desovski, Bojan Cukic

Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE 2001), 2001