260 Publications

2023 | Conference Paper | LibreCat-ID: 35426 | OA
@inproceedings{Richter_Haltermann_Jakobs_Pauck_Schott_Wehrheim_2023, title={Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?}, DOI={10.1145/3551349.3561156}, booktitle={37th IEEE/ACM International Conference on Automated Software Engineering}, publisher={ACM}, author={Richter, Cedric and Haltermann, Jan Frederik and Jakobs, Marie-Christine and Pauck, Felix and Schott, Stefan and Wehrheim, Heike}, year={2023} }
LibreCat | DOI | Download (ext.)
 
2023 | Conference Paper | LibreCat-ID: 35427 | OA
@inproceedings{Pauck_2023, title={Scaling Arbitrary Android App Analyses}, DOI={10.1145/3551349.3561339}, booktitle={37th IEEE/ACM International Conference on Automated Software Engineering}, publisher={ACM}, author={Pauck, Felix}, year={2023} }
LibreCat | DOI | Download (ext.)
 
2023 | Conference Paper | LibreCat-ID: 44194 | OA
@inproceedings{Ahmed_Awais_Platzner_2023, title={MAAS: Hiding Trojans in Approximate Circuits}, booktitle={The 24th International Symposium on Quality Electronic Design (ISQED’23), San Francisco, Califorina USA}, author={Ahmed, Qazi Arbab and Awais, Muhammad and Platzner, Marco}, year={2023} }
LibreCat | Files available
 
2023 | Book Chapter | LibreCat-ID: 45888 | OA
@inbook{Wehrheim_Platzner_Bodden_Schubert_Pauck_Jakobs_2023, place={Paderborn}, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts}, title={Verifying Software and Reconfigurable Hardware Services}, volume={412}, DOI={10.5281/zenodo.8068583}, booktitle={On-The-Fly Computing -- Individualized IT-services in dynamic markets}, publisher={Heinz Nixdorf Institut, Universität Paderborn}, author={Wehrheim, Heike and Platzner, Marco and Bodden, Eric and Schubert, Philipp and Pauck, Felix and Jakobs, Marie-Christine}, editor={Haake, Claus-Jochen and Meyer auf der Heide, Friedhelm and Platzner, Marco and Wachsmuth, Henning and Wehrheim, Heike}, year={2023}, pages={125–144}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts} }
LibreCat | Files available | DOI
 
2023 | Book Chapter | LibreCat-ID: 45882 | OA
@inbook{Bäumer_Chen_Geierhos_Kersting_Wachsmuth_2023, place={Paderborn}, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts}, title={Dialogue-based Requirement Compensation and Style-adjusted Data-to-text Generation}, volume={412}, DOI={10.5281/zenodo.8068456}, booktitle={On-The-Fly Computing -- Individualized IT-services in dynamic markets}, publisher={Heinz Nixdorf Institut, Universität Paderborn}, author={Bäumer, Frederik Simon and Chen, Wei-Fan and Geierhos, Michaela and Kersting, Joschka and Wachsmuth, Henning}, editor={Haake, Claus-Jochen and Meyer auf der Heide, Friedhelm and Platzner, Marco and Wachsmuth, Henning and Wehrheim, Heike}, year={2023}, pages={65–84}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts} }
LibreCat | Files available | DOI
 
2023 | Book Chapter | LibreCat-ID: 45884 | OA
@inbook{Hanselle_Hüllermeier_Mohr_Ngonga Ngomo_Sherif_Tornede_Wever_2023, place={Paderborn}, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts}, title={Configuration and Evaluation}, volume={412}, DOI={10.5281/zenodo.8068466}, booktitle={On-The-Fly Computing -- Individualized IT-services in dynamic markets}, publisher={Heinz Nixdorf Institut, Universität Paderborn}, author={Hanselle, Jonas Manuel and Hüllermeier, Eyke and Mohr, Felix and Ngonga Ngomo, Axel-Cyrille and Sherif, Mohamed and Tornede, Alexander and Wever, Marcel Dominik}, editor={Haake, Claus-Jochen and Meyer auf der Heide, Friedhelm and Platzner, Marco and Wachsmuth, Henning and Wehrheim, Heike}, year={2023}, pages={85–104}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts} }
LibreCat | Files available | DOI
 
2023 | Book Chapter | LibreCat-ID: 45886 | OA
@inbook{Wehrheim_Hüllermeier_Becker_Becker_Richter_Sharma_2023, place={Paderborn}, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts}, title={Composition Analysis in Unknown Contexts}, volume={412}, DOI={10.5281/zenodo.8068510}, booktitle={On-The-Fly Computing -- Individualized IT-services in dynamic markets}, publisher={Heinz Nixdorf Institut, Universität Paderborn}, author={Wehrheim, Heike and Hüllermeier, Eyke and Becker, Steffen and Becker, Matthias and Richter, Cedric and Sharma, Arnab}, editor={Haake, Claus-Jochen and Meyer auf der Heide, Friedhelm and Platzner, Marco and Wachsmuth, Henning and Wehrheim, Heike}, year={2023}, pages={105–123}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts} }
LibreCat | Files available | DOI
 
2023 | Book Chapter | LibreCat-ID: 46205
@inbook{Kersting_Geierhos_2023, place={Cham}, series={Communications in Computer and Information Science}, title={Towards Comparable Ratings: Quantifying Evaluative Phrases in Physician Reviews}, volume={1860}, DOI={10.1007/978-3-031-37890-4_3}, booktitle={Data Management Technologies and Applications}, publisher={Springer Nature Switzerland}, author={Kersting, Joschka and Geierhos, Michaela}, editor={Cuzzocrea, Alfredo and Gusikhin, Oleg and Hammoudi, Slimane and Quix, Christoph}, year={2023}, pages={45–65}, collection={Communications in Computer and Information Science} }
LibreCat | Files available | DOI
 
2023 | Book | LibreCat-ID: 45863 | OA
@book{Haake_Meyer auf der Heide_Platzner_Wachsmuth_Wehrheim_2023, place={Paderborn}, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts}, title={On-The-Fly Computing -- Individualized IT-services in dynamic markets}, volume={412}, DOI={10.17619/UNIPB/1-1797}, publisher={Heinz Nixdorf Institut, Universität Paderborn}, author={Haake, Claus-Jochen and Meyer auf der Heide, Friedhelm and Platzner, Marco and Wachsmuth, Henning and Wehrheim, Heike}, year={2023}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts} }
LibreCat | Files available | DOI
 
2022 | Conference Paper | LibreCat-ID: 29945
@inproceedings{Witschen_Wiersema_Reuter_Platzner, title={Search Space Characterization for Approximate Logic Synthesis }, booktitle={2022 59th ACM/IEEE Design Automation Conference (DAC)}, author={Witschen, Linus Matthias and Wiersema, Tobias and Reuter, Lucas David and Platzner, Marco} }
LibreCat
 
2022 | Conference Paper | LibreCat-ID: 29865
@inproceedings{Witschen_Wiersema_Artmann_Platzner, title={MUSCAT: MUS-based Circuit Approximation Technique}, booktitle={Design, Automation and Test in Europe (DATE)}, author={Witschen, Linus Matthias and Wiersema, Tobias and Artmann, Matthias and Platzner, Marco} }
LibreCat
 
2022 | Preprint | LibreCat-ID: 30868
@article{Schede_Brandt_Tornede_Wever_Bengs_Hüllermeier_Tierney_2022, title={A Survey of Methods for Automated Algorithm Configuration}, journal={arXiv:2202.01651}, author={Schede, Elias and Brandt, Jasmin and Tornede, Alexander and Wever, Marcel Dominik and Bengs, Viktor and Hüllermeier, Eyke and Tierney, Kevin}, year={2022} }
LibreCat | arXiv
 
2022 | Conference Paper | LibreCat-ID: 32311
@inproceedings{Sharma_Melnikov_Hüllermeier_Wehrheim_2022, title={Property-Driven Testing of Black-Box Functions}, booktitle={Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE)}, publisher={IEEE}, author={Sharma, Arnab and Melnikov, Vitaly and Hüllermeier, Eyke and Wehrheim, Heike}, year={2022}, pages={113–123} }
LibreCat
 
2022 | Conference Paper | LibreCat-ID: 34103
@inproceedings{Fehring_Hanselle_Tornede_2022, title={HARRIS: Hybrid Ranking and Regression Forests for Algorithm Selection}, booktitle={Workshop on Meta-Learning (MetaLearn 2022) @ NeurIPS 2022}, author={Fehring, Lukass and Hanselle, Jonas Manuel and Tornede, Alexander}, year={2022} }
LibreCat | arXiv
 
2022 | Journal Article | LibreCat-ID: 30511 | OA
@article{Schubert_Gazzillo_Patterson_Braha_Schiebel_Hermann_Wei_Bodden_2022, title={Static data-flow analysis for software product lines in C}, volume={29}, DOI={10.1007/s10515-022-00333-1}, number={135}, journal={Automated Software Engineering}, publisher={Springer Science and Business Media LLC}, author={Schubert, Philipp and Gazzillo, Paul and Patterson, Zach and Braha, Julian and Schiebel, Fabian and Hermann, Ben and Wei, Shiyi and Bodden, Eric}, year={2022} }
LibreCat | DOI | Download (ext.)
 
2022 | Conference Paper | LibreCat-ID: 32590
@inproceedings{Richter_Wehrheim_2022, title={Learning Realistic Mutations: Bug Creation for Neural Bug Detectors}, DOI={10.1109/ICST53961.2022.00027}, booktitle={2022 IEEE Conference on Software Testing, Verification and Validation (ICST)}, author={Richter, Cedric and Wehrheim, Heike}, year={2022}, pages={162–173} }
LibreCat | DOI
 
2022 | Conference Paper | LibreCat-ID: 32591
@inproceedings{Richter_Wehrheim_2022, title={TSSB-3M: Mining single statement bugs at massive scale}, DOI={10.1145/3524842.3528505}, booktitle={2022 IEEE/ACM 19th International Conference on Mining Software Repositories (MSR)}, author={Richter, Cedric and Wehrheim, Heike}, year={2022}, pages={418–422} }
LibreCat | DOI
 
2022 | Conference Paper | LibreCat-ID: 31806
@inproceedings{Dreßler_Sherif_Ngonga Ngomo_2022, title={ADAGIO - Automated Data Augmentation of Knowledge Graphs Using Multi-expression Learning}, DOI={10.1145/3511095.3531287}, booktitle={Proceedings of the 33rd ACM Conference on Hypertext and Hypermedia}, author={Dreßler, Kevin and Sherif, Mohamed and Ngonga Ngomo, Axel-Cyrille}, year={2022} }
LibreCat | DOI
 
2022 | Conference Paper | LibreCat-ID: 33274
@inproceedings{Chen_Chen_Mudgal_Wachsmuth_2022, title={Analyzing Culture-Specific Argument Structures in Learner Essays}, booktitle={Proceedings of the 9th Workshop on Argument Mining (ArgMining 2022)}, author={Chen, Wei-Fan and Chen, Mei-Hua and Mudgal, Garima and Wachsmuth, Henning}, year={2022}, pages={51–61} }
LibreCat
 
2022 | Book Chapter | LibreCat-ID: 32179
@inbook{Kersting_Ahmed_Geierhos_2022, place={Cham, Switzerland}, series={Communications in Computer and Information Science (CCIS)}, title={Chatbot-Enhanced Requirements Resolution for Automated Service Compositions}, volume={1580}, DOI={10.1007/978-3-031-06417-3_56}, booktitle={HCI International 2022 Posters}, publisher={Springer International Publishing}, author={Kersting, Joschka and Ahmed, Mobeen and Geierhos, Michaela}, editor={Stephanidis, Constantine and Antona, Margherita and Ntoa, Stavroula}, year={2022}, pages={419--426}, collection={Communications in Computer and Information Science (CCIS)} }
LibreCat | Files available | DOI
 
2022 | Conference Paper | LibreCat-ID: 31054
@inproceedings{Kersting_Bäumer_2022, place={Barcelona, Spain}, title={Implicit Statements in Healthcare Reviews: A Challenge for Sentiment Analysis}, booktitle={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}, publisher={IARIA}, author={Kersting, Joschka and Bäumer, Frederik Simon}, editor={Kersting, Joschka}, year={2022}, pages={5–9} }
LibreCat | Files available
 
2022 | Conference Abstract | LibreCat-ID: 31068
@inproceedings{Chen_Mudgal_Chen_Wachsmuth_2022, title={Investigating the argumentation structures of EFL learners from diverse language backgrounds}, booktitle={EUROCALL}, author={Chen, Mei-Hua and Mudgal, Garima and Chen, Wei-Fan and Wachsmuth, Henning}, year={2022} }
LibreCat
 
