An Algebraic Approach to Refinement of KBS Specification. - Anca I. Vermesan; Sigurd Meldal (EUROVAV, 1995)

Techniques for the Verification and Validation of Knowledge-based Systems: A Survey Based on the Symbol/Knowledge Level Distinction. - Anca I. Vermesan; Trevor J. M. Bench-Capon (Softw. Test. Verification Reliab., 1995)

Knowledge-Based Systems: Verification and Validation in the view of Certification. - Anca I. Vermesan (EUROVAV, 1997)

Software Certification for Industry - Verification and Validation Issues in Expert Systems. - Anca I. Vermesan (DEXA Workshop, 1998)

Applicability of Conventional Software Verification and Validation to Knowledge-based Components: A Qualitative Assessment. - Anca I. Vermesan; Frode Høgberg (EUROVAV, 1999)

Verification and Validation in Support for Software Certification Methods. - Anca I. Vermesan; Jarle Sjøvag; Per Martinsen; Keith Bell (EUROVAV, 1999)

Report on the 1st International Workshop on Validation, Verification and Integrity Issues of Expert and Database Systems. - Trevor J. M. Bench-Capon; Donatella Castelli; Frans Coenen; Laura Devendeville-Brisoux; Barry Eaglestone; Nick J. Fiddian; W. Alex Gray; Antoni Ligeza; Anca I. Vermesan (Inf. Res., 1999)

Validation and verification of knowledge-based systems: report on EUROVAV99. - Frans Coenen; Trevor J. M. Bench-Capon; Robin Boswell; Juliette Dibie-Barthélemy; Barry Eaglestone; Rik Gerrits; Éric Grégoire; Antoni Ligeza; Luis M. Laita; Mieczyslaw L. Owoc; Florence Sellini; Silvie Spreeuwenberg; et al. (Knowl. Eng. Rev., 2000)

VoIP over DVB-RCS with QoS and bandwidth on demand. - Harald Skinnemoen; Anca I. Vermesan; Augustin Iuoras; Geert Adams; Xavier Lobao (IEEE Wirel. Commun., 2005)