48 Publications
2023 | Book Chapter | LibreCat-ID: 45886 | 
Wehrheim H, Hüllermeier E, Becker S, Becker M, Richter C, Sharma A. Composition Analysis in Unknown Contexts. In: Haake C-J, Meyer auf der Heide F, Platzner M, Wachsmuth H, Wehrheim H, eds. On-The-Fly Computing -- Individualized IT-Services in Dynamic Markets. Vol 412. Verlagsschriftenreihe des Heinz Nixdorf Instituts. Heinz Nixdorf Institut, Universität Paderborn; 2023:105-123. doi:10.5281/zenodo.8068510
LibreCat
| Files available
| DOI
2023 | Book | LibreCat-ID: 45863 |
Haake C-J, Meyer auf der Heide F, Platzner M, Wachsmuth H, Wehrheim H. On-The-Fly Computing -- Individualized IT-Services in Dynamic Markets. Vol 412. Heinz Nixdorf Institut, Universität Paderborn; 2023. doi:10.17619/UNIPB/1-1797
LibreCat
| Files available
| DOI
2022 | Conference Paper | LibreCat-ID: 32311
Sharma A, Melnikov V, Hüllermeier E, Wehrheim H. Property-Driven Testing of Black-Box Functions. In: Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE). IEEE; 2022:113-123.
LibreCat
2021 | Conference Paper | LibreCat-ID: 28350
Sharma A, Demir C, Ngonga Ngomo A-C, Wehrheim H. MLCHECK–Property-Driven Testing of Machine Learning Classifiers. In: Proceedings of the 20th IEEE International Conference on Machine Learning and Applications (ICMLA). IEEE.
LibreCat
2020 | Conference Paper | LibreCat-ID: 19656
Sharma A, Wehrheim H. Automatic Fairness Testing of Machine Learning Models. In: Proceedings of the 32th IFIP International Conference on Testing Software and Systems (ICTSS). LNCS. Springer.
LibreCat
2020 | Conference Paper | LibreCat-ID: 16724
Sharma A, Wehrheim H. 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.
LibreCat
2020 | Journal Article | LibreCat-ID: 16725
Richter C, Hüllermeier E, Jakobs M-C, Wehrheim H. Algorithm Selection for Software Validation Based on Graph Kernels. Journal of Automated Software Engineering.
LibreCat
2020 | Journal Article | LibreCat-ID: 13770
Karl H, Kundisch D, Meyer auf der Heide F, Wehrheim H. A Case for a New IT Ecosystem: On-The-Fly Computing. Business & Information Systems Engineering. 2020;62(6):467-481. doi:10.1007/s12599-019-00627-x
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 3287 |
Schneider SB, Sharma A, Karl H, Wehrheim H. Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets. In: 2019 IFIP/IEEE International Symposium on Integrated Network Management (IM). Washington, DC, USA: IFIP; 2019:116--124.
LibreCat
| Files available
| Download (ext.)
2019 | Conference Abstract | LibreCat-ID: 7752
Sharma A, Wehrheim H. Testing Balancedness of ML Algorithms. In: Proceedings of the Software Engineering Conference (SE). Vol P-292. Lecture Notes in Informatics (LNI). Stuttgart: Gesellschaft für Informatik e.V. (GI); 2019:157-158.
LibreCat
2019 | Conference Paper | LibreCat-ID: 7635
Sharma A, Wehrheim H. Testing Machine Learning Algorithms for Balanced Data Usage. In: IEEE International Conference on Software Testing, Verification and Validation (ICST). Xi’an, China: IEEE; 2019:125--135.
LibreCat
| Files available
2018 | Journal Article | LibreCat-ID: 3402
Melnikov V, Hüllermeier E. On the effectiveness of heuristics for learning nested dichotomies: an empirical analysis. Machine Learning. 2018. doi:10.1007/s10994-018-5733-1
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 3414
Börding P, Haltermann JF, Jakobs M-C, Wehrheim H. JMCTest: Automatically Testing Inter-Method Contracts in Java. In: Proceedings of the IFIP International Conference on Testing Software and Systems (ICTSS 2018). Vol 11146. Lecture Notes in Computer Science. Springer; 2018:39--55.
LibreCat
| Files available
2017 | Conference Paper | LibreCat-ID: 3325
Melnikov V, Hüllermeier E. Optimizing the Structure of Nested Dichotomies: A Comparison of Two Heuristics. In: Proceedings. 27. Workshop Computational Intelligence, Dortmund, 23. - 24. November 2017. KIT Scientific Publishing; 2017. doi:10.5445/KSP/1000074341
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 115
Jakobs M-C, Krämer J, van Straaten D, Lettmann T. Certification Matters for Service Markets. In: Marcelo De Barros, Janusz Klink,Tadeus Uhl TP, ed. The Ninth International Conferences on Advanced Service Computing (SERVICE COMPUTATION). ; 2017:7-12.
LibreCat
| Files available
2017 | Conference Paper | LibreCat-ID: 71
Czech M, Hüllermeier E, Jakobs M-C, Wehrheim H. Predicting Rankings of Software Verification Tools. In: Proceedings of the 3rd International Workshop on Software Analytics. SWAN’17. ; 2017:23-26. doi:10.1145/3121257.3121262
LibreCat
| Files available
| DOI
2017 | Report | LibreCat-ID: 72
Czech M, Hüllermeier E, Jakobs M-C, Wehrheim H. Predicting Rankings of Software Verification Competitions.; 2017.
LibreCat
| Files available
2017 | Conference Paper | LibreCat-ID: 99
Wehrheim H. Fault localization in service compositions. In: Proceedings of the 14th International Conference on Formal Aspects of Component Software (FACS). LNCS. ; 2017.
LibreCat
| Files available
2016 | Journal Article | LibreCat-ID: 3318
Melnikov V, Hüllermeier E, Kaimann D, Frick B, Gupta Pritha . Pairwise versus Pointwise Ranking: A Case Study. Schedae Informaticae. 2016;25. doi:10.4467/20838476si.16.006.6187
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 3157
Beringer S, Wehrheim H. Verification of AUTOSAR Software Architectures with Timed Automata. In: H. ter Beek M, Gnesi S, Knapp A, eds. 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. Lecture Notes in Computer Science. ; 2016:189--204. doi:10.1007/978-3-319-45943-1_13
LibreCat
| Files available
| DOI
2016 | Journal Article | LibreCat-ID: 175
Walther S, Wehrheim H. On-The-Fly Construction of Provably Correct Service Compositions - Templates and Proofs. Science of Computer Programming. 2016:2--23. doi:10.1016/j.scico.2016.04.002
LibreCat
| Files available
| DOI
2016 | Journal Article | LibreCat-ID: 190
Platenius MC, Shaker A, Becker M, Hüllermeier E, Schäfer W. Imprecise Matching of Requirements Specifications for Software Services using Fuzzy Logic. IEEE Transactions on Software Engineering (TSE), presented at ICSE 2017. 2016;(8):739-759. doi:10.1109/TSE.2016.2632115
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 184
Melnikov V, Hüllermeier E. Learning to Aggregate Using Uninorms. In: Proceedings of the Joint European Conference on Machine Learning and Knowledge Discovery in Databases (ECML/PKDD 2016). LNCS. ; 2016:756-771. doi:10.1007/978-3-319-46227-1_47
LibreCat
| Files available
| DOI
2016 | Report | LibreCat-ID: 221
Platenius MC, Josifovska K, van Rooijen L, et al. An Overview of Service Specification Language and Matching in On-The-Fly Computing (v0.3). Universität Paderborn; 2016.
LibreCat
| Files available
2016 | Conference Paper | LibreCat-ID: 224
Krämer J, Wehrheim H. A short survey on using software error localization for service compositions. In: Proceedings of the 5th European Conference on Service-Oriented and Cloud Computing (ESOCC 2016). LNCS. ; 2016:248--262. doi:10.1007/978-3-319-44482-6_16
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 226
Krämer J, Wehrheim H. A Formal Approach to Error Localization and Correction in Service Compositions. In: Proceedings of the 1st International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016). LNCS. ; 2016:445--457. doi:10.1007/978-3-319-50230-4_35
LibreCat
| Files available
| DOI
2015 | Journal Article | LibreCat-ID: 260
Brosig F, Meier P, Becker S, Koziolek A, Koziolek H, Kounev S. Quantitative Evaluation of Model-Driven Performance Analysis and Simulation of Component-based Architectures. Transactions on Software Engineering. 2015;(2):157--175. doi:10.1109/TSE.2014.2362755
LibreCat
| Files available
| DOI
2015 | Journal Article | LibreCat-ID: 290
Besova G, Steenken D, Wehrheim H. Grammar-based model transformations: Definition, execution, and quality properties. Computer Languages, Systems & Structures. 2015:116-138. doi:10.1016/j.cl.2015.05.003
LibreCat
| Files available
| DOI
2015 | Journal Article | LibreCat-ID: 3162
Ziegert S, Wehrheim H. Temporal plans for software architecture reconfiguration. Computer Science - R & D. 2015;(3-4):303--320. doi:10.1007/s00450-014-0259-7
LibreCat
| Files available
| DOI
2015 | Journal Article | LibreCat-ID: 4792
Senge R, Hüllermeier E. Fast Fuzzy Pattern Tree Learning for Classification. IEEE Transactions on Fuzzy Systems. 2015;23(6):2024-2033. doi:10.1109/tfuzz.2015.2396078
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 336
Walther S, Wehrheim H. Verified Service Compositions by Template-Based Construction. In: Lanese I, Madelaine E, eds. Proceedings of the 11th International Symposium on Formal Aspects of Component Software (FACS). LNCS. ; 2014:31-48. doi:10.1007/978-3-319-15317-9_3
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 344
Becker M, Becker S, Besova G, Walther S, Wehrheim H. Towards Systematic Configuration for Architecture Validation. In: Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (Work in Progress Session). ; 2014.
LibreCat
| Files available
2014 | Conference Paper | LibreCat-ID: 353
Mohr F, Walther S. Template-based Generation of Semantic Services. In: Proceedings of the 14th International Conference on Software Reuse (ICSR). LNCS. ; 2014:188-203. doi:10.1007/978-3-319-14130-5_14
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 364
Arifulina S, Becker M, Platenius MC, Walther S. SeSAME: Modeling and Analyzing High-Quality Service Compositions. In: Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014). ; 2014:839-842. doi:10.1145/2642937.2648621
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 449
Becker M, Platenius MC, Becker S. Cloud Computing Reduces Uncertainties in Quality-of-Service Matching! In: Proceedings of the 2nd International Workshop on Cloud Service Brokerage (CSB). Communications in Computer and Information Science. ; 2014:153-159. doi:10.1007/978-3-319-14886-1_15
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 402
Arifulina S, Platenius MC, Gerth C, Becker S, Engels G, Schäfer W. Market-optimized Service Specification and Matching. In: Franch X, Ghose A, Lewis G, Bhiri S, eds. Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014). LNCS. ; 2014:543-550. doi:10.1007/978-3-662-45391-9_47
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 409
Platenius MC, Becker S, Schäfer W. Integrating Service Matchers into a Service Market Architecture. In: Avgeriou P, Zdun U, eds. Proceedings of the 8th European Conference on Software Architecture (ECSA 2014). LNCS. ; 2014:210-217. doi:10.1007/978-3-319-09970-5_19
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 417
Besova G, Steenke D, Wehrheim H. Grammar-based model transformations. In: Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD). ; 2014:1601-1610. doi:10.1016/j.cl.2015.05.003
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 483
Becker M, Becker S, Meyer J. SimuLizar: Design-Time modeling and Performance Analysis of Self-Adaptive Systems. In: Proceedings of the Software Engineering Conference (SE). Lecture Notes in Informatics (LNI). ; 2013:71-84.
LibreCat
| Files available
| Download (ext.)
2013 | Conference Paper | LibreCat-ID: 502
Becker M, Luckey M, Becker S. Performance Analysis of Self-Adaptive Systems for Requirements Validation at Design-Time. In: Proceedings of the 9th ACM SigSoft International Conference on Quality of Software Architectures (QoSA’13). ; 2013:43-52. doi:10.1145/2465478.2465489
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 517
Walther S, Wehrheim H. Knowledge-Based Verification of Service Compositions - An SMT approach. In: Proceedings of the 18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS). ; 2013:24-32. doi:10.1109/ICECCS.2013.14
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 529
Heinzemann C, Becker S. Executing Reconfigurations in Hierarchical Component Architectures. In: Proceedings of the 16th International ACM SigSoft Symposium on Component-Based Software Engineering (CBSE). ; 2013:3-12. doi:10.1145/2465449.2465452
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 569
Becker S, Heinzemann C, Priesterjahn C. Towards Modeling Reconfiguration in Hierarchical Component Architectures. In: Proceedings of the 15th ACM SigSoft International Symposium on Component-Based Software Engineering (CBSE). ; 2012:23--28. doi:10.1145/2304736.2304742
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 596
Becker M, Luckey M, Becker S. Model-Driven Performance Engineering of Self-Adaptive Systems: A Survey. In: Proceedings of the 8th ACM SigSoft International Conference on Quality of Software Architectures (QoSA’12). ; 2012:117-122. doi:10.1145/2304696.2304716
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 565
Besova G, Walther S, Wehrheim H, Becker S. Weaving-based configuration and modular transformation of multi-layer systems. In: Proceedings of the 15th International Conference on Model Driven Engineering Languages & Systems (MoDELS). LNCS. ; 2012:776-792. doi:10.1007/978-3-642-33666-9_49
LibreCat
| Files available
| DOI
2011 | Journal Article | LibreCat-ID: 647
Leuschel M, Wehrheim H. Selected papers on Integrated Formal Methods (iFM09). Science of Computer Programming. 2011;(10):835--836. doi:10.1016/j.scico.2011.01.009
LibreCat
| Files available
| DOI
2011 | Journal Article | LibreCat-ID: 649
Besova G, Wehrheim H, Wagner A. Reputation-based Reliability Prediction of Service Compositions. Electronic Notes in Theoretical Computer Science. 2011;(2):3-16. doi:10.1016/j.entcs.2011.11.008
LibreCat
| Files available
| DOI
2011 | Conference Paper | LibreCat-ID: 653
Lehrig S, Zolynski T. Performance Prototyping with ProtoCom in a Virtualised Environment: A Case Study. In: Proceedings of the Palladio Days 2011. Karlsruhe Reports in Informatics. ; 2011:15-22. doi:10.5445/IR/1000025188
LibreCat
| Files available
| DOI