2022 | Preprint | LibreCat-ID: 30867
@article{Tornede_Bengs_Hüllermeier_2022, title={Machine Learning for Online Algorithm Selection under Censored Feedback}, journal={Proceedings of the 36th AAAI Conference on Artificial Intelligence}, publisher={AAAI}, author={Tornede, Alexander and Bengs, Viktor and Hüllermeier, Eyke}, year={2022} }
LibreCat | arXiv
 
2022 | Preprint | LibreCat-ID: 30865
@article{Tornede_Gehring_Tornede_Wever_Hüllermeier_2022, title={Algorithm Selection on a Meta Level}, journal={Machine Learning}, author={Tornede, Alexander and Gehring, Lukas and Tornede, Tanja and Wever, Marcel Dominik and Hüllermeier, Eyke}, year={2022} }
LibreCat | arXiv
 
2022 | Journal Article | LibreCat-ID: 33090
@article{Gevers_Tornede_Wever_Schöppner_Hüllermeier_2022, title={A comparison of heuristic, statistical, and machine learning methods for heated tool butt welding of two different materials}, DOI={10.1007/s40194-022-01339-9}, journal={Welding in the World}, publisher={Springer Science and Business Media LLC}, author={Gevers, Karina and Tornede, Alexander and Wever, Marcel Dominik and Schöppner, Volker and Hüllermeier, Eyke}, year={2022} }
LibreCat | DOI
 
2022 | Conference Paper | LibreCat-ID: 32342
@inproceedings{Ahmed_Platzner_2022, place={Pafos, Cyprus}, title={On the Detection and Circumvention of Bitstream-Level Trojans in FPGAs}, publisher={IEEE Computer Society Annual Symposium on VLSI (ISVLSI,2022)}, author={Ahmed, Qazi Arbab and Platzner, Marco}, year={2022} }
LibreCat
 
2022 | Conference Paper | LibreCat-ID: 45248
@inproceedings{Dongol_Schellhorn_Wehrheim_2022, series={LIPIcs}, title={Weak Progressive Forward Simulation Is Necessary and Sufficient for Strong Observational Refinement}, volume={243}, DOI={10.4230/LIPIcs.CONCUR.2022.31}, booktitle={33rd International Conference on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland}, publisher={Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, author={Dongol, Brijesh and Schellhorn, Gerhard and Wehrheim, Heike}, editor={Klin, Bartek and Lasota, Slawomir and Muscholl, Anca}, year={2022}, pages={31:1–31:23}, collection={LIPIcs} }
LibreCat | DOI
 
2021 | Conference Paper | LibreCat-ID: 28350
@inproceedings{Sharma_Demir_Ngonga Ngomo_Wehrheim, title={MLCHECK–Property-Driven Testing of Machine Learning Classifiers}, booktitle={Proceedings of the 20th IEEE International Conference on Machine Learning and Applications (ICMLA)}, publisher={IEEE}, author={Sharma, Arnab and Demir, Caglar and Ngonga Ngomo, Axel-Cyrille and Wehrheim, Heike} }
LibreCat
 
2021 | Conference Paper | LibreCat-ID: 26049
@inproceedings{Bäumer_Kersting_Denisov_Geierhos_2021, title={IN OTHER WORDS: A NAIVE APPROACH TO TEXT SPINNING}, booktitle={PROCEEDINGS OF THE INTERNATIONAL CONFERENCES ON WWW/INTERNET 2021 AND APPLIED COMPUTING 2021}, publisher={IADIS}, author={Bäumer, Frederik Simon and Kersting, Joschka and Denisov, Sergej and Geierhos, Michaela}, year={2021}, pages={221--225} }
LibreCat | Files available
 
2021 | Journal Article | LibreCat-ID: 27045 | OA
@article{Luo_Pauck_Piskachev_Benz_Pashchenko_Mory_Bodden_Hermann_Massacci_2021, title={TaintBench: Automatic real-world malware benchmarking of Android taint analyses}, DOI={10.1007/s10664-021-10013-5}, journal={Empirical Software Engineering}, author={Luo, Linghui and Pauck, Felix and Piskachev, Goran and Benz, Manuel and Pashchenko, Ivan and Mory, Martin and Bodden, Eric and Hermann, Ben and Massacci, Fabio}, year={2021} }
LibreCat | DOI | Download (ext.)
 
2021 | Journal Article | LibreCat-ID: 21004
@article{Wever_Tornede_Mohr_Hüllermeier_2021, title={AutoML for Multi-Label Classification: Overview and Empirical Evaluation}, DOI={10.1109/tpami.2021.3051276}, journal={IEEE Transactions on Pattern Analysis and Machine Intelligence}, author={Wever, Marcel Dominik and Tornede, Alexander and Mohr, Felix and Hüllermeier, Eyke}, year={2021}, pages={1–1} }
LibreCat | DOI
 
2021 | Journal Article | LibreCat-ID: 21092
@article{Mohr_Wever_Tornede_Hüllermeier, title={Predicting Machine Learning Pipeline Runtimes in the Context of Automated Machine Learning}, journal={IEEE Transactions on Pattern Analysis and Machine Intelligence}, publisher={IEEE}, author={Mohr, Felix and Wever, Marcel Dominik and Tornede, Alexander and Hüllermeier, Eyke} }
LibreCat
 
2021 | Conference Paper | LibreCat-ID: 21570
@inproceedings{Tornede_Tornede_Wever_Hüllermeier_2021, title={Coevolution of Remaining Useful Lifetime Estimation Pipelines for Automated Predictive Maintenance}, booktitle={Proceedings of the Genetic and Evolutionary Computation Conference}, author={Tornede, Tanja and Tornede, Alexander and Wever, Marcel Dominik and Hüllermeier, Eyke}, year={2021} }
LibreCat
 
2021 | Book Chapter | LibreCat-ID: 17905
@inbook{Kersting_Geierhos_2021, place={Cham}, series={Studies in Computational Intelligence (SCI)}, title={Towards Aspect Extraction and Classification for Opinion Mining with Deep Sequence Networks}, volume={939}, DOI={10.1007/978-3-030-63787-3_6}, booktitle={Natural Language Processing in Artificial Intelligence -- NLPinAI 2020}, publisher={Springer}, author={Kersting, Joschka and Geierhos, Michaela}, editor={Loukanova, RoussankaEditor}, year={2021}, pages={163--189}, collection={Studies in Computational Intelligence (SCI)} }
LibreCat | Files available | DOI
 
2021 | Conference Paper | LibreCat-ID: 22913
@inproceedings{Hüllermeier_Mohr_Tornede_Wever_2021, title={Automated Machine Learning, Bounded Rationality, and Rational Metareasoning}, author={Hüllermeier, Eyke and Mohr, Felix and Tornede, Alexander and Wever, Marcel Dominik}, year={2021} }
LibreCat
 
2021 | Conference Paper | LibreCat-ID: 22927
@inproceedings{Derrick_Doherty_Dongol_Schellhorn_Wehrheim, series={Leibniz International Proceedings in Informatics}, title={On Strong Observational Refinement and Forward Simulation}, booktitle={Proceedings of the 35th International Symposium on Distributed Computing (DISC)}, publisher={Schloß Dagstuhl}, author={Derrick, John and Doherty, Simon and Dongol, Brijesh and Schellhorn, Gerhard and Wehrheim, Heike}, collection={Leibniz International Proceedings in Informatics} }
LibreCat
 
2021 | Conference Paper | LibreCat-ID: 22051
@inproceedings{Kersting_Geierhos_2021, place={Online}, title={Well-being in Plastic Surgery: Deep Learning Reveals Patients’ Evaluations}, booktitle={Proceedings of the 10th International Conference on Data Science, Technology and Applications (DATA 2021)}, publisher={SCITEPRESS}, author={Kersting, Joschka and Geierhos, Michaela}, year={2021}, pages={275--284} }
LibreCat
 
2021 | Conference Paper | LibreCat-ID: 21953
@inproceedings{Witschen_Wiersema_Raeisi Nafchi_Bockhorn_Platzner, series={Reconfigurable Computing: Architectures, Tools, and Applications}, title={Timing Optimization for Virtual FPGA Configurations}, DOI={10.1007/978-3-030-79025-7_4}, booktitle={Proceedings of International Symposium on Applied Reconfigurable Computing (ARC’21)}, publisher={Springer Lecture Notes in Computer Science}, author={Witschen, Linus Matthias and Wiersema, Tobias and Raeisi Nafchi, Masood and Bockhorn, Arne and Platzner, Marco}, editor={Hannig, Frank and Derrien, Steven and Diniz, Pedro and Chillet, Daniel}, collection={Reconfigurable Computing: Architectures, Tools, and Applications} }
LibreCat | DOI
 
2021 | Conference Paper | LibreCat-ID: 21598 | OA
@inproceedings{Schubert_Hermann_Bodden_2021, title={Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis}, booktitle={European Conference on Object-Oriented Programming (ECOOP)}, author={Schubert, Philipp and Hermann, Ben and Bodden, Eric}, year={2021} }
LibreCat | Download (ext.)
 
2021 | Preprint | LibreCat-ID: 30866
@article{Tornede_Tornede_Hanselle_Wever_Mohr_Hüllermeier_2021, title={Towards Green Automated Machine Learning: Status Quo and Future Directions}, journal={arXiv:2111.05850}, author={Tornede, Tanja and Tornede, Alexander and Hanselle, Jonas Manuel and Wever, Marcel Dominik and Mohr, Felix and Hüllermeier, Eyke}, year={2021} }
LibreCat | arXiv
 
2021 | Book Chapter | LibreCat-ID: 22052
@inbook{Kersting_Geierhos_2021, place={Saarbrücken, Germany}, series={Lecture Notes in Computer Science}, title={Human Language Comprehension in Aspect Phrase Extraction with Importance Weighting}, volume={12801}, booktitle={Natural Language Processing and Information Systems}, publisher={Springer}, author={Kersting, Joschka and Geierhos, Michaela}, editor={Kapetanios, Epaminondas and Horacek, Helmut and Métais, Elisabeth and Meziane, Farid}, year={2021}, pages={231--242}, collection={Lecture Notes in Computer Science} }
LibreCat | Files available
 
2021 | Conference Paper | LibreCat-ID: 28199
@inproceedings{Pauck_Wehrheim_2021, title={Jicer: Simplifying Cooperative Android App Analysis Tasks}, DOI={10.1109/scam52516.2021.00031}, booktitle={2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM)}, author={Pauck, Felix and Wehrheim, Heike}, year={2021} }
LibreCat | DOI
 
2021 | Conference Paper | LibreCat-ID: 21178
@inproceedings{Alshomary_Chen_Gurcke_Wachsmuth_2021, title={Belief-based Generation of Argumentative Claims}, booktitle={Proceedings of the 16th Conference of the European Chapter of the Association for Computational Linguistics: Main Volume}, publisher={Association for Computational Linguistics}, author={Alshomary, Milad and Chen, Wei-Fan and Gurcke, Timon and Wachsmuth, Henning}, year={2021}, pages={224–223} }
LibreCat | Download (ext.)
 
2021 | Conference Paper | LibreCat-ID: 23709
@inproceedings{Chen_Al Khatib_Stein_Wachsmuth_2021, title={Controlled Neural Sentence-Level Reframing of News Articles}, booktitle={Findings of the Association for Computational Linguistics: EMNLP 2021}, author={Chen, Wei-Fan and Al Khatib, Khalid and Stein, Benno and Wachsmuth, Henning}, year={2021}, pages={2683–2693} }
LibreCat | Download (ext.)
 
2021 | Conference Paper | LibreCat-ID: 22229
@inproceedings{Alshomary_Syed_Potthast_Wachsmuth_2021, series={Findings of the Association for Computational Linguistics: ACL-IJCNLP 2021}, title={Argument Undermining: Counter-Argument Generation by Attacking Weak Premises}, DOI={10.18653/v1/2021.findings-acl.159}, booktitle={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)}, publisher={Association for Computational Linguistics}, author={Alshomary, Milad and Syed, Shahbaz and Potthast, Martin and Wachsmuth, Henning}, year={2021}, pages={1816–1827}, collection={Findings of the Association for Computational Linguistics: ACL-IJCNLP 2021} }
LibreCat | DOI | Download (ext.)
 
2021 | Conference Paper | LibreCat-ID: 21198
@article{Hanselle_Tornede_Wever_Hüllermeier_2021, series={PAKDD}, title={Algorithm Selection as Superset Learning: Constructing Algorithm Selectors from Imprecise Performance Data}, author={Hanselle, Jonas Manuel and Tornede, Alexander and Wever, Marcel Dominik and Hüllermeier, Eyke}, year={2021}, collection={PAKDD} }
LibreCat
 
2021 | Journal Article | LibreCat-ID: 27841
@article{Jakobs_Pauck_Platzner_Wehrheim_Wiersema_2021, title={Software/Hardware Co-Verification for Custom Instruction Set Processors}, DOI={10.1109/ACCESS.2021.3131213}, journal={IEEE Access}, publisher={IEEE}, author={Jakobs, Marie-Christine and Pauck, Felix and Platzner, Marco and Wehrheim, Heike and Wiersema, Tobias}, year={2021} }
LibreCat | DOI
 
