170 Publications

2019 | Conference Paper | LibreCat-ID: 7626
@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
 
2019 | Conference Paper | LibreCat-ID: 10108
@inproceedings{Pauck_Wehrheim, title={Together Strong: Cooperative Android App Analysis}, booktitle={Proceedings of the 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)}, author={Pauck, Felix and Wehrheim, Heike} }
LibreCat
 
2019 | Conference Paper | LibreCat-ID: 9913
@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, PedroEditors}, year={2019}, pages={127–136}, collection={Lecture Notes in Computer Science} }
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 | DOI
 
2019 | Journal Article | LibreCat-ID: 3585
@article{Witschen_Wiersema_Ghasemzadeh Mohammadi_Awais_Platzner, title={CIRCA: Towards a Modular and Extensible Framework for Approximate Circuit Generation}, journal={Microelectronics Reliability}, publisher={Elsevier}, author={Witschen, Linus Matthias and Wiersema, Tobias and Ghasemzadeh Mohammadi, Hassan and Awais, Muhammad and Platzner, Marco}, pages={6} }
LibreCat
 
2019 | Journal Article | LibreCat-ID: 8424
@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 | DOI | Download (ext.)
 
2019 | Conference Paper | LibreCat-ID: 10232
@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: 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
 
2019 | Encyclopedia Article | LibreCat-ID: 8312
@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 Abstract | LibreCat-ID: 8956
@inproceedings{Hetzer_Wever_Mohr_Hüllermeier_2019, title={Algorithm Selection as Recommendation: From Collaborative Filtering to Dyad Ranking}, author={Hetzer, Alexander and Wever, Marcel Dominik and Mohr, Felix and Hüllermeier, Eyke}, year={2019} }
LibreCat | Files available
 
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 | DOI
 
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
 
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: 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: 3852
@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 | Conference Paper | LibreCat-ID: 2479
@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: 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 | 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: 1181
@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: 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 | 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: 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: 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 | Conference Paper | LibreCat-ID: 44
@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 | 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: 1182
@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: 2109
@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 | Conference Paper | LibreCat-ID: 2471
@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 | 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: 1183
@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: 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: 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 | Conference Paper | LibreCat-ID: 3552
@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 | Conference Paper | LibreCat-ID: 2857
@inproceedings{Mohr_Lettmann_Hüllermeier_Wever_2018, title={Programmatic Task Network Planning}, booktitle={Proceedings of the 28th International Conference on Automated Planning and Scheduling}, publisher={AAAI}, author={Mohr, Felix and Lettmann, Theodor and Hüllermeier, Eyke and Wever, Marcel Dominik}, year={2018} }
LibreCat | Files available | 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: 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 | Preprint | LibreCat-ID: 1177
@article{Karl_Kundisch_Meyer auf der Heide_Wehrheim_2018, title={A Case for a New IT Ecosystem: On-The-Fly Computing}, author={Karl, Holger and Kundisch, Dennis and Meyer auf der Heide, Friedhelm and Wehrheim, Heike}, year={2018} }
LibreCat | Files available | Download (ext.)
 
2018 | Journal Article | LibreCat-ID: 3510
@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} }
LibreCat | Files available | DOI | Download (ext.)
 
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 and Jakobs, Marie-Christine and Wehrheim, Heike}, year={2018}, pages={39--55}, collection={Lecture Notes in Computer Science} }
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
 
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: 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: 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: 1180
@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 | 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: 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: 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
 
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: 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 | 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 | 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 | 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 | 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: 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 | 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 | 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 | 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: 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 | 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
 
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: 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: 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 | 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 | 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 | 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 | 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: 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
 
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 | Conference Paper | LibreCat-ID: 176
@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 | 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 | 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 | 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: 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: 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: 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: 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: 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: 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 | 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: 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: 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
 
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: 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.)
 
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 | 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: 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 | 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: 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 | 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: 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: 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: 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 | 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 | 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 | 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 | 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: 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: 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 | 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: 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: 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: 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: 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
 
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 | Journal Article | LibreCat-ID: 410
@article{Jungmann_Brangewitz_Petrlic_Platenius_2014, title={Incorporating Reputation Information into Decision-Making Processes in Markets of Composed Services}, volume={7}, number={3&4}, journal={International Journal On Advances in Intelligent Systems (IntSys)}, publisher={IARIA}, author={Jungmann, Alexander and Brangewitz, Sonja and Petrlic, Ronald and Platenius, Marie Christin}, year={2014}, pages={572--594} }
LibreCat | Files available | Download (ext.)
 
