367 Publications
2023 | Dissertation | LibreCat-ID: 47833
J. König, On the Membership and Correctness Problem for State Serializability and Value Opacity. 2023.
LibreCat
2023 | Journal Article | LibreCat-ID: 53801 | 
J. Kersting, F. Maoro, and M. Geierhos, “Towards comparable ratings: Exploring bias in German physician reviews,” Data & Knowledge Engineering, vol. 148, Art. no. 102235, 2023, doi: 10.1016/j.datak.2023.102235.
LibreCat
| Files available
| DOI
| Download (ext.)
2023 | Book Chapter | LibreCat-ID: 45888 |
H. Wehrheim, M. Platzner, E. Bodden, P. Schubert, F. Pauck, and M.-C. Jakobs, “Verifying Software and Reconfigurable Hardware Services,” in On-The-Fly Computing -- Individualized IT-services in dynamic markets, vol. 412, C.-J. Haake, F. Meyer auf der Heide, M. Platzner, H. Wachsmuth, and H. Wehrheim, Eds. Paderborn: Heinz Nixdorf Institut, Universität Paderborn, 2023, pp. 125–144.
LibreCat
| Files available
| DOI
2023 | Book | LibreCat-ID: 45863 |
C.-J. Haake, F. Meyer auf der Heide, M. Platzner, H. Wachsmuth, and H. Wehrheim, On-The-Fly Computing -- Individualized IT-services in dynamic markets, vol. 412. Paderborn: Heinz Nixdorf Institut, Universität Paderborn, 2023.
LibreCat
| Files available
| DOI
2023 | Conference Paper | LibreCat-ID: 35426 |
C. Richter, J. F. Haltermann, M.-C. Jakobs, F. Pauck, S. Schott, and H. Wehrheim, “Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?,” 2023, doi: 10.1145/3551349.3561156.
LibreCat
| DOI
| Download (ext.)
2023 | Conference Paper | LibreCat-ID: 35427 |
F. Pauck, “Scaling Arbitrary Android App Analyses,” 2023, doi: 10.1145/3551349.3561339.
LibreCat
| DOI
| Download (ext.)
2023 | Conference Paper | LibreCat-ID: 44194 |
Q. A. Ahmed, M. Awais, and M. Platzner, “MAAS: Hiding Trojans in Approximate Circuits,” presented at the The 24th International Symposium on Quality Electronic Design (ISQED’23), San Fransico CA 94023-0607, USA, 2023.
LibreCat
| Files available
2023 | Dissertation | LibreCat-ID: 44323
J. Kersting, Identifizierung quantifizierbarer Bewertungsinhalte und -kategorien mittels Text Mining. Neubiberg: Universität der Bundeswehr München , 2023.
LibreCat
| Files available
2023 | Book Chapter | LibreCat-ID: 45882 |
F. S. Bäumer, W.-F. Chen, M. Geierhos, J. Kersting, and H. Wachsmuth, “Dialogue-based Requirement Compensation and Style-adjusted Data-to-text Generation,” in On-The-Fly Computing -- Individualized IT-services in dynamic markets, vol. 412, C.-J. Haake, F. Meyer auf der Heide, M. Platzner, H. Wachsmuth, and H. Wehrheim, Eds. Paderborn: Heinz Nixdorf Institut, Universität Paderborn, 2023, pp. 65–84.
LibreCat
| Files available
| DOI
2023 | Book Chapter | LibreCat-ID: 45884 |
J. M. Hanselle et al., “Configuration and Evaluation,” in On-The-Fly Computing -- Individualized IT-services in dynamic markets, vol. 412, C.-J. Haake, F. Meyer auf der Heide, M. Platzner, H. Wachsmuth, and H. Wehrheim, Eds. Paderborn: Heinz Nixdorf Institut, Universität Paderborn, 2023, pp. 85–104.
LibreCat
| Files available
| DOI
2023 | Book Chapter | LibreCat-ID: 45886 |
H. Wehrheim, E. Hüllermeier, S. Becker, M. Becker, C. Richter, and A. Sharma, “Composition Analysis in Unknown Contexts,” in On-The-Fly Computing -- Individualized IT-services in dynamic markets, vol. 412, C.-J. Haake, F. Meyer auf der Heide, M. Platzner, H. Wachsmuth, and H. Wehrheim, Eds. Paderborn: Heinz Nixdorf Institut, Universität Paderborn, 2023, pp. 105–123.
LibreCat
| Files available
| DOI
2023 | Book Chapter | LibreCat-ID: 46205
J. Kersting and M. Geierhos, “Towards Comparable Ratings: Quantifying Evaluative Phrases in Physician Reviews,” in Data Management Technologies and Applications, vol. 1860, A. Cuzzocrea, O. Gusikhin, S. Hammoudi, and C. Quix, Eds. Cham: Springer Nature Switzerland, 2023, pp. 45–65.
LibreCat
| Files available
| DOI
2023 | Dissertation | LibreCat-ID: 45780 |
A. Tornede, Advanced Algorithm Selection with Machine Learning: Handling Large Algorithm Sets, Learning From Censored Data, and Simplyfing Meta Level Decisions. 2023.
LibreCat
| Files available
| DOI
2022 | Conference Paper | LibreCat-ID: 29945
L. M. Witschen, T. Wiersema, L. D. Reuter, and M. Platzner, “Search Space Characterization for Approximate Logic Synthesis ,” presented at the 2022 59th ACM/IEEE Design Automation Conference (DAC), San Francisco, USA.
LibreCat
2022 | Conference Paper | LibreCat-ID: 29865
L. M. Witschen, T. Wiersema, M. Artmann, and M. Platzner, “MUSCAT: MUS-based Circuit Approximation Technique,” presented at the Design, Automation and Test in Europe (DATE), Online.
LibreCat
2022 | Conference Paper | LibreCat-ID: 32311
A. Sharma, V. Melnikov, E. Hüllermeier, and H. Wehrheim, “Property-Driven Testing of Black-Box Functions,” in Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE), 2022, pp. 113–123.
LibreCat
2022 | Journal Article | LibreCat-ID: 30511 |
P. Schubert et al., “Static data-flow analysis for software product lines in C,” Automated Software Engineering, vol. 29, no. 1, Art. no. 35, 2022, doi: 10.1007/s10515-022-00333-1.
LibreCat
| DOI
| Download (ext.)
2022 | Conference Paper | LibreCat-ID: 32590
C. Richter and H. Wehrheim, “Learning Realistic Mutations: Bug Creation for Neural Bug Detectors,” in 2022 IEEE Conference on Software Testing, Verification and Validation (ICST), 2022, pp. 162–173, doi: 10.1109/ICST53961.2022.00027.
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 32591
C. Richter and H. Wehrheim, “TSSB-3M: Mining single statement bugs at massive scale,” in 2022 IEEE/ACM 19th International Conference on Mining Software Repositories (MSR), 2022, pp. 418–422, doi: 10.1145/3524842.3528505.
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 31806
K. Dreßler, M. Sherif, and A.-C. Ngonga Ngomo, “ADAGIO - Automated Data Augmentation of Knowledge Graphs Using Multi-expression Learning,” presented at the HT ’22: 33rd ACM Conference on Hypertext and Social Media, Barcelona (Spain), 2022, doi: 10.1145/3511095.3531287.
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 33274
W.-F. Chen, M.-H. Chen, G. Mudgal, and H. Wachsmuth, “Analyzing Culture-Specific Argument Structures in Learner Essays,” in Proceedings of the 9th Workshop on Argument Mining (ArgMining 2022), 2022, pp. 51–61.
LibreCat
2022 | Book Chapter | LibreCat-ID: 32179
J. Kersting, M. Ahmed, and M. Geierhos, “Chatbot-Enhanced Requirements Resolution for Automated Service Compositions,” in HCI International 2022 Posters, vol. 1580, C. Stephanidis, M. Antona, and S. Ntoa, Eds. Cham, Switzerland: Springer International Publishing, 2022, pp. 419--426.
LibreCat
| Files available
| DOI
2022 | Conference Paper | LibreCat-ID: 31054
J. Kersting and F. S. Bäumer, “Implicit Statements in Healthcare Reviews: A Challenge for Sentiment Analysis,” in Proceedings of the Fourteenth International Conference on Pervasive Patterns and Applications (PATTERNS 2022): Special Track AI-DRSWA: Maturing Artificial Intelligence - Data Science for Real-World Applications, Barcelona, Spain, 2022, pp. 5–9.
LibreCat
| Files available
2022 | Conference Abstract | LibreCat-ID: 31068
M.-H. Chen, G. Mudgal, W.-F. Chen, and H. Wachsmuth, “Investigating the argumentation structures of EFL learners from diverse language backgrounds,” 2022.
LibreCat
2022 | Bachelorsthesis | LibreCat-ID: 33033 |
L. Fehring, Combined Ranking and Regression Trees for Algorithm Selection. Paderborn, 2022.
LibreCat
| Files available
2022 | Journal Article | LibreCat-ID: 33090
K. Gevers, A. Tornede, M. D. Wever, V. Schöppner, and E. Hüllermeier, “A comparison of heuristic, statistical, and machine learning methods for heated tool butt welding of two different materials,” Welding in the World, 2022, doi: 10.1007/s40194-022-01339-9.
LibreCat
| DOI
2022 | Conference (Editor) | LibreCat-ID: 53803 |
J. Kersting, Ed., PATTERNS 2022 The Fourteenth International Conferences on Pervasive Patterns and Applications. Barcelona, Spain: IARIA, 2022.
LibreCat
| Files available
| Download (ext.)
2022 | Conference Paper | LibreCat-ID: 32342
Q. A. Ahmed and M. Platzner, “On the Detection and Circumvention of Bitstream-Level Trojans in FPGAs,” presented at the IEEE Computer Society Annual Symposium on VLSI Aliathon Resort, Pafos, Cyprus, 2022.
LibreCat
2022 | Mastersthesis | LibreCat-ID: 29000
M. Ahmed, Knowledge Base Enhanced & User-centric Dialogue Design for OTF Computing. 2022.
LibreCat
| Files available
2022 | Bachelorsthesis | LibreCat-ID: 45790
J. Palushi, Domain-aware Text Professionalization using Sequence-to-Sequence Neural Networks. 2022.
LibreCat
2022 | Mastersthesis | LibreCat-ID: 45789
V. Budanurmath, Propaganda Technique Detection Using Connotation Frames. 2022.
LibreCat
2022 | Conference Paper | LibreCat-ID: 45248
B. Dongol, G. Schellhorn, and H. Wehrheim, “Weak Progressive Forward Simulation Is Necessary and Sufficient for Strong Observational Refinement,” in 33rd International Conference on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland, 2022, vol. 243, p. 31:1–31:23, doi: 10.4230/LIPIcs.CONCUR.2022.31.
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 28350
A. Sharma, C. Demir, A.-C. Ngonga Ngomo, and H. Wehrheim, “MLCHECK–Property-Driven Testing of Machine Learning Classifiers.”
LibreCat
2021 | Conference Paper | LibreCat-ID: 26049
F. S. Bäumer, J. Kersting, S. Denisov, and M. Geierhos, “IN OTHER WORDS: A NAIVE APPROACH TO TEXT SPINNING,” in PROCEEDINGS OF THE INTERNATIONAL CONFERENCES ON WWW/INTERNET 2021 AND APPLIED COMPUTING 2021, Lisbon, Portugal, 2021, pp. 221--225.
LibreCat
| Files available
2021 | Dissertation | LibreCat-ID: 26746 |
T. Wiersema, Guaranteeing Properties of Reconfigurable Hardware Circuits with Proof-Carrying Hardware. Paderborn: Paderborn University, 2021.
LibreCat
| Download (ext.)
2021 | Journal Article | LibreCat-ID: 27045 |
L. Luo et al., “TaintBench: Automatic real-world malware benchmarking of Android taint analyses,” Empirical Software Engineering, 2021, doi: 10.1007/s10664-021-10013-5.
LibreCat
| DOI
| Download (ext.)
2021 | Journal Article | LibreCat-ID: 21004
M. D. Wever, A. Tornede, F. Mohr, and E. Hüllermeier, “AutoML for Multi-Label Classification: Overview and Empirical Evaluation,” IEEE Transactions on Pattern Analysis and Machine Intelligence, pp. 1–1, 2021, doi: 10.1109/tpami.2021.3051276.
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 21092
F. Mohr, M. D. Wever, A. Tornede, and E. Hüllermeier, “Predicting Machine Learning Pipeline Runtimes in the Context of Automated Machine Learning,” IEEE Transactions on Pattern Analysis and Machine Intelligence.
LibreCat
2021 | Conference Paper | LibreCat-ID: 21570
T. Tornede, A. Tornede, M. D. Wever, and E. Hüllermeier, “Coevolution of Remaining Useful Lifetime Estimation Pipelines for Automated Predictive Maintenance,” presented at the Genetic and Evolutionary Computation Conference, 2021.
LibreCat
2021 | Book Chapter | LibreCat-ID: 17905
J. Kersting and M. Geierhos, “Towards Aspect Extraction and Classification for Opinion Mining with Deep Sequence Networks,” in Natural Language Processing in Artificial Intelligence -- NLPinAI 2020, vol. 939, R. Loukanova, Ed. Cham: Springer, 2021, pp. 163--189.
LibreCat
| Files available
| DOI
2021 | Mastersthesis | LibreCat-ID: 22304 |
S. Schott, Android App Analysis Benchmark Case Generation. Paderborn, 2021.
LibreCat
| Files available
2021 | Conference Paper | LibreCat-ID: 22913
E. Hüllermeier, F. Mohr, A. Tornede, and M. D. Wever, “Automated Machine Learning, Bounded Rationality, and Rational Metareasoning,” presented at the ECML/PKDD Workshop on Automating Data Science, Bilbao (Virtual), 2021.
LibreCat
2021 | Conference Paper | LibreCat-ID: 22927
J. Derrick, S. Doherty, B. Dongol, G. Schellhorn, and H. Wehrheim, “On Strong Observational Refinement and Forward Simulation,” in Proceedings of the 35th International Symposium on Distributed Computing (DISC).
LibreCat
2021 | Conference Paper | LibreCat-ID: 22051
J. Kersting and M. Geierhos, “Well-being in Plastic Surgery: Deep Learning Reveals Patients’ Evaluations,” in Proceedings of the 10th International Conference on Data Science, Technology and Applications (DATA 2021), Online, 2021, pp. 275--284.
LibreCat
2021 | Conference Paper | LibreCat-ID: 21953
L. M. Witschen, T. Wiersema, M. Raeisi Nafchi, A. Bockhorn, and M. Platzner, “Timing Optimization for Virtual FPGA Configurations,” in Proceedings of International Symposium on Applied Reconfigurable Computing (ARC’21), Virtual conference, doi: 10.1007/978-3-030-79025-7_4.
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 21598 |
P. Schubert, B. Hermann, and E. Bodden, “Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis,” 2021.
LibreCat
| Download (ext.)
2021 | Dissertation | LibreCat-ID: 27284 |
M. D. Wever, Automated Machine Learning for Multi-Label Classification. 2021.
LibreCat
| Files available
| DOI
2021 | Book Chapter | LibreCat-ID: 22052
J. Kersting and M. Geierhos, “Human Language Comprehension in Aspect Phrase Extraction with Importance Weighting,” in Natural Language Processing and Information Systems, vol. 12801, E. Kapetanios, H. Horacek, E. Métais, and F. Meziane, Eds. Saarbrücken, Germany: Springer, 2021, pp. 231--242.
LibreCat
| Files available
2021 | Conference Paper | LibreCat-ID: 28199
F. Pauck and H. Wehrheim, “Jicer: Simplifying Cooperative Android App Analysis Tasks,” 2021, doi: 10.1109/scam52516.2021.00031.
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 21178
M. Alshomary, W.-F. Chen, T. Gurcke, and H. Wachsmuth, “Belief-based Generation of Argumentative Claims,” in Proceedings of the 16th Conference of the European Chapter of the Association for Computational Linguistics: Main Volume, Online, 2021, pp. 224–223.
LibreCat
| Download (ext.)
2021 | Conference Paper | LibreCat-ID: 23709
W.-F. Chen, K. Al Khatib, B. Stein, and H. Wachsmuth, “Controlled Neural Sentence-Level Reframing of News Articles,” in Findings of the Association for Computational Linguistics: EMNLP 2021, 2021, pp. 2683–2693.
LibreCat
| Download (ext.)
2021 | Conference Paper | LibreCat-ID: 22229
M. Alshomary, S. Syed, M. Potthast, and H. Wachsmuth, “Argument Undermining: Counter-Argument Generation by Attacking Weak Premises,” in Proceedings of the Joint Conference of the 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing (ACL-IJCNLP 2021), Online, 2021, pp. 1816–1827, doi: 10.18653/v1/2021.findings-acl.159.
LibreCat
| DOI
| Download (ext.)
2021 | Conference Paper | LibreCat-ID: 21198
J. M. Hanselle, A. Tornede, M. D. Wever, and E. Hüllermeier, “Algorithm Selection as Superset Learning: Constructing Algorithm Selectors from Imprecise Performance Data.” 2021.
LibreCat
2021 | Journal Article | LibreCat-ID: 27841
M.-C. Jakobs, F. Pauck, M. Platzner, H. Wehrheim, and T. Wiersema, “Software/Hardware Co-Verification for Custom Instruction Set Processors,” IEEE Access, 2021, doi: 10.1109/ACCESS.2021.3131213.
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 21238
F. Pauck and H. Wehrheim, “Cooperative Android App Analysis with CoDiDroid,” in Software Engineering 2021, 2021, pp. 83–84, doi: 10.18420/SE2021_30 .
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 29138
Q. A. Ahmed, “Hardware Trojans in Reconfigurable Computing,” 2021, doi: 10.1109/vlsi-soc53125.2021.9606974.
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 20681 |
Q. A. Ahmed, T. Wiersema, and M. Platzner, “Malicious Routing: Circumventing Bitstream-level Verification for FPGAs,” presented at the Design, Automation and Test in Europe Conference (DATE’21), Alpexpo | Grenoble, France, 2021, doi: 10.23919/DATE51398.2021.9474026.
LibreCat
| Files available
| DOI
| Download (ext.)
2021 | Conference Paper | LibreCat-ID: 26406
P. Schubert, B. Hermann, E. Bodden, and R. Leer, “Into the Woods: Experiences from Building a Dataflow Analysis Framework for C/C++,” 2021.
LibreCat
2021 | Conference Paper | LibreCat-ID: 26405
P. Schubert, F. Sattler, F. Schiebel, B. Hermann, and E. Bodden, “Modeling the Effects of Global Variables in Data-Flow Analysis for C/C++,” 2021.
LibreCat
2021 | Mastersthesis | LibreCat-ID: 45788
J. Bülling, Political Speaker Transfer: Learning to Generate Text in the Styles of Barack Obama and Donald Trump. 2021.
LibreCat
2021 | Mastersthesis | LibreCat-ID: 45787
A. Mishra, Computational Text Professionalization using Neural Sequence-to-Sequence Models. 2021.
LibreCat
2020 | Conference Paper | LibreCat-ID: 19656
A. Sharma and H. Wehrheim, “Automatic Fairness Testing of Machine Learning Models,” in Proceedings of the 32th IFIP International Conference on Testing Software and Systems (ICTSS).
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 19999
S. Mayer, Optimierung von JMCTest beim Testen von Inter Method Contracts. Universität Paderborn, 2020.
LibreCat
2020 | Book Chapter | LibreCat-ID: 17347
F. S. Bäumer, J. Kersting, B. Buff, and M. Geierhos, “Tag Me If You Can: Insights into the Challenges of Supporting Unrestricted P2P News Tagging,” in Information and Software Technologies, vol. 1283, L. Audrius, B. Rita, G. Daina, and S. Vilma, Eds. Springer, 2020, pp. 368--382.
LibreCat
| Files available
| DOI
2020 | Conference Paper | LibreCat-ID: 17407
A. Tornede, M. D. Wever, and E. Hüllermeier, “Extreme Algorithm Selection with Dyadic Feature Representation,” presented at the Discovery Science 2020, 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 17408
J. M. Hanselle, A. Tornede, M. D. Wever, and E. Hüllermeier, “Hybrid Ranking and Regression for Algorithm Selection,” presented at the 43rd German Conference on Artificial Intelligence, 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 17424
T. Tornede, A. Tornede, M. D. Wever, F. Mohr, and E. Hüllermeier, “AutoML for Predictive Maintenance: One Tool to RUL Them All,” presented at the IOTStream Workshop @ ECMLPKDD 2020, 2020, doi: 10.1007/978-3-030-66770-2_8.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 18686
J. Kersting and F. S. Bäumer, “SEMANTIC TAGGING OF REQUIREMENT DESCRIPTIONS: A TRANSFORMER-BASED APPROACH,” in PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON APPLIED COMPUTING 2020, Lisbon, Portugal, 2020, pp. 119--123.
LibreCat
| Files available
2020 | Conference Paper | LibreCat-ID: 20306
A. Tornede, M. D. Wever, and E. Hüllermeier, “Towards Meta-Algorithm Selection,” presented at the Workshop MetaLearn 2020 @ NeurIPS 2020, Online, 2020.
LibreCat
2020 | Report | LibreCat-ID: 20712
P. Schubert, E. Bodden, and B. Hermann, Accelerating Static Call-Graph, Points-to and Data-Flow Analysis Through Persisted Summaries. 2020.
LibreCat
| Files available
2020 | Preprint | LibreCat-ID: 20748
L. M. Witschen, T. Wiersema, and M. Platzner, “Search Space Characterization for AxC Synthesis,” Fifth Workshop on Approximate Computing (AxC 2020). .
LibreCat
| Files available
2020 | Conference Paper | LibreCat-ID: 18276
A. Tornede, M. D. Wever, S. Werner, F. Mohr, and E. Hüllermeier, “Run2Survive: A Decision-theoretic Approach to Algorithm Selection based on Survival Analysis,” presented at the 12th Asian Conference on Machine Learning, Bangkok, Thailand, 2020.
LibreCat
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 16724
A. Sharma and H. 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).
LibreCat
2020 | Journal Article | LibreCat-ID: 16725
C. Richter, E. Hüllermeier, M.-C. Jakobs, and H. Wehrheim, “Algorithm Selection for Software Validation Based on Graph Kernels,” Journal of Automated Software Engineering.
LibreCat
2020 | Conference Paper | LibreCat-ID: 15580
J. Kersting and M. Geierhos, “Aspect Phrase Extraction in Sentiment Analysis with Deep Learning,” in Proceedings of the 12th International Conference on Agents and Artificial Intelligence (ICAART 2020) -- Special Session on Natural Language Processing in Artificial Intelligence (NLPinAI 2020), Valetta, Malta, 2020, pp. 391--400.
LibreCat
| Files available
2020 | Conference Paper | LibreCat-ID: 15582
B. Buff, J. Kersting, and M. Geierhos, “Detection of Privacy Disclosure in the Medical Domain: A Survey,” in Proceedings of the 9th International Conference on Pattern Recognition Applications and Methods (ICPRAM 2020), Valetta, Malta, 2020, pp. 630--637.
LibreCat
| Files available
2020 | Conference Paper | LibreCat-ID: 15629
M. D. Wever, A. Tornede, F. Mohr, and E. Hüllermeier, “LiBRe: Label-Wise Selection of Base Learners in Binary Relevance for Multi-Label Classification,” presented at the Symposium on Intelligent Data Analysis, Konstanz, Germany.
LibreCat
2020 | Conference Paper | LibreCat-ID: 15635
J. Kersting and M. Geierhos, “Neural Learning for Aspect Phrase Extraction and Classification in Sentiment Analysis,” in Proceedings of the 33rd International Florida Artificial Intelligence Research Symposium (FLAIRS) Conference, North Miami Beach, FL, USA, 2020, pp. 282--285.
LibreCat
| Files available
2020 | Journal Article | LibreCat-ID: 15025
M. D. Wever, L. van Rooijen, and H. Hamann, “Multi-Oracle Coevolutionary Learning of Requirements Specifications from Examples in On-The-Fly Markets,” Evolutionary Computation, vol. 28, no. 2, pp. 165–193, 2020, doi: 10.1162/evco_a_00266.
LibreCat
| Files available
| DOI
2020 | Conference Paper | LibreCat-ID: 15256
J. Kersting and M. Geierhos, “What Reviews in Local Online Labour Markets Reveal about the Performance of Multi-Service Providers,” in Proceedings of the 9th International Conference on Pattern Recognition Applications and Methods, Valetta, Malta, 2020, pp. 263--272.
LibreCat
| Files available
2020 | Journal Article | LibreCat-ID: 13770
H. Karl, D. Kundisch, F. Meyer auf der Heide, and H. Wehrheim, “A Case for a New IT Ecosystem: On-The-Fly Computing,” Business & Information Systems Engineering, vol. 62, no. 6, pp. 467–481, 2020, doi: 10.1007/s12599-019-00627-x.
LibreCat
| Files available
| DOI
2020 | Conference Paper | LibreCat-ID: 3776
W.-F. Chen, K. Al-Khatib, H. Wachsmuth, and B. Stein, “Analyzing Political Bias and Unfairness in News Articles at Different Levels of Granularity,” in Proceedings of the Fourth Workshop on Natural Language Processing and Computational Social Science, 2020, pp. 149–154.
LibreCat
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 20137
S. Syed, W.-F. Chen, M. Hagen, B. Stein, H. Wachsmuth, and M. Potthast, “Task Proposal: Abstractive Snippet Generation for Web Pages,” in Proceedings of the 13th International Conference on Natural Language Generation (INLG 2020), 2020, pp. 237–241.
LibreCat
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 3818
W.-F. Chen, K. Al-Khatib, B. Stein, and H. Wachsmuth, “Detecting Media Bias in News Articles using Gaussian Bias Distributions,” in Findings of the Association for Computational Linguistics: EMNLP 2020, 2020, pp. 4290–4300.
LibreCat
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 15826
W.-F. Chen, S. Syed, B. Stein, M. Hagen, and M. Potthast, “Abstractive Snippet Generation,” in Proceedings of the Web Conference 2020, 2020, pp. 1309–1319.
LibreCat
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 16868
M. Alshomary, S. Syed, M. Potthast, and H. Wachsmuth, “Target Inference in Argument Conclusion Generation,” in Proceedings of 58th Annual Meeting of the Association for Computational Linguistics (ACL 2020), Seattle, USA, 2020, pp. 4334–4345.
LibreCat
| Files available
2019 | Conference Paper | LibreCat-ID: 3287 |
S. B. Schneider, A. Sharma, H. Karl, and H. Wehrheim, “Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets,” in 2019 IFIP/IEEE International Symposium on Integrated Network Management (IM), Washington, DC, USA, 2019, pp. 116--124.
LibreCat
| Files available
| Download (ext.)
2019 | Conference Abstract | LibreCat-ID: 7752
A. Sharma and H. Wehrheim, “Testing Balancedness of ML Algorithms,” in Proceedings of the Software Engineering Conference (SE), Stuttgart, 2019, vol. P-292, pp. 157–158.
LibreCat
2019 | Encyclopedia Article | LibreCat-ID: 8312 |
F. S. Bäumer and M. Geierhos, “Requirements Engineering in OTF-Computing,” in encyclopedia.pub, Basel, Switzerland: MDPI, 2019.
LibreCat
| Download (ext.)
2019 | Mastersthesis | LibreCat-ID: 7623
S. Zhang, Combining Android Apps for Analysis Purposes. Universität Paderborn, 2019.
LibreCat
2019 | Bachelorsthesis | LibreCat-ID: 7628
N. Selbach, Modeling Crypto API usages in OpenSSL’s EVP library. Universität Paderborn, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 7635
A. Sharma and H. Wehrheim, “Testing Machine Learning Algorithms for Balanced Data Usage,” in IEEE International Conference on Software Testing, Verification and Validation (ICST), Xi’an, China, April, 2019, 2019, pp. 125--135.
LibreCat
| Files available
2019 | Journal Article | LibreCat-ID: 8424 |
F. S. Bäumer, J. Kersting, and M. Geierhos, “Natural Language Processing in OTF Computing: Challenges and the Need for Interactive Approaches,” Computers, vol. 8, no. 1, 2019.
LibreCat
| Files available
| DOI
| Download (ext.)
2019 | Conference Abstract | LibreCat-ID: 8868
M. D. Wever, F. Mohr, E. Hüllermeier, and A. Hetzer, “Towards Automated Machine Learning for Multi-Label Classification,” presented at the European Conference on Data Analytics (ECDA), Bayreuth, Germany, 2019.
LibreCat
| Files available
2019 | Conference Paper | LibreCat-ID: 15838
F. Pauck and S. Zhang, “Android App Merging for Benchmark Speed-Up and Analysis Lift-Up,” in 2019 34th IEEE/ACM International Conference on Automated Software Engineering Workshop (ASEW), 2019.
LibreCat
| Files available
| DOI
2019 | Mastersthesis | LibreCat-ID: 15920
M. Keerthipati, A Bitstream-Level Proof-Carrying Hardware Technique for Information Flow Tracking. Universität Paderborn, 2019.
LibreCat
2019 | Journal Article | LibreCat-ID: 14896
A. Dann, B. Hermann, and E. Bodden, “ModGuard: Identifying Integrity &Confidentiality Violations in Java Modules,” IEEE Transactions on Software Engineering, pp. 1–1, 2019, doi: 10.1109/tse.2019.2931331.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 15007 |
V. Melnikov and E. Hüllermeier, “Learning to Aggregate: Tackling the Aggregation/Disaggregation Problem for OWA,” in Proceedings ACML, Asian Conference on Machine Learning (Proceedings of Machine Learning Research, 101), 2019.
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 15011 |
A. Tornede, M. D. Wever, and E. Hüllermeier, “Algorithm Selection as Recommendation: From Collaborative Filtering to Dyad Ranking,” in Proceedings - 29. Workshop Computational Intelligence, Dortmund, 28. - 29. November 2019, Dortmund, 2019, pp. 135–146.
LibreCat
| Files available
2019 | Dissertation | LibreCat-ID: 13126
L. Khaluf, Organic Programming of Dynamic Real-Time Applications. Universität Paderborn, 2019.
LibreCat
2019 | Conference Abstract | LibreCat-ID: 13132
F. Mohr, M. D. Wever, A. Tornede, and E. Hüllermeier, “From Automated to On-The-Fly Machine Learning,” in INFORMATIK 2019: 50 Jahre Gesellschaft für Informatik – Informatik für Gesellschaft, Kassel, 2019, pp. 273–274.
LibreCat
2019 | Bachelorsthesis | LibreCat-ID: 13435
E. Friesen, Requirements Engineering im OTF-Computing: Informationsextraktion und Unvollständigkeitskompensation mittels domänenspezifischer Wissensbasis. Universität Paderborn, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10093
D. Beyer, M.-C. Jakobs, T. Lemberger, and H. Wehrheim, “Combining Verifiers in Conditional Model Checking via Reducers,” in Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019, 2019, vol. P-292, pp. 151--152.
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 10095
C. Richter and H. Wehrheim, “PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution),” in Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part {III}, 2019, vol. 11429, pp. 229–233.
LibreCat
| Files available
| DOI
2019 | Mastersthesis | LibreCat-ID: 10105
J. Haltermann, Analyzing Data Usage in Array Programs. Universität Paderborn, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10232 |
M. D. Wever, F. Mohr, A. Tornede, and E. Hüllermeier, “Automating Multi-Label Classification Extending ML-Plan,” presented at the 6th ICML Workshop on Automated Machine Learning (AutoML 2019), Long Beach, CA, USA, 2019.
LibreCat
| Files available
2019 | Conference Paper | LibreCat-ID: 7626 |
P. Schubert, B. Hermann, and E. Bodden, “PhASAR: An Inter-Procedural Static Analysis Framework for C/C++,” in Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019), Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2019), Prague, Czech Republic, 2019, vol. II, pp. 393–410, doi: 10.1007/978-3-030-17465-1_22.
LibreCat
| Files available
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 13259
W.-F. Chen, K. Al-Khatib, M. Hagen, H. Wachsmuth, and B. Stein, “Unraveling the Search Space of Abusive Language in Wikipedia with Dynamic Lexicon Acquisition,” in Proceedings of the Second Workshop on Natural Language Processing for Internet Freedom, 2019, pp. 76–82.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 10108
F. Pauck and H. Wehrheim, “Together Strong: Cooperative Android App Analysis,” in Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019, pp. 374–384, doi: 10.1145/3338906.3338915.
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 13874
T. Isenberg, M.-C. Jakobs, F. Pauck, and H. Wehrheim, “When Are Software Verification Results Valid for Approximate Hardware?,” in Tests and Proofs - 13th International Conference, {TAP} 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings, 2019, pp. 3–20, doi: 10.1007/978-3-030-31157-5_1.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 9913 |
Q. A. Ahmed, T. Wiersema, and M. Platzner, “Proof-Carrying Hardware Versus the Stealthy Malicious LUT Hardware Trojan,” in Applied Reconfigurable Computing, Darmstadt, Germany, 2019, vol. 11444, pp. 127–136, doi: 10.1007/978-3-030-17227-5_10.
LibreCat
| Files available
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 14898
P. Schubert, R. Leer, B. Hermann, and E. Bodden, “Know your analysis: how instrumentation aids understanding static analysis,” 2019, doi: 10.1145/3315568.3329965.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 2479 |
F. Mohr, M. D. Wever, E. Hüllermeier, and A. Faez, “(WIP) Towards the Automated Composition of Machine Learning Services,” in SCC, San Francisco, CA, USA, 2018.
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 2857 |
F. Mohr, T. Lettmann, E. Hüllermeier, and M. D. Wever, “Programmatic Task Network Planning,” in Proceedings of the 1st ICAPS Workshop on Hierarchical Planning, Delft, Netherlands, 2018, pp. 31–39.
LibreCat
| Files available
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 2471 |
F. Mohr, M. D. Wever, and E. Hüllermeier, “On-The-Fly Service Construction with Prototypes,” in SCC, San Francisco, CA, USA, 2018.
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Bachelorsthesis | LibreCat-ID: 3320
K. Rautenberg, Korrektheitsbeweise für Muster von Servicekompositionen. Universität Paderborn, 2018.
LibreCat
2018 | Conference Paper | LibreCat-ID: 3373
T. Hansmeier, M. Platzner, and D. Andrews, “An FPGA/HMC-Based Accelerator for Resolution Proof Checking,” in ARC 2018: Applied Reconfigurable Computing. Architectures, Tools, and Applications, Santorini, Greece, 2018, vol. 10824, pp. 153–165.
LibreCat
| Files available
| DOI
2018 | Journal Article | LibreCat-ID: 3402
V. Melnikov and E. Hüllermeier, “On the effectiveness of heuristics for learning nested dichotomies: an empirical analysis,” Machine Learning, 2018.
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 3414
P. Börding, J. F. Haltermann, M.-C. Jakobs, and H. Wehrheim, “JMCTest: Automatically Testing Inter-Method Contracts in Java,” in Proceedings of the IFIP International Conference on Testing Software and Systems (ICTSS 2018), Cádiz, Spain, 2018, vol. 11146, pp. 39--55.
LibreCat
| Files available
2018 | Journal Article | LibreCat-ID: 3510 |
F. Mohr, M. D. Wever, and E. Hüllermeier, “ML-Plan: Automated Machine Learning via Hierarchical Planning,” Machine Learning, pp. 1495–1515, 2018, doi: 10.1007/s10994-018-5735-z.
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 3552 |
F. Mohr, M. D. Wever, and E. Hüllermeier, “Reduction Stumps for Multi-Class Classification,” in Proceedings of the Symposium on Intelligent Data Analysis, ‘s-Hertogenbosch, the Netherlands.
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Preprint | LibreCat-ID: 3586
L. M. Witschen, T. Wiersema, H. Ghasemzadeh Mohammadi, M. Awais, and M. Platzner, “CIRCA: Towards a Modular and Extensible Framework for Approximate Circuit Generation,” Third Workshop on Approximate Computing (AxC 2018). .
LibreCat
| Files available
2018 | Conference Paper | LibreCat-ID: 3852 |
M. D. Wever, F. Mohr, and E. Hüllermeier, “ML-Plan for Unlimited-Length Machine Learning Pipelines,” in ICML 2018 AutoML Workshop, Stockholm, Sweden, 2018.
LibreCat
| Files available
| Download (ext.)
2018 | Preprint | LibreCat-ID: 2711
F. Pauck, E. Bodden, and H. Wehrheim, “Do Android Taint Analysis Tools Keep their Promises?,” arXiv:1804.02903. 2018.
LibreCat
| Files available
2018 | Preprint | LibreCat-ID: 1165
L. M. Witschen, T. Wiersema, and M. Platzner, “Making the Case for Proof-carrying Approximate Circuits,” 4th Workshop On Approximate Computing (WAPCO 2018). 2018.
LibreCat
| Files available
2018 | Conference Paper | LibreCat-ID: 2109 |
M. D. Wever, F. Mohr, and E. Hüllermeier, “Ensembles of Evolved Nested Dichotomies for Classification,” in Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2018, Kyoto, Japan, July 15-19, 2018, Kyoto, Japan, 2018.
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Preprint | LibreCat-ID: 17713 |
M. D. Wever, F. Mohr, and E. Hüllermeier, “Automated Multi-Label Classification based on ML-Plan.” Arxiv, 2018.
LibreCat
| Download (ext.)
2018 | Preprint | LibreCat-ID: 17714 |
F. Mohr, M. D. Wever, and E. Hüllermeier, “Automated machine learning service composition.” 2018.
LibreCat
| Download (ext.)
2018 | Book Chapter | LibreCat-ID: 2322
F. S. Bäumer and M. Geierhos, “How to Deal with Inaccurate Service Descriptions in On-The-Fly Computing: Open Challenges,” in Proceedings of the 23rd International Conference on Natural Language and Information Systems, vol. 10859, M. Silberztein, F. Atigui, E. Kornyshova, E. Métais, and F. Meziane, Eds. Cham, Switzerland: Springer, 2018, pp. 509–513.
LibreCat
| Files available
| DOI
2018 | Journal Article | LibreCat-ID: 2331
Y. Kim, S. Lee, M. Dollmann, and M. Geierhos, “Improving Classifiers for Semantic Annotation of Software Requirements with Elaborate Syntactic Structure,” International Journal of Advanced Science and Technology, vol. 112, pp. 123–136, 2018.
LibreCat
| Files available
| DOI
2018 | Bachelorsthesis | LibreCat-ID: 5693
H. Graf, Ranking of Classification Algorithms in AutoML. Universität Paderborn, 2018.
LibreCat
2018 | Conference Paper | LibreCat-ID: 5774
M. Töws and H. Wehrheim, “Information Flow Certificates,” in Theoretical Aspects of Computing – ICTAC 2018, 2018, pp. 435–454.
LibreCat
| Files available
| DOI
2018 | Bachelorsthesis | LibreCat-ID: 5936
M. Scheibl, Learning about learning curves from dataset properties. Universität Paderborn, 2018.
LibreCat
2018 | Book Chapter | LibreCat-ID: 6423
D. Schäfer and E. Hüllermeier, “Preference-Based Reinforcement Learning Using Dyad Ranking,” in Discovery Science, Cham: Springer International Publishing, 2018, pp. 161–175.
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 4339
F. S. Bäumer and M. Geierhos, “NLP in OTF Computing: Current Approaches and Open Challenges,” in Proceedings of the 24th International Conference on Information and Software Technologies (ICIST 2018), Vilnius, Lithuania, 2018, vol. 920, pp. 559–570.
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 44 |
F. S. Bäumer and M. Geierhos, “Flexible Ambiguity Resolution and Incompleteness Detection in Requirements Descriptions via an Indicator-based Configuration of Text Analysis Pipelines,” in Proceedings of the 51st Hawaii International Conference on System Sciences, Big Island, Waikoloa Village, 2018, pp. 5746–5755.
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 4999
F. Pauck, E. Bodden, and H. Wehrheim, “Do Android taint analysis tools keep their promises?,” in Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering - ESEC/FSE 2018, 2018.
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 5203
S. Krüger, J. Späth, K. Ali, E. Bodden, and M. Mezini, “CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs,” in European Conference on Object-Oriented Programming (ECOOP), 2018, pp. 10:1-10:27.
LibreCat
| Files available
| Download (ext.)
2018 | Journal Article | LibreCat-ID: 1043
T. Isenberg, M.-C. Jakobs, F. Pauck, and H. Wehrheim, “Validity of Software Verification Results on Approximate Hardware,” IEEE Embedded Systems Letters, pp. 22–25, 2018.
LibreCat
| Files available
| DOI
2018 | Bachelorsthesis | LibreCat-ID: 1044
R. Leer, Measuring Performance of a Static Analysis Framework with an application to Immutability Analysis. Universität Paderborn, 2018.
LibreCat
| Files available
2018 | Bachelorsthesis | LibreCat-ID: 1045
J. N. Strüwer, Interactive Data Visualization for Exploded Supergraphs. Universität Paderborn, 2018.
LibreCat
| Files available
2018 | Conference Paper | LibreCat-ID: 1096
D. Beyer, M.-C. Jakobs, T. Lemberger, and H. Wehrheim, “Reducer-Based Construction of Conditional Verifiers,” in Proceedings of the 40th International Conference on Software Engineering (ICSE), Gothenburg, Sweden, 2018, pp. 1182--1193.
LibreCat
| Files available
2018 | Bachelorsthesis | LibreCat-ID: 1097
F. P. Jentzsch, Enforcing IP Core Connection Properties with Verifiable Security Monitors. Universität Paderborn, 2018.
LibreCat
2018 | Book Chapter | LibreCat-ID: 1104
M. Geierhos, “Unschärfe bei der Interpretation natürlichsprachlicher Anforderungsbeschreibungen,” in Unschärfe - Der Umgang mit fehlender Eindeutigkeit, 1st ed., S. Freitag, M. Geierhos, R. Asmani, and J. I. Haug, Eds. Paderborn, Germany: Ferdinand Schöningh, 2018, pp. 111–128.
LibreCat
| Files available
2018 | Conference Paper | LibreCat-ID: 1181 |
F. S. Bäumer and M. Geierhos, “How to Deal with Inaccurate Service Requirements? Insights in Our Current Approach and New Ideas,” in Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track co-located with the 23rd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2018), Utrecht, The Netherlands, 2018, vol. 2075.
LibreCat
| Files available
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 1182 |
E. Friesen, F. S. Bäumer, and M. Geierhos, “CORDULA: Software Requirements Extraction Utilizing Chatbot as Communication Interface,” in Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track co-located with the 23rd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2018), Utrecht, The Netherlands, 2018, vol. 2075.
LibreCat
| Files available
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 1183 |
M. Caron, F. S. Bäumer, and M. Geierhos, “Back to Basics: Extracting Software Requirements with a Syntactic Approach,” in Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track co-located with the 23rd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2018), Utrecht, The Netherlands, 2018, vol. 2075.
LibreCat
| Files available
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 11710
W.-F. Chen, H. Wachsmuth, K. Al Khatib, and B. Stein, “Learning to Flip the Bias of News Headlines,” in Proceedings of the 11th International Conference on Natural Language Generation, 2018, pp. 79–88.
LibreCat
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 14873
W.-F. Chen, M. Hagen, B. Stein, and M. Potthast, “A User Study on Snippet Generation: Text Reuse vs. Paraphrases,” in Proceedings of the 41st International ACM SIGIR Conference on Research & Development in Information Retrieval, 2018, pp. 1033–1036.
LibreCat
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 14885
M. Potthast, W.-F. Chen, M. Hagen, and B. Stein, “A Plan for Ancillary Copyright: Original Snippets.,” in Proceedings of the Second International Workshop on Recent Trends in News Information Retrieval, 2018, pp. 3–5.
LibreCat
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 3325
V. Melnikov and E. Hüllermeier, “Optimizing the Structure of Nested Dichotomies: A Comparison of Two Heuristics,” in Proceedings. 27. Workshop Computational Intelligence, Dortmund, 23. - 24. November 2017, 2017.
LibreCat
| Files available
| DOI
2017 | Mastersthesis | LibreCat-ID: 3512
P. Börding, Testing Java Method Contracts. Universität Paderborn, 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 3580
T. Hansmeier, An FPGA Accelerator for Checking Resolution Proofs. Universität Paderborn, 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 114
M.-C. Jakobs and H. Wehrheim, “Compact Proof Witnesses,” in NASA Formal Methods: 9th International Symposium, 2017, pp. 389–403.
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 115
M.-C. Jakobs, J. Krämer, D. van Straaten, and T. Lettmann, “Certification Matters for Service Markets,” in The Ninth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), 2017, pp. 7–12.
LibreCat
| Files available
2017 | Mastersthesis | LibreCat-ID: 1157
L. M. Witschen, A Framework for the Synthesis of Approximate Circuits. Universität Paderborn, 2017.
LibreCat
2017 | Journal Article | LibreCat-ID: 90
T. Isenberg, “Incremental Inductive Verification of Parameterized Timed Systems,” ACM Transactions on Embedded Computing Systems, no. 2, pp. 47:1-47:24, 2017.
LibreCat
| Files available
| DOI
2017 | Book Chapter | LibreCat-ID: 93
M. Geierhos and F. S. Bäumer, “Guesswork? Resolving Vagueness in User-Generated Software Requirements,” in Partiality and Underspecification in Information, Languages, and Knowledge, 1st ed., H. Christiansen, M. D. Jiménez-López, R. Loukanova, and L. S. Moss, Eds. Newcastle upon Tyne, UK: Cambridge Scholars Publishing, 2017, pp. 65–108.
LibreCat
| Files available
2017 | Bachelorsthesis | LibreCat-ID: 5694
N. N. Schnitker, Genetischer Algorithmus zur Erstellung von Ensembles von Nested Dichotomies. Universität Paderborn, 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 57
F. S. Bäumer, M. Dollmann, and M. Geierhos, “Studying Software Descriptions in SourceForge and App Stores for a better Understanding of real-life Requirements,” in Proceedings of the 2nd ACM SIGSOFT International Workshop on App Market Analytics, Paderborn, Germany, 2017, pp. 19–25.
LibreCat
| Files available
| DOI
2017 | Mastersthesis | LibreCat-ID: 5724
A. Hetzer and T. Tornede, Solving the Container Pre-Marshalling Problem using Reinforcement Learning and Structured Output Prediction. Universität Paderborn, 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 5769
M. Töws and H. Wehrheim, “Policy Dependent and Independent Information Flow Analyses,” in Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods (ICFEM 2017), 2017, pp. 362–378.
LibreCat
| Files available
| DOI
2017 | Mastersthesis | LibreCat-ID: 46
F. Grobbel, Was kommt zuerst? Erkennung von zeitlichen Abläufen infunktionalen Softwareanforderungsbeschreibungen. Universität Paderborn, 2017.
LibreCat
2017 | Mastersthesis | LibreCat-ID: 47
M. Theda, Was ist gemeint? Strukturell ambige Sätze als Herausforderung für Parsing-Ansätze. Universität Paderborn, 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 71
M. Czech, E. Hüllermeier, M.-C. Jakobs, and H. Wehrheim, “Predicting Rankings of Software Verification Tools,” in Proceedings of the 3rd International Workshop on Software Analytics, 2017, pp. 23–26.
LibreCat
| Files available
| DOI
2017 | Report | LibreCat-ID: 72
M. Czech, E. Hüllermeier, M.-C. Jakobs, and H. Wehrheim, Predicting Rankings of Software Verification Competitions. 2017.
LibreCat
| Files available
2017 | Conference Paper | LibreCat-ID: 73
M.-C. Jakobs, “PART_PW: From Partial Analysis Results to a Proof Witness,” in Software Engineering and Formal Methods, 2017, pp. 120–135.
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 84
M. C. Platenius, S. Arifulina, and W. Schäfer, “MatchBox: A Framework for Dynamic Configuration of Service Matching Processes (Extended Abstract),” in Tagungsband Software Engineering, 2017, pp. 81--82.
LibreCat
| Files available
2017 | Conference Paper | LibreCat-ID: 97
L. van Rooijen, F. S. Bäumer, M. C. Platenius, M. Geierhos, H. Hamann, and G. Engels, “From User Demand to Software Service: Using Machine Learning to Automate the Requirements Specification Process,” in 2017 IEEE 25th International Requirements Engineering Conference Workshops (REW), Lisbon, Portugal, 2017, pp. 379–385.
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 98
S. Schwichtenberg, C. Gerth, and G. Engels, “From Open API to Semantic Specifications and Code Adapters,” in Proceedings of the 24th IEEE International Conference on Web Services (ICWS), 2017, pp. 484--491.
LibreCat
| Files available
2017 | Conference Paper | LibreCat-ID: 99
H. Wehrheim, “Fault localization in service compositions,” in Proceedings of the 14th International Conference on Formal Aspects of Component Software (FACS), 2017.
LibreCat
| Files available
2017 | Conference Paper | LibreCat-ID: 5204
J. Späth, K. Ali, and E. Bodden, “IDEal: Efficient and Precise Alias-aware Dataflow Analysis,” in 2017 International Conference on Object-Oriented Programming, Languages and Applications (OOPSLA/SPLASH), 2017.
LibreCat
| Files available
| Download (ext.)
2017 | Journal Article | LibreCat-ID: 5209
A. Fischer, B. Fuhry, F. Kerschbaum, and E. Bodden, “Computation on Encrypted Data using Data Flow Authentication,” CoRR, vol. abs/1710.00390, 2017.
LibreCat
| Files available
| Download (ext.)
2017 | Journal Article | LibreCat-ID: 68
T. Isenberg, M. Platzner, H. Wehrheim, and T. Wiersema, “Proof-Carrying Hardware via Inductive Invariants,” ACM Transactions on Design Automation of Electronic Systems, no. 4, pp. 61:1--61:23, 2017.
LibreCat
| Files available
| DOI
2017 | Dissertation | LibreCat-ID: 685
M.-C. Jakobs, On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring. Universität Paderborn, 2017.
LibreCat
| Files available
| DOI
2017 | Journal Article | LibreCat-ID: 69
M.-C. Jakobs and H. Wehrheim, “Programs from Proofs: A Framework for the Safe Execution of Untrusted Software,” ACM Transactions on Programming Languages and Systems, no. 2, pp. 7:1-7:56, 2017.
LibreCat
| Files available
| DOI
2017 | Mastersthesis | LibreCat-ID: 106
I. Krammer, Denn wir wissen, was gemeint ist: Erweiterung bestehender Lösungen zur lexikalischen Disambiguierung durch einen kontextsensitiven Whitelist-Ansatz. Universität München, 2017.
LibreCat
2017 | Mastersthesis | LibreCat-ID: 109 |
F. Pauck, Cooperative static analysis of Android applications. Universität Paderborn, 2017.
LibreCat
| Files available
2017 | Journal Article | LibreCat-ID: 1098
Y.-S. Kim, S.-W. Lee, M. Dollmann, and M. Geierhos, “Semantic Annotation of Software Requirements with Language Frame,” International Journal of Software Engineering for Smart Device, vol. 4, no. 2, pp. 1–6, 2017.
LibreCat
| Files available
2017 | Conference Paper | LibreCat-ID: 1180 |
M. D. Wever, F. Mohr, and E. Hüllermeier, “Automatic Machine Learning: Hierachical Planning Versus Evolutionary Optimization,” in 27th Workshop Computational Intelligence, Dortmund, 2017.
LibreCat
| Files available
| Download (ext.)
2017 | Mastersthesis | LibreCat-ID: 119 |
M. D. Wever, Active Learning of User Requirement Specifications in Dynamic Software Service Markets. Universität Paderborn, 2017.
LibreCat
| Files available
2017 | Conference Paper | LibreCat-ID: 120
M. D. Wever, L. van Rooijen, and H. Hamann, “Active Coevolutionary Learning of Requirements Specifications from Examples,” in Proceedings of the Genetic and Evolutionary Computation Conference (GECCO), 2017, pp. 1327--1334.
LibreCat
| Files available
| DOI
2017 | Mastersthesis | LibreCat-ID: 100
A. Sergio Djoum Temdjim, Evaluation of Software Reputation Matching Based on App Reviews. Universität Paderborn, 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 101
L. Rehmer, Erweiterung eines kontextsensitiven Autovervollständigungstools zur natürlichsprachlichen Softwarespezifikation. Universität Paderborn, 2017.
LibreCat
2016 | Dissertation | LibreCat-ID: 195
M. C. Platenius, Fuzzy Matching of Comprehensive Service Specifications. Universität Paderborn, 2016.
LibreCat
| Files available
2016 | Mastersthesis | LibreCat-ID: 197
M. Dollmann, Frag die Anwender: Extraktion und Klassifikation von funktionalen Softwareanforderungen aus User-Generated-Content. Universität Paderborn, 2016.
LibreCat
2016 | Bachelorsthesis | LibreCat-ID: 201
H. Bröcher, Evaluation von Graphpartitionierungsalgorithmen im Kontext von Konfigurierbarer Softwarezertifizierung. Universität Paderborn, 2016.
LibreCat
2016 | Journal Article | LibreCat-ID: 3318
V. Melnikov, E. Hüllermeier, D. Kaimann, B. Frick, and Pritha Gupta, “Pairwise versus Pointwise Ranking: A Case Study,” Schedae Informaticae, vol. 25, 2016.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 3157
S. Beringer and H. Wehrheim, “Verification of AUTOSAR Software Architectures with Timed Automata,” 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, 2016, pp. 189--204.
LibreCat
| Files available
| DOI
2016 | Bachelorsthesis | LibreCat-ID: 173
E. Heck, Ontologie-Erstellung mittels Text-Mining aus App-Marktplätzen am Beispiel des Google Marketplace. Universität Paderborn, 2016.
LibreCat
2016 | Bachelorsthesis | LibreCat-ID: 174
C. Schwentker, Ontologie-basierte Extraktion funktionaler Softwareanforderungen am Fallbeispiel mobiler Kommunikationsapplikationen. Universität Paderborn, 2016.
LibreCat
2016 | Journal Article | LibreCat-ID: 175
S. Walther and H. Wehrheim, “On-The-Fly Construction of Provably Correct Service Compositions - Templates and Proofs,” Science of Computer Programming, pp. 2--23, 2016.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 176 |
M. Dollmann and M. Geierhos, “On- and Off-Topic Classification and Semantic Annotation of User-Generated Software Requirements,” in Proceedings of the 2016 Conference on Empirical Methods in Natural Language Processing (EMNLP), Austin, TX, USA, 2016, pp. 1807–1816.
LibreCat
| Files available
| Download (ext.)
2016 | Journal Article | LibreCat-ID: 190
M. C. Platenius, A. Shaker, M. Becker, E. Hüllermeier, and W. Schäfer, “Imprecise Matching of Requirements Specifications for Software Services using Fuzzy Logic,” IEEE Transactions on Software Engineering (TSE), presented at ICSE 2017, no. 8, pp. 739–759, 2016.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 191
M. Geierhos and F. S. Bäumer, “How to Complete Customer Requirements: Using Concept Expansion for Requirement Refinement,” in Proceedings of the 21st International Conference on Applications of Natural Language to Information Systems (NLDB), Salford, UK, 2016, vol. 9612, pp. 37–47.
LibreCat
| Files available
| DOI
2016 | Bachelorsthesis | LibreCat-ID: 192
L. Reckhorn, Herausforderungen im Umgang mit unvollständigen Softwareanforderungen durch Semantic Role Labeling. Universität Paderborn, 2016.
LibreCat
2016 | Mastersthesis | LibreCat-ID: 181
S. Stanco, Modellierung von domänenspezifischen Ontologien im Anwendungsfall funktionaler Softwareanforderungen. Universität Paderborn, 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 184
V. Melnikov and E. Hüllermeier, “Learning to Aggregate Using Uninorms,” in Proceedings of the Joint European Conference on Machine Learning and Knowledge Discovery in Databases (ECML/PKDD 2016), 2016, pp. 756–771.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 186
M. Czech, M.-C. Jakobs, and H. Wehrheim, “Just test what you cannot verify!,” in Software Engineering 2016, 2016, pp. 17–18.
LibreCat
| Files available
2016 | Report | LibreCat-ID: 221
M. C. Platenius 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 | Journal Article | LibreCat-ID: 222
T. Wiersema, A. Bockhorn, and M. Platzner, “An Architecture and Design Tool Flow for Embedding a Virtual FPGA into a Reconfigurable System-on-Chip,” Computers & Electrical Engineering, pp. 112--122, 2016.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 224
J. Krämer and H. Wehrheim, “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), 2016, pp. 248--262.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 225
A. Jungmann and B. Kleinjohann, “A Holistic and Adaptive Approach for Automated Prototyping of Image Processing Functionality,” in Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2016, pp. 1--8.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 226
J. Krämer and H. Wehrheim, “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), 2016, pp. 445--457.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 227
M. Töws and H. Wehrheim, “A CEGAR Scheme for Information Flow Analysis,” in Proceedings of the 18th International Conference on Formal Engineering Methods (ICFEM 2016), 2016, pp. 466--483.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 217
S. Schwichtenberg, “Automatized Derivation of Comprehensive Specifications for Black-box Services,” in Proceedings of the 38th International Conference on Software Engineering Companion (ICSE), 2016, pp. 815–818.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 218
A. Jungmann and B. Kleinjohann, “Automatic Composition of Service-based Image Processing Applications,” in Proceedings of the 13th IEEE International Conference on Services Computing (SCC), 2016, pp. 106--113.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 5205
J. Späth, L. Nguyen Quang Do, K. Ali, and E. Bodden, “Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java,” in European Conference on Object-Oriented Programming (ECOOP), 2016.
LibreCat
| Files available
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 169
T. Kühne, H. Hamann, S. Arifulina, and G. Engels, “Patterns for Constructing Mutation Operators: Limiting the Search Space in a Software Engineering Application,” in Proceedings of the 19th European Conference on Genetic Programming (EuroGP 2016), 2016, pp. 278--293.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 170
M.-C. Jakobs, M. Töws, and F. Pauck, “PAndA 2 : Analyzing Permission Use and Interplay in Android Apps (Tool Paper),” in Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems, 2016.
LibreCat
| Files available
2016 | Dissertation | LibreCat-ID: 1190
T. Isenberg, Induction-based Verification of Timed Systems. Universität Paderborn, 2016.
LibreCat
| Files available
2016 | Conference Paper | LibreCat-ID: 158
F. S. Bäumer and M. Geierhos, “Running out of Words: How Similar User Stories Can Help to Elaborate Individual Natural Language Requirement Descriptions,” in Proceedings of the 22nd International Conference on Information and Software Technologies (ICIST), Druskininkai, Lithuania, 2016, vol. 639, pp. 549–558.
LibreCat
| Files available
| DOI
2016 | Dissertation | LibreCat-ID: 150
S. Arifulina, Solving Heterogeneity for a Successful Service Market. Universität Paderborn, 2016.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 160
L. van Rooijen and H. Hamann, “Requirements Specification-by-Example Using a Multi-Objective Evolutionary Algorithm,” in Proceedings of 24th IEEE International Requirements Engineering Conference (RE 2016), 2016, pp. 3--9.
LibreCat
| Files available
| DOI
2016 | Mastersthesis | LibreCat-ID: 162
G. Zhang, Program Slicing: A Way of Separating WHILE Programs into Precise and Approximate Portions. Universität Paderborn, 2016.
LibreCat
2016 | Mastersthesis | LibreCat-ID: 164
M. Czech, Predicting Rankings of Software Verification Tools Using Kernels for Structured Data. Universität Paderborn, 2016.
LibreCat
2016 | Dissertation | LibreCat-ID: 140
A. Jungmann, Towards On-The-Fly Image Processing. Universität Paderborn, 2016.
LibreCat
| Files available
2016 | Conference Paper | LibreCat-ID: 132
T. Wiersema and M. Platzner, “Verifying Worst-Case Completion Times for Reconfigurable Hardware Modules using Proof-Carrying Hardware,” in Proceedings of the 11th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC 2016), 2016, pp. 1--8.
LibreCat
| Files available
| DOI
2016 | Bachelorsthesis | LibreCat-ID: 133
M. Dewender, Verifikation von Service Kompositionen mit Spin. Universität Paderborn, 2016.
LibreCat
2016 | Bachelorsthesis | LibreCat-ID: 134
P. Heinisch, Verifikation von Service Kompositionen mit Prolog. Universität Paderborn, 2016.
LibreCat
2016 | Bachelorsthesis | LibreCat-ID: 136
D. Vollmers, Vergleich von Disambiguierungsansätzen bei Anforderungsbeschreibungen. Universität Paderborn, 2016.
LibreCat
2015 | Conference Paper | LibreCat-ID: 250
M.-C. Jakobs, “Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning,” in Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM), 2015, pp. 159--174.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 280
S. Arifulina, M. C. Platenius, F. Mohr, G. Engels, and W. Schäfer, “Market-Specific Service Compositions: Specification and Matching,” in Proceedings of the IEEE 11th World Congress on Services (SERVICES), Visionary Track: Service Composition for the Future Internet, 2015, pp. 333--340.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 283
M. Czech, M.-C. Jakobs, and H. Wehrheim, “Just test what you cannot verify!,” in Fundamental Approaches to Software Engineering, 2015, pp. 100–114.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 285
T. Isenberg, “Incremental Inductive Verification of Parameterized Timed Systems,” in Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD), 2015, pp. 1–9.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 245
M. Becker, S. Lehrig, and S. Becker, “Systematically Deriving Quality Metrics for Cloud Computing Systems,” in Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering, 2015, pp. 169--174.
LibreCat
| Files available
| DOI
2015 | Dissertation | LibreCat-ID: 246
G. Besova, Systematic Development and Re-Use of Model Tranformations. Universität Paderborn, 2015.
LibreCat
| Files available
2015 | Journal Article | LibreCat-ID: 260
F. Brosig, P. Meier, S. Becker, A. Koziolek, H. Koziolek, and S. Kounev, “Quantitative Evaluation of Model-Driven Performance Analysis and Simulation of Component-based Architectures,” Transactions on Software Engineering, no. 2, pp. 157--175, 2015.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 262
M.-C. Jakobs and H. Wehrheim, “Programs from Proofs of Predicated Dataflow Analyses,” in Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015, pp. 1729–1736.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 269
T. Wiersema, S. Wu, and M. Platzner, “On-The-Fly Verification of Reconfigurable Image Processing Modules based on a Proof-Carrying Hardware Approach,” in Proceedings of the International Symposium in Reconfigurable Computing (ARC), 2015, pp. 365--372.
LibreCat
| Files available
| DOI
2015 | Journal Article | LibreCat-ID: 323
A. Jungmann and F. Mohr, “An approach towards adaptive service composition in markets of composed services,” Journal of Internet Services and Applications, no. 1, pp. 1–18, 2015.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 324
F. Mohr, “A Metric for Functional Reusability of Services,” in Proceedings of the 14th International Conference on Software Reuse (ICSR), 2015, pp. 298--313.
LibreCat
| Files available
| DOI
2015 | Journal Article | LibreCat-ID: 290
G. Besova, D. Steenken, and H. Wehrheim, “Grammar-based model transformations: Definition, execution, and quality properties,” Computer Languages, Systems & Structures, pp. 116–138, 2015.
LibreCat
| Files available
| DOI
2015 | Bachelorsthesis | LibreCat-ID: 291
P. Börding, Fuzzy Matching von Vor- und Nachbedingungen in Servicespezikationen. Universität Paderborn, 2015.
LibreCat
2015 | Book Chapter | LibreCat-ID: 293
M. Geierhos, F. S. Bäumer, S. Schulze, and V. Stuß, “Filtering Reviews by Random Individual Error,” in Proceedings of the 28th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE 2015), vol. 9101, M. Ali, Y. S. Kwon, C.-H. Lee, J. Kim, and Y. Kim, Eds. Cham, Switzerland: Springer, 2015, pp. 305–315.
LibreCat
| Files available
| DOI
2015 | Bachelorsthesis | LibreCat-ID: 300
C. Neumann, Ein Framework für Fuzzy Service Matching basierend auf Fuzzy Sets. Universität Paderborn, 2015.
LibreCat
2015 | Bachelorsthesis | LibreCat-ID: 310
M. Bruns, Design of an Evaluation Strategy for Fuzzy Service Matching. Universität Paderborn, 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 313
P. Börding, M. Bruns, and M. C. Platenius, “Comprehensive Service Matching with MatchBox,” in 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE’15), 2015, pp. 974--977.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 315
A. Jungmann, J. Jatzkowski, and B. Kleinjohann, “Combining Service-oriented Computing with Embedded Systems - A Robotics Case Study,” in Proceedings of the 5th IFIP International Embedded Systems Symposium, 2015.
LibreCat
| Files available
2015 | Journal Article | LibreCat-ID: 3162
S. Ziegert and H. Wehrheim, “Temporal plans for software architecture reconfiguration,” Computer Science - R & D, no. 3–4, pp. 303--320, 2015.
LibreCat
| Files available
| DOI
2015 | Dissertation | LibreCat-ID: 318
Z. Huma, Automatic Service Discovery and Composition for heterogeneous service partners. Universität Paderborn, 2015.
LibreCat
| Files available
2015 | Conference Paper | LibreCat-ID: 319
F. Mohr, A. Jungmann, and H. Kleine Büning, “Automated Online Service Composition,” in Proceedings of the 12th IEEE International Conference on Services Computing (SCC), 2015, pp. 57--64.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 272
A. Jungmann, “On Adaptivity for Automated Composition of Service Functionality,” in Proceedings of the IEEE 11th World Congress on Services (SERVICES), 2015, pp. 329--332.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 279
M. C. Platenius, S. Arifulina, and W. Schäfer, “MatchBox: A Framework for Dynamic Configuration of Service Matching Processes,” in Proceedings of the 18th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE’15), 2015, pp. 75–84.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 231
M. Geierhos, S. Schulze, and F. S. Bäumer, “What did you mean? Facing the Challenges of User-generated Software Requirements,” in Proceedings of the 7th International Conference on Agents and Artificial Intelligence (ICAART), Special Session on Partiality, Underspecification, and Natural Language Processing (PUaNLP 2015), 2015, pp. 277–283.
LibreCat
| Files available
| DOI
2015 | Journal Article | LibreCat-ID: 4792
R. Senge and E. Hüllermeier, “Fast Fuzzy Pattern Tree Learning for Classification,” IEEE Transactions on Fuzzy Systems, vol. 23, no. 6, pp. 2024–2033, 2015.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 5207
L. Li et al., “IccTA: Detecting Inter-Component Privacy Leaks in Android Apps,” in 2015 International Conference on Software Engineering (ICSE), 2015, pp. 280–291.
LibreCat
| Files available
| Download (ext.)
2015 | Bachelorsthesis | LibreCat-ID: 10714
R. Meißner, Konzept und Implementation einer Benutzeroberfläche zur Generierung virtueller FPGAs. Universität Paderborn, 2015.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 331
S. Wu, Webcam application using virtual FPGA. Universität Paderborn, 2014.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 333
S. Osterbrink, Visualisierung von SMT-Solver-Ausgaben. Universität Paderborn, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 336
S. Walther and H. Wehrheim, “Verified Service Compositions by Template-Based Construction,” in Proceedings of the 11th International Symposium on Formal Aspects of Component Software (FACS), 2014, pp. 31–48.
LibreCat
| Files available
| DOI
2014 | Bachelorsthesis | LibreCat-ID: 340
P. Korth, Untersuchung transitiver Eigenschaften der Technik “Programs from Proofs.” Universität Paderborn, 2014.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 342
C. Klauke, Transformation graphischer Protokollspezifikationen in Model-Checker-Anfragen. Universität Paderborn, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 344
M. Becker, S. Becker, G. Besova, S. Walther, and H. Wehrheim, “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: 345
A. Jungmann and B. Kleinjohann, “Towards Context-Sensitive Service Composition for Service-Oriented Image Processing,” in Proceedings of the 6th International Conference on Cloud Computing Technology and Science (CloudCom), 2014, pp. 755–758.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 346
S. Brangewitz, A. Jungmann, R. Petrlic, and M. C. Platenius, “Towards a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services,” in Proceedings of the 6th International Conferences on Advanced Service Computing (SERVICE COMPUTATION), 2014, pp. 49–57.
LibreCat
| Files available
2014 | Conference Paper | LibreCat-ID: 353
F. Mohr and S. Walther, “Template-based Generation of Semantic Services,” in Proceedings of the 14th International Conference on Software Reuse (ICSR), 2014, pp. 188–203.
LibreCat
| Files available
| DOI
2014 | Mastersthesis | LibreCat-ID: 359
M. Töws, Statistisches Testen von unbeweisbaren Anforderungen an Programmspezifikationen in SMT-LIB. Universität Paderborn, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 364
S. Arifulina, M. Becker, M. C. Platenius, and S. Walther, “SeSAME: Modeling and Analyzing High-Quality Service Compositions,” in Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014), 2014, pp. 839–842.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 366
R. Petrlic, A. Jungmann, M. C. Platenius, W. Schäfer, and C. Sorge, “Security and Privacy Challenges in On-The-Fly Computing,” in Tagungsband der 4. Konferenz Software-Technologien und -Prozesse (STeP 2014), 2014, pp. 131–142.
LibreCat
| Files available
2014 | Journal Article | LibreCat-ID: 375
M. von Detten, M. C. Platenius, and S. Becker, “Reengineering Component-Based Software Systems with Archimetrix,” Journal of Software and Systems Modeling, no. 4, pp. 1239--1268, 2014.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 383
D. Wonisch, A. Schremmer, and H. Wehrheim, “Programs from Proofs -- Approach and Applications,” in Proceedings of the Software Engineering Conference (SE), 2014, pp. 67–68.
LibreCat
| Files available
| Download (ext.)
2014 | Journal Article | LibreCat-ID: 390
Z. Huma, C. Gerth, and G. Engels, “On-the-Fly Computing: Automatic Service Discovery and Composition in Heterogeneous Domains,” Computer Science - Research and Development, no. 3–4, pp. 333–361, 2014.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 447
A. Jungmann, F. Mohr, and B. Kleinjohann, “Combining Automatic Service Composition with Adaptive Service Recommendation for Dynamic Markets of Services,” in Proceedings of the 10th World Congress on Services (SERVICES), 2014, pp. 346–353.
LibreCat
| Files available
| DOI
2014 | Mastersthesis | LibreCat-ID: 448
Y. Gao, Combination of Service Matching Steps in Consideration of Efficiency and Fuzziness. Universität Paderborn, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 449
M. Becker, M. C. Platenius, and S. Becker, “Cloud Computing Reduces Uncertainties in Quality-of-Service Matching!,” in Proceedings of the 2nd International Workshop on Cloud Service Brokerage (CSB), 2014, pp. 153–159.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 450
M.-C. Jakobs and H. Wehrheim, “Certification for Configurable Program Analysis,” in Proceedings of the 21st International Symposium on Model Checking of Software (SPIN), 2014, pp. 30–39.
LibreCat
| Files available
| DOI
2014 | Mastersthesis | LibreCat-ID: 454
W. Heldt, Automated Service Composition: Adaption of the ASTRO Approach. Universität Paderborn, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 457
A. Jungmann, F. Mohr, and B. Kleinjohann, “Applying Reinforcement Learning for Resolving Ambiguity in Service Composition,” in Proceedings of the 7th International Conference on Service Oriented Computing and Applications (SOCA), 2014, pp. 105–112.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 394
S. Schwichtenberg, C. Gerth, Z. Huma, and G. Engels, “Normalizing Heterogeneous Service Description Models with Generated QVT Transformations,” in Proceedings of the 10th European Conference on Modelling Foundations and Applications (ECMFA), 2014, pp. 180–195.
LibreCat
| Files available
| DOI
2014 | Mastersthesis | LibreCat-ID: 396
D. Bano, Modeling and Matching of Reputation of Services in On-The-Fly Computing. Universität Paderborn, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 399
T. Wiersema, S. Drzevitzky, and M. Platzner, “Memory Security in Reconfigurable Computers: Combining Formal Verification with Monitoring,” in Proceedings of the International Conference on Field-Programmable Technology (FPT), 2014, pp. 167–174.
LibreCat
| Files available
| DOI
2014 | Bachelorsthesis | LibreCat-ID: 400
M. Bunse, Measuring Transformation-induced Uncertainty in Service Matching: A Feasibility Study. Universität Paderborn, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 401
M. C. Platenius, S. Arifulina, R. Petrlic, and W. Schäfer, “Matching of Incomplete Service Specifications Exemplified by Privacy Policy Matching,” in Proceedings of the 4th International Workshop on Adaptive Services for the Future Internet, 2014, pp. 6–17.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 402
S. Arifulina, M. C. Platenius, C. Gerth, S. Becker, G. Engels, and W. Schäfer, “Market-optimized Service Specification and Matching,” in Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014), 2014, pp. 543–550.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 407
F. Mohr, “Issues of Automated Software Composition in AI Planning,” in Proceedings of the 29th International Conference on Automated Software Engineering (ASE), 2014, pp. 895--898.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 408
M.-C. Jakobs, M. Platzner, T. Wiersema, and H. Wehrheim, “Integrating Software and Hardware Verification,” in Proceedings of the 11th International Conference on Integrated Formal Methods (iFM), 2014, pp. 307–322.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 409
M. C. Platenius, S. Becker, and W. Schäfer, “Integrating Service Matchers into a Service Market Architecture,” in Proceedings of the 8th European Conference on Software Architecture (ECSA 2014), 2014, pp. 210–217.
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 410
A. Jungmann, S. Brangewitz, R. Petrlic, and M. C. Platenius, “Incorporating Reputation Information into Decision-Making Processes in Markets of Composed Services,” International Journal On Advances in Intelligent Systems (IntSys), vol. 7, no. 3&4, pp. 572--594, 2014.
LibreCat
| Files available
| Download (ext.)
2014 | Mastersthesis | LibreCat-ID: 411
V. Taherinajafabadi, Improving Service Specifications for the Service Matching on a Service Market. Universität Paderborn, 2014.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 415
S. Vijapurwala, Handling Incomplete Service Specifications using Fuzzy Matching. Universität Paderborn, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 417
G. Besova, D. Steenke, and H. Wehrheim, “Grammar-based model transformations,” in Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD), 2014, pp. 1601–1610.
LibreCat
| Files available
| DOI
2014 | Bachelorsthesis | LibreCat-ID: 418 |
F. Pauck, Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren. Universität Paderborn, 2014.
LibreCat
| Files available
2014 | Mastersthesis | LibreCat-ID: 420
S. Merschjohann, Fuzzy Matching of Service Price Specifications. Universität Paderborn, 2014.
LibreCat