2021 | Conference Paper | LibreCat-ID: 21238
@inproceedings{Pauck_Wehrheim_2021, place={Bonn}, title={Cooperative Android App Analysis with CoDiDroid}, DOI={10.18420/SE2021_30 }, booktitle={Software Engineering 2021}, publisher={Gesellschaft für Informatik e.V.}, author={Pauck, Felix and Wehrheim, Heike}, editor={Koziolek, Anne and Schaefer, Ina and Seidl, Christoph}, year={2021}, pages={83–84} }
LibreCat | DOI
 
2021 | Conference Paper | LibreCat-ID: 29138
@inproceedings{Ahmed_2021, title={Hardware Trojans in Reconfigurable Computing}, DOI={10.1109/vlsi-soc53125.2021.9606974}, booktitle={2021 IFIP/IEEE 29th International Conference on Very Large Scale Integration (VLSI-SoC)}, author={Ahmed, Qazi Arbab}, year={2021} }
LibreCat | DOI
 
2021 | Conference Paper | LibreCat-ID: 20681 | OA
@inproceedings{Ahmed_Wiersema_Platzner_2021, place={Alpexpo | Grenoble, France}, title={Malicious Routing: Circumventing Bitstream-level Verification for FPGAs}, DOI={10.23919/DATE51398.2021.9474026}, booktitle={2021 Design, Automation & Test in Europe Conference & Exhibition (DATE)}, publisher={2021 Design, Automation and Test in Europe Conference (DATE)}, author={Ahmed, Qazi Arbab and Wiersema, Tobias and Platzner, Marco}, year={2021} }
LibreCat | Files available | DOI | Download (ext.)
 
2021 | Conference Paper | LibreCat-ID: 26406
@inproceedings{Schubert_Hermann_Bodden_Leer_2021, title={Into the Woods: Experiences from Building a Dataflow Analysis Framework for C/C++}, booktitle={SCAM ’21: IEEE International Working Conference on Source Code Analysis and Manipulation (Engineering Track)}, author={Schubert, Philipp and Hermann, Ben and Bodden, Eric and Leer, Richard}, year={2021} }
LibreCat
 
2021 | Conference Paper | LibreCat-ID: 26405
@inproceedings{Schubert_Sattler_Schiebel_Hermann_Bodden_2021, title={Modeling the Effects of Global Variables in Data-Flow Analysis for C/C++}, booktitle={2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM)}, author={Schubert, Philipp and Sattler, Florian and Schiebel, Fabian and Hermann, Ben and Bodden, Eric}, year={2021} }
LibreCat
 
2020 | Conference Paper | LibreCat-ID: 19656
@inproceedings{Sharma_Wehrheim, series={LNCS}, title={Automatic Fairness Testing of Machine Learning Models}, booktitle={Proceedings of the 32th IFIP International Conference on Testing Software and Systems (ICTSS)}, publisher={Springer}, author={Sharma, Arnab and Wehrheim, Heike}, collection={LNCS} }
LibreCat
 
2020 | Book Chapter | LibreCat-ID: 17347
@inbook{Bäumer_Kersting_Buff_Geierhos_2020, series={Communications in Computer and Information Science}, title={Tag Me If You Can: Insights into the Challenges of Supporting Unrestricted P2P News Tagging}, volume={1283}, DOI={https://doi.org/10.1007/978-3-030-59506-7_30}, booktitle={Information and Software Technologies}, publisher={Springer}, author={Bäumer, Frederik Simon and Kersting, Joschka and Buff, Bianca and Geierhos, Michaela}, editor={Audrius, Lopata and Rita, Butkienė and Daina, Gudonienė and Vilma, SukackėEditors}, year={2020}, pages={368--382}, collection={Communications in Computer and Information Science} }
LibreCat | Files available | DOI
 
2020 | Journal Article | LibreCat-ID: 17358
@article{Witschen_Wiersema_Platzner_2020, title={Proof-carrying Approximate Circuits}, volume={28}, DOI={10.1109/TVLSI.2020.3008061}, number={9}, journal={IEEE Transactions On Very Large Scale Integration Systems}, publisher={IEEE}, author={Witschen, Linus Matthias and Wiersema, Tobias and Platzner, Marco}, year={2020}, pages={2084–2088} }
LibreCat | DOI
 
2020 | Conference Paper | LibreCat-ID: 17407
@inproceedings{Tornede_Wever_Hüllermeier_2020, title={Extreme Algorithm Selection with Dyadic Feature Representation}, booktitle={Discovery Science}, author={Tornede, Alexander and Wever, Marcel Dominik and Hüllermeier, Eyke}, year={2020} }
LibreCat
 
2020 | Conference Paper | LibreCat-ID: 17408
@inproceedings{Hanselle_Tornede_Wever_Hüllermeier_2020, title={Hybrid Ranking and Regression for Algorithm Selection}, booktitle={KI 2020: Advances in Artificial Intelligence}, author={Hanselle, Jonas Manuel and Tornede, Alexander and Wever, Marcel Dominik and Hüllermeier, Eyke}, year={2020} }
LibreCat
 
2020 | Conference Paper | LibreCat-ID: 17424
@inproceedings{Tornede_Tornede_Wever_Mohr_Hüllermeier_2020, title={AutoML for Predictive Maintenance: One Tool to RUL Them All}, DOI={10.1007/978-3-030-66770-2_8}, booktitle={Proceedings of the ECMLPKDD 2020}, author={Tornede, Tanja and Tornede, Alexander and Wever, Marcel Dominik and Mohr, Felix and Hüllermeier, Eyke}, year={2020} }
LibreCat | DOI
 
2020 | Conference Paper | LibreCat-ID: 18686
@inproceedings{Kersting_Bäumer_2020, title={SEMANTIC TAGGING OF REQUIREMENT DESCRIPTIONS: A TRANSFORMER-BASED APPROACH}, booktitle={PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON APPLIED COMPUTING 2020}, publisher={IADIS}, author={Kersting, Joschka and Bäumer, Frederik Simon}, year={2020}, pages={119--123} }
LibreCat | Files available
 
2020 | Conference Paper | LibreCat-ID: 20306
@inproceedings{Tornede_Wever_Hüllermeier_2020, title={Towards Meta-Algorithm Selection}, booktitle={Workshop MetaLearn 2020 @ NeurIPS 2020}, author={Tornede, Alexander and Wever, Marcel Dominik and Hüllermeier, Eyke}, year={2020} }
LibreCat
 
2020 | Report | LibreCat-ID: 20712
@book{Schubert_Bodden_Hermann_2020, title={Accelerating Static Call-Graph, Points-to and Data-Flow Analysis Through Persisted Summaries}, author={Schubert, Philipp and Bodden, Eric and Hermann, Ben}, year={2020} }
LibreCat | Files available
 
2020 | Preprint | LibreCat-ID: 20748
@article{Witschen_Wiersema_Platzner, title={Search Space Characterization for AxC Synthesis}, journal={Fifth Workshop on Approximate Computing (AxC 2020)}, author={Witschen, Linus Matthias and Wiersema, Tobias and Platzner, Marco} }
LibreCat | Files available
 
2020 | Conference Paper | LibreCat-ID: 18276
@inproceedings{Tornede_Wever_Werner_Mohr_Hüllermeier_2020, title={Run2Survive: A Decision-theoretic Approach to Algorithm Selection based on Survival Analysis}, booktitle={ACML 2020}, author={Tornede, Alexander and Wever, Marcel Dominik and Werner, Stefan and Mohr, Felix and Hüllermeier, Eyke}, year={2020} }
LibreCat | Download (ext.)
 
2020 | Conference Paper | LibreCat-ID: 16724
@inproceedings{Sharma_Wehrheim, title={Higher Income, Larger Loan? Monotonicity Testing of Machine Learning Models}, booktitle={Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA).}, publisher={ACM}, author={Sharma, Arnab and Wehrheim, Heike} }
LibreCat
 
2020 | Journal Article | LibreCat-ID: 16725
@article{Richter_Hüllermeier_Jakobs_Wehrheim, title={Algorithm Selection for Software Validation Based on Graph Kernels}, journal={Journal of Automated Software Engineering}, publisher={Springer}, author={Richter, Cedric and Hüllermeier, Eyke and Jakobs, Marie-Christine and Wehrheim, Heike} }
LibreCat
 
2020 | Conference Paper | LibreCat-ID: 15580
@inproceedings{Kersting_Geierhos_2020, place={Setúbal, Portugal}, title={Aspect Phrase Extraction in Sentiment Analysis with Deep Learning}, booktitle={Proceedings of the 12th International Conference on Agents and Artificial Intelligence (ICAART 2020) --  Special Session on Natural Language Processing in Artificial Intelligence (NLPinAI 2020)}, publisher={SCITEPRESS}, author={Kersting, Joschka and Geierhos, Michaela}, year={2020}, pages={391--400} }
LibreCat | Files available
 
2020 | Conference Paper | LibreCat-ID: 15582
@inproceedings{Buff_Kersting_Geierhos_2020, place={Setúbal, Portugal}, title={Detection of Privacy Disclosure in the Medical Domain: A Survey}, booktitle={Proceedings of the 9th International Conference on Pattern Recognition Applications and Methods (ICPRAM 2020)}, publisher={SCITEPRESS}, author={Buff, Bianca and Kersting, Joschka and Geierhos, Michaela}, year={2020}, pages={630--637} }
LibreCat | Files available
 
2020 | Conference Paper | LibreCat-ID: 15629
@inproceedings{Wever_Tornede_Mohr_Hüllermeier, title={LiBRe: Label-Wise Selection of Base Learners in Binary Relevance for Multi-Label Classification}, publisher={Springer}, author={Wever, Marcel Dominik and Tornede, Alexander and Mohr, Felix and Hüllermeier, Eyke} }
LibreCat
 
2020 | Conference Paper | LibreCat-ID: 15635
@inproceedings{Kersting_Geierhos_2020, place={North Miami Beach, FL, USA}, title={Neural Learning for Aspect Phrase Extraction and Classification in Sentiment Analysis}, booktitle={Proceedings of the 33rd International Florida Artificial Intelligence Research Symposium (FLAIRS) Conference}, publisher={AAAI}, author={Kersting, Joschka and Geierhos, Michaela}, year={2020}, pages={282--285} }
LibreCat | Files available
 
2020 | Journal Article | LibreCat-ID: 15025
@article{Wever_van Rooijen_Hamann_2020, title={Multi-Oracle Coevolutionary Learning of Requirements Specifications from Examples in On-The-Fly Markets}, volume={28}, DOI={10.1162/evco_a_00266}, number={2}, journal={Evolutionary Computation}, publisher={MIT Press Journals}, author={Wever, Marcel Dominik and van Rooijen, Lorijn and Hamann, Heiko}, year={2020}, pages={165–193} }
LibreCat | Files available | DOI
 
2020 | Conference Paper | LibreCat-ID: 15256
@inproceedings{Kersting_Geierhos_2020, place={Setúbal, Portugal}, title={What Reviews in Local Online Labour Markets Reveal about the Performance of Multi-Service Providers}, booktitle={Proceedings of the 9th International Conference on Pattern Recognition Applications and Methods}, publisher={SCITEPRESS}, author={Kersting, Joschka and Geierhos, Michaela}, year={2020}, pages={263--272} }
LibreCat | Files available
 
2020 | Journal Article | LibreCat-ID: 13770
@article{Karl_Kundisch_Meyer auf der Heide_Wehrheim_2020, title={A Case for a New IT Ecosystem: On-The-Fly Computing}, volume={62}, DOI={10.1007/s12599-019-00627-x}, number={6}, journal={Business & Information Systems Engineering}, publisher={Springer}, author={Karl, Holger and Kundisch, Dennis and Meyer auf der Heide, Friedhelm and Wehrheim, Heike}, year={2020}, pages={467–481} }
LibreCat | Files available | DOI
 
2020 | Conference Paper | LibreCat-ID: 3776
@inproceedings{Chen_Al-Khatib_Wachsmuth_Stein_2020, title={Analyzing Political Bias and Unfairness in News Articles at Different Levels of Granularity}, booktitle={Proceedings of the Fourth Workshop on Natural Language Processing and Computational Social Science}, author={Chen, Wei-Fan and Al-Khatib, Khalid and Wachsmuth, Henning and Stein, Benno}, year={2020}, pages={149–154} }
LibreCat | Download (ext.)
 
2020 | Conference Paper | LibreCat-ID: 20137
@inproceedings{Syed_Chen_Hagen_Stein_Wachsmuth_Potthast_2020, title={Task Proposal: Abstractive Snippet Generation for Web Pages}, booktitle={Proceedings of the 13th International Conference on Natural Language Generation (INLG 2020)}, author={Syed, Shahbaz and Chen, Wei-Fan and Hagen, Matthias and Stein, Benno and Wachsmuth, Henning and Potthast, Martin}, year={2020}, pages={237–241} }
LibreCat | Download (ext.)
 
2020 | Conference Paper | LibreCat-ID: 3818
@inproceedings{Chen_Al-Khatib_Stein_Wachsmuth_2020, title={Detecting Media Bias in News Articles using Gaussian Bias Distributions}, booktitle={Findings of the Association for Computational Linguistics: EMNLP 2020}, author={Chen, Wei-Fan and Al-Khatib, Khalid and Stein, Benno and Wachsmuth, Henning}, year={2020}, pages={4290–4300} }
LibreCat | Download (ext.)
 
2020 | Conference Paper | LibreCat-ID: 15826
@inproceedings{Chen_Syed_Stein_Hagen_Potthast_2020, title={Abstractive Snippet Generation}, booktitle={Proceedings of the Web Conference 2020}, author={Chen, Wei-Fan and Syed, Shahbaz and Stein, Benno and Hagen, Matthias and Potthast, Martin}, year={2020}, pages={1309–1319} }
LibreCat | Download (ext.)
 
2020 | Conference Paper | LibreCat-ID: 16868
@inproceedings{Alshomary_Syed_Potthast_Wachsmuth_2020, series={Proceedings of 58th Annual Meeting of the Association for Computational Linguistics}, title={Target Inference in Argument Conclusion Generation}, booktitle={Proceedings of 58th Annual Meeting of the Association for Computational Linguistics (ACL 2020)}, publisher={Association for Computational Linguistics}, author={Alshomary, Milad and Syed, Shahbaz and Potthast, Martin and Wachsmuth, Henning}, year={2020}, pages={4334–4345}, collection={Proceedings of 58th Annual Meeting of the Association for Computational Linguistics} }
LibreCat | Files available
 
2019 | Conference Paper | LibreCat-ID: 3287 | OA
@inproceedings{Schneider_Sharma_Karl_Wehrheim_2019, place={Washington, DC, USA}, title={Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets}, booktitle={2019 IFIP/IEEE International Symposium on Integrated Network Management (IM)}, publisher={IFIP}, author={Schneider, Stefan Balthasar and Sharma, Arnab and Karl, Holger and Wehrheim, Heike}, year={2019}, pages={116--124} }
LibreCat | Files available | Download (ext.)
 
2019 | Journal Article | LibreCat-ID: 3585
@article{Witschen_Wiersema_Ghasemzadeh Mohammadi_Awais_Platzner_2019, title={CIRCA: Towards a Modular and Extensible Framework for Approximate Circuit Generation}, volume={99}, DOI={10.1016/j.microrel.2019.04.003}, journal={Microelectronics Reliability}, publisher={Elsevier}, author={Witschen, Linus Matthias and Wiersema, Tobias and Ghasemzadeh Mohammadi, Hassan and Awais, Muhammad and Platzner, Marco}, year={2019}, pages={277–290} }
LibreCat | DOI
 
2019 | Conference Abstract | LibreCat-ID: 7752
@inproceedings{Sharma_Wehrheim_2019, place={Stuttgart}, series={Lecture Notes in Informatics (LNI)}, title={Testing Balancedness of ML Algorithms}, volume={P-292}, booktitle={Proceedings of the Software Engineering Conference (SE)}, publisher={Gesellschaft für Informatik e.V. (GI)}, author={Sharma, Arnab and Wehrheim, Heike}, year={2019}, pages={157–158}, collection={Lecture Notes in Informatics (LNI)} }
LibreCat
 
2019 | Encyclopedia Article | LibreCat-ID: 8312 | OA
@inbook{Bäumer_Geierhos_2019, place={Basel, Switzerland}, title={Requirements Engineering in OTF-Computing}, booktitle={encyclopedia.pub}, publisher={MDPI}, author={Bäumer, Frederik Simon and Geierhos, Michaela}, year={2019} }
LibreCat | Download (ext.)
 
2019 | Conference Paper | LibreCat-ID: 7635
@inproceedings{Sharma_Wehrheim_2019, place={Xi’an, China}, title={Testing Machine Learning Algorithms for Balanced Data Usage}, booktitle={IEEE International Conference on Software Testing, Verification and Validation (ICST)}, publisher={IEEE}, author={Sharma, Arnab and Wehrheim, Heike}, year={2019}, pages={125--135} }
LibreCat | Files available
 
2019 | Journal Article | LibreCat-ID: 8424 | OA
@article{Bäumer_Kersting_Geierhos_2019, title={Natural Language Processing in OTF Computing: Challenges and the Need for Interactive Approaches}, volume={8}, DOI={10.3390/computers8010022}, number={122}, journal={Computers}, publisher={MDPI AG, Basel, Switzerland}, author={Bäumer, Frederik Simon and Kersting, Joschka and Geierhos, Michaela}, year={2019} }
LibreCat | Files available | DOI | Download (ext.)
 
2019 | Conference Abstract | LibreCat-ID: 8868
@inproceedings{Wever_Mohr_Hüllermeier_Hetzer_2019, title={Towards Automated Machine Learning for Multi-Label Classification}, author={Wever, Marcel Dominik and Mohr, Felix and Hüllermeier, Eyke and Hetzer, Alexander}, year={2019} }
LibreCat | Files available
 
2019 | Conference Paper | LibreCat-ID: 15838
@inproceedings{Pauck_Zhang_2019, title={Android App Merging for Benchmark Speed-Up and Analysis Lift-Up}, DOI={10.1109/asew.2019.00019}, booktitle={2019 34th IEEE/ACM International Conference on Automated Software Engineering Workshop (ASEW)}, author={Pauck, Felix and Zhang, Shikun}, year={2019} }
LibreCat | Files available | DOI
 
2019 | Journal Article | LibreCat-ID: 14896
@article{Dann_Hermann_Bodden_2019, title={ModGuard: Identifying Integrity &Confidentiality Violations in Java Modules}, DOI={10.1109/tse.2019.2931331}, journal={IEEE Transactions on Software Engineering}, author={Dann, Andreas and Hermann, Ben and Bodden, Eric}, year={2019}, pages={1–1} }
LibreCat | DOI
 
2019 | Conference Paper | LibreCat-ID: 15007 | OA
@inproceedings{Melnikov_Hüllermeier_2019, title={Learning to Aggregate: Tackling the Aggregation/Disaggregation Problem for OWA}, DOI={10.1016/j.jmva.2019.02.017}, booktitle={Proceedings ACML, Asian Conference on Machine Learning (Proceedings of Machine Learning Research, 101)}, author={Melnikov, Vitaly and Hüllermeier, Eyke}, year={2019} }
LibreCat | Files available | DOI
 
2019 | Conference Paper | LibreCat-ID: 15011 | OA
@inproceedings{Tornede_Wever_Hüllermeier_2019, title={Algorithm Selection as Recommendation: From Collaborative Filtering to Dyad Ranking}, booktitle={Proceedings - 29. Workshop Computational Intelligence, Dortmund, 28. - 29. November 2019}, publisher={KIT Scientific Publishing, Karlsruhe}, author={Tornede, Alexander and Wever, Marcel Dominik and Hüllermeier, Eyke}, editor={Hoffmann, Frank and Hüllermeier, Eyke and Mikut, RalfEditors}, year={2019}, pages={135–146} }
LibreCat | Files available
 
2019 | Conference Abstract | LibreCat-ID: 13132
@inproceedings{Mohr_Wever_Tornede_Hüllermeier_2019, place={Bonn}, series={INFORMATIK 2019, Lecture Notes in Informatics (LNI), Gesellschaft für Informatik}, title={From Automated to On-The-Fly Machine Learning}, booktitle={INFORMATIK 2019: 50 Jahre Gesellschaft für Informatik – Informatik für Gesellschaft}, publisher={Gesellschaft für Informatik e.V.}, author={Mohr, Felix and Wever, Marcel Dominik and Tornede, Alexander and Hüllermeier, Eyke}, year={2019}, pages={273–274}, collection={INFORMATIK 2019, Lecture Notes in Informatics (LNI), Gesellschaft für Informatik} }
LibreCat
 
2019 | Conference Paper | LibreCat-ID: 10093
@inproceedings{Beyer_Jakobs_Lemberger_Wehrheim_2019, series={LNI}, title={Combining Verifiers in Conditional Model Checking via Reducers}, volume={P-292}, DOI={10.18420/se2019-46}, booktitle={Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019}, publisher={GI}, author={Beyer, Dirk and Jakobs, Marie-Christine and Lemberger, Thomas and Wehrheim, Heike}, editor={Becker, Steffen and Bogicevic, Ivan and Herzwurm, Georg and Wagner, StefanEditors}, year={2019}, pages={151--152}, collection={LNI} }
LibreCat | Files available | DOI
 
2019 | Conference Paper | LibreCat-ID: 10095
@inproceedings{Richter_Wehrheim_2019, series={Lecture Notes in Computer Science}, title={PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution)}, volume={11429}, DOI={10.1007/978-3-030-17502-3_19}, booktitle={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}}, publisher={Springer}, author={Richter, Cedric and Wehrheim, Heike}, editor={Beyer, Dirk and Huisman, Marieke and Kordon, Fabrice and Steffen, BernhardEditors}, year={2019}, pages={229–233}, collection={Lecture Notes in Computer Science} }
LibreCat | Files available | DOI
 