2014 | Journal Article | LibreCat-ID: 390
@article{Huma_Gerth_Engels_2014, title={On-the-Fly Computing: Automatic Service Discovery and Composition in Heterogeneous Domains}, DOI={10.1007/s00450-014-0254-z}, number={3–4}, journal={Computer Science - Research and Development}, publisher={Springer}, author={Huma, Zille and Gerth, Christian and Engels, Gregor}, year={2014}, pages={333–361} }
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 408
@inproceedings{Jakobs_Platzner_Wiersema_Wehrheim_2014, series={LNCS}, title={Integrating Software and Hardware Verification}, DOI={10.1007/978-3-319-10181-1_19}, booktitle={Proceedings of the 11th International Conference on Integrated Formal Methods (iFM)}, author={Jakobs, Marie-Christine and Platzner, Marco and Wiersema, Tobias and Wehrheim, Heike}, editor={Albert, Elvira and Sekerinski, EmilEditors}, year={2014}, pages={307–322}, collection={LNCS} }
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 364
@inproceedings{Arifulina_Becker_Platenius_Walther_2014, title={SeSAME: Modeling and Analyzing High-Quality Service Compositions}, DOI={10.1145/2642937.2648621}, booktitle={Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014)}, author={Arifulina, Svetlana and Becker, Matthias and Platenius, Marie Christin and Walther, Sven}, year={2014}, pages={839–842} }
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 383
@inproceedings{Wonisch_Schremmer_Wehrheim_2014, series={Lecture Notes in Informatics (LNI)}, title={Programs from Proofs -- Approach and Applications}, booktitle={Proceedings of the Software Engineering Conference (SE)}, author={Wonisch, Daniel and Schremmer, Alexander and Wehrheim, Heike}, year={2014}, pages={67–68}, collection={Lecture Notes in Informatics (LNI)} }
LibreCat | Files available | Download (ext.)
 
2014 | Conference Paper | LibreCat-ID: 5190
@inproceedings{Arzt_Rasthofer_Lovat_Bodden_2014, title={DroidForce: Enforcing Complex, Data-Centric, System-Wide Policies in Android}, booktitle={International Conference on Availability, Reliability and Security (ARES 2014)}, publisher={IEEE}, author={Arzt, Steven and Rasthofer, Siegfried and Lovat, Enrico and Bodden, Eric}, year={2014}, pages={40–49} }
LibreCat | Files available | Download (ext.)
 
2014 | Conference Paper | LibreCat-ID: 409
@inproceedings{Platenius_Becker_Schäfer_2014, series={LNCS}, title={Integrating Service Matchers into a Service Market Architecture}, DOI={10.1007/978-3-319-09970-5_19}, booktitle={Proceedings of the 8th European Conference on Software Architecture (ECSA 2014)}, author={Platenius, Marie Christin and Becker, Steffen and Schäfer, Wilhelm}, editor={Avgeriou, Paris and Zdun, UweEditors}, year={2014}, pages={210–217}, collection={LNCS} }
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: 447
@inproceedings{Jungmann_Mohr_Kleinjohann_2014, title={Combining Automatic Service Composition with Adaptive Service Recommendation for Dynamic Markets of Services}, DOI={10.1109/SERVICES.2014.68}, booktitle={Proceedings of the 10th World Congress on Services (SERVICES)}, author={Jungmann, Alexander and Mohr, Felix and Kleinjohann, Bernd}, year={2014}, pages={346–353} }
LibreCat | Files available | DOI
 
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
 
2014 | Conference Paper | LibreCat-ID: 428
@inproceedings{Mohr_2014, series={LNCS}, title={Estimating Functional Reusability of Services}, booktitle={Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC)}, author={Mohr, Felix}, year={2014}, pages={411–418}, collection={LNCS} }
LibreCat | Files available | Download (ext.)
 
