18 Publications
2024 | Conference Paper | LibreCat-ID: 58054
A. Sharma, D. Leite, C. Demir, and A.-C. N. Ngomo, “Trading-Off Interpretability and Accuracy in Medical Applications: A Study Toward Optimal Explainability of Hoeffding Trees,” 2024, doi: 10.1109/fuzz-ieee60900.2024.10611982.
LibreCat
| DOI
2024 | Conference Paper | LibreCat-ID: 58053
D. Leite, A. Sharma, C. Demir, and A.-C. Ngomo, “Interpretability Index Based on Balanced Volumes for Transparent Models and Agnostic Explainers,” 2024, doi: 10.1109/fuzz-ieee60900.2024.10611937.
LibreCat
| DOI
2024 | Journal Article | LibreCat-ID: 58049
C. Demir, N. J. KOUAGOU, A. Sharma, and A.-C. Ngonga Ngomo, “Inference over Unseen Entities, Relations and Literals on Knowledge Graphs,” Arxiv, 2024, doi: 10.48550/ARXIV.2410.06742.
LibreCat
| DOI
2024 | Conference Paper | LibreCat-ID: 58052
D. Leite, A. Silva, G. Casalino, A. Sharma, D. Fortunato, and A.-C. Ngomo, “EGNN-C+: Interpretable Evolving Granular Neural Network and Application in Classification of Weakly-Supervised EEG Data Streams,” 2024, doi: 10.1109/eais58494.2024.10570033.
LibreCat
| DOI
2024 | Journal Article | LibreCat-ID: 58048
A. Sharma, N. J. KOUAGOU, and A.-C. Ngonga Ngomo, “Resilience in Knowledge Graph Embeddings,” Arxiv, 2024, doi: 10.48550/ARXIV.2410.21163.
LibreCat
| DOI
2024 | Journal Article | LibreCat-ID: 58051
C. Demir, A. Sharma, and A.-C. Ngonga Ngomo, “Adaptive Stochastic Weight Averaging,” arxiv, 2024, doi: 10.48550/ARXIV.2406.19092.
LibreCat
| DOI
2023 | Book Chapter | LibreCat-ID: 45886 |

H. Wehrheim, E. Hüllermeier, S. Becker, M. Becker, C. Richter, and A. Sharma, “Composition Analysis in Unknown Contexts,” in On-The-Fly Computing -- Individualized IT-services in dynamic markets, vol. 412, C.-J. Haake, F. Meyer auf der Heide, M. Platzner, H. Wachsmuth, and H. Wehrheim, Eds. Paderborn: Heinz Nixdorf Institut, Universität Paderborn, 2023, pp. 105–123.
LibreCat
| Files available
| DOI
2022 | Conference Paper | LibreCat-ID: 32311
A. Sharma, V. Melnikov, E. Hüllermeier, and H. Wehrheim, “Property-Driven Testing of Black-Box Functions,” in Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE), 2022, pp. 113–123.
LibreCat
2021 | Journal Article | LibreCat-ID: 25213
A. Sharma, C. Demir, A.-C. Ngonga Ngomo, and H. Wehrheim, “MLCheck- Property-Driven Testing of Machine Learning Models,” CoRR, vol. abs/2105.00741, 2021.
LibreCat
2021 | Conference Paper | LibreCat-ID: 28350
A. Sharma, C. Demir, A.-C. Ngonga Ngomo, and H. Wehrheim, “MLCHECK–Property-Driven Testing of Machine Learning Classifiers.”
LibreCat
2020 | Conference Paper | LibreCat-ID: 19656
A. Sharma and H. Wehrheim, “Automatic Fairness Testing of Machine Learning Models,” in Proceedings of the 32th IFIP International Conference on Testing Software and Systems (ICTSS).
LibreCat
2020 | Journal Article | LibreCat-ID: 20279
A. Sharma and H. Wehrheim, “Testing Monotonicity of Machine Learning Models,” CoRR, vol. abs/2002.12278, 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 16724
A. Sharma and H. Wehrheim, “Higher Income, Larger Loan? Monotonicity Testing of Machine Learning Models,” in Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA).
LibreCat
2019 | Conference Paper | LibreCat-ID: 3287 |