2019 | Conference Paper | LibreCat-ID: 10232 | OA
@inproceedings{Wever_Mohr_Tornede_Hüllermeier_2019, title={Automating Multi-Label Classification Extending ML-Plan}, author={Wever, Marcel Dominik and Mohr, Felix and Tornede, Alexander and Hüllermeier, Eyke}, year={2019} }
LibreCat | Files available
 
2019 | Conference Paper | LibreCat-ID: 7626 | OA
@inproceedings{Schubert_Hermann_Bodden_2019, title={PhASAR: An Inter-Procedural Static Analysis Framework for C/C++}, volume={II}, DOI={10.1007/978-3-030-17465-1_22}, booktitle={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)}, author={Schubert, Philipp and Hermann, Ben and Bodden, Eric}, year={2019}, pages={393–410} }
LibreCat | Files available | DOI | Download (ext.)
 
2019 | Conference Paper | LibreCat-ID: 13259
@inproceedings{Chen_Al-Khatib_Hagen_Wachsmuth_Stein_2019, title={Unraveling the Search Space of Abusive Language in Wikipedia with Dynamic Lexicon Acquisition}, booktitle={Proceedings of the Second Workshop on Natural Language Processing for Internet Freedom}, author={Chen, Wei-Fan and Al-Khatib, Khalid and Hagen, Matthias and Wachsmuth, Henning and Stein, Benno}, year={2019}, pages={76–82} }
LibreCat | Download (ext.)
 
2019 | Conference Paper | LibreCat-ID: 10108
@inproceedings{Pauck_Wehrheim_2019, title={Together Strong: Cooperative Android App Analysis}, DOI={10.1145/3338906.3338915}, booktitle={Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering}, author={Pauck, Felix and Wehrheim, Heike}, year={2019}, pages={374–384} }
LibreCat | Files available | DOI
 
2019 | Conference Paper | LibreCat-ID: 13874
@inproceedings{Isenberg_Jakobs_Pauck_Wehrheim_2019, title={When Are Software Verification Results Valid for Approximate Hardware?}, DOI={10.1007/978-3-030-31157-5_1}, booktitle={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}, author={Isenberg, Tobias and Jakobs, Marie-Christine and Pauck, Felix and Wehrheim, Heike}, year={2019}, pages={3–20} }
LibreCat | DOI
 
2019 | Conference Paper | LibreCat-ID: 9913 | OA
@inproceedings{Ahmed_Wiersema_Platzner_2019, place={Cham}, series={Lecture Notes in Computer Science}, title={Proof-Carrying Hardware Versus the Stealthy Malicious LUT Hardware Trojan}, volume={11444}, DOI={10.1007/978-3-030-17227-5_10}, booktitle={Applied Reconfigurable Computing}, publisher={Springer International Publishing}, author={Ahmed, Qazi Arbab and Wiersema, Tobias and Platzner, Marco}, editor={Hochberger, Christian and Nelson, Brent and Koch, Andreas and Woods, Roger and Diniz, Pedro}, year={2019}, pages={127–136}, collection={Lecture Notes in Computer Science} }
LibreCat | Files available | DOI | Download (ext.)
 
2019 | Conference Paper | LibreCat-ID: 14898
@inproceedings{Schubert_Leer_Hermann_Bodden_2019, title={Know your analysis: how instrumentation aids understanding static analysis}, DOI={10.1145/3315568.3329965}, booktitle={Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis  - SOAP 2019}, author={Schubert, Philipp and Leer, Richard and Hermann, Ben and Bodden, Eric}, year={2019} }
LibreCat | DOI
 