2014 | Conference Paper | LibreCat-ID: 5189
@inproceedings{Arzt_Rasthofer_Fritz_Bodden_Bartel_Klein_Le Traon_Octeau_McDaniel_2014, title={FlowDroid: Precise Context, Flow, Field, Object-sensitive and Lifecycle-aware Taint Analysis for Android Apps}, DOI={10.1145/2594291.2594299}, booktitle={Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI ’14}, publisher={ACM Press}, author={Arzt, Steven and Rasthofer, Siegfried and Fritz, Christian and Bodden, Eric and Bartel, Alexandre and Klein, Jacques and Le Traon, Yves and Octeau, Damien and McDaniel, Patrick}, year={2014} }
LibreCat | Files available | DOI | Download (ext.)
 
2014 | Conference Paper | LibreCat-ID: 450
@inproceedings{Jakobs_Wehrheim_2014, series={SPIN 2014}, title={Certification for Configurable Program Analysis}, DOI={10.1145/2632362.2632372}, booktitle={Proceedings of the 21st International Symposium on Model Checking of Software (SPIN)}, author={Jakobs, Marie-Christine and Wehrheim, Heike}, year={2014}, pages={30–39}, collection={SPIN 2014} }
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 417
@inproceedings{Besova_Steenke_Wehrheim_2014, title={Grammar-based model transformations}, DOI={10.1016/j.cl.2015.05.003}, booktitle={Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD)}, author={Besova, Galina and Steenke, Dominik and Wehrheim, Heike}, year={2014}, pages={1601–1610} }
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 366
@inproceedings{Petrlic_Jungmann_Platenius_Schäfer_Sorge_2014, title={Security and Privacy Challenges in On-The-Fly Computing}, booktitle={Tagungsband der 4. Konferenz Software-Technologien und -Prozesse (STeP 2014)}, author={Petrlic, Ronald and Jungmann, Alexander and Platenius, Marie Christin and Schäfer, Wilhelm and Sorge, Christoph}, year={2014}, pages={131–142} }
LibreCat | Files available
 
2014 | Conference Paper | LibreCat-ID: 425
@inproceedings{Jungmann_Jatzkowski_Kleinjohann_2014, title={Evaluation of Color Spaces for Robust Image Segmentation}, booktitle={Proceedings of the 9th International Conference on Computer Vision Theory and Applications (VISAPP)}, author={Jungmann, Alexander and Jatzkowski, Jan and Kleinjohann, Bernd}, year={2014}, pages={648–655} }
LibreCat | Files available
 
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: 401
@inproceedings{Platenius_Arifulina_Petrlic_Schäfer_2014, series={Communications in Computer and Information Science}, title={Matching of Incomplete Service Specifications Exemplified by Privacy Policy Matching}, DOI={10.1007/978-3-319-14886-1_2}, booktitle={Proceedings of the 4th International Workshop on Adaptive Services for the Future Internet}, author={Platenius, Marie Christin and Arifulina, Svetlana and Petrlic, Ronald and Schäfer, Wilhelm}, year={2014}, pages={6–17}, collection={Communications in Computer and Information Science} }
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 449
@inproceedings{Becker_Platenius_Becker_2014, series={Communications in Computer and Information Science}, title={Cloud Computing Reduces Uncertainties in Quality-of-Service Matching!}, DOI={10.1007/978-3-319-14886-1_15}, booktitle={Proceedings of the 2nd International Workshop on Cloud Service Brokerage (CSB)}, author={Becker, Matthias and Platenius, Marie Christin and Becker, Steffen}, year={2014}, pages={153–159}, collection={Communications in Computer and Information Science} }
LibreCat | Files available | DOI
 
