Anca I. Vermesan

According to our database, Anca I. Vermesan authored at least 9 papers between 1995 and 2005.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2005

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

2000

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, Jan Vanthienen, Anca I. Vermesan, Nirmalie Wiratunga

Knowl. Eng. Rev., 2000

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

Verification and Validation in Support for Software Certification Methods.

Anca I. Vermesan, Jarle Sjøvag, Per Martinsen, Keith Bell

Proceedings of the Validation and Verification of Knowledge Based Systems, 1999

Applicability of Conventional Software Verification and Validation to Knowledge-based Components: A Qualitative Assessment.

Anca I. Vermesan, Frode Høgberg

Proceedings of the Validation and Verification of Knowledge Based Systems, 1999

1998

Software Certification for Industry - Verification and Validation Issues in Expert Systems.

Anca I. Vermesan

Proceedings of the Ninth International Workshop on Database and Expert Systems Applications, 1998

1997

Knowledge-Based Systems: Verification and Validation in the view of Certification.

Anca I. Vermesan

Proceedings of the Fourth European Symposium on the Validation and Verification of Knowledge-Based Systems, 1997

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

An Algebraic Approach to Refinement of KBS Specification.

Anca I. Vermesan, Sigurd Meldal

Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, 1995