Get started
Author

Anca I. Vermesan

Observed names: A. Vermesan, A.I. Vermesan, ANCA VERMESAN, Anca Vermesan, Vermesan A., Vermesan, A.
OpenAlex ID: A5078130016
Validation and Verification of Knowledge Based Systems
1999 · Anca Vermesan, Frans Coenen · Springer eBooks · 73
Software certification for industry-verification and validation issues in expert systems
2002 · A.I. Vermesan · International Workshop on Database and Expert Systems Applications (DEXA) · 19
Validation and verification of knowledge-based systems: report on EUROVAV99
2000 · FRANS COENEN, TREVOR BENCH-CAPON, et al. · The Knowledge Engineering Review · 19
Techniques for the verification and validation of knowledge‐based systems: A survey based on the symbol/knowledge level distinction
1995 · Anca I. Vermesan, Trevor Bench‐Capon · Software Testing Verification and Reliability · 15
Collected papers from the 5th European Symposium on Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice
1999 · Anca I. Vermesan, Frans Coenen · 10
Foundation and Application of Expert System Verification and Validation
2019 · Anca Vermesan · CRC Press eBooks · 9
Applicability of Conventional Software Verification and Validation to Knowledge-Based Components
1999 · Anca Vermesan, Frode Høgberg · Springer eBooks · 2
Knowledge-Based Systems: Verification and Validation in the view of Certification.
1997 · Anca I. Vermesan · 2
Applicability of Conventional Software Verification and Validation to Knowledge-based Components: A Qualitative Assessment
1999 · Anca I. Vermesan, Frode Høgberg · 1
Verification and Validation in Support for Software Certification Methods
1999 · Anca Vermesan, Per Martinsen, et al. · Springer eBooks · 1
Producing consistent specifications for a shipping expert system
2002 · T.H. Wergeland, A. Vermesan · Conference on Artificial Intelligence for Applications
Validation and Verification of Knowledge-Base Systems
2000 · Coenen, F., Vermesan, A., et al. · HAL
Validation, verification and integrty issues in expert and database systems
1999 · Bench-Capon T., Castelli D., et al. · ISTI Open Portal
Introduction
1998 · Anca I. Vermesan · Failure and Lessons Learned in Information Technology Management
Verification Oriented Development of Knowledge Based Systems
1996 · Sigurd Meldal, Anca I. Vermesan
An Algebraic Approach to Refinement of KBS Specification.
1995 · Anca I. Vermesan, Sigurd Meldal
Works count: 17
Citation count: 151
H-index: 6
I10-index: 5
Year
Topic
Type