2014 | Journal Article | LibreCat-ID: 375
@article{von Detten_Platenius_Becker_2014, title={Reengineering Component-Based Software Systems with Archimetrix}, DOI={10.1007/s10270-013-0341-9}, number={4}, journal={Journal of Software and Systems Modeling}, publisher={Springer}, author={von Detten, Markus and Platenius, Marie Christin and Becker, Steffen}, year={2014}, pages={1239--1268} }
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 407
@inproceedings{Mohr_2014, title={Issues of Automated Software Composition in AI Planning}, DOI={10.1145/2642937.2653470}, booktitle={Proceedings of the 29th International Conference on Automated Software Engineering (ASE)}, author={Mohr, Felix}, year={2014}, pages={895--898} }
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 457
@inproceedings{Jungmann_Mohr_Kleinjohann_2014, title={Applying Reinforcement Learning for Resolving Ambiguity in Service Composition}, DOI={10.1109/SOCA.2014.48}, booktitle={Proceedings of the 7th International Conference on Service Oriented Computing and Applications (SOCA)}, author={Jungmann, Alexander and Mohr, Felix and Kleinjohann, Bernd }, year={2014}, pages={105–112} }
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 433
@inproceedings{Wiersema_Bockhorn_Platzner_2014, title={Embedding FPGA Overlays into Configurable Systems-on-Chip: ReconOS meets ZUMA}, DOI={10.1109/ReConFig.2014.7032514}, booktitle={Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig)}, author={Wiersema, Tobias and Bockhorn, Arne and Platzner, Marco}, year={2014}, pages={1–6} }
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 402
@inproceedings{Arifulina_Platenius_Gerth_Becker_Engels_Schäfer_2014, series={LNCS}, title={Market-optimized Service Specification and Matching}, DOI={10.1007/978-3-662-45391-9_47}, booktitle={Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014)}, author={Arifulina, Svetlana and Platenius, Marie Christin and Gerth, Christian and Becker, Steffen and Engels, Gregor and Schäfer, Wilhelm}, editor={Franch, Xavier and Ghose, AdityaK. and Lewis, GraceA. and Bhiri, SamiEditors}, year={2014}, pages={543–550}, collection={LNCS} }
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 394
@inproceedings{Schwichtenberg_Gerth_Huma_Engels_2014, series={LNCS}, title={Normalizing Heterogeneous Service Description Models with Generated QVT Transformations}, DOI={10.1007/978-3-319-09195-2_12}, booktitle={Proceedings of the 10th European Conference on Modelling Foundations and Applications (ECMFA)}, author={Schwichtenberg, Simon and Gerth, Christian and Huma, Zille and Engels, Gregor}, year={2014}, pages={180–195}, collection={LNCS} }
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 399
@inproceedings{Wiersema_Drzevitzky_Platzner_2014, title={Memory Security in Reconfigurable Computers: Combining Formal Verification with Monitoring}, DOI={10.1109/FPT.2014.7082771}, booktitle={Proceedings of the International Conference on Field-Programmable Technology (FPT)}, author={Wiersema, Tobias and Drzevitzky, Stephanie and Platzner, Marco}, year={2014}, pages={167–174} }
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
 
2013 | Conference Paper | LibreCat-ID: 516
@inproceedings{Jungmann_Kleinjohann_2013, title={Learning Recommendation System for Automated Service Composition}, DOI={10.1109/SCC.2013.66}, booktitle={Proceedings of the 10th IEEE International Conference on Services Computing (SCC)}, author={Jungmann, Alexander and Kleinjohann, Bernd}, year={2013}, pages={97–104} }
LibreCat | Files available | DOI
 
2013 | Conference Paper | LibreCat-ID: 484
@inproceedings{Platenius_von Detten_Gerth_Schäfer_Engels_2013, title={Service Matching under Consideration of Explicitly Specified Service Variants}, DOI={10.1109/ICWS.2013.98}, booktitle={IEEE 20th International Conference on Web Services (ICWS 2013)}, author={Platenius, Marie Christin and von Detten, Markus and Gerth, Christian and Schäfer, Wilhelm and Engels, Gregor}, year={2013}, pages={613–614} }
LibreCat | Files available | DOI
 
2013 | Conference Paper | LibreCat-ID: 529
@inproceedings{Heinzemann_Becker_2013, title={Executing Reconfigurations in Hierarchical Component Architectures}, DOI={10.1145/2465449.2465452}, booktitle={Proceedings of the 16th International ACM SigSoft Symposium on Component-Based Software Engineering (CBSE)}, author={Heinzemann, Christian and Becker, Steffen}, year={2013}, pages={3–12} }
LibreCat | Files available | DOI
 
