The representation, recognition, and locating of 3-d objects
International Journal of Robotics Research
Localizing Overlapping Parts by Searching the Interpretation Tree
IEEE Transactions on Pattern Analysis and Machine Intelligence
A field study of the software design process for large systems
Communications of the ACM
Sensor models and multisensor integration
International Journal of Robotics Research - Special Issue on Sensor Data Fusion
Design complexity measurement and testing
Communications of the ACM
An overview of deterministic functional RAM chip testing
ACM Computing Surveys (CSUR)
FM 89: assessment of formal methods for trustworthy computer systems
ICSE '90 Proceedings of the 12th international conference on Software engineering
A Theory of Fault-Based Testing
IEEE Transactions on Software Engineering
Reliability Modeling: An Overview for System Designers
Computer - Special issue on instruction sequencing
Structural Testing of Concurrent Programs
IEEE Transactions on Software Engineering
Safeware: system safety and computers
Safeware: system safety and computers
Algorithmic modelling for performance evaluation
Machine Vision and Applications - Special issue on performance evaluation
Random perturbation models for boundary extraction sequence
Machine Vision and Applications - Special issue on performance evaluation
Machine Vision and Applications - Special issue on performance evaluation
Estimating 3-D rigid body transformations: a comparison of four major algorithms
Machine Vision and Applications - Special issue on performance evaluation
Performance of phase-based algorithms for disparity estimation
Machine Vision and Applications - Special issue on performance evaluation
An integrated method for effective behaviour analysis of distributed systems
ICSE '94 Proceedings of the 16th international conference on Software engineering
Dynamic Verification of C++ Generic Algorithms
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Applying static analysis to software architectures
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Art of Software Testing
Fault Tolerance: Principles and Practice
Fault Tolerance: Principles and Practice
Software Testability: The New Verification
IEEE Software
Using Automatically Constructed View-Independent Relational Model in 3D Object Recognition
ECCV '92 Proceedings of the Second European Conference on Computer Vision
Active 3D Object Recognition using 3D Affine Invariants
ECCV '94 Proceedings of the Third European Conference-Volume II on Computer Vision - Volume II
Real-Time Active Vision with Fault Tolerance
ICPR '96 Proceedings of the International Conference on Pattern Recognition (ICPR '96) Volume III-Volume 7276 - Volume 7276
On the selection of candidates for point and line correspondences
ISCV '95 Proceedings of the International Symposium on Computer Vision
Analysis of Data Replication with Two Levels of Consistency
IPDS '96 Proceedings of the 2nd International Computer Performance and Dependability Symposium (IPDS '96)
Hi-index | 0.00 |
Dependability is the property of a computer system such that reliance can justifiably be placed on the service it delivers[28]. In safety- and mission-critical systems such as in space or avionics the concept of dependability has become imperative for the specification, design and assessment. Dependability evaluation techniques allow to estimate the availability and reliability of highly complex systems prior to their implementation. Thus, it supports rapid development by reducing late corrections of design and implementation. This paper aims to introduce the dependable system theory for vision-systems and discusses its applicability and limitations. Models are provided for analyzing the structural robustness of computer vision systems and demonstrated in the exemplary analysis of a voting-based multicue tracking-system.