- CSB - MetaPress - Google - Bing - Yahoo
 | 2007 | |
|---|---|---|
| j4 |      | K. Subramani, Dejan Desovski: An empirical analysis of algorithms for partially Clairvoyant scheduling. IJPEDS 22(5): 331-353 (2007) |
| 2006 | ||
| j3 | | K. Subramani, Dejan Desovski: On contrasting vertex contraction with relaxation-based approaches for negative cost cycle detection. Applied Mathematics and Computation 173(1): 273-305 (2006) |
| j2 | | Dejan Desovski, Vijai Gandikota, Yan Liu, Yue Jiang, Bojan Cukic: Verification and Validation of a Fingerprint Image Registration Software. EURASIP J. Adv. Sig. Proc. 2006 (2006) |
| c13 | | Dejan Desovski, Bojan Cukic: A Component-Based Approach to Verification and Validation of Formal Software Models. WADS 2006: 89-114 |
| c12 | | David Owen, Dejan Desovski, Bojan Cukic: Effectively Combining Software Verification Strategies: Understanding Different Assumptions. ISSRE 2006: 321-330 |
| c11 | | David Owen, Dejan Desovski, Bojan Cukic: Random testing of formal software models and induced coverage. Random Testing 2006: 20-27 |
| c10 | | Dejan Desovski, Bojan Cukic: A Strategy for Verification of Decomposable SCR Models. PRDC 2006: 11-18 |
| 2005 | ||
| j1 | | K. Subramani, Dejan Desovski: Out of order quantifier elimination for Standard Quantified Linear Programs. J. Symb. Comput. 40(6): 1383-1396 (2005) |
| c9 | | K. Subramani, Dejan Desovski: A New Verification Procedure for Partially Clairvoyant Scheduling. FORMATS 2005: 127-141 |
| c8 | | Dejan Desovski, Yan Liu, Bojan Cukic: Linear Randomized Voting Algorithm for Fault Tolerant Sensor Fusion and the Corresponding Reliability Model. HASE 2005: 153-162 |
| c7 | | 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: 180-187 |
| c6 | | Petar Popic, Dejan Desovski, Walid Abdelmoez, Bojan Cukic: Error Propagation in the Reliability Analysis of Component Based Systems. ISSRE 2005: 53-62 |
| c5 | | Bojan Cukic, Martin Mladenovski, Dejan Desovski, Sampath Yerramalla: Real-Time Data Fusion Technique for Validation of an Autonomous System. WORDS 2005: 121-128 |
| 2004 | ||
| c4 | | Dejan Desovski: Combining Testing and Model Checking for Verification of High Assurance Systems. HASE 2004: 279-280 |
| c3 | | Ming Li, Y. Wei, Dejan Desovski, Hamed Nejad, Sushmita Ghose, Bojan Cukic, Carol Smidts: Validation of a Methodology for Assessing Software Reliability. ISSRE 2004: 66-76 |
| c2 | | Dejan Desovski, Vijai Gandikota, Yan Liu, Yue Jiang, Bojan Cukic: Validation and Reliability Estimation of a Fingerprint Image Registration Software. ISSRE 2004: 306-313 |
| 2001 | ||
| c1 | | Victor L. Winter, Dejan Desovski, Bojan Cukic: Virtual Environment Modeling for Requirements Validation of High Consequence Systems. RE 2001: 23-30 |
Data released under the ODC-BY 1.0 license — See also our legal information page