2013 | Conference Paper | LibreCat-ID: 517
@inproceedings{Walther_Wehrheim_2013, title={Knowledge-Based Verification of Service Compositions - An SMT approach}, DOI={10.1109/ICECCS.2013.14}, booktitle={Proceedings of the 18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS)}, author={Walther, Sven and Wehrheim, Heike}, year={2013}, pages={24–32} }
LibreCat | Files available | DOI
 
2013 | Conference Paper | LibreCat-ID: 485
@inproceedings{Mohr_Kleine Büning_2013, title={Semi-Automated Software Composition Through Generated Components}, DOI={10.1145/2539150.2539235}, booktitle={Proceedings of the 15th International Conference on Information Integration and Web-based Applications & Services (iiWAS)}, author={Mohr, Felix and Kleine Büning, Hans}, year={2013}, pages={676–680} }
LibreCat | Files available | DOI
 
2013 | Conference Paper | LibreCat-ID: 506
@inproceedings{Engels_2013, series={LNI}, title={On-The-Fly Computing -- Das Entwicklungs- und Betriebsparadigma fürSoftwaresysteme der Zukunft}, booktitle={Proceedings of the Multikonferenz Sofware Engineering 2013 (SE 2013)}, author={Engels, Gregor}, year={2013}, pages={17–18}, collection={LNI} }
LibreCat | Files available
 
2013 | Conference Paper | LibreCat-ID: 551
@inproceedings{Huma_Gerth_Engels_Juwig_2013, series={LNCS}, title={Automated Service Composition for On-the-Fly SOAs}, DOI={10.1007/978-3-642-45005-1_42}, booktitle={Proceedings of the 11th International Conference on Service Oriented Computing (ICSOC’13)}, author={Huma, Zille and Gerth, Christian and Engels, Gregor and Juwig, Oliver}, year={2013}, pages={524--532}, collection={LNCS} }
LibreCat | Files available | DOI
 
2013 | Conference Paper | LibreCat-ID: 498
@inproceedings{Wonisch_Schremmer_Wehrheim_2013, series={LNCS}, title={Programs from Proofs – A PCC Alternative}, DOI={10.1007/978-3-642-39799-8_65}, booktitle={Proceedings of the 25th International Conference on Computer Aided Verification (CAV)}, author={Wonisch, Daniel and Schremmer, Alexander and Wehrheim, Heike}, year={2013}, pages={912–927}, collection={LNCS} }
LibreCat | Files available | DOI
 
2013 | Conference Paper | LibreCat-ID: 502
@inproceedings{Becker_Luckey_Becker_2013, title={Performance Analysis of Self-Adaptive Systems for Requirements Validation at Design-Time}, DOI={10.1145/2465478.2465489}, booktitle={Proceedings of the 9th ACM SigSoft International Conference on Quality of Software Architectures (QoSA’13)}, author={Becker, Matthias and Luckey, Markus and Becker, Steffen}, year={2013}, pages={43–52} }
LibreCat | Files available | DOI
 
2013 | Conference Paper | LibreCat-ID: 483
@inproceedings{Becker_Becker_Meyer_2013, series={Lecture Notes in Informatics (LNI)}, title={SimuLizar: Design-Time modeling and Performance Analysis of Self-Adaptive Systems}, booktitle={Proceedings of the Software Engineering Conference (SE)}, author={Becker, Matthias and Becker, Steffen and Meyer, Joachim}, year={2013}, pages={71–84}, collection={Lecture Notes in Informatics (LNI)} }
LibreCat | Files available | Download (ext.)
 
2013 | Journal Article | LibreCat-ID: 515
@article{Jungmann_Kleinjohann_Kleinjohann_2013, title={Learning Service Recommendations}, DOI={10.1504/IJBPIM.2013.059135}, number={4}, journal={International Journal of Business Process Integration and Management}, publisher={InderScience}, author={Jungmann, Alexander and Kleinjohann, Bernd and Kleinjohann, Elisabeth}, year={2013}, pages={284–297} }
LibreCat | Files available | DOI | Download (ext.)
 
