@inbookWehrheim_Hüllermeier_Becker_Becker_Richter_Sharma_2023, place=Paderborn, series=Verlagsschriftenreihe des Heinz Nixdorf Instituts, title=Composition Analysis in Unknown Contexts, volume=412, DOI=10.5281/zenodo.8068510, booktitle=On-The-Fly Computing -- Individualized IT-services in dynamic markets, publisher=Heinz Nixdorf Institut, Universität Paderborn, author=Wehrheim, Heike and Hüllermeier, Eyke and Becker, Steffen and Becker, Matthias and Richter, Cedric and Sharma, Arnab, editor=Haake, Claus-Jochen and Meyer auf der Heide, Friedhelm and Platzner, Marco and Wachsmuth, Henning and Wehrheim, Heike, year=2023, pages=105–123, collection=Verlagsschriftenreihe des Heinz Nixdorf Instituts 
LibreCat: /record/45886
DOI: 10.5281/zenodo.8068510

@bookHaake_Meyer auf der Heide_Platzner_Wachsmuth_Wehrheim_2023, place=Paderborn, series=Verlagsschriftenreihe des Heinz Nixdorf Instituts, title=On-The-Fly Computing -- Individualized IT-services in dynamic markets, volume=412, DOI=10.17619/UNIPB/1-1797, publisher=Heinz Nixdorf Institut, Universität Paderborn, author=Haake, Claus-Jochen and Meyer auf der Heide, Friedhelm and Platzner, Marco and Wachsmuth, Henning and Wehrheim, Heike, year=2023, collection=Verlagsschriftenreihe des Heinz Nixdorf Instituts 
LibreCat: /record/45863
DOI: 10.17619/UNIPB/1-1797

@inproceedingsSharma_Melnikov_Hüllermeier_Wehrheim_2022, title=Property-Driven Testing of Black-Box Functions, booktitle=Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE), publisher=IEEE, author=Sharma, Arnab and Melnikov, Vitaly and Hüllermeier, Eyke and Wehrheim, Heike, year=2022, pages=113–123 
LibreCat: /record/32311

@inproceedingsSharma_Demir_Ngonga Ngomo_Wehrheim, title=MLCHECK–Property-Driven Testing of Machine Learning Classifiers, booktitle=Proceedings of the 20th IEEE International Conference on Machine Learning and Applications (ICMLA), publisher=IEEE, author=Sharma, Arnab and Demir, Caglar and Ngonga Ngomo, Axel-Cyrille and Wehrheim, Heike 
LibreCat: /record/28350

@inproceedingsSharma_Wehrheim, series=LNCS, title=Automatic Fairness Testing of Machine Learning Models, booktitle=Proceedings of the 32th IFIP International Conference on Testing Software and Systems (ICTSS), publisher=Springer, author=Sharma, Arnab and Wehrheim, Heike, collection=LNCS 
LibreCat: /record/19656

@inproceedingsSharma_Wehrheim, title=Higher Income, Larger Loan? Monotonicity Testing of Machine Learning Models, booktitle=Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)., publisher=ACM, author=Sharma, Arnab and Wehrheim, Heike 
LibreCat: /record/16724

@articleRichter_Hüllermeier_Jakobs_Wehrheim, title=Algorithm Selection for Software Validation Based on Graph Kernels, journal=Journal of Automated Software Engineering, publisher=Springer, author=Richter, Cedric and Hüllermeier, Eyke and Jakobs, Marie-Christine and Wehrheim, Heike 
LibreCat: /record/16725

@articleKarl_Kundisch_Meyer auf der Heide_Wehrheim_2020, title=A Case for a New IT Ecosystem: On-The-Fly Computing, volume=62, DOI=10.1007/s12599-019-00627-x, number=6, journal=Business &; Information Systems Engineering, publisher=Springer, author=Karl, Holger and Kundisch, Dennis and Meyer auf der Heide, Friedhelm and Wehrheim, Heike, year=2020, pages=467–481 
LibreCat: /record/13770
DOI: 10.1007/s12599-019-00627-x

@inproceedingsSchneider_Sharma_Karl_Wehrheim_2019, place=Washington, DC, USA, title=Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets, booktitle=2019 IFIP/IEEE International Symposium on Integrated Network Management (IM), publisher=IFIP, author=Schneider, Stefan Balthasar and Sharma, Arnab and Karl, Holger and Wehrheim, Heike, year=2019, pages=116--124 
LibreCat: /record/3287

@inproceedingsSharma_Wehrheim_2019, place=Stuttgart, series=Lecture Notes in Informatics (LNI), title=Testing Balancedness of ML Algorithms, volume=P-292, booktitle=Proceedings of the Software Engineering Conference (SE), publisher=Gesellschaft für Informatik e.V. (GI), author=Sharma, Arnab and Wehrheim, Heike, year=2019, pages=157–158, collection=Lecture Notes in Informatics (LNI) 
LibreCat: /record/7752