2018 | Conference Paper | LibreCat-ID: 2479 | OA
@inproceedings{Mohr_Wever_Hüllermeier_Faez_2018, place={San Francisco, CA, USA}, title={(WIP) Towards the Automated Composition of Machine Learning Services}, DOI={10.1109/SCC.2018.00039}, booktitle={SCC}, publisher={IEEE}, author={Mohr, Felix and Wever, Marcel Dominik and Hüllermeier, Eyke and Faez, Amin}, year={2018} }
LibreCat | Files available | DOI | Download (ext.)
 
2018 | Conference Paper | LibreCat-ID: 2857 | OA
@inproceedings{Mohr_Lettmann_Hüllermeier_Wever_2018, title={Programmatic Task Network Planning}, booktitle={Proceedings of the 1st ICAPS Workshop on Hierarchical Planning}, publisher={AAAI}, author={Mohr, Felix and Lettmann, Theodor and Hüllermeier, Eyke and Wever, Marcel Dominik}, year={2018}, pages={31–39} }
LibreCat | Files available | Download (ext.)
 
2018 | Conference Paper | LibreCat-ID: 2471 | OA
@inproceedings{Mohr_Wever_Hüllermeier_2018, place={San Francisco, CA, USA}, title={On-The-Fly Service Construction with Prototypes}, DOI={10.1109/SCC.2018.00036}, booktitle={SCC}, publisher={IEEE Computer Society}, author={Mohr, Felix and Wever, Marcel Dominik and Hüllermeier, Eyke}, year={2018} }
LibreCat | Files available | DOI | Download (ext.)
 
2018 | Conference Paper | LibreCat-ID: 3373
@inproceedings{Hansmeier_Platzner_Andrews_2018, series={Lecture Notes in Computer Science}, title={An FPGA/HMC-Based Accelerator for Resolution Proof Checking}, volume={10824}, DOI={10.1007/978-3-319-78890-6_13}, booktitle={ARC 2018: Applied Reconfigurable Computing. Architectures, Tools, and Applications}, publisher={Springer International Publishing}, author={Hansmeier, Tim and Platzner, Marco and Andrews, David}, year={2018}, pages={153–165}, collection={Lecture Notes in Computer Science} }
LibreCat | Files available | DOI
 
2018 | Journal Article | LibreCat-ID: 3402
@article{Melnikov_Hüllermeier_2018, title={On the effectiveness of heuristics for learning nested dichotomies: an empirical analysis}, DOI={10.1007/s10994-018-5733-1}, journal={Machine Learning}, author={Melnikov, Vitalik and Hüllermeier, Eyke}, year={2018} }
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 3414
@inproceedings{Börding_Haltermann_Jakobs_Wehrheim_2018, series={Lecture Notes in Computer Science}, title={JMCTest: Automatically Testing Inter-Method Contracts in Java}, volume={11146}, booktitle={Proceedings of the IFIP International Conference on Testing Software and Systems (ICTSS 2018)}, publisher={Springer}, author={Börding, Paul and Haltermann, Jan Frederik and Jakobs, Marie-Christine and Wehrheim, Heike}, year={2018}, pages={39--55}, collection={Lecture Notes in Computer Science} }
LibreCat | Files available
 
2018 | Journal Article | LibreCat-ID: 3510 | OA
@article{Mohr_Wever_Hüllermeier_2018, title={ML-Plan: Automated Machine Learning via Hierarchical Planning}, DOI={10.1007/s10994-018-5735-z}, journal={Machine Learning}, publisher={Springer}, author={Mohr, Felix and Wever, Marcel Dominik and Hüllermeier, Eyke}, year={2018}, pages={1495–1515} }
LibreCat | Files available | DOI | Download (ext.)
 
2018 | Conference Paper | LibreCat-ID: 3552 | OA
@inproceedings{Mohr_Wever_Hüllermeier, place={‘s-Hertogenbosch, the Netherlands}, title={Reduction Stumps for Multi-Class Classification}, DOI={10.1007/978-3-030-01768-2_19}, booktitle={Proceedings of the Symposium on Intelligent Data Analysis}, author={Mohr, Felix and Wever, Marcel Dominik and Hüllermeier, Eyke} }
LibreCat | Files available | DOI | Download (ext.)
 
2018 | Preprint | LibreCat-ID: 3586
@article{Witschen_Wiersema_Ghasemzadeh Mohammadi_Awais_Platzner, title={CIRCA: Towards a Modular and Extensible Framework for Approximate Circuit Generation}, journal={Third Workshop on Approximate Computing (AxC 2018)}, author={Witschen, Linus Matthias and Wiersema, Tobias and Ghasemzadeh Mohammadi, Hassan and Awais, Muhammad and Platzner, Marco} }
LibreCat | Files available
 
2018 | Conference Paper | LibreCat-ID: 3852 | OA
@inproceedings{Wever_Mohr_Hüllermeier_2018, title={ML-Plan for Unlimited-Length Machine Learning Pipelines}, booktitle={ICML 2018 AutoML Workshop}, author={Wever, Marcel Dominik and Mohr, Felix and Hüllermeier, Eyke}, year={2018} }
LibreCat | Files available | Download (ext.)
 
2018 | Preprint | LibreCat-ID: 2711
@article{Pauck_Bodden_Wehrheim_2018, title={Do Android Taint Analysis Tools Keep their Promises?}, journal={arXiv:1804.02903}, author={Pauck, Felix and Bodden, Eric and Wehrheim, Heike}, year={2018} }
LibreCat | Files available
 
2018 | Preprint | LibreCat-ID: 1165
@article{Witschen_Wiersema_Platzner_2018, title={Making the Case for Proof-carrying Approximate Circuits}, journal={4th Workshop On Approximate Computing (WAPCO 2018)}, author={Witschen, Linus Matthias and Wiersema, Tobias and Platzner, Marco}, year={2018} }
LibreCat | Files available
 
2018 | Conference Paper | LibreCat-ID: 2109 | OA
@inproceedings{Wever_Mohr_Hüllermeier_2018, place={Kyoto, Japan}, title={Ensembles of Evolved Nested Dichotomies for Classification}, DOI={10.1145/3205455.3205562}, booktitle={Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2018, Kyoto, Japan, July 15-19, 2018}, publisher={ACM}, author={Wever, Marcel Dominik and Mohr, Felix and Hüllermeier, Eyke}, year={2018} }
LibreCat | Files available | DOI | Download (ext.)
 
2018 | Preprint | LibreCat-ID: 17713 | OA
@article{Wever_Mohr_Hüllermeier_2018, title={Automated Multi-Label Classification based on ML-Plan}, publisher={Arxiv}, author={Wever, Marcel Dominik and Mohr, Felix and Hüllermeier, Eyke}, year={2018} }
LibreCat | Download (ext.)
 
2018 | Preprint | LibreCat-ID: 17714 | OA
@article{Mohr_Wever_Hüllermeier_2018, title={Automated machine learning service composition}, author={Mohr, Felix and Wever, Marcel Dominik and Hüllermeier, Eyke}, year={2018} }
LibreCat | Download (ext.)
 
2018 | Book Chapter | LibreCat-ID: 2322
@inbook{Bäumer_Geierhos_2018, place={Cham, Switzerland}, series={Lecture Notes in Computer Science}, title={How to Deal with Inaccurate Service Descriptions in On-The-Fly Computing: Open Challenges}, volume={10859}, DOI={10.1007/978-3-319-91947-8_53}, booktitle={Proceedings of the 23rd International Conference on Natural Language and Information Systems}, publisher={Springer}, author={Bäumer, Frederik Simon and Geierhos, Michaela}, editor={Silberztein, Max and Atigui, Faten and Kornyshova, Elena and Métais, Elisabeth and Meziane, Farid Editors}, year={2018}, pages={509–513}, collection={Lecture Notes in Computer Science} }
LibreCat | Files available | DOI
 
2018 | Journal Article | LibreCat-ID: 2331
@article{Kim_Lee_Dollmann_Geierhos_2018, title={Improving Classifiers for Semantic Annotation of Software Requirements with Elaborate Syntactic Structure}, volume={112}, DOI={10.14257/ijast.2018.112.12}, journal={International Journal of Advanced Science and Technology}, publisher={SERSC Australia}, author={Kim, Yeongsu and Lee, Seungwoo and Dollmann, Markus and Geierhos, Michaela}, year={2018}, pages={123–136} }
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 5774
@inproceedings{Töws_Wehrheim_2018, place={Cham}, title={Information Flow Certificates}, DOI={10.1007/978-3-030-02508-3_23}, booktitle={Theoretical Aspects of Computing – ICTAC 2018}, publisher={Springer International Publishing}, author={Töws, Manuel and Wehrheim, Heike}, year={2018}, pages={435–454} }
LibreCat | Files available | DOI
 
2018 | Book Chapter | LibreCat-ID: 6423
@inbook{Schäfer_Hüllermeier_2018, place={Cham}, title={Preference-Based Reinforcement Learning Using Dyad Ranking}, DOI={10.1007/978-3-030-01771-2_11}, booktitle={Discovery Science}, publisher={Springer International Publishing}, author={Schäfer, Dirk and Hüllermeier, Eyke}, year={2018}, pages={161–175} }
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 4339
@inproceedings{Bäumer_Geierhos_2018, place={Cham, Switzerland}, series={Communications in Computer and Information Science}, title={NLP in OTF Computing: Current Approaches and Open Challenges}, volume={920}, DOI={10.1007/978-3-319-99972-2_46}, booktitle={Proceedings of the 24th International Conference on Information and Software Technologies (ICIST 2018)}, publisher={Springer}, author={Bäumer, Frederik Simon and Geierhos, Michaela}, editor={Damaševičius, Robertas and Vasiljevienė, GiedrėEditors}, year={2018}, pages={559–570}, collection={Communications in Computer and Information Science} }
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 44 | OA
@inproceedings{Bäumer_Geierhos_2018, title={Flexible Ambiguity Resolution and Incompleteness Detection in Requirements Descriptions via an Indicator-based Configuration of Text Analysis Pipelines}, DOI={10125/50609}, booktitle={Proceedings of the 51st Hawaii International Conference on System Sciences}, author={Bäumer, Frederik Simon and Geierhos, Michaela}, year={2018}, pages={5746–5755} }
LibreCat | Files available | DOI | Download (ext.)
 
2018 | Conference Paper | LibreCat-ID: 4999
@inproceedings{Pauck_Bodden_Wehrheim_2018, title={Do Android taint analysis tools keep their promises?}, DOI={10.1145/3236024.3236029}, booktitle={Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering  - ESEC/FSE 2018}, publisher={ACM Press}, author={Pauck, Felix and Bodden, Eric and Wehrheim, Heike}, year={2018} }
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 5203
@inproceedings{Krüger_Späth_Ali_Bodden_Mezini_2018, title={CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs}, booktitle={European Conference on Object-Oriented Programming (ECOOP)}, author={Krüger, Stefan and Späth, Johannes and Ali, Karim and Bodden, Eric and Mezini, Mira}, year={2018}, pages={10:1-10:27} }
LibreCat | Files available | Download (ext.)
 
2018 | Journal Article | LibreCat-ID: 1043
@article{Isenberg_Jakobs_Pauck_Wehrheim_2018, title={Validity of Software Verification Results on Approximate Hardware}, DOI={10.1109/LES.2017.2758200}, journal={IEEE Embedded Systems Letters}, publisher={Institute of Electrical and Electronics Engineers (IEEE)}, author={Isenberg, Tobias and Jakobs, Marie-Christine and Pauck, Felix and Wehrheim, Heike}, year={2018}, pages={22–25} }
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 1096
@inproceedings{Beyer_Jakobs_Lemberger_Wehrheim_2018, title={Reducer-Based Construction of Conditional Verifiers}, booktitle={Proceedings of the 40th International Conference on Software Engineering (ICSE)}, publisher={ACM}, author={Beyer, Dirk and Jakobs, Marie-Christine and Lemberger, Thomas and Wehrheim, Heike}, year={2018}, pages={1182--1193} }
LibreCat | Files available
 
2018 | Book Chapter | LibreCat-ID: 1104
@inbook{Geierhos_2018, place={Paderborn, Germany}, edition={1}, series={Nordrhein-Westfälische Akademie der Wissenschaften und der Künste - Junges Kolleg}, title={Unschärfe bei der Interpretation natürlichsprachlicher Anforderungsbeschreibungen}, booktitle={Unschärfe - Der Umgang mit fehlender Eindeutigkeit}, publisher={Ferdinand Schöningh}, author={Geierhos, Michaela}, editor={Freitag, Steffen and Geierhos, Michaela and Asmani, Rozbeh and Haug, Judith I.Editors}, year={2018}, pages={111–128}, collection={Nordrhein-Westfälische Akademie der Wissenschaften und der Künste - Junges Kolleg} }
LibreCat | Files available
 