2013 | Conference Paper | LibreCat-ID: 560
@inproceedings{Platenius_von Detten_Becker_Schäfer_Engels_2013, title={A Survey of Fuzzy Service Matching Approaches in the Context of On-The-Fly Computing}, DOI={10.1145/2465449.2465454}, booktitle={Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering}, author={Platenius, Marie and von Detten, Markus and Becker, Steffen and Schäfer, Wilhelm and Engels, Gregor}, year={2013}, pages={143–152} }
LibreCat | Files available | DOI
 
2013 | Conference Paper | LibreCat-ID: 495
@inproceedings{Mohr_Lettmann_Kleine Büning_2013, title={Reducing Nondeterminism in Automated Service Composition}, DOI={10.1109/SOCA.2013.25}, booktitle={Proceedings of the 6th International Conference on Service Oriented Computing and Applications (SOCA)}, author={Mohr, Felix and Lettmann, Theodor and Kleine Büning, Hans}, year={2013}, pages={154–161} }
LibreCat | Files available | DOI
 
2013 | Conference Paper | LibreCat-ID: 469
@inproceedings{Wonisch_Schremmer_Wehrheim_2013, series={LNCS}, title={Zero Overhead Runtime Monitoring}, DOI={10.1007/978-3-642-40561-7_17}, booktitle={Proceedings of the 11th International Conference on Software Engineering and Formal Methods (SEFM)}, author={Wonisch, Daniel and Schremmer, Alexander and Wehrheim, Heike}, year={2013}, pages={244–258}, collection={LNCS} }
LibreCat | Files available | DOI
 
2013 | Conference Paper | LibreCat-ID: 527
@inproceedings{Christin Platenius_2013, title={Fuzzy Service Matching in On-The-Fly Computing}, DOI={10.1145/2491411.2492405}, booktitle={Proceedings of the Doctoral Symposium of the 9th joint meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE)}, author={Christin Platenius, Marie}, year={2013}, pages={715–718} }
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 617
@inproceedings{Jungmann_Kleinjohann_Kleinjohann_Bieshaar_2012, title={Efficient Color-Based Image Segmentation and Feature Classification for Image Processing in Embedded Systems}, booktitle={Proceedings of the Fourth International Conference on Resource Intensive Applications and Services (INTENSIVE)}, author={Jungmann, Alexander and Kleinjohann, Bernd and Kleinjohann, Elisabeth and Bieshaar, Maarten}, year={2012}, pages={22–29} }
LibreCat | Files available
 
2012 | Conference Paper | LibreCat-ID: 631
@inproceedings{von Detten_2012, title={Archimetrix: A Tool for Deficiency-Aware Software Architecture Reconstruction}, DOI={10.1109/WCRE.2012.61}, booktitle={Proceedings of the 19th Working Conference on Reverse Engineering (WCRE)}, author={von Detten, Markus}, year={2012}, pages={503–504} }
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 573
@inproceedings{Arifulina_2012, series={CEUR Workshop Proceedings}, title={Towards a Framework for the Integration of Modeling Languages}, booktitle={Proceedings of the Doctoral Symposium of the 5th International Conference on Software Language Engineering 2012, Dresden, Germany (SLE (Doctoral Symposium))}, author={Arifulina, Svetlana}, editor={W. Eisenecker, Ulrich and Bucholdt, ChristianEditors}, year={2012}, pages={23--26}, collection={CEUR Workshop Proceedings} }
LibreCat | Files available
 
2012 | Journal Article | LibreCat-ID: 5183
@article{Bodden_Lam_Hendren_2012, title={Partially Evaluating Finite-State Runtime Monitors Ahead of Time}, volume={34}, DOI={10.1145/2220365.2220366}, number={2}, journal={ACM Transactions on Programming Languages and Systems}, publisher={Association for Computing Machinery (ACM)}, author={Bodden, Eric and Lam, Patrick and Hendren, Laurie}, year={2012}, pages={1–52} }
LibreCat | Files available | DOI | Download (ext.)
 
