The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Anca I. Vermesan: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Anca I. Vermesan
    Software Certification for Industry - Verification and Validation Issues in Expert Systems. [Citation Graph (0, 0)][DBLP]
    DEXA Workshop, 1998, pp:3-14 [Conf]
  2. Anca I. Vermesan
    Knowledge-Based Systems: Verification and Validation in the view of Certification. [Citation Graph (0, 0)][DBLP]
    EUROVAV, 1997, pp:71-82 [Conf]
  3. Anca I. Vermesan, Sigurd Meldal
    An Algebraic Approach to Refinement of KBS Specification. [Citation Graph (0, 0)][DBLP]
    EUROVAV, 1995, pp:265-276 [Conf]
  4. Anca I. Vermesan, Frode Høgberg
    Applicability of Conventional Software Verification and Validation to Knowledge-based Components: A Qualitative Assessment. [Citation Graph (0, 0)][DBLP]
    EUROVAV, 1999, pp:343-357 [Conf]
  5. Anca I. Vermesan, Jarle Sjøvag, Per Martinsen, Keith Bell
    Verification and Validation in Support for Software Certification Methods. [Citation Graph (0, 0)][DBLP]
    EUROVAV, 1999, pp:277-293 [Conf]
  6. Trevor J. M. Bench-Capon, D. Castelli, Frans Coenen, L. Devendeville-Brisoux, Barry Eaglestone, N. J. Fiddian, W. A. Gray, Antoni Ligeza, Anca I. Vermesan
    Report on the 1st International Workshop on Validation, Verification and Integrity Issues of Expert and Database Systems. [Citation Graph (0, 0)][DBLP]
    Inf. Res., 1999, v:4, n:3, pp:- [Journal]
  7. Anca I. Vermesan, Trevor J. M. Bench-Capon
    Techniques for the Verification and Validation of Knowledge-based Systems: A Survey Based on the Symbol/Knowledge Level Distinction. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 1995, v:5, n:4, pp:233-271 [Journal]

Search in 0.051secs, Finished in 0.053secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002