Wehrheim, Heike, Eyke Hüllermeier, Steffen Becker, Matthias Becker, Cedric Richter, and Arnab Sharma. “Composition Analysis in Unknown Contexts.”https://doi.org/10.5281/zenodo.8068510__In On-The-Fly Computing -- Individualized IT-Services in Dynamic Markets, edited by Claus-Jochen Haake, Friedhelm Meyer auf der Heide, Marco Platzner, Henning Wachsmuth, and Heike Wehrheim, 412:105–23. Verlagsschriftenreihe Des Heinz Nixdorf Instituts. Paderborn: Heinz Nixdorf Institut, Universität Paderborn, 2023.https://doi.org/10.5281/zenodo.8068510 .
LibreCat: /record/45886
DOI: 10.5281/zenodo.8068510

Haake, Claus-Jochen, Friedhelm Meyer auf der Heide, Marco Platzner, Henning Wachsmuth, and Heike Wehrheim. On-The-Fly Computing -- Individualized IT-Services in Dynamic Markets. Vol. 412. Verlagsschriftenreihe Des Heinz Nixdorf Instituts. Paderborn: Heinz Nixdorf Institut, Universität Paderborn, 2023.https://doi.org/10.17619/UNIPB/1-1797 .
LibreCat: /record/45863
DOI: 10.17619/UNIPB/1-1797

Sharma, Arnab, Vitaly Melnikov, Eyke Hüllermeier, and Heike Wehrheim. “Property-Driven Testing of Black-Box Functions.” In Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE), 113–23. IEEE, 2022.
LibreCat: /record/32311

Sharma, Arnab, Caglar Demir, Axel-Cyrille Ngonga Ngomo, and Heike Wehrheim. “MLCHECK–Property-Driven Testing of Machine Learning Classifiers.” In Proceedings of the 20th IEEE International Conference on Machine Learning and Applications (ICMLA). IEEE, n.d.
LibreCat: /record/28350

Sharma, Arnab, and Heike Wehrheim. “Automatic Fairness Testing of Machine Learning Models.” In Proceedings of the 32th IFIP International Conference on Testing Software and Systems (ICTSS). LNCS. Springer, n.d.
LibreCat: /record/19656

Sharma, Arnab, and Heike 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). ACM, n.d.
LibreCat: /record/16724

Richter, Cedric, Eyke Hüllermeier, Marie-Christine Jakobs, and Heike Wehrheim. “Algorithm Selection for Software Validation Based on Graph Kernels.” Journal of Automated Software Engineering, n.d.
LibreCat: /record/16725

Karl, Holger, Dennis Kundisch, Friedhelm Meyer auf der Heide, and Heike Wehrheim. “A Case for a New IT Ecosystem: On-The-Fly Computing.”https://doi.org/10.1007/s12599-019-00627-x__Business &; Information Systems Engineering 62, no. 6 (2020): 467–81.https://doi.org/10.1007/s12599-019-00627-x .
LibreCat: /record/13770
DOI: 10.1007/s12599-019-00627-x

Schneider, Stefan Balthasar, Arnab Sharma, Holger Karl, and Heike Wehrheim. “Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets.” In 2019 IFIP/IEEE International Symposium on Integrated Network Management (IM), 116--124. Washington, DC, USA: IFIP, 2019.
LibreCat: /record/3287

Sharma, Arnab, and Heike Wehrheim. “Testing Balancedness of ML Algorithms.” In Proceedings of the Software Engineering Conference (SE), P-292:157–58. Lecture Notes in Informatics (LNI). Stuttgart: Gesellschaft für Informatik e.V. (GI), 2019.
LibreCat: /record/7752

Sharma, Arnab, and Heike Wehrheim. “Testing Machine Learning Algorithms for Balanced Data Usage.” In IEEE International Conference on Software Testing, Verification and Validation (ICST), 125--135. Xi’an, China: IEEE, 2019.
LibreCat: /record/7635

Melnikov, Vitalik, and Eyke Hüllermeier. “On the Effectiveness of Heuristics for Learning Nested Dichotomies: An Empirical Analysis.”https://doi.org/10.1007/s10994-018-5733-1__Machine Learning, 2018.https://doi.org/10.1007/s10994-018-5733-1 .
LibreCat: /record/3402
DOI: 10.1007/s10994-018-5733-1

Börding, Paul, Jan Frederik Haltermann, Marie-Christine Jakobs, and Heike Wehrheim. “JMCTest: Automatically Testing Inter-Method Contracts in Java.” In Proceedings of the IFIP International Conference on Testing Software and Systems (ICTSS 2018), 11146:39--55. Lecture Notes in Computer Science. Springer, 2018.
LibreCat: /record/3414

Melnikov, Vitalik, and Eyke Hüllermeier. “Optimizing the Structure of Nested Dichotomies: A Comparison of Two Heuristics.”https://doi.org/10.5445/KSP/1000074341__In Proceedings. 27. Workshop Computational Intelligence, Dortmund, 23. - 24. November 2017. KIT Scientific Publishing, 2017.https://doi.org/10.5445/KSP/1000074341 .
LibreCat: /record/3325
DOI: 10.5445/KSP/1000074341

Jakobs, Marie-Christine, Julia Krämer, Dirk van Straaten, and Theodor Lettmann. “Certiû01cation Matters for Service Markets.” In The Ninth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), edited by Thomas Prinz Marcelo De Barros, Janusz Klink,Tadeus Uhl, 7–12, 2017.
LibreCat: /record/115

Czech, Mike, Eyke Hüllermeier, Marie-Christine Jakobs, and Heike Wehrheim. “Predicting Rankings of Software Verification Tools.”https://doi.org/10.1145/3121257.3121262__In Proceedings of the 3rd International Workshop on Software Analytics, 23–26. SWAN’17, 2017.https://doi.org/10.1145/3121257.3121262 .
LibreCat: /record/71
DOI: 10.1145/3121257.3121262

Czech, Mike, Eyke Hüllermeier, Marie-Christine Jakobs, and Heike Wehrheim. Predicting Rankings of Software Verification Competitions, 2017.
LibreCat: /record/72

Wehrheim, Heike. “Fault Localization in Service Compositions.” In Proceedings of the 14th International Conference on Formal Aspects of Component Software (FACS). LNCS, 2017.
LibreCat: /record/99

Melnikov, Vitalik, Eyke Hüllermeier, Daniel Kaimann, Berndhttps://doi.org/10.4467/20838476si.16.006.6187__Frick, andhttps://doi.org/10.4467/20838476si.16.006.6187__Prithahttps://doi.org/10.4467/20838476si.16.006.6187__Gupta. “Pairwise versus Pointwise Ranking: A Case Study.”https://doi.org/10.4467/20838476si.16.006.6187__Schedae Informaticae 25 (2016).https://doi.org/10.4467/20838476si.16.006.6187 .
LibreCat: /record/3318
DOI: 10.4467/20838476si.16.006.6187

Beringer, Steffen, and Heike Wehrheim. “Verification of AUTOSAR Software Architectures with Timed Automata.”https://doi.org/10.1007/978-3-319-45943-1_13__In Critical Systems: Formal Methods and Automated Verification - Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings, edited by Maurice H. ter Beek, Stefania Gnesi, and Alexander Knapp, 189--204. Lecture Notes in Computer Science, 2016.https://doi.org/10.1007/978-3-319-45943-1_13 .
LibreCat: /record/3157
DOI: 10.1007/978-3-319-45943-1_13