2018 | Conference Paper | LibreCat-ID: 1181 | OA
@inproceedings{Bäumer_Geierhos_2018, series={CEUR Workshop Proceedings}, title={How to Deal with Inaccurate Service Requirements? Insights in Our Current Approach and New Ideas}, volume={2075}, booktitle={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)}, publisher={CEUR-WS.org}, author={Bäumer, Frederik Simon and Geierhos, Michaela}, editor={Schmid, Klaus and Spoletini, Paola and Ben Charrada, Eya and Chisik, Yoram and Dalpiaz, Fabiano and Ferrari, Alessio and Forbrig, Peter and Franch, Xavier and Kirikova, Marite and Madhavji, Nazim and et al.Editors}, year={2018}, collection={CEUR Workshop Proceedings} }
LibreCat | Files available | Download (ext.)
 
2018 | Conference Paper | LibreCat-ID: 1182 | OA
@inproceedings{Friesen_Bäumer_Geierhos_2018, series={CEUR Workshop Proceedings}, title={CORDULA: Software Requirements Extraction Utilizing Chatbot as Communication Interface}, volume={2075}, booktitle={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)}, publisher={CEUR-WS.org}, author={Friesen, Edwin and Bäumer, Frederik Simon and Geierhos, Michaela}, editor={Schmid, Klaus and Spoletini, Paola and Ben Charrada, Eya and Chisik, Yoram and Dalpiaz, Fabiano and Ferrari, Alessio and Forbrig, Peter and Franch, Xavier and Kirikova, Marite and Madhavji, Nazim and et al.Editors}, year={2018}, collection={CEUR Workshop Proceedings} }
LibreCat | Files available | Download (ext.)
 
2018 | Conference Paper | LibreCat-ID: 1183 | OA
@inproceedings{Caron_Bäumer_Geierhos_2018, series={CEUR Workshop Proceedings}, title={Back to Basics: Extracting Software Requirements with a Syntactic Approach}, volume={2075}, booktitle={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)}, publisher={CEUR-WS.org}, author={Caron, Matthew and Bäumer, Frederik Simon and Geierhos, Michaela}, editor={Schmid, Klaus and Spoletini, Paola and Ben Charrada, Eya and Chisik, Yoram and Dalpiaz, Fabiano and Ferrari, Alessio and Forbrig, Peter and Franch, Xavier and Kirikova, Marite and Madhavji, Nazim and et al.Editors}, year={2018}, collection={CEUR Workshop Proceedings} }
LibreCat | Files available | Download (ext.)
 
2018 | Conference Paper | LibreCat-ID: 11710
@inproceedings{Chen_Wachsmuth_Al Khatib_Stein_2018, title={Learning to Flip the Bias of News Headlines}, booktitle={Proceedings of the 11th International Conference on Natural Language Generation}, publisher={Association for Computational Linguistics}, author={Chen, Wei-Fan and Wachsmuth, Henning and Al Khatib, Khalid and Stein, Benno}, year={2018}, pages={79–88} }
LibreCat | Download (ext.)
 
2018 | Conference Paper | LibreCat-ID: 14873
@inproceedings{Chen_Hagen_Stein_Potthast_2018, title={A User Study on Snippet Generation: Text Reuse vs. Paraphrases}, booktitle={Proceedings of the 41st International ACM SIGIR Conference on Research & Development in Information Retrieval}, author={Chen, Wei-Fan and Hagen, Matthias and Stein, Benno and Potthast, Martin}, year={2018}, pages={1033–1036} }
LibreCat | Download (ext.)
 
2018 | Conference Paper | LibreCat-ID: 14885
@inproceedings{Potthast_Chen_Hagen_Stein_2018, title={A Plan for Ancillary Copyright: Original Snippets.}, booktitle={Proceedings of the Second International Workshop on Recent Trends in News Information Retrieval}, author={Potthast, Martin and Chen, Wei-Fan and Hagen, Matthias and Stein, Benno}, year={2018}, pages={3–5} }
LibreCat | Download (ext.)
 
2017 | Conference Paper | LibreCat-ID: 3325
@inproceedings{Melnikov_Hüllermeier_2017, title={Optimizing the Structure of Nested Dichotomies: A Comparison of Two Heuristics}, DOI={10.5445/KSP/1000074341}, booktitle={Proceedings. 27. Workshop Computational Intelligence, Dortmund, 23. - 24. November 2017}, publisher={KIT Scientific Publishing}, author={Melnikov, Vitalik and Hüllermeier, Eyke}, year={2017} }
LibreCat | Files available | DOI
 
2017 | Conference Paper | LibreCat-ID: 114
@inproceedings{Jakobs_Wehrheim_2017, series={Lecture Notes in Computer Science}, title={Compact Proof Witnesses}, DOI={10.1007/978-3-319-57288-8_28}, booktitle={NASA Formal Methods: 9th International Symposium}, author={Jakobs, Marie-Christine and Wehrheim, Heike}, editor={Barrett, Clark and Davies, Misty and Kahsai, TemesghenEditors}, year={2017}, pages={389–403}, collection={Lecture Notes in Computer Science} }
LibreCat | Files available | DOI
 
2017 | Conference Paper | LibreCat-ID: 115
@inproceedings{Jakobs_Krämer_van Straaten_Lettmann_2017, title={Certification Matters for Service Markets}, booktitle={The Ninth International Conferences on Advanced Service Computing (SERVICE COMPUTATION)}, author={Jakobs, Marie-Christine and Krämer, Julia and van Straaten, Dirk and Lettmann, Theodor}, editor={Marcelo De Barros, Janusz Klink,Tadeus Uhl, Thomas PrinzEditor}, year={2017}, pages={7–12} }
LibreCat | Files available
 
2017 | Journal Article | LibreCat-ID: 90
@article{Isenberg_2017, title={Incremental Inductive Verification of Parameterized Timed Systems}, DOI={10.1145/2984640}, number={2}, journal={ACM Transactions on Embedded Computing Systems}, publisher={ACM}, author={Isenberg, Tobias}, year={2017}, pages={47:1-47:24} }
LibreCat | Files available | DOI
 
2017 | Book Chapter | LibreCat-ID: 93
@inbook{Geierhos_Bäumer_2017, place={Newcastle upon Tyne, UK}, edition={1}, title={Guesswork? Resolving Vagueness in User-Generated Software Requirements}, booktitle={Partiality and Underspecification in Information, Languages, and Knowledge}, publisher={Cambridge Scholars Publishing}, author={Geierhos, Michaela and Bäumer, Frederik Simon}, editor={Christiansen, Henning and Jiménez-López, M. Dolores and Loukanova, Roussanka and Moss, Lawrence S.Editors}, year={2017}, pages={65–108} }
LibreCat | Files available
 
2017 | Conference Paper | LibreCat-ID: 57
@inproceedings{Bäumer_Dollmann_Geierhos_2017, place={New York, NY, USA}, title={Studying Software Descriptions in SourceForge and App Stores for a better Understanding of real-life Requirements}, DOI={10.1145/3121264.3121269}, booktitle={Proceedings of the 2nd ACM SIGSOFT International Workshop on App Market Analytics}, publisher={ACM}, author={Bäumer, Frederik Simon and Dollmann, Markus and Geierhos, Michaela}, editor={Sarro, Federica and Shihab, Emad and Nagappan, Meiyappan and Platenius, Marie Christin and Kaimann, DanielEditors}, year={2017}, pages={19–25} }
LibreCat | Files available | DOI
 
2017 | Conference Paper | LibreCat-ID: 5769
@inproceedings{Töws_Wehrheim_2017, title={Policy Dependent and Independent Information Flow Analyses}, DOI={10.1007/978-3-319-68690-5_22}, booktitle={Formal Methods and Software Engineering - 19th International Conference  on Formal Engineering Methods (ICFEM 2017)}, publisher={Springer International Publishing}, author={Töws, Manuel and Wehrheim, Heike}, year={2017}, pages={362–378} }
LibreCat | Files available | DOI
 
2017 | Conference Paper | LibreCat-ID: 71
@inproceedings{Czech_Hüllermeier_Jakobs_Wehrheim_2017, series={SWAN’17}, title={Predicting Rankings of Software Verification Tools}, DOI={10.1145/3121257.3121262}, booktitle={Proceedings of the 3rd International Workshop on Software Analytics}, author={Czech, Mike and Hüllermeier, Eyke and Jakobs, Marie-Christine and Wehrheim, Heike}, year={2017}, pages={23–26}, collection={SWAN’17} }
LibreCat | Files available | DOI
 
2017 | Report | LibreCat-ID: 72
@book{Czech_Hüllermeier_Jakobs_Wehrheim_2017, title={Predicting Rankings of Software Verification Competitions}, author={Czech, Mike and Hüllermeier, Eyke and Jakobs, Marie-Christine and Wehrheim, Heike}, year={2017} }
LibreCat | Files available
 
2017 | Conference Paper | LibreCat-ID: 73
@inproceedings{Jakobs_2017, series={Lecture Notes in Computer Science}, title={PART_PW: From Partial Analysis Results to a Proof Witness}, DOI={10.1007/978-3-319-66197-1_8}, booktitle={Software Engineering and Formal Methods}, author={Jakobs, Marie-Christine}, editor={Cimatti, Alessandro and Sirjani, MarjanEditors}, year={2017}, pages={120–135}, collection={Lecture Notes in Computer Science} }
LibreCat | Files available | DOI
 
2017 | Conference Paper | LibreCat-ID: 84
@inproceedings{Platenius_Arifulina_Schäfer_2017, series={Lecture Notes in Informatics (LNI)}, title={MatchBox: A Framework for Dynamic Configuration of Service Matching Processes (Extended Abstract)}, booktitle={Tagungsband Software Engineering}, author={Platenius, Marie Christin and Arifulina, Svetlana and Schäfer, Wilhelm}, year={2017}, pages={81--82}, collection={Lecture Notes in Informatics (LNI)} }
LibreCat | Files available
 
2017 | Conference Paper | LibreCat-ID: 97
@inproceedings{van Rooijen_Bäumer_Platenius_Geierhos_Hamann_Engels_2017, place={Piscataway, NJ, USA}, title={From User Demand to Software Service: Using Machine Learning to Automate the Requirements Specification Process}, DOI={10.1109/REW.2017.26}, booktitle={2017 IEEE 25th International Requirements Engineering Conference Workshops (REW)}, publisher={IEEE}, author={van Rooijen, Lorijn and Bäumer, Frederik Simon and Platenius, Marie Christin and Geierhos, Michaela and Hamann, Heiko and Engels, Gregor}, year={2017}, pages={379–385} }
LibreCat | Files available | DOI
 
2017 | Conference Paper | LibreCat-ID: 98
@inproceedings{Schwichtenberg_Gerth_Engels_2017, title={From Open API to Semantic Specifications and Code Adapters}, booktitle={Proceedings of the 24th IEEE International Conference on Web Services (ICWS)}, author={Schwichtenberg, Simon and Gerth, Christian and Engels, Gregor}, year={2017}, pages={484--491} }
LibreCat | Files available
 
2017 | Conference Paper | LibreCat-ID: 99
@inproceedings{Wehrheim_2017, series={LNCS}, title={Fault localization in service compositions}, booktitle={Proceedings of the 14th International Conference on Formal Aspects of Component Software (FACS)}, author={Wehrheim, Heike}, year={2017}, collection={LNCS} }
LibreCat | Files available
 
2017 | Conference Paper | LibreCat-ID: 5204
@inproceedings{Späth_Ali_Bodden_2017, title={IDEal: Efficient and Precise Alias-aware Dataflow Analysis}, booktitle={2017 International Conference on Object-Oriented Programming, Languages and Applications (OOPSLA/SPLASH)}, publisher={ACM Press}, author={Späth, Johannes and Ali, Karim and Bodden, Eric}, year={2017} }
LibreCat | Files available | Download (ext.)
 
2017 | Journal Article | LibreCat-ID: 5209
@article{Fischer_Fuhry_Kerschbaum_Bodden_2017, title={Computation on Encrypted Data using Data Flow Authentication}, volume={abs/1710.00390}, journal={CoRR}, author={Fischer, Andreas and Fuhry, Benny and Kerschbaum, Florian and Bodden, Eric}, year={2017} }
LibreCat | Files available | Download (ext.)
 
2017 | Journal Article | LibreCat-ID: 68
@article{Isenberg_Platzner_Wehrheim_Wiersema_2017, title={Proof-Carrying Hardware via Inductive Invariants}, DOI={10.1145/3054743}, number={4}, journal={ACM Transactions on Design Automation of Electronic Systems}, publisher={ACM}, author={Isenberg, Tobias and Platzner, Marco and Wehrheim, Heike and Wiersema, Tobias}, year={2017}, pages={61:1--61:23} }
LibreCat | Files available | DOI
 
