70 Publications
2023 | Book Chapter | LibreCat-ID: 45886 | 
Wehrheim, Heike, et al. “Composition Analysis in Unknown Contexts.” 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
| Files available
| DOI
2023 | Dissertation | LibreCat-ID: 47833
König, Jürgen. On the Membership and Correctness Problem for State Serializability and Value Opacity. 2023.
LibreCat
2023 | Book | LibreCat-ID: 45863 |
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
| Files available
| DOI
2022 | Conference Paper | LibreCat-ID: 32311
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
2021 | Conference Paper | LibreCat-ID: 28350
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
2020 | Conference Paper | LibreCat-ID: 19656
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
2020 | Bachelorsthesis | LibreCat-ID: 19999
Mayer, Stefan. Optimierung von JMCTest Beim Testen von Inter Method Contracts. Universität Paderborn, 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 16724
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
2020 | Journal Article | LibreCat-ID: 16725
Richter, Cedric, et al. “Algorithm Selection for Software Validation Based on Graph Kernels.” Journal of Automated Software Engineering, Springer.
LibreCat
2020 | Journal Article | LibreCat-ID: 13770
Karl, Holger, et al. “A Case for a New IT Ecosystem: On-The-Fly Computing.” Business & Information Systems Engineering, vol. 62, no. 6, Springer, 2020, pp. 467–81, doi:10.1007/s12599-019-00627-x.
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 3287 |
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
| Files available
| Download (ext.)
2019 | Conference Abstract | LibreCat-ID: 7752
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
2019 | Conference Paper | LibreCat-ID: 7635
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
| Files available
2019 | Mastersthesis | LibreCat-ID: 10105
Haltermann, Jan. Analyzing Data Usage in Array Programs. Universität Paderborn, 2019.
LibreCat
2018 | Bachelorsthesis | LibreCat-ID: 3320
Rautenberg, Kai. Korrektheitsbeweise für Muster von Servicekompositionen. Universität Paderborn, 2018.
LibreCat
2018 | Journal Article | LibreCat-ID: 3402
Melnikov, Vitalik, and Eyke Hüllermeier. “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, 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
| Files available
2017 | Conference Paper | LibreCat-ID: 3325
Melnikov, Vitalik, and Eyke Hüllermeier. “Optimizing the Structure of Nested Dichotomies: A Comparison of Two Heuristics.” Proceedings. 27. Workshop Computational Intelligence, Dortmund, 23. - 24. November 2017, KIT Scientific Publishing, 2017, doi:10.5445/KSP/1000074341.
LibreCat
| Files available
| DOI
2017 | Mastersthesis | LibreCat-ID: 3512
Börding, Paul. Testing Java Method Contracts. Universität Paderborn, 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 115
Jakobs, Marie-Christine, et al. “Certification 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
| Files available
2017 | Dissertation | LibreCat-ID: 707
Walther, Sven. Knowledge-Based Verification of Service Compositions. Universität Paderborn, 2017, doi:10.17619/UNIPB/1-307.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 71
Czech, Mike, et al. “Predicting Rankings of Software Verification Tools.” Proceedings of the 3rd International Workshop on Software Analytics, 2017, pp. 23–26, doi:10.1145/3121257.3121262.
LibreCat
| Files available
| DOI
2017 | Report | LibreCat-ID: 72
Czech, Mike, et al. Predicting Rankings of Software Verification Competitions. 2017.
LibreCat
| Files available
2017 | Conference Paper | LibreCat-ID: 99
Wehrheim, Heike. “Fault Localization in Service Compositions.” Proceedings of the 14th International Conference on Formal Aspects of Component Software (FACS), 2017.
LibreCat
| Files available
2017 | Dissertation | LibreCat-ID: 102
Becker, Matthias. Engineering Self-Adaptive Systems with Simulation-Based Performence Prediction. Universität Paderborn, 2017, doi:10.17619/UNIPB/1-133.
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 3318
Melnikov, Vitalik, et al. “Pairwise versus Pointwise Ranking: A Case Study.” Schedae Informaticae, vol. 25, Uniwersytet Jagiellonski - Wydawnictwo Uniwersytetu Jagiellonskiego, 2016, doi:10.4467/20838476si.16.006.6187.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 3157
Beringer, Steffen, and Heike Wehrheim. “Verification of AUTOSAR Software Architectures with Timed Automata.” 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
| Files available
| DOI
2016 | Journal Article | LibreCat-ID: 175
Walther, Sven, and Heike Wehrheim. “On-The-Fly Construction of Provably Correct Service Compositions - Templates and Proofs.” Science of Computer Programming, Elsevier, 2016, pp. 2--23, doi:10.1016/j.scico.2016.04.002.
LibreCat
| Files available
| DOI
2016 | Journal Article | LibreCat-ID: 190
Platenius, Marie Christin, et al. “Imprecise Matching of Requirements Specifications for Software Services Using Fuzzy Logic.” IEEE Transactions on Software Engineering (TSE), Presented at ICSE 2017, no. 8, IEEE, 2016, pp. 739–59, doi:10.1109/TSE.2016.2632115.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 184
Melnikov, Vitaly, and Eyke Hüllermeier. “Learning to Aggregate Using Uninorms.” Proceedings of the Joint European Conference on Machine Learning and Knowledge Discovery in Databases (ECML/PKDD 2016), 2016, pp. 756–71, doi:10.1007/978-3-319-46227-1_47.
LibreCat
| Files available
| DOI
2016 | Report | LibreCat-ID: 221
Platenius, Marie Christin, 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, Julia, and Heike Wehrheim. “A Short Survey on Using Software Error Localization for Service Compositions.” Proceedings of the 5th European Conference on Service-Oriented and Cloud Computing (ESOCC 2016), 2016, pp. 248--262, doi:10.1007/978-3-319-44482-6_16.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 226
Krämer, Julia, and Heike Wehrheim. “A Formal Approach to Error Localization and Correction in Service Compositions.” Proceedings of the 1st International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016), 2016, pp. 445--457, doi:10.1007/978-3-319-50230-4_35.
LibreCat
| Files available
| DOI
2016 | Mastersthesis | LibreCat-ID: 164
Czech, Mike. Predicting Rankings of Software Verification Tools Using Kernels for Structured Data. Universität Paderborn, 2016.
LibreCat
2016 | Bachelorsthesis | LibreCat-ID: 133
Dewender, Markus. Verifikation von Service Kompositionen mit Spin. Universität Paderborn, 2016.
LibreCat
2016 | Bachelorsthesis | LibreCat-ID: 134
Heinisch, Philipp. Verifikation von Service Kompositionen mit Prolog. Universität Paderborn, 2016.
LibreCat
2015 | Dissertation | LibreCat-ID: 246
Besova, Galina. Systematic Development and Re-Use of Model Tranformations. Universität Paderborn, 2015.
LibreCat
| Files available
2015 | Journal Article | LibreCat-ID: 260
Brosig, Fabian, et al. “Quantitative Evaluation of Model-Driven Performance Analysis and Simulation of Component-Based Architectures.” Transactions on Software Engineering, no. 2, IEEE, 2015, pp. 157--175, doi:10.1109/TSE.2014.2362755.
LibreCat
| Files available
| DOI
2015 | Journal Article | LibreCat-ID: 290
Besova, Galina, et al. “Grammar-Based Model Transformations: Definition, Execution, and Quality Properties.” Computer Languages, Systems & Structures, Elsevier, 2015, pp. 116–38, doi:10.1016/j.cl.2015.05.003.
LibreCat
| Files available
| DOI
2015 | Journal Article | LibreCat-ID: 3162
Ziegert, Steffen, and Heike Wehrheim. “Temporal Plans for Software Architecture Reconfiguration.” Computer Science - R & D, no. 3–4, 2015, pp. 303--320, doi:10.1007/s00450-014-0259-7.
LibreCat
| Files available
| DOI
2015 | Journal Article | LibreCat-ID: 4792
Senge, Robin, and Eyke Hüllermeier. “Fast Fuzzy Pattern Tree Learning for Classification.” IEEE Transactions on Fuzzy Systems, vol. 23, no. 6, Institute of Electrical and Electronics Engineers (IEEE), 2015, pp. 2024–33, doi:10.1109/tfuzz.2015.2396078.
LibreCat
| Files available
| DOI
2014 | Bachelorsthesis | LibreCat-ID: 333
Osterbrink, Sebastian. Visualisierung von SMT-Solver-Ausgaben. Universität Paderborn, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 336
Walther, Sven, and Heike Wehrheim. “Verified Service Compositions by Template-Based Construction.” Proceedings of the 11th International Symposium on Formal Aspects of Component Software (FACS), edited by Ivan Lanese and Eric Madelaine, 2014, pp. 31–48, doi:10.1007/978-3-319-15317-9_3.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 344
Becker, Matthias, et al. “Towards Systematic Configuration for Architecture Validation.” 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, Felix, and Sven Walther. “Template-Based Generation of Semantic Services.” Proceedings of the 14th International Conference on Software Reuse (ICSR), 2014, pp. 188–203, doi:10.1007/978-3-319-14130-5_14.
LibreCat
| Files available
| DOI
2014 | Mastersthesis | LibreCat-ID: 359
Töws, Manuel. Statistisches Testen von unbeweisbaren Anforderungen an Programmspezifikationen in SMT-LIB. Universität Paderborn, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 364
Arifulina, Svetlana, et al. “SeSAME: Modeling and Analyzing High-Quality Service Compositions.” Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014), 2014, pp. 839–42, doi:10.1145/2642937.2648621.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 449
Becker, Matthias, et al. “Cloud Computing Reduces Uncertainties in Quality-of-Service Matching!” Proceedings of the 2nd International Workshop on Cloud Service Brokerage (CSB), 2014, pp. 153–59, doi:10.1007/978-3-319-14886-1_15.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 402
Arifulina, Svetlana, et al. “Market-Optimized Service Specification and Matching.” Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014), edited by Xavier Franch et al., 2014, pp. 543–50, doi:10.1007/978-3-662-45391-9_47.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 409
Platenius, Marie Christin, et al. “Integrating Service Matchers into a Service Market Architecture.” Proceedings of the 8th European Conference on Software Architecture (ECSA 2014), edited by Paris Avgeriou and Uwe Zdun, 2014, pp. 210–17, doi:10.1007/978-3-319-09970-5_19.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 417
Besova, Galina, et al. “Grammar-Based Model Transformations.” Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD), 2014, pp. 1601–10, doi:10.1016/j.cl.2015.05.003.
LibreCat
| Files available
| DOI
2014 | Mastersthesis | LibreCat-ID: 422
Sanati, Maryam. Formal Semantics of Probabilistic SMT Solving in Verification of Service Compositions. Universität Paderborn, 2014.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 423
Jojiju, Suman. Finding Optimal Self-Adaption Rules by Design-Space Exploration. Universität Paderborn, 2014.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 427
Bulk, Benjamin. Evaluating the Influence of Different Abstraction Levels of Software Design on Performance Prediction. Universität Paderborn, 2014.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 430
Krakau, Andreas. Entwicklung eines Konzepts zur Kodierung eines objektorientierten Typsystems in SMT. Universität Paderborn, 2014.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 472
Engelbrecht, Marco. Vergleichsstudie zur Ausdrucksstärke von SMT-Solvern. Universität Paderborn, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 483
Becker, Matthias, et al. “SimuLizar: Design-Time Modeling and Performance Analysis of Self-Adaptive Systems.” Proceedings of the Software Engineering Conference (SE), 2013, pp. 71–84.
LibreCat
| Files available
| Download (ext.)
2013 | Conference Paper | LibreCat-ID: 502
Becker, Matthias, et al. “Performance Analysis of Self-Adaptive Systems for Requirements Validation at Design-Time.” Proceedings of the 9th ACM SigSoft International Conference on Quality of Software Architectures (QoSA’13), 2013, pp. 43–52, doi:10.1145/2465478.2465489.
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 517
Walther, Sven, and Heike Wehrheim. “Knowledge-Based Verification of Service Compositions - An SMT Approach.” Proceedings of the 18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), 2013, pp. 24–32, doi:10.1109/ICECCS.2013.14.
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 529
Heinzemann, Christian, and Steffen Becker. “Executing Reconfigurations in Hierarchical Component Architectures.” Proceedings of the 16th International ACM SigSoft Symposium on Component-Based Software Engineering (CBSE), 2013, pp. 3–12, doi:10.1145/2465449.2465452.
LibreCat
| Files available
| DOI
2013 | Bachelorsthesis | LibreCat-ID: 556
Nickel, Tobias. Analyse von Benutzeranforderungen von Service-Kompositionen mittels Modelchecking. Universität Paderborn, 2013.
LibreCat
2012 | Conference Paper | LibreCat-ID: 569
Becker, Steffen, et al. “Towards Modeling Reconfiguration in Hierarchical Component Architectures.” Proceedings of the 15th ACM SigSoft International Symposium on Component-Based Software Engineering (CBSE), 2012, pp. 23--28, doi:10.1145/2304736.2304742.
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 596
Becker, Matthias, et al. “Model-Driven Performance Engineering of Self-Adaptive Systems: A Survey.” Proceedings of the 8th ACM SigSoft International Conference on Quality of Software Architectures (QoSA’12), 2012, pp. 117–22, doi:10.1145/2304696.2304716.
LibreCat
| Files available
| DOI
2012 | Mastersthesis | LibreCat-ID: 610
Mohr, Mario. Generating Prototypes of Adaptive Component-Based Software Systems for Performance Analysis. Universität Paderborn, 2012.
LibreCat
| Files available
2012 | Mastersthesis | LibreCat-ID: 614
Lehrig, Sebastian. Empirischer, quantitativer Vergleich von Modelltransformationssprachen. Universität Paderborn, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 565
Besova, Galina, et al. “Weaving-Based Configuration and Modular Transformation of Multi-Layer Systems.” Proceedings of the 15th International Conference on Model Driven Engineering Languages & Systems (MoDELS), 2012, pp. 776–92, doi:10.1007/978-3-642-33666-9_49.
LibreCat
| Files available
| DOI
2011 | Journal Article | LibreCat-ID: 647
Leuschel, Michael, and Heike Wehrheim. “Selected Papers on Integrated Formal Methods (IFM09).” Science of Computer Programming, no. 10, Elsevier, 2011, pp. 835--836, doi:10.1016/j.scico.2011.01.009.
LibreCat
| Files available
| DOI
2011 | Journal Article | LibreCat-ID: 649
Besova, Galina, et al. “Reputation-Based Reliability Prediction of Service Compositions.” Electronic Notes in Theoretical Computer Science, no. 2, Elsevier, 2011, pp. 3–16, doi:10.1016/j.entcs.2011.11.008.
LibreCat
| Files available
| DOI
2011 | Conference Paper | LibreCat-ID: 653
Lehrig, Sebastian, and Thomas Zolynski. “Performance Prototyping with ProtoCom in a Virtualised Environment: A Case Study.” Proceedings of the Palladio Days 2011, 2011, pp. 15–22, doi:10.5445/IR/1000025188 .
LibreCat
| Files available
| DOI
2011 | Mastersthesis | LibreCat-ID: 655
Meyer, Joachim. Modellgetriebene Skalierbarkeitsanalyse von selbst-adaptiven Komponentenbasierten Softwaresystemen in der Cloud. Universität Paderborn, 2011.
LibreCat