| 2006 | ICSE | A Component-Based Approach to Verification and Validation of Formal Software Models. | Dejan Desovski, Bojan Cukic |
| 2006 | ISSRE | Effectively Combining Software Verification Strategies: Understanding Different Assumptions. | David Owen, Dejan Desovski, Bojan Cukic |
| 2006 | ISSTA | Random testing of formal software models and induced coverage. | David Owen, Dejan Desovski, Bojan Cukic |
| 2006 | PRDC | A Strategy for Verification of Decomposable SCR Models. | Dejan Desovski, Bojan Cukic |
| 2005 | ICCS | On the Empirical Efficiency of the Vertex Contraction Algorithm for Detecting Negative Cost Cyles in Networks. | K. Subramani, Dejan Desovski |
| 2005 | ISSRE | Error Propagation in the Reliability Analysis of Component Based Systems. | Petar Popic, Dejan Desovski, Walid Abdelmoez, Bojan Cukic |
| 2004 | ISSRE | Validation and Reliability Estimation of a Fingerprint Image Registration Software. | Dejan Desovski, Vijai Gandikota, Yan Liu, Yue Jiang, Bojan Cukic |
| 2004 | ISSRE | Validation of a Methodology for Assessing Software Reliability. | Ming Li, Y. Wei, Dejan Desovski, Hamed Nejad, Sushmita Ghose, Bojan Cukic, Carol S. Smidts |
| 2001 | RE | Virtual Environment Modeling for Requirements Validation of High Consequence Systems. | Victor L. Winter, Dejan Desovski, Bojan Cukic |