Dejan Desovski - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 17 from 17

2007

An empirical analysis of algorithms for partially Clairvoyant schedulingK. Subramani, Dejan Desovski. paapp, 22(5):331-353, 2007. [doi]

2006

A Strategy for Verification of Decomposable SCR ModelsDejan Desovski, Bojan Cukic. prdc 2006: 11-18 [doi]

A Component-Based Approach to Verification and Validation of Formal Software ModelsDejan Desovski, Bojan Cukic. ICSE 2007: 89-114 [doi]

Verification and Validation of a Fingerprint Image Registration SoftwareDejan Desovski, Vijai Gandikota, Yan Liu 0003, Yue Jiang, Bojan Cukic. ejasp, 2006, 2006. [doi]

Random testing of formal software models and induced coverageDavid Owen, Dejan Desovski, Bojan Cukic. ISSTA 2006: 20-27 [doi]

Effectively Combining Software Verification Strategies: Understanding Different AssumptionsDavid Owen, Dejan Desovski, Bojan Cukic. issre 2006: 321-330 [doi]

On contrasting vertex contraction with relaxation-based approaches for negative cost cycle detectionK. Subramani, Dejan Desovski. amc, 173(1):273-305, 2006. [doi]

2005

Real-Time Data Fusion Technique for Validation of an Autonomous SystemBojan Cukic, Martin Mladenovski, Dejan Desovski, Sampath Yerramalla. words 2005: 121-128 [doi]

Linear Randomized Voting Algorithm for Fault Tolerant Sensor Fusion and the Corresponding Reliability ModelDejan Desovski, Yan Liu, Bojan Cukic. hase 2005: 153-162 [doi]

Error Propagation in the Reliability Analysis of Component Based SystemsPetar Popic, Dejan Desovski, Walid Abdelmoez, Bojan Cukic. issre 2005: 53-62 [doi]

Out of order quantifier elimination for Standard Quantified Linear ProgramsK. Subramani, Dejan Desovski. JSC, 40(6):1383-1396, 2005. [doi]

A New Verification Procedure for Partially Clairvoyant SchedulingK. Subramani, Dejan Desovski. formats 2005: 127-141 [doi]

On the Empirical Efficiency of the Vertex Contraction Algorithm for Detecting Negative Cost Cyles in NetworksK. Subramani, Dejan Desovski. iccS 2005: 180-187 [doi]

2004

2001

Virtual Environment Modeling for Requirements Validation of High Consequence SystemsVictor L. Winter, Dejan Desovski, Bojan Cukic. RE 2001: 23-30 [doi]

Sign in or sign up to see more results.

runs on WebDSL