Dejan Desovski

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