BibTeX records: Anca I. Vermesan

• > Home > Persons > Anca I. Vermesan

@article{DBLP:journals/wc/SkinnemoenVIAL05,
  author       = {Harald Skinnemoen and
                  Anca I. Vermesan and
                  Augustin Iuoras and
                  Geert Adams and
                  Xavier Lobao},
  title        = {VoIP over {DVB-RCS} with QoS and bandwidth on demand},
  journal      = {{IEEE} Wirel. Commun.},
  volume       = {12},
  number       = {5},
  pages        = {46--53},
  year         = {2005},
  url          = {https://doi.org/10.1109/MWC.2005.1522104},
  doi          = {10.1109/MWC.2005.1522104},
  timestamp    = {Tue, 24 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/wc/SkinnemoenVIAL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ker/CoenenBBDEGGLLOSSVVW00,
  author       = {Frans Coenen and
                  Trevor J. M. Bench{-}Capon and
                  Robin Boswell and
                  Juliette Dibie{-}Barth{\'{e}}lemy and
                  Barry Eaglestone and
                  Rik Gerrits and
                  {\'{E}}ric Gr{\'{e}}goire and
                  Antoni Ligeza and
                  Luis M. Laita and
                  Mieczyslaw L. Owoc and
                  Florence Sellini and
                  Silvie Spreeuwenberg and
                  Jan Vanthienen and
                  Anca I. Vermesan and
                  Nirmalie Wiratunga},
  title        = {Validation and verification of knowledge-based systems: report on
                  {EUROVAV99}},
  journal      = {Knowl. Eng. Rev.},
  volume       = {15},
  number       = {2},
  pages        = {187--196},
  year         = {2000},
  url          = {https://doi.org/10.1017/S0269888900002010},
  doi          = {10.1017/S0269888900002010},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ker/CoenenBBDEGGLLOSSVVW00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ires/Bench-CaponCCDEFGLV99,
  author       = {Trevor J. M. Bench{-}Capon and
                  Donatella Castelli and
                  Frans Coenen and
                  Laura Devendeville{-}Brisoux and
                  Barry Eaglestone and
                  Nick J. Fiddian and
                  W. Alex Gray and
                  Antoni Ligeza and
                  Anca I. Vermesan},
  title        = {Report on the 1st International Workshop on Validation, Verification
                  and Integrity Issues of Expert and Database Systems},
  journal      = {Inf. Res.},
  volume       = {4},
  number       = {3},
  year         = {1999},
  url          = {http://www.informationr.net/ir/4-3/paper55.html},
  timestamp    = {Wed, 23 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ires/Bench-CaponCCDEFGLV99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/eurovav/VermessanSMB99,
  author       = {Anca I. Vermesan and
                  Jarle Sj{\o}vag and
                  Per Martinsen and
                  Keith Bell},
  editor       = {Anca I. Vermesan and
                  Frans Coenen},
  title        = {Verification and Validation in Support for Software Certification
                  Methods},
  booktitle    = {Validation and Verification of Knowledge Based Systems - Theory, Tools
                  and Practice, Collected papers from {EUROVAV} '99, 5th European Symposium
                  on Validation and Verification of Knowledge Based Systems,June 9-11,
                  199, Oslo, Norway},
  pages        = {277--293},
  publisher    = {Kluwer},
  year         = {1999},
  timestamp    = {Wed, 17 Apr 2002 07:53:32 +0200},
  biburl       = {https://dblp.org/rec/conf/eurovav/VermessanSMB99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/eurovav/VermessanH99,
  author       = {Anca I. Vermesan and
                  Frode H{\o}gberg},
  editor       = {Anca I. Vermesan and
                  Frans Coenen},
  title        = {Applicability of Conventional Software Verification and Validation
                  to Knowledge-based Components: {A} Qualitative Assessment},
  booktitle    = {Validation and Verification of Knowledge Based Systems - Theory, Tools
                  and Practice, Collected papers from {EUROVAV} '99, 5th European Symposium
                  on Validation and Verification of Knowledge Based Systems,June 9-11,
                  199, Oslo, Norway},
  pages        = {343--357},
  publisher    = {Kluwer},
  year         = {1999},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/eurovav/VermessanH99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/eurovav/1999,
  editor       = {Anca I. Vermesan and
                  Frans Coenen},
  title        = {Validation and Verification of Knowledge Based Systems - Theory, Tools
                  and Practice, Collected papers from {EUROVAV} '99, 5th European Symposium
                  on Validation and Verification of Knowledge Based Systems,June 9-11,
                  199, Oslo, Norway},
  publisher    = {Kluwer},
  year         = {1999},
  isbn         = {0-7923-8645-0},
  timestamp    = {Wed, 17 Apr 2002 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/eurovav/1999.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dexaw/Vermesan98,
  author       = {Anca I. Vermesan},
  editor       = {Roland R. Wagner},
  title        = {Software Certification for Industry - Verification and Validation
                  Issues in Expert Systems},
  booktitle    = {Ninth International Workshop on Database and Expert Systems Applications,
                  Vienna, Austria, August 24-28, 1998, Proceedings},
  pages        = {3--14},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/DEXA.1998.707373},
  doi          = {10.1109/DEXA.1998.707373},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dexaw/Vermesan98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/eurovav/Vermesan97,
  author       = {Anca I. Vermesan},
  editor       = {Jan Vanthienen and
                  Frank van Harmelen},
  title        = {Knowledge-Based Systems: Verification and Validation in the view of
                  Certification},
  booktitle    = {Proceedings of the Fourth European Symposium on the Validation and
                  Verification of Knowledge-Based Systems, EUROVAV'97, June 26-28, 1997,
                  Katholieke Universiteit Leuven, Leuven, Belgium},
  pages        = {71--82},
  publisher    = {Katholieke Universiteit Leuven, Belgium},
  year         = {1997},
  timestamp    = {Thu, 03 Jan 2002 11:57:51 +0100},
  biburl       = {https://dblp.org/rec/conf/eurovav/Vermesan97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/VermesanB95,
  author       = {Anca I. Vermesan and
                  Trevor J. M. Bench{-}Capon},
  title        = {Techniques for the Verification and Validation of Knowledge-based
                  Systems: {A} Survey Based on the Symbol/Knowledge Level Distinction},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {5},
  number       = {4},
  pages        = {233--271},
  year         = {1995},
  url          = {https://doi.org/10.1002/stvr.4370050404},
  doi          = {10.1002/STVR.4370050404},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/VermesanB95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/eurovav/VermesanM95,
  author       = {Anca I. Vermesan and
                  Sigurd Meldal},
  editor       = {Marc Ayel and
                  Marie{-}Christine Rousset},
  title        = {An Algebraic Approach to Refinement of {KBS} Specification},
  booktitle    = {Proceedings of the European Symposium on the Validation and Verification
                  of Knowledge-Based Systems, {EUROVAV} '95, Chamb{\'{e}}ry, France,
                  June 1995},
  pages        = {265--276},
  publisher    = {ADERIAS-LIA, Universite de Savoie},
  year         = {1995},
  timestamp    = {Tue, 19 Jun 2018 19:29:32 +0200},
  biburl       = {https://dblp.org/rec/conf/eurovav/VermesanM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}