2012 | Conference Paper | LibreCat-ID: 568
@inproceedings{Jungmann_Kleinjohann_2012, title={Towards the Application of Reinforcement Learning Techniques for Quality-Based Service Selection in Automated Service Composition}, DOI={10.1109/SCC.2012.76}, booktitle={Proceedings of the 9th IEEE International Conference on Service Computing (SCC)}, author={Jungmann, Alexander and Kleinjohann, Bernd}, year={2012}, pages={701–702} }
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 569
@inproceedings{Becker_Heinzemann_Priesterjahn_2012, title={Towards Modeling Reconfiguration in Hierarchical Component Architectures}, DOI={10.1145/2304736.2304742}, booktitle={Proceedings of the 15th ACM SigSoft International Symposium on Component-Based Software Engineering (CBSE)}, author={Becker, Steffen and Heinzemann, Christian and Priesterjahn, Claudia }, year={2012}, pages={23--28} }
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 571
@inproceedings{Jungmann_Kleinjohann_2012, title={Towards an Integrated Service Rating and Ranking Methodology for Quality Based Service Selection in Automatic Service Composition}, booktitle={Proceedings of the 4th International Conferences on Advanced Service Computing (SERVICE COMPUTATION)}, author={Jungmann, Alexander and Kleinjohann, Bernd}, year={2012}, pages={43–47} }
LibreCat | Files available
 
2012 | Conference Paper | LibreCat-ID: 639
@inproceedings{Huma_Gerth_Engels_Juwig_2012, series={CEUR Workshop Proceedings}, title={A UML-based Rich Service Description for Automatic Service Discovery}, booktitle={Proceedings of the Forum at the CAiSE’12 Conference on Advanced Information Systems Engineering}, author={Huma, Zille and Gerth, Christian and Engels, Gregor and Juwig, Oliver}, year={2012}, pages={90--97}, collection={CEUR Workshop Proceedings} }
LibreCat | Files available
 
2012 | Conference Paper | LibreCat-ID: 622
@inproceedings{Arifulina_Engels_Soltenborn_2012, series={Electronic Communications of the EASST}, title={Coverage Criteria for Testing DMM Specifications}, DOI={10.14279/tuj.eceasst.47.718}, booktitle={Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT)}, author={Arifulina, Svetlana and Engels, Gregor and Soltenborn, Christian}, year={2012}, collection={Electronic Communications of the EASST} }
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 608
@inproceedings{Timm_Wehrheim_Czech_2012, series={LNCS}, title={Heuristic-Guided Abstraction Refinement for Concurrent Systems}, DOI={10.1007/978-3-642-34281-3_25}, booktitle={Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM)}, author={Timm, Nils and Wehrheim, Heike and Czech, Mike}, year={2012}, pages={348–363}, collection={LNCS} }
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 590
@inproceedings{Wonisch_Wehrheim_2012, series={LNCS}, title={Predicate Analysis with Block-Abstraction Memoization}, DOI={10.1007/978-3-642-34281-3_24}, booktitle={Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM)}, author={Wonisch, Daniel and Wehrheim, Heike}, year={2012}, pages={332–347}, collection={LNCS} }
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 627
@inproceedings{Wonisch_2012, series={LNCS}, title={Block Abstraction Memoization for CPAchecker}, DOI={10.1007/978-3-642-28756-5_41}, booktitle={Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)}, author={Wonisch, Daniel}, year={2012}, pages={531–533}, collection={LNCS} }
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 596
@inproceedings{Becker_Luckey_Becker_2012, title={Model-Driven Performance Engineering of Self-Adaptive Systems: A Survey}, DOI={10.1145/2304696.2304716}, booktitle={Proceedings of the 8th ACM SigSoft International Conference on Quality of Software Architectures (QoSA’12)}, author={Becker, Matthias and Luckey, Markus and Becker, Steffen}, year={2012}, pages={117–122} }
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 630
@inproceedings{Platenius_von Detten_Becker_2012, title={Archimetrix: Improved Software Architecture Recovery in the Presence of Design Deficiencies}, DOI={10.1109/CSMR.2012.33}, booktitle={Proceedings of the 16th European Conference on Software Maintenance and Reengineering (CSMR)}, author={Platenius, Marie Christin and von Detten, Markus and Becker, Steffen}, year={2012}, pages={255–264} }
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 572
@inproceedings{Huma_Gerth_Engels_Juwig_2012, series={LNCS}, title={Towards an Automatic Service Discovery for UML-based Rich Service Descriptions}, DOI={10.1007/978-3-642-33666-9_45}, booktitle={Proceedings of the ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems (MoDELS)}, author={Huma, Zille and Gerth, Christian and Engels, Gregor and Juwig, Oliver}, year={2012}, pages={709--725}, collection={LNCS} }
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 565
@inproceedings{Besova_Walther_Wehrheim_Becker_2012, series={LNCS}, title={Weaving-based configuration and modular transformation of multi-layer systems}, DOI={10.1007/978-3-642-33666-9_49}, booktitle={Proceedings of the 15th International Conference on Model Driven Engineering Languages & Systems (MoDELS)}, author={Besova, Galina and Walther, Sven and Wehrheim, Heike and Becker, Steffen}, year={2012}, pages={776–792}, collection={LNCS} }
LibreCat | Files available | DOI
 
