Wehrheim, Heike, et al. “Composition Analysis in Unknown Contexts.”10.5281/zenodo.8068510__On-The-Fly Computing -- Individualized IT-Services in Dynamic Markets, edited by Claus-Jochen Haake et al., vol. 412, Heinz Nixdorf Institut, Universität Paderborn, 2023, pp. 105–23, doi:10.5281/zenodo.8068510.
LibreCat: /record/45886
DOI: 10.5281/zenodo.8068510

Haake, Claus-Jochen, et al. On-The-Fly Computing -- Individualized IT-Services in Dynamic Markets. Heinz Nixdorf Institut, Universität Paderborn, 2023, doi:10.17619/UNIPB/1-1797.
LibreCat: /record/45863
DOI: 10.17619/UNIPB/1-1797

Sharma, Arnab, et al. “Property-Driven Testing of Black-Box Functions.” Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE), IEEE, 2022, pp. 113–23.
LibreCat: /record/32311

Sharma, Arnab, et al. “MLCHECK–Property-Driven Testing of Machine Learning Classifiers.” Proceedings of the 20th IEEE International Conference on Machine Learning and Applications (ICMLA), IEEE.
LibreCat: /record/28350

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

Sharma, Arnab, and Heike Wehrheim. “Higher Income, Larger Loan? Monotonicity Testing of Machine Learning Models.” Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)., ACM.
LibreCat: /record/16724

Richter, Cedric, et al. “Algorithm Selection for Software Validation Based on Graph Kernels.” Journal of Automated Software Engineering, Springer.
LibreCat: /record/16725

Karl, Holger, et al. “A Case for a New IT Ecosystem: On-The-Fly Computing.”10.1007/s12599-019-00627-x__Business &; Information Systems Engineering, vol. 62, no. 6, Springer, 2020, pp. 467–81, doi:10.1007/s12599-019-00627-x.
LibreCat: /record/13770
DOI: 10.1007/s12599-019-00627-x

Schneider, Stefan Balthasar, et al. “Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets.” 2019 IFIP/IEEE International Symposium on Integrated Network Management (IM), IFIP, 2019, pp. 116--124.
LibreCat: /record/3287

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

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

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

Börding, Paul, et al. “JMCTest: Automatically Testing Inter-Method Contracts in Java.” Proceedings of the IFIP International Conference on Testing Software and Systems (ICTSS 2018), vol. 11146, Springer, 2018, pp. 39--55.
LibreCat: /record/3414

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

Jakobs, Marie-Christine, et al. “Certiû01cation Matters for Service Markets.” The Ninth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), edited by Thomas Prinz Marcelo De Barros, Janusz Klink,Tadeus Uhl, 2017, pp. 7–12.
LibreCat: /record/115

Czech, Mike, et al. “Predicting Rankings of Software Verification Tools.”10.1145/3121257.3121262__Proceedings of the 3rd International Workshop on Software Analytics, 2017, pp. 23–26, doi:10.1145/3121257.3121262.
LibreCat: /record/71
DOI: 10.1145/3121257.3121262

Czech, Mike, et al. Predicting Rankings of Software Verification Competitions. 2017.
LibreCat: /record/72

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

Melnikov, Vitalik, et al. “Pairwise versus Pointwise Ranking: A Case Study.”10.4467/20838476si.16.006.6187__Schedae Informaticae, vol. 25, Uniwersytet Jagiellonski - Wydawnictwo Uniwersytetu Jagiellonskiego, 2016, doi: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.”10.1007/978-3-319-45943-1_13__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 et al., 2016, pp. 189--204, doi:10.1007/978-3-319-45943-1_13.
LibreCat: /record/3157
DOI: 10.1007/978-3-319-45943-1_13