Anca I. Vermesan

Publication Activity (10 Years)

Years Active: 1995-2005
Publications (10 Years): 0

Publications

Harald Skinnemoen, Anca I. Vermesan, Augustin Iuoras, Geert Adams, Xavier Lobao
VoIP over DVB-RCS with QoS and bandwidth on demand. IEEE Wirel. Commun. 12 (5) (2005)
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
Validation and verification of knowledge-based systems: report on EUROVAV99. Knowl. Eng. Rev. 15 (2) (2000)
Anca I. Vermesan, Jarle Sjøvag, Per Martinsen, Keith Bell
Verification and Validation in Support for Software Certification Methods. EUROVAV (1999)
Anca I. Vermesan, Frode Høgberg
Applicability of Conventional Software Verification and Validation to Knowledge-based Components: A Qualitative Assessment. EUROVAV (1999)
Trevor J. M. Bench-Capon, Donatella Castelli, Frans Coenen, Laura Devendeville-Brisoux, Barry Eaglestone, Nick J. Fiddian, Alex Gray, Antoni Ligeza, Anca I. Vermesan
Report on the 1st International Workshop on Validation, Verification and Integrity Issues of Expert and Database Systems. Inf. Res. 4 (3) (1999)
Anca I. Vermesan
Software Certification for Industry - Verification and Validation Issues in Expert Systems. DEXA Workshop (1998)
Anca I. Vermesan
Knowledge-Based Systems: Verification and Validation in the view of Certification. EUROVAV (1997)
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. Softw. Test. Verification Reliab. 5 (4) (1995)
Anca I. Vermesan, Sigurd Meldal
An Algebraic Approach to Refinement of KBS Specification. EUROVAV (1995)