2017 | Journal Article | LibreCat-ID: 69
@article{Jakobs_Wehrheim_2017, title={Programs from Proofs: A Framework for the Safe Execution of Untrusted Software}, DOI={10.1145/3014427}, number={2}, journal={ACM Transactions on Programming Languages and Systems}, publisher={ACM}, author={Jakobs, Marie-Christine and Wehrheim, Heike}, year={2017}, pages={7:1-7:56} }
LibreCat | Files available | DOI
 
2017 | Journal Article | LibreCat-ID: 1098
@article{Kim_Lee_Dollmann_Geierhos_2017, title={Semantic Annotation of Software Requirements with Language Frame}, volume={4}, number={2}, journal={International Journal of Software Engineering for Smart Device}, publisher={Global Vision School Publication}, author={Kim, Yeong-Su and Lee, Seung-Woo and Dollmann, Markus and Geierhos, Michaela}, year={2017}, pages={1–6} }
LibreCat | Files available
 
2017 | Conference Paper | LibreCat-ID: 1180 | OA
@inproceedings{Wever_Mohr_Hüllermeier_2017, place={Dortmund}, title={Automatic Machine Learning: Hierachical Planning Versus Evolutionary Optimization}, booktitle={27th Workshop Computational Intelligence}, author={Wever, Marcel Dominik and Mohr, Felix and Hüllermeier, Eyke}, year={2017} }
LibreCat | Files available | Download (ext.)
 
2017 | Conference Paper | LibreCat-ID: 120
@inproceedings{Wever_van Rooijen_Hamann_2017, title={Active Coevolutionary Learning of Requirements Specifications from Examples}, DOI={10.1145/3071178.3071258}, booktitle={Proceedings of the Genetic and Evolutionary Computation Conference (GECCO)}, author={Wever, Marcel Dominik and van Rooijen, Lorijn and Hamann, Heiko}, year={2017}, pages={1327--1334} }
LibreCat | Files available | DOI
 
2016 | Journal Article | LibreCat-ID: 3318
@article{Melnikov_Hüllermeier_Kaimann_Frick_Gupta_2016, title={Pairwise versus Pointwise Ranking: A Case Study}, volume={25}, DOI={10.4467/20838476si.16.006.6187}, journal={Schedae Informaticae}, publisher={Uniwersytet Jagiellonski - Wydawnictwo Uniwersytetu Jagiellonskiego}, author={Melnikov, Vitalik and Hüllermeier, Eyke and Kaimann, Daniel and Frick, Bernd and Gupta, Pritha }, year={2016} }
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 3157
@inproceedings{Beringer_Wehrheim_2016, series={Lecture Notes in Computer Science}, title={Verification of AUTOSAR Software Architectures with Timed Automata}, DOI={10.1007/978-3-319-45943-1_13}, booktitle={Critical Systems: Formal Methods and Automated Verification - Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings}, author={Beringer, Steffen and Wehrheim, Heike}, editor={H. ter Beek, Maurice and Gnesi, Stefania and Knapp, AlexanderEditors}, year={2016}, pages={189--204}, collection={Lecture Notes in Computer Science} }
LibreCat | Files available | DOI
 
2016 | Journal Article | LibreCat-ID: 175
@article{Walther_Wehrheim_2016, title={On-The-Fly Construction of Provably Correct Service Compositions - Templates and Proofs}, DOI={10.1016/j.scico.2016.04.002}, journal={Science of Computer Programming}, publisher={Elsevier}, author={Walther, Sven and Wehrheim, Heike}, year={2016}, pages={2--23} }
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 176 | OA
@inproceedings{Dollmann_Geierhos_2016, place={Austin, TX, USA}, title={On- and Off-Topic Classification and Semantic Annotation of User-Generated Software Requirements}, booktitle={Proceedings of the 2016 Conference on Empirical Methods in Natural Language Processing (EMNLP)}, publisher={Association for Computational Linguistics (ACL)}, author={Dollmann, Markus and Geierhos, Michaela}, year={2016}, pages={1807–1816} }
LibreCat | Files available | Download (ext.)
 
2016 | Journal Article | LibreCat-ID: 190
@article{Platenius_Shaker_Becker_Hüllermeier_Schäfer_2016, title={Imprecise Matching of Requirements Specifications for Software Services using Fuzzy Logic}, DOI={10.1109/TSE.2016.2632115}, number={8}, journal={IEEE Transactions on Software Engineering (TSE), presented at ICSE 2017}, publisher={IEEE}, author={Platenius, Marie Christin and Shaker, Ammar and Becker, Matthias and Hüllermeier, Eyke and Schäfer, Wilhelm}, year={2016}, pages={739–759} }
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 191
@inproceedings{Geierhos_Bäumer_2016, place={Cham, Switzerland}, series={Lecture Notes in Computer Science}, title={How to Complete Customer Requirements: Using Concept Expansion for Requirement Refinement}, volume={9612}, DOI={10.1007/978-3-319-41754-7_4}, booktitle={Proceedings of the 21st International Conference on Applications of Natural Language to Information Systems (NLDB)}, publisher={Springer}, author={Geierhos, Michaela and Bäumer, Frederik Simon}, editor={Métais, Elisabeth and Meziane, Farid and Saraee, Mohamad and Sugumaran, Vijayan and Vadera, Sunil Editors}, year={2016}, pages={37–47}, collection={Lecture Notes in Computer Science} }
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 184
@inproceedings{Melnikov_Hüllermeier_2016, series={LNCS}, title={Learning to Aggregate Using Uninorms}, DOI={10.1007/978-3-319-46227-1_47}, booktitle={Proceedings of the Joint European Conference on Machine Learning and Knowledge Discovery in Databases (ECML/PKDD 2016)}, author={Melnikov, Vitaly and Hüllermeier, Eyke}, year={2016}, pages={756–771}, collection={LNCS} }
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 186
@inproceedings{Czech_Jakobs_Wehrheim_2016, series={Lecture Notes in Informatics}, title={Just test what you cannot verify!}, booktitle={Software Engineering 2016}, author={Czech, Mike and Jakobs, Marie-Christine and Wehrheim, Heike}, editor={Jens Knoop, Uwe ZdunEditor}, year={2016}, pages={17–18}, collection={Lecture Notes in Informatics} }
LibreCat | Files available
 
2016 | Report | LibreCat-ID: 221
@book{Platenius_Josifovska_van Rooijen_Arifulina_Becker_Engels_Schäfer_2016, title={An Overview of Service Specification Language and Matching in On-The-Fly Computing (v0.3)}, publisher={Universität Paderborn}, author={Platenius, Marie Christin and Josifovska, Klementina and van Rooijen, Lorijn and Arifulina, Svetlana and Becker, Matthias and Engels, Gregor and Schäfer, Wilhelm}, year={2016} }
LibreCat | Files available
 
2016 | Journal Article | LibreCat-ID: 222
@article{Wiersema_Bockhorn_Platzner_2016, title={An Architecture and Design Tool Flow for Embedding a Virtual FPGA into a Reconfigurable System-on-Chip}, DOI={10.1016/j.compeleceng.2016.04.005}, journal={Computers & Electrical Engineering}, publisher={Elsevier}, author={Wiersema, Tobias and Bockhorn, Arne and Platzner, Marco}, year={2016}, pages={112--122} }
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 224
@inproceedings{Krämer_Wehrheim_2016, series={LNCS}, title={A short survey on using software error localization for service compositions}, DOI={10.1007/978-3-319-44482-6_16}, booktitle={Proceedings of the 5th European Conference on Service-Oriented and Cloud Computing (ESOCC 2016)}, author={Krämer, Julia and Wehrheim, Heike}, year={2016}, pages={248--262}, collection={LNCS} }
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 225
@inproceedings{Jungmann_Kleinjohann_2016, title={A Holistic and Adaptive Approach for Automated Prototyping of Image Processing Functionality}, DOI={10.1109/ETFA.2016.7733522}, booktitle={Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)}, author={Jungmann, Alexander and Kleinjohann, Bernd}, year={2016}, pages={1--8} }
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 226
@inproceedings{Krämer_Wehrheim_2016, series={LNCS}, title={A Formal Approach to Error Localization and Correction in Service Compositions}, DOI={10.1007/978-3-319-50230-4_35}, booktitle={Proceedings of the 1st International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016)}, author={Krämer, Julia and Wehrheim, Heike}, year={2016}, pages={445--457}, collection={LNCS} }
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 227
@inproceedings{Töws_Wehrheim_2016, series={LNCS}, title={A CEGAR Scheme for Information Flow Analysis}, DOI={10.1007/978-3-319-47846-3_29}, booktitle={Proceedings of the 18th International Conference on Formal Engineering Methods (ICFEM 2016)}, author={Töws, Manuel and Wehrheim, Heike}, year={2016}, pages={466--483}, collection={LNCS} }
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 217
@inproceedings{Schwichtenberg_2016, title={Automatized Derivation of Comprehensive Specifications for Black-box Services}, DOI={10.1145/2889160.2889271}, booktitle={Proceedings of the 38th International Conference on Software Engineering Companion (ICSE)}, author={Schwichtenberg, Simon}, year={2016}, pages={815–818} }
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 218
@inproceedings{Jungmann_Kleinjohann_2016, title={Automatic Composition of Service-based Image Processing Applications}, DOI={10.1109/SCC.2016.21}, booktitle={Proceedings of the 13th IEEE International Conference on Services Computing (SCC)}, author={Jungmann, Alexander and Kleinjohann, Bernd}, year={2016}, pages={106--113} }
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 5205
@inproceedings{Späth_Nguyen Quang Do_Ali_Bodden_2016, title={Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java}, booktitle={European Conference on Object-Oriented Programming (ECOOP)}, author={Späth, Johannes and Nguyen Quang Do, Lisa and Ali, Karim and Bodden, Eric}, year={2016} }
LibreCat | Files available | Download (ext.)
 
2016 | Conference Paper | LibreCat-ID: 169
@inproceedings{Kühne_Hamann_Arifulina_Engels_2016, series={LNCS 9594}, title={Patterns for Constructing Mutation Operators: Limiting the Search Space in a Software Engineering Application}, DOI={10.1007/978-3-319-30668-1_18}, booktitle={Proceedings of the 19th European Conference on Genetic Programming (EuroGP 2016)}, author={Kühne, Thomas and Hamann, Heiko and Arifulina, Svetlana and Engels, Gregor}, year={2016}, pages={278--293}, collection={LNCS 9594} }
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 170
@inproceedings{Jakobs_Töws_Pauck_2016, series={School of Computing Science Technical Report Series}, title={PAndA 2 : Analyzing Permission Use and Interplay in Android Apps (Tool Paper)}, booktitle={Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems}, author={Jakobs, Marie-Christine and Töws, Manuel and Pauck, Felix}, editor={Ishikawa F, Romanovsky A, Troubitsyna EEditor}, year={2016}, collection={School of Computing Science Technical Report Series} }
LibreCat | Files available
 
2016 | Conference Paper | LibreCat-ID: 158
@inproceedings{Bäumer_Geierhos_2016, place={Cham, Switzerland}, series={Communications in Computer and Information Science}, title={Running out of Words: How Similar User Stories Can Help to Elaborate Individual Natural Language Requirement Descriptions}, volume={639}, DOI={10.1007/978-3-319-46254-7_44}, booktitle={Proceedings of the 22nd International Conference on Information and Software Technologies (ICIST)}, publisher={Springer}, author={Bäumer, Frederik Simon and Geierhos, Michaela}, editor={Dregvaite, Giedre and Damasevicius, Robertas Editors}, year={2016}, pages={549–558}, collection={Communications in Computer and Information Science} }
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 160
@inproceedings{van Rooijen_Hamann_2016, title={Requirements Specification-by-Example Using a Multi-Objective Evolutionary Algorithm}, DOI={10.1109/REW.2016.015}, booktitle={Proceedings of 24th IEEE International Requirements Engineering Conference (RE 2016)}, author={van Rooijen, Lorijn and Hamann, Heiko}, year={2016}, pages={3--9} }
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 132
@inproceedings{Wiersema_Platzner_2016, title={Verifying Worst-Case Completion Times for Reconfigurable Hardware Modules using Proof-Carrying Hardware}, DOI={10.1109/ReCoSoC.2016.7533910}, booktitle={Proceedings of the 11th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC 2016)}, author={Wiersema, Tobias and Platzner, Marco}, year={2016}, pages={1--8} }
LibreCat | Files available | DOI
 
2015 | Conference Paper | LibreCat-ID: 250
@inproceedings{Jakobs_2015, series={LNCS}, title={Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning}, DOI={10.1007/978-3-319-22969-0_12}, booktitle={Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM)}, author={Jakobs, Marie-Christine}, year={2015}, pages={159--174}, collection={LNCS} }
LibreCat | Files available | DOI
 
2015 | Conference Paper | LibreCat-ID: 280
@inproceedings{Arifulina_Platenius_Mohr_Engels_Schäfer_2015, title={Market-Specific Service Compositions: Specification and Matching}, DOI={10.1109/SERVICES.2015.58}, booktitle={Proceedings of the IEEE 11th World Congress on Services (SERVICES), Visionary Track: Service Composition for the Future Internet}, author={Arifulina, Svetlana and Platenius, Marie Christin and Mohr, Felix and Engels, Gregor and Schäfer, Wilhelm}, year={2015}, pages={333--340} }
LibreCat | Files available | DOI
 