@inproceedingsSharma_Wehrheim_2019, place=Xi’an, China, title=Testing Machine Learning Algorithms for Balanced Data Usage, booktitle=IEEE International Conference on Software Testing, Verification and Validation (ICST), publisher=IEEE, author=Sharma, Arnab and Wehrheim, Heike, year=2019, pages=125--135 
LibreCat: /record/7635

@articleMelnikov_Hüllermeier_2018, title=On the effectiveness of heuristics for learning nested dichotomies: an empirical analysis, DOI=10.1007/s10994-018-5733-1, journal=Machine Learning, author=Melnikov, Vitalik and Hüllermeier, Eyke, year=2018 
LibreCat: /record/3402
DOI: 10.1007/s10994-018-5733-1

@inproceedingsBörding_Haltermann_Jakobs_Wehrheim_2018, series=Lecture Notes in Computer Science, title=JMCTest: Automatically Testing Inter-Method Contracts in Java, volume=11146, booktitle=Proceedings of the IFIP International Conference on Testing Software and Systems (ICTSS 2018), publisher=Springer, author=Börding, Paul and Haltermann, Jan Frederik and Jakobs, Marie-Christine and Wehrheim, Heike, year=2018, pages=39--55, collection=Lecture Notes in Computer Science 
LibreCat: /record/3414

@inproceedingsMelnikov_Hüllermeier_2017, title=Optimizing the Structure of Nested Dichotomies: A Comparison of Two Heuristics, DOI=10.5445/KSP/1000074341, booktitle=Proceedings. 27. Workshop Computational Intelligence, Dortmund, 23. - 24. November 2017, publisher=KIT Scientific Publishing, author=Melnikov, Vitalik and Hüllermeier, Eyke, year=2017 
LibreCat: /record/3325
DOI: 10.5445/KSP/1000074341

@inproceedingsJakobs_Krämer_van Straaten_Lettmann_2017, title=Certiû01cation Matters for Service Markets, booktitle=The Ninth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), author=Jakobs, Marie-Christine and Krämer, Julia and van Straaten, Dirk and Lettmann, Theodor, editor=Marcelo De Barros, Janusz Klink,Tadeus Uhl, Thomas PrinzEditor, year=2017, pages=7–12 
LibreCat: /record/115

@inproceedingsCzech_Hüllermeier_Jakobs_Wehrheim_2017, series=SWAN’17, title=Predicting Rankings of Software Verification Tools, DOI=10.1145/3121257.3121262, booktitle=Proceedings of the 3rd International Workshop on Software Analytics, author=Czech, Mike and Hüllermeier, Eyke and Jakobs, Marie-Christine and Wehrheim, Heike, year=2017, pages=23–26, collection=SWAN’17 
LibreCat: /record/71
DOI: 10.1145/3121257.3121262

@bookCzech_Hüllermeier_Jakobs_Wehrheim_2017, title=Predicting Rankings of Software Verification Competitions, author=Czech, Mike and Hüllermeier, Eyke and Jakobs, Marie-Christine and Wehrheim, Heike, year=2017 
LibreCat: /record/72

@inproceedingsWehrheim_2017, series=LNCS, title=Fault localization in service compositions, booktitle=Proceedings of the 14th International Conference on Formal Aspects of Component Software (FACS), author=Wehrheim, Heike, year=2017, collection=LNCS 
LibreCat: /record/99

@articleMelnikov_Hüllermeier_Kaimann_Frick_Gupta_2016, title=Pairwise versus Pointwise Ranking: A Case Study, volume=25, DOI=10.4467/20838476si.16.006.6187, journal=Schedae Informaticae, publisher=Uniwersytet Jagiellonski - Wydawnictwo Uniwersytetu Jagiellonskiego, author=Melnikov, Vitalik and Hüllermeier, Eyke and Kaimann, Daniel and Frick, Bernd10.4467/20838476si.16.006.6187__and Gupta,10.4467/20838476si.16.006.6187__Pritha , year=2016 
LibreCat: /record/3318
DOI: 10.4467/20838476si.16.006.6187

@inproceedingsBeringer_Wehrheim_2016, series=Lecture Notes in Computer Science, title=Verification of AUTOSAR Software Architectures with Timed Automata, DOI=10.1007/978-3-319-45943-1_13, booktitle=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, author=Beringer, Steffen and Wehrheim, Heike, editor=H. ter Beek, Maurice and Gnesi, Stefania and Knapp, AlexanderEditors, year=2016, pages=189--204, collection=Lecture Notes in Computer Science 
LibreCat: /record/3157
DOI: 10.1007/978-3-319-45943-1_13