A New Verification Procedure for Partially Clairvoyant Scheduling
Get full text
Book Chapter
Conference Proceeding
Validation of a methodology for assessing software reliability
Lil, M., Wei, Y., Desovski, D., Nejad, H., Ghose, S., Cukic, B., Smidts, C.
Published in 15th International Symposium on Software Reliability Engineering (2004)
Published in 15th International Symposium on Software Reliability Engineering (2004)
Get full text
Conference Proceeding
An empirical analysis of algorithms for partially Clairvoyant scheduling
Subramani, K., Desovski, D.
Published in International journal of parallel, emergent and distributed systems (01.10.2007)
Published in International journal of parallel, emergent and distributed systems (01.10.2007)
Get full text
Journal Article
Effectively Combining Software Verification Strategies: Understanding Different Assumptions
Owen, D., Desovski, D., Cukic, B.
Published in 2006 17th International Symposium on Software Reliability Engineering (01.11.2006)
Published in 2006 17th International Symposium on Software Reliability Engineering (01.11.2006)
Get full text
Conference Proceeding
A Strategy for Verification of Decomposable SCR Models
Desovski, D., Cukic, B.
Published in 2006 12th Pacific Rim International Symposium on Dependable Computing (PRDC'06) (01.12.2006)
Published in 2006 12th Pacific Rim International Symposium on Dependable Computing (PRDC'06) (01.12.2006)
Get full text
Conference Proceeding