Dejan Desovski

	2007
16		K. Subramani, Dejan Desovski: An empirical analysis of algorithms for partially Clairvoyant scheduling. IJPEDS 22(5): 331-353 (2007)
	2006
15		David Owen, Dejan Desovski, Bojan Cukic: Effectively Combining Software Verification Strategies: Understanding Different Assumptions. ISSRE 2006: 321-330
14		Dejan Desovski, Bojan Cukic: A Strategy for Verification of Decomposable SCR Models. PRDC 2006: 11-18
13		David Owen, Dejan Desovski, Bojan Cukic: Random testing of formal software models and induced coverage. Random Testing 2006: 20-27
12		Dejan Desovski, Bojan Cukic: A Component-Based Approach to Verification and Validation of Formal Software Models. WADS 2006: 89-114
11		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)
	2005
10		K. Subramani, Dejan Desovski: A New Verification Procedure for Partially Clairvoyant Scheduling. FORMATS 2005: 127-141
9		Dejan Desovski, Yan Liu, Bojan Cukic: Linear Randomized Voting Algorithm for Fault Tolerant Sensor Fusion and the Corresponding Reliability Model. HASE 2005: 153-162
8		Petar Popic, Dejan Desovski, Walid Abdelmoez, Bojan Cukic: Error Propagation in the Reliability Analysis of Component Based Systems. ISSRE 2005: 53-62
7		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
6		Bojan Cukic, Martin Mladenovski, Dejan Desovski, Sampath Yerramalla: Real-Time Data Fusion Technique for Validation of an Autonomous System. WORDS 2005: 121-128
5		K. Subramani, Dejan Desovski: Out of order quantifier elimination for Standard Quantified Linear Programs. J. Symb. Comput. 40(6): 1383-1396 (2005)
	2004
4		Dejan Desovski: Combining Testing and Model Checking for Verification of High Assurance Systems. HASE 2004: 279-280
3		Dejan Desovski, Vijai Gandikota, Yan Liu, Yue Jiang, Bojan Cukic: Validation and Reliability Estimation of a Fingerprint Image Registration Software. ISSRE 2004: 306-313
2		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
	2001
1		Victor L. Winter, Dejan Desovski, Bojan Cukic: Virtual Environment Modeling for Requirements Validation of High Consequence Systems. RE 2001: 23-30

Coauthor Index

1	Walid Abdelmoez	[8]
2	Bojan Cukic	[1] [2] [3] [6] [8] [9] [12] [13] [14] [15]
3	Vijai Gandikota	[3]
4	Sushmita Ghose	[2]
5	Yue Jiang	[3]
6	Ming Li	[2]
7	Yan Liu (Yan (Jenny) Liu)	[3] [9]
8	Martin Mladenovski	[6]
9	Hamed Nejad	[2]
10	David Owen	[13] [15]
11	Petar Popic	[8]
12	Carol Smidts	[2]
13	K. Subramani	[5] [7] [10] [11] [16]
14	Y. Wei	[2]
15	Victor L. Winter	[1]
16	Sampath Yerramalla	[6]

Colors in the list of coauthors