2011 | Conference Paper | LibreCat-ID: 644
@inproceedings{von Detten_2011, title={Towards Systematic, Comprehensive Trace Generation for Behavioral Pattern Detection through Symbolic Execution}, DOI={10.1145/2024569.2024573}, booktitle={Proceedings of the 10th ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE)}, author={von Detten, Markus}, year={2011}, pages={17–20} }
LibreCat | Files available | DOI
 
2011 | Journal Article | LibreCat-ID: 649
@article{Besova_Wehrheim_Wagner_2011, title={Reputation-based Reliability Prediction of Service Compositions}, DOI={10.1016/j.entcs.2011.11.008}, number={2}, journal={Electronic Notes in Theoretical Computer Science}, publisher={Elsevier}, author={Besova, Galina and Wehrheim, Heike and Wagner, Annika}, year={2011}, pages={3–16} }
LibreCat | Files available | DOI
 
2011 | Conference Paper | LibreCat-ID: 652
@inproceedings{Gerth_Luckey_Küster_Engels_2011, title={Precise Mappings between Business Process Models in Versioning Scenarios}, DOI={10.1109/SCC.2011.65}, booktitle={Proceedings of the IEEE 8th International Conference on Service Computingt (SCC)}, author={Gerth, Christian and Luckey, Markus and Küster, Jochen and Engels, Gregor}, year={2011}, pages={218--225} }
LibreCat | Files available | DOI
 
2011 | Conference Paper | LibreCat-ID: 653
@inproceedings{Lehrig_Zolynski_2011, series={Karlsruhe Reports in Informatics}, title={Performance Prototyping with ProtoCom in a Virtualised Environment: A Case Study}, DOI={10.5445/IR/1000025188 }, booktitle={Proceedings of the Palladio Days 2011}, author={Lehrig, Sebastian and Zolynski, Thomas}, year={2011}, pages={15–22}, collection={Karlsruhe Reports in Informatics} }
LibreCat | Files available | DOI
 
2011 | Journal Article | LibreCat-ID: 647
@article{Leuschel_Wehrheim_2011, title={Selected papers on Integrated Formal Methods (iFM09)}, DOI={10.1016/j.scico.2011.01.009}, number={10}, journal={Science of Computer Programming}, publisher={Elsevier}, author={Leuschel, Michael and Wehrheim, Heike}, year={2011}, pages={835--836} }
LibreCat | Files available | DOI
 
2011 | Conference Paper | LibreCat-ID: 666
@inproceedings{Drzevitzky_Platzner_2011, title={Achieving Hardware Security for Reconfigurable Systems on Chip by a Proof-Carrying Code Approach}, DOI={10.1109/ReCoSoC.2011.5981499}, booktitle={Proceedings of the 6th International Workshop on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC)}, author={Drzevitzky, Stephanie and Platzner, Marco}, year={2011}, pages={58–65} }
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