2015 | Conference Paper | LibreCat-ID: 283
@inproceedings{Czech_Jakobs_Wehrheim_2015, series={Lecture Notes in Computer Science}, title={Just test what you cannot verify!}, DOI={10.1007/978-3-662-46675-9_7}, booktitle={Fundamental Approaches to Software Engineering}, author={Czech, Mike and Jakobs, Marie-Christine and Wehrheim, Heike}, editor={Egyed, Alexander and Schaefer, InaEditors}, year={2015}, pages={100–114}, collection={Lecture Notes in Computer Science} }
LibreCat | Files available | DOI
 
2015 | Conference Paper | LibreCat-ID: 285
@inproceedings{Isenberg_2015, title={Incremental Inductive Verification of Parameterized Timed Systems}, DOI={10.1109/ACSD.2015.13}, booktitle={Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD)}, author={Isenberg, Tobias}, year={2015}, pages={1–9} }
LibreCat | Files available | DOI
 
2015 | Conference Paper | LibreCat-ID: 245
@inproceedings{Becker_Lehrig_Becker_2015, place={New York, NY, USA}, series={ICPE ’15}, title={Systematically Deriving Quality Metrics for Cloud Computing Systems}, DOI={10.1145/2668930.2688043}, booktitle={Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering}, author={Becker, Matthias and Lehrig, Sebastian and Becker, Steffen}, year={2015}, pages={169--174}, collection={ICPE ’15} }
LibreCat | Files available | DOI
 
2015 | Journal Article | LibreCat-ID: 260
@article{Brosig_Meier_Becker_Koziolek_Koziolek_Kounev_2015, title={Quantitative Evaluation of Model-Driven Performance Analysis and Simulation of Component-based Architectures}, DOI={10.1109/TSE.2014.2362755}, number={2}, journal={Transactions on Software Engineering}, publisher={IEEE}, author={Brosig, Fabian and Meier, Philipp and Becker, Steffen and Koziolek, Anne and Koziolek, Heiko and Kounev, Samuel}, year={2015}, pages={157--175} }
LibreCat | Files available | DOI
 
2015 | Conference Paper | LibreCat-ID: 262
@inproceedings{Jakobs_Wehrheim_2015, series={SAC ’15}, title={Programs from Proofs of Predicated Dataflow Analyses}, DOI={10.1145/2695664.2695690}, booktitle={Proceedings of the 30th Annual ACM Symposium on Applied Computing}, author={Jakobs, Marie-Christine and Wehrheim, Heike}, year={2015}, pages={1729–1736}, collection={SAC ’15} }
LibreCat | Files available | DOI
 
2015 | Conference Paper | LibreCat-ID: 269
@inproceedings{Wiersema_Wu_Platzner_2015, series={LNCS}, title={On-The-Fly Verification of Reconfigurable Image Processing Modules based on a Proof-Carrying Hardware Approach}, DOI={10.1007/978-3-319-16214-0_32}, booktitle={Proceedings of the International Symposium in Reconfigurable Computing (ARC)}, author={Wiersema, Tobias and Wu, Sen and Platzner, Marco}, year={2015}, pages={365--372}, collection={LNCS} }
LibreCat | Files available | DOI
 
2015 | Journal Article | LibreCat-ID: 323
@article{Jungmann_Mohr_2015, title={An approach towards adaptive service composition in markets of composed services}, DOI={10.1186/s13174-015-0022-8}, number={1}, journal={Journal of Internet Services and Applications}, publisher={Springer}, author={Jungmann, Alexander and Mohr, Felix}, year={2015}, pages={1–18} }
LibreCat | Files available | DOI
 
2015 | Conference Paper | LibreCat-ID: 324
@inproceedings{Mohr_2015, series={LNCS}, title={A Metric for Functional Reusability of Services}, DOI={10.1007/978-3-319-14130-5_21}, booktitle={Proceedings of the 14th International Conference on Software Reuse (ICSR)}, author={Mohr, Felix}, year={2015}, pages={298--313}, collection={LNCS} }
LibreCat | Files available | DOI
 
2015 | Journal Article | LibreCat-ID: 3343
@article{Bubeck_Kleine Büning_2015, title={Learning Boolean Specifications}, DOI={10.1016/j.artint.2015.09.003}, journal={Artificial Intelligence}, publisher={Elsevier}, author={Bubeck, Uwe and Kleine Büning, Hans}, year={2015}, pages={246–257} }
LibreCat | DOI
 
2015 | Journal Article | LibreCat-ID: 290
@article{Besova_Steenken_Wehrheim_2015, title={Grammar-based model transformations: Definition, execution, and quality properties}, DOI={10.1016/j.cl.2015.05.003}, journal={Computer Languages, Systems & Structures}, publisher={Elsevier}, author={Besova, Galina and Steenken, Dominik and Wehrheim, Heike}, year={2015}, pages={116–138} }
LibreCat | Files available | DOI
 
2015 | Book Chapter | LibreCat-ID: 293
@inbook{Geierhos_Bäumer_Schulze_Stuß_2015, place={Cham, Switzerland}, series={Lecture Notes in Artificial Intelligence}, title={Filtering Reviews by Random Individual Error}, volume={9101}, DOI={10.1007/978-3-319-19066-2_30}, booktitle={Proceedings of the 28th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE 2015)}, publisher={Springer}, author={Geierhos, Michaela and Bäumer, Frederik Simon and Schulze, Sabine and Stuß, Valentina}, editor={Ali, Moonis and Kwon, Young Sig and Lee, Chang-Hwan and Kim, Juntae and Kim, Yongdai Editors}, year={2015}, pages={305–315}, collection={Lecture Notes in Artificial Intelligence} }
LibreCat | Files available | DOI
 
2015 | Conference Paper | LibreCat-ID: 313
@inproceedings{Börding_Bruns_Platenius_2015, title={Comprehensive Service Matching with MatchBox}, DOI={10.1145/2786805.2803181}, booktitle={10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE’15)}, author={Börding, Paul and Bruns, Melanie and Platenius, Marie Christin}, year={2015}, pages={974--977} }
LibreCat | Files available | DOI
 
2015 | Conference Paper | LibreCat-ID: 315
@inproceedings{Jungmann_Jatzkowski_Kleinjohann_2015, title={Combining Service-oriented Computing with Embedded Systems - A Robotics Case Study}, booktitle={Proceedings of the 5th IFIP International Embedded Systems Symposium}, author={Jungmann, Alexander and Jatzkowski, Jan and Kleinjohann, Bernd}, year={2015} }
LibreCat | Files available
 
2015 | Journal Article | LibreCat-ID: 3162
@article{Ziegert_Wehrheim_2015, title={Temporal plans for software architecture reconfiguration}, DOI={10.1007/s00450-014-0259-7}, number={3–4}, journal={Computer Science - R & D}, author={Ziegert, Steffen and Wehrheim, Heike}, year={2015}, pages={303--320} }
LibreCat | Files available | DOI
 
2015 | Conference Paper | LibreCat-ID: 319
@inproceedings{Mohr_Jungmann_Kleine Büning_2015, title={Automated Online Service Composition}, DOI={10.1109/SCC.2015.18}, booktitle={Proceedings of the 12th IEEE International Conference on Services Computing (SCC)}, author={Mohr, Felix and Jungmann, Alexander and Kleine Büning, Hans}, year={2015}, pages={57--64} }
LibreCat | Files available | DOI
 
2015 | Conference Paper | LibreCat-ID: 272
@inproceedings{Jungmann_2015, title={On Adaptivity for Automated Composition of Service Functionality}, DOI={10.1109/SERVICES.2015.57}, booktitle={Proceedings of the IEEE 11th World Congress on Services (SERVICES)}, author={Jungmann, Alexander}, year={2015}, pages={329--332} }
LibreCat | Files available | DOI
 
2015 | Conference Paper | LibreCat-ID: 279
@inproceedings{Platenius_Arifulina_Schäfer_2015, title={MatchBox: A Framework for Dynamic Configuration of Service Matching Processes}, DOI={10.1145/2737166.2737174}, booktitle={Proceedings of the 18th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE’15)}, author={Platenius, Marie Christin and Arifulina, Svetlana and Schäfer, Wilhelm}, year={2015}, pages={75–84} }
LibreCat | Files available | DOI
 
2015 | Conference Paper | LibreCat-ID: 231
@inproceedings{Geierhos_Schulze_Bäumer_2015, place={Setúbal, Portugal}, title={What did you mean? Facing the Challenges of User-generated Software Requirements}, DOI={10.5220/0005346002770283}, booktitle={Proceedings of the 7th International Conference on Agents and Artificial Intelligence (ICAART), Special Session on Partiality, Underspecification, and Natural Language Processing (PUaNLP 2015)}, publisher={SciTePress - Science and Technology Publications}, author={Geierhos, Michaela and Schulze, Sabine and Bäumer, Frederik Simon}, editor={Loiseau, Stephane and Filipe, Joaquim and Duval, Béatrice and van den Herik, JaapEditors}, year={2015}, pages={277–283} }
LibreCat | Files available | DOI
 
2015 | Journal Article | LibreCat-ID: 4792
@article{Senge_Hüllermeier_2015, title={Fast Fuzzy Pattern Tree Learning for Classification}, volume={23}, DOI={10.1109/tfuzz.2015.2396078}, number={6}, journal={IEEE Transactions on Fuzzy Systems}, publisher={Institute of Electrical and Electronics Engineers (IEEE)}, author={Senge, Robin and Hüllermeier, Eyke}, year={2015}, pages={2024–2033} }
LibreCat | Files available | DOI
 
2015 | Conference Paper | LibreCat-ID: 5207
@inproceedings{Li_Bartel_Bissyande_Klein_Le Traon_Arzt_Rasthofer_Bodden_Octeau_McDaniel_2015, title={IccTA: Detecting Inter-Component Privacy Leaks in Android Apps}, booktitle={2015 International Conference on Software Engineering (ICSE)}, author={Li, Li and Bartel, Alexandre and Bissyande, Tegawende F. and Klein, Jacques and Le Traon, Yves and Arzt, Steven and Rasthofer, Siegfried and Bodden, Eric and Octeau, Damien and McDaniel, Patrick}, year={2015}, pages={280–291} }
LibreCat | Files available | Download (ext.)
 
2014 | Conference Paper | LibreCat-ID: 336
@inproceedings{Walther_Wehrheim_2014, series={LNCS}, title={Verified Service Compositions by Template-Based Construction}, DOI={10.1007/978-3-319-15317-9_3}, booktitle={Proceedings of the 11th International Symposium on Formal Aspects of Component Software (FACS)}, author={Walther, Sven and Wehrheim, Heike}, editor={Lanese, Ivan and Madelaine, EricEditors}, year={2014}, pages={31–48}, collection={LNCS} }
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 344
@inproceedings{Becker_Becker_Besova_Walther_Wehrheim_2014, title={Towards Systematic Configuration for Architecture Validation}, booktitle={Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (Work in Progress Session)}, author={Becker, Matthias and Becker, Steffen and Besova, Galina and Walther, Sven and Wehrheim, Heike}, year={2014} }
LibreCat | Files available
 
2014 | Conference Paper | LibreCat-ID: 345
@inproceedings{Jungmann_Kleinjohann_2014, title={Towards Context-Sensitive Service Composition for Service-Oriented Image Processing}, DOI={10.1109/CloudCom.2014.154}, booktitle={Proceedings of the 6th International Conference on Cloud Computing Technology and Science (CloudCom)}, author={Jungmann, Alexander and Kleinjohann, Bernd}, year={2014}, pages={755–758} }
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 346
@inproceedings{Brangewitz_Jungmann_Petrlic_Platenius_2014, title={Towards a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services}, booktitle={Proceedings of the 6th International Conferences on Advanced Service Computing (SERVICE COMPUTATION)}, author={Brangewitz, Sonja and Jungmann, Alexander and Petrlic, Ronald and Platenius, Marie Christin}, year={2014}, pages={49–57} }
LibreCat | Files available
 
2014 | Conference Paper | LibreCat-ID: 353
@inproceedings{Mohr_Walther_2014, series={LNCS}, title={Template-based Generation of Semantic Services}, DOI={10.1007/978-3-319-14130-5_14}, booktitle={Proceedings of the 14th International Conference on Software Reuse (ICSR)}, author={Mohr, Felix and Walther, Sven}, year={2014}, pages={188–203}, collection={LNCS} }
LibreCat | Files available | DOI
 

Filters and Search Terms

project=3

(type<>bachelorsthesis AND type<>mastersthesis AND type <> dissertation)

Search

Filter Publications

Display / Sort

Citation Style: BibTeX

Export