2007
An empirical analysis of algorithms for partially Clairvoyant scheduling.
Int. J. Parallel Emergent Distributed Syst., 2007

2006
Verification and Validation of a Fingerprint Image Registration Software.
EURASIP J. Adv. Signal Process., 2006

On contrasting vertex contraction with relaxation-based approaches for negative cost cycle detection.
Appl. Math. Comput., 2006

A Strategy for Verification of Decomposable SCR Models.
Proceedings of the 12th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2006), 2006

Random testing of formal software models and induced coverage.
Proceedings of the 1st International Workshop on Random Testing, 2006

Effectively Combining Software Verification Strategies: Understanding Different Assumptions.
Proceedings of the 17th International Symposium on Software Reliability Engineering (ISSRE 2006), 2006

A Component-Based Approach to Verification and Validation of Formal Software Models.
Proceedings of the Architecting Dependable Systems IV [the book is a result of DSN 2006 workshops, 2006

2005
Out of order quantifier elimination for Standard Quantified Linear Programs.
J. Symb. Comput., 2005

Real-Time Data Fusion Technique for Validation of an Autonomous System.
Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2005

Error Propagation in the Reliability Analysis of Component Based Systems.
Proceedings of the 16th International Symposium on Software Reliability Engineering (ISSRE 2005), 2005

On the Empirical Efficiency of the Vertex Contraction Algorithm for Detecting Negative Cost Cyles in Networks.
Proceedings of the Computational Science, 2005

Linear Randomized Voting Algorithm for Fault Tolerant Sensor Fusion and the Corresponding Reliability Model.
Proceedings of the Ninth IEEE International Symposium on High Assurance Systems Engineering (HASE 2005), 2005

A New Verification Procedure for Partially Clairvoyant Scheduling.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2005

2004
Validation of a Methodology for Assessing Software Reliability.
Proceedings of the 15th International Symposium on Software Reliability Engineering (ISSRE 2004), 2004

Validation and Reliability Estimation of a Fingerprint Image Registration Software.
Proceedings of the 15th International Symposium on Software Reliability Engineering (ISSRE 2004), 2004

Combining Testing and Model Checking for Verification of High Assurance Systems.
Proceedings of the 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 2004

2001
Virtual Environment Modeling for Requirements Validation of High Consequence Systems.
Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE 2001), 2001