Arnab Sharma

Kontakt

 Ulhornsweg 84 - Raum A02 3-338

Arnab Sharma

Forschungsinteressen

  • Validierungsverfahren für gelernte Software
  • Validerungsverfahren für ML Programmen
  • Validerungsverfahren für Regressionsprogrammen

Veröffentlichungen

  • D. Leite, A. Silva, G. Casalino, A. Sharma, D. Fortunato, und A. -, "EGNN-C+: Interpretable Evolving Granular Neural Network and Application in Classification of Weakly-Supervised EEG Data Streams" CoRR, vol. abs/2402.17792, 2024.
    doi: 10.48550/ARXIV.2402.17792
    @article{DBLP:journals/corr/abs-2402-17792,
      author = {Daniel Leite and Alisson Silva and Gabriella Casalino and Arnab Sharma and Danielle Fortunato and Axel{-}Cyrille Ngonga Ngomo},
      title = {{EGNN-C+:} Interpretable Evolving Granular Neural Network and Application in Classification of Weakly-Supervised {EEG} Data Streams},
      journal = {CoRR},
      volume = {abs/2402.17792},
      year = {2024},
      url = {https://doi.org/10.48550/arXiv.2402.17792},
      doi = {10.48550/ARXIV.2402.17792},
      eprinttype = {arXiv},
      eprint = {2402.17792},
      timestamp = {Mon, 25 Mar 2024 00:00:00 +0100},
      biburl = {https://dblp.org/rec/journals/corr/abs-2402-17792.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • A. Sharma, "Testing of machine learning algorithms and models" PhD Thesis , 2023.
    @phdthesis{DBLP:phd/dnb/Sharma23,
      author = {Arnab Sharma},
      title = {Testing of machine learning algorithms and models},
      school = {University of Oldenburg, Germany},
      year = {2023},
      url = {http://oops.uni-oldenburg.de/5927},
      urn = {urn:nbn:de:gbv:715-oops-60087},
      timestamp = {Fri, 02 Feb 2024 00:00:00 +0100},
      biburl = {https://dblp.org/rec/phd/dnb/Sharma23.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    A. Sharma, V. Melnikov, E. Hüllermeier, und H. Wehrheim, "Property-Driven Black-Box Testing of Numeric Functions" in Proc. Software Engineering 2023, Fachtagung des GI-Fachbereichs Softwaretechnik, 20.-24. Februar 2023, Paderborn, 2023.
    @inproceedings{DBLP:conf/se/SharmaMHW23,
      author = {Arnab Sharma and Vitalik Melnikov and Eyke H{\"{u}}llermeier and Heike Wehrheim},
      editor = {Gregor Engels and Regina Hebig and Matthias Tichy},
      title = {Property-Driven Black-Box Testing of Numeric Functions},
      booktitle = {Software Engineering 2023, Fachtagung des GI-Fachbereichs Softwaretechnik, 20.-24. Februar 2023, Paderborn},
      series = {{LNI}},
      volume = {{P-332}},
      pages = {111--112},
      publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
      year = {2023},
      url = {https://dl.gi.de/handle/20.500.12116/40109},
      timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
      biburl = {https://dblp.org/rec/conf/se/SharmaMHW23.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    A. Sharma, V. Melnikov, E. Hüllermeier, und H. Wehrheim, "Property-Driven Testing of Black-Box Functions" in Proc. 10th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2022, Pittsburgh, PA, USA, May 22-23, 2022, 2022.
    doi: 10.1145/3524482.3527657
    @inproceedings{DBLP:conf/icse-formalise/SharmaMHW22,
      author = {Arnab Sharma and Vitalik Melnikov and Eyke H{\"{u}}llermeier and Heike Wehrheim},
      editor = {Arnd Hartmanns and Ina Schaefer and Stefania Gnesi and Nico Plat},
      title = {Property-Driven Testing of Black-Box Functions},
      booktitle = {10th {IEEE/ACM} International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2022, Pittsburgh, PA, USA, May 22-23, 2022},
      pages = {113--123},
      publisher = {{ACM}},
      year = {2022},
      url = {https://doi.org/10.1145/3524482.3527657},
      doi = {10.1145/3524482.3527657},
      timestamp = {Mon, 03 Jul 2023 17:01:01 +0200},
      biburl = {https://dblp.org/rec/conf/icse-formalise/SharmaMHW22.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • A. Sharma, C. Demir, A. -, und H. Wehrheim, "MLCheck- Property-Driven Testing of Machine Learning Models" CoRR, vol. abs/2105.00741, 2021.
    @article{DBLP:journals/corr/abs-2105-00741,
      author = {Arnab Sharma and Caglar Demir and Axel{-}Cyrille Ngonga Ngomo and Heike Wehrheim},
      title = {MLCheck- Property-Driven Testing of Machine Learning Models},
      journal = {CoRR},
      volume = {abs/2105.00741},
      year = {2021},
      url = {https://arxiv.org/abs/2105.00741},
      eprinttype = {arXiv},
      eprint = {2105.00741},
      timestamp = {Wed, 12 May 2021 01:00:00 +0200},
      biburl = {https://dblp.org/rec/journals/corr/abs-2105-00741.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    A. Sharma, C. Demir, A. -, und H. Wehrheim, "MLCHECK- Property-Driven Testing of Machine Learning Classifiers" in Proc. 20th IEEE International Conference on Machine Learning and Applications, ICMLA 2021, Pasadena, CA, USA, December 13-16, 2021, 2021.
    doi: 10.1109/ICMLA52953.2021.00123
    @inproceedings{DBLP:conf/icmla/SharmaDNW21,
      author = {Arnab Sharma and Caglar Demir and Axel{-}Cyrille Ngonga Ngomo and Heike Wehrheim},
      editor = {M. Arif Wani and Ishwar K. Sethi and Weisong Shi and Guangzhi Qu and Daniela Stan Raicu and Ruoming Jin},
      title = {{MLCHECK-} Property-Driven Testing of Machine Learning Classifiers},
      booktitle = {20th {IEEE} International Conference on Machine Learning and Applications, {ICMLA} 2021, Pasadena, CA, USA, December 13-16, 2021},
      pages = {738--745},
      publisher = {{IEEE}},
      year = {2021},
      url = {https://doi.org/10.1109/ICMLA52953.2021.00123},
      doi = {10.1109/ICMLA52953.2021.00123},
      timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
      biburl = {https://dblp.org/rec/conf/icmla/SharmaDNW21.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • A. Sharma und H. Wehrheim, "Testing Monotonicity of Machine Learning Models" CoRR, vol. abs/2002.12278, 2020.
    @article{DBLP:journals/corr/abs-2002-12278,
      author = {Arnab Sharma and Heike Wehrheim},
      title = {Testing Monotonicity of Machine Learning Models},
      journal = {CoRR},
      volume = {abs/2002.12278},
      year = {2020},
      url = {https://arxiv.org/abs/2002.12278},
      eprinttype = {arXiv},
      eprint = {2002.12278},
      timestamp = {Tue, 03 Mar 2020 00:00:00 +0100},
      biburl = {https://dblp.org/rec/journals/corr/abs-2002-12278.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    A. Sharma und H. Wehrheim, "Higher income, larger loan? monotonicity testing of machine learning models" in Proc. ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, USA, July 18-22, 2020, 2020.
    doi: 10.1145/3395363.3397352
    @inproceedings{DBLP:conf/issta/SharmaW20,
      author = {Arnab Sharma and Heike Wehrheim},
      editor = {Sarfraz Khurshid and Corina S. Pasareanu},
      title = {Higher income, larger loan? monotonicity testing of machine learning models},
      booktitle = {{ISSTA} '20: 29th {ACM} {SIGSOFT} International Symposium on Software Testing and Analysis, Virtual Event, USA, July 18-22, 2020},
      pages = {200--210},
      publisher = {{ACM}},
      year = {2020},
      url = {https://doi.org/10.1145/3395363.3397352},
      doi = {10.1145/3395363.3397352},
      timestamp = {Wed, 15 Jul 2020 15:59:31 +0200},
      biburl = {https://dblp.org/rec/conf/issta/SharmaW20.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    A. Sharma und H. Wehrheim, "Automatic Fairness Testing of Machine Learning Models" in Proc. Testing Software and Systems - 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings, 2020.
    doi: 10.1007/978-3-030-64881-7_16
    @inproceedings{DBLP:conf/pts/SharmaW20,
      author = {Arnab Sharma and Heike Wehrheim},
      editor = {Valentina Casola and Alessandra De Benedictis and Massimiliano Rak},
      title = {Automatic Fairness Testing of Machine Learning Models},
      booktitle = {Testing Software and Systems - 32nd {IFIP} {WG} 6.1 International Conference, {ICTSS} 2020, Naples, Italy, December 9-11, 2020, Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {12543},
      pages = {255--271},
      publisher = {Springer},
      year = {2020},
      url = {https://doi.org/10.1007/978-3-030-64881-7\_16},
      doi = {10.1007/978-3-030-64881-7\_16},
      timestamp = {Tue, 08 Dec 2020 15:44:14 +0100},
      biburl = {https://dblp.org/rec/conf/pts/SharmaW20.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    A. Sharma und H. Wehrheim, "Testing Machine Learning Algorithms for Balanced Data Usage" in Proc. 12th IEEE Conference on Software Testing, Validation and Verification, ICST 2019, Xi'an, China, April 22-27, 2019, 2019.
    doi: 10.1109/ICST.2019.00022
    @inproceedings{DBLP:conf/icst/SharmaW19,
      author = {Arnab Sharma and Heike Wehrheim},
      title = {Testing Machine Learning Algorithms for Balanced Data Usage},
      booktitle = {12th {IEEE} Conference on Software Testing, Validation and Verification, {ICST} 2019, Xi'an, China, April 22-27, 2019},
      pages = {125--135},
      publisher = {{IEEE}},
      year = {2019},
      url = {https://doi.org/10.1109/ICST.2019.00022},
      doi = {10.1109/ICST.2019.00022},
      timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
      biburl = {https://dblp.org/rec/conf/icst/SharmaW19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    S. Schneider, A. Sharma, H. Karl, und H. Wehrheim, "Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets" in Proc. IFIP/IEEE International Symposium on Integrated Network Management, IM 2019, Washington, DC, USA, April 09-11, 2019, 2019.
    @inproceedings{DBLP:conf/im/SchneiderSKW19,
      author = {Stefan Schneider and Arnab Sharma and Holger Karl and Heike Wehrheim},
      editor = {Joe Betser and Carol J. Fung and Alex Clemm and J{\'{e}}r{\^{o}}me Fran{\c{c}}ois and Shingo Ata},
      title = {Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets},
      booktitle = {{IFIP/IEEE} International Symposium on Integrated Network Management, {IM} 2019, Washington, DC, USA, April 09-11, 2019},
      pages = {116--124},
      publisher = {{IFIP}},
      year = {2019},
      url = {http://dl.ifip.org/db/conf/im/im2019/188490.pdf},
      timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
      biburl = {https://dblp.org/rec/conf/im/SchneiderSKW19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    A. Sharma und H. Wehrheim, "Testing Balancedness of ML Algorithms" in Proc. Software Engineering and Software Management, SE/SWM 2019, Stuttgart, Germany, February 18-22, 2019, 2019.
    doi: 10.18420/SE2019-48
    @inproceedings{DBLP:conf/se/SharmaW19,
      author = {Arnab Sharma and Heike Wehrheim},
      editor = {Steffen Becker and Ivan Bogicevic and Georg Herzwurm and Stefan Wagner},
      title = {Testing Balancedness of {ML} Algorithms},
      booktitle = {Software Engineering and Software Management, {SE/SWM} 2019, Stuttgart, Germany, February 18-22, 2019},
      series = {{LNI}},
      volume = {{P-292}},
      pages = {157--158},
      publisher = {{GI}},
      year = {2019},
      url = {https://doi.org/10.18420/se2019-48},
      doi = {10.18420/SE2019-48},
      timestamp = {Wed, 13 Jan 2021 00:00:00 +0100},
      biburl = {https://dblp.org/rec/conf/se/SharmaW19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • S. Schneider, A. Sharma, H. Karl, und H. Wehrheim, "Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets" CoRR, vol. abs/1803.07007, 2018.
    @article{DBLP:journals/corr/abs-1803-07007,
      author = {Stefan Schneider and Arnab Sharma and Holger Karl and Heike Wehrheim},
      title = {Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets},
      journal = {CoRR},
      volume = {abs/1803.07007},
      year = {2018},
      url = {http://arxiv.org/abs/1803.07007},
      eprinttype = {arXiv},
      eprint = {1803.07007},
      timestamp = {Wed, 25 Nov 2020 00:00:00 +0100},
      biburl = {https://dblp.org/rec/journals/corr/abs-1803-07007.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org}
(Stand: 19.01.2024)  | 
Zum Seitananfang scrollen Scroll to the top of the page