S. B. Schneider, A. Sharma, H. Karl, and H. Wehrheim, “Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets,” in 2019 IFIP/IEEE International Symposium on Integrated Network Management (IM), Washington, DC, USA, 2019, pp. 116--124.
LibreCat
| Files available
| Download (ext.)
2019 | Conference Abstract | LibreCat-ID: 7752
A. Sharma and H. Wehrheim, “Testing Balancedness of ML Algorithms,” in Proceedings of the Software Engineering Conference (SE), Stuttgart, 2019, vol. P-292, pp. 157–158.
LibreCat
2019 | Conference Paper | LibreCat-ID: 7635
A. Sharma and H. Wehrheim, “Testing Machine Learning Algorithms for Balanced Data Usage,” in IEEE International Conference on Software Testing, Verification and Validation (ICST), Xi’an, China, April, 2019, 2019, pp. 125--135.
LibreCat
| Files available
18 Publications
2024 | Conference Paper | LibreCat-ID: 58054
A. Sharma, D. Leite, C. Demir, and A.-C. N. Ngomo, “Trading-Off Interpretability and Accuracy in Medical Applications: A Study Toward Optimal Explainability of Hoeffding Trees,” 2024, doi: 10.1109/fuzz-ieee60900.2024.10611982.
LibreCat
| DOI
2024 | Conference Paper | LibreCat-ID: 58053
D. Leite, A. Sharma, C. Demir, and A.-C. Ngomo, “Interpretability Index Based on Balanced Volumes for Transparent Models and Agnostic Explainers,” 2024, doi: 10.1109/fuzz-ieee60900.2024.10611937.
LibreCat
| DOI
2024 | Journal Article | LibreCat-ID: 58049
C. Demir, N. J. KOUAGOU, A. Sharma, and A.-C. Ngonga Ngomo, “Inference over Unseen Entities, Relations and Literals on Knowledge Graphs,” Arxiv, 2024, doi: 10.48550/ARXIV.2410.06742.
LibreCat
| DOI
2024 | Conference Paper | LibreCat-ID: 58052
D. Leite, A. Silva, G. Casalino, A. Sharma, D. Fortunato, and A.-C. Ngomo, “EGNN-C+: Interpretable Evolving Granular Neural Network and Application in Classification of Weakly-Supervised EEG Data Streams,” 2024, doi: 10.1109/eais58494.2024.10570033.
LibreCat
| DOI
2024 | Journal Article | LibreCat-ID: 58048
A. Sharma, N. J. KOUAGOU, and A.-C. Ngonga Ngomo, “Resilience in Knowledge Graph Embeddings,” Arxiv, 2024, doi: 10.48550/ARXIV.2410.21163.
LibreCat
| DOI
2024 | Journal Article | LibreCat-ID: 58051
C. Demir, A. Sharma, and A.-C. Ngonga Ngomo, “Adaptive Stochastic Weight Averaging,” arxiv, 2024, doi: 10.48550/ARXIV.2406.19092.
LibreCat
| DOI
2023 | Book Chapter | LibreCat-ID: 45886 |

H. Wehrheim, E. Hüllermeier, S. Becker, M. Becker, C. Richter, and A. Sharma, “Composition Analysis in Unknown Contexts,” in On-The-Fly Computing -- Individualized IT-services in dynamic markets, vol. 412, C.-J. Haake, F. Meyer auf der Heide, M. Platzner, H. Wachsmuth, and H. Wehrheim, Eds. Paderborn: Heinz Nixdorf Institut, Universität Paderborn, 2023, pp. 105–123.
LibreCat
| Files available
| DOI
2022 | Conference Paper | LibreCat-ID: 32311
A. Sharma, V. Melnikov, E. Hüllermeier, and H. Wehrheim, “Property-Driven Testing of Black-Box Functions,” in Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE), 2022, pp. 113–123.
LibreCat
2021 | Journal Article | LibreCat-ID: 25213
A. Sharma, C. Demir, A.-C. Ngonga Ngomo, and H. Wehrheim, “MLCheck- Property-Driven Testing of Machine Learning Models,” CoRR, vol. abs/2105.00741, 2021.
LibreCat
2021 | Conference Paper | LibreCat-ID: 28350
A. Sharma, C. Demir, A.-C. Ngonga Ngomo, and H. Wehrheim, “MLCHECK–Property-Driven Testing of Machine Learning Classifiers.”
LibreCat
2020 | Conference Paper | LibreCat-ID: 19656
A. Sharma and H. Wehrheim, “Automatic Fairness Testing of Machine Learning Models,” in Proceedings of the 32th IFIP International Conference on Testing Software and Systems (ICTSS).
LibreCat
2020 | Journal Article | LibreCat-ID: 20279
A. Sharma and H. Wehrheim, “Testing Monotonicity of Machine Learning Models,” CoRR, vol. abs/2002.12278, 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 16724
A. Sharma and H. Wehrheim, “Higher Income, Larger Loan? Monotonicity Testing of Machine Learning Models,” in Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA).
LibreCat
2019 | Conference Paper | LibreCat-ID: 3287 |

S. B. Schneider, A. Sharma, H. Karl, and H. Wehrheim, “Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets,” in 2019 IFIP/IEEE International Symposium on Integrated Network Management (IM), Washington, DC, USA, 2019, pp. 116--124.
LibreCat
| Files available
| Download (ext.)
2019 | Conference Abstract | LibreCat-ID: 7752
A. Sharma and H. Wehrheim, “Testing Balancedness of ML Algorithms,” in Proceedings of the Software Engineering Conference (SE), Stuttgart, 2019, vol. P-292, pp. 157–158.
LibreCat
2019 | Conference Paper | LibreCat-ID: 7635
A. Sharma and H. Wehrheim, “Testing Machine Learning Algorithms for Balanced Data Usage,” in IEEE International Conference on Software Testing, Verification and Validation (ICST), Xi’an, China, April, 2019, 2019, pp. 125--135.
LibreCat
| Files available