[{"_id":"218","page":"106--113","doi":"10.1109/SCC.2016.21","ddc":["040"],"user_id":"15504","author":[{"full_name":"Jungmann, Alexander","first_name":"Alexander","last_name":"Jungmann"},{"full_name":"Kleinjohann, Bernd","last_name":"Kleinjohann","first_name":"Bernd"}],"title":"Automatic Composition of Service-based Image Processing Applications","status":"public","year":"2016","has_accepted_license":"1","date_updated":"2022-01-06T06:55:14Z","date_created":"2017-10-17T12:41:34Z","file":[{"creator":"florida","date_created":"2018-03-21T10:38:44Z","file_name":"218-07557442.pdf","access_level":"closed","file_size":836658,"relation":"main_file","date_updated":"2018-03-21T10:38:44Z","file_id":"1515","content_type":"application/pdf","success":1}],"type":"conference","citation":{"chicago":"Jungmann, Alexander, and Bernd Kleinjohann. “Automatic Composition of Service-Based Image Processing Applications.” In <i>Proceedings of the 13th IEEE International Conference on Services Computing (SCC)</i>, 106--113, 2016. <a href=\"https://doi.org/10.1109/SCC.2016.21\">https://doi.org/10.1109/SCC.2016.21</a>.","short":"A. Jungmann, B. Kleinjohann, in: Proceedings of the 13th IEEE International Conference on Services Computing (SCC), 2016, pp. 106--113.","apa":"Jungmann, A., &#38; Kleinjohann, B. (2016). Automatic Composition of Service-based Image Processing Applications. In <i>Proceedings of the 13th IEEE International Conference on Services Computing (SCC)</i> (pp. 106--113). <a href=\"https://doi.org/10.1109/SCC.2016.21\">https://doi.org/10.1109/SCC.2016.21</a>","ieee":"A. Jungmann and B. Kleinjohann, “Automatic Composition of Service-based Image Processing Applications,” in <i>Proceedings of the 13th IEEE International Conference on Services Computing (SCC)</i>, 2016, pp. 106--113.","ama":"Jungmann A, Kleinjohann B. Automatic Composition of Service-based Image Processing Applications. In: <i>Proceedings of the 13th IEEE International Conference on Services Computing (SCC)</i>. ; 2016:106--113. doi:<a href=\"https://doi.org/10.1109/SCC.2016.21\">10.1109/SCC.2016.21</a>","bibtex":"@inproceedings{Jungmann_Kleinjohann_2016, title={Automatic Composition of Service-based Image Processing Applications}, DOI={<a href=\"https://doi.org/10.1109/SCC.2016.21\">10.1109/SCC.2016.21</a>}, booktitle={Proceedings of the 13th IEEE International Conference on Services Computing (SCC)}, author={Jungmann, Alexander and Kleinjohann, Bernd}, year={2016}, pages={106--113} }","mla":"Jungmann, Alexander, and Bernd Kleinjohann. “Automatic Composition of Service-Based Image Processing Applications.” <i>Proceedings of the 13th IEEE International Conference on Services Computing (SCC)</i>, 2016, pp. 106--113, doi:<a href=\"https://doi.org/10.1109/SCC.2016.21\">10.1109/SCC.2016.21</a>."},"publication":"Proceedings of the 13th IEEE International Conference on Services Computing (SCC)","file_date_updated":"2018-03-21T10:38:44Z","project":[{"_id":"1","name":"SFB 901"},{"_id":"10","name":"SFB 901 - Subprojekt B2"},{"name":"SFB 901 - Project Area B","_id":"3"}],"abstract":[{"lang":"eng","text":"In the Image Processing domain, automated generation of complex Image Processing functionality is highly desirable; e.g., for rapid prototyping. Service composition techniques, in turn, facilitate automated generation of complex functionality based on building blocks in terms of services. For that reason, we aim for transferring the Service Composition paradigm into the Image Processing domain. In this paper, we present our symbolic composition approach that enables us to automatically generate Image Processing applications. Functionality of Image Processing services is described by means of a variant of first-order logic, which grounds on domain knowledge operationalized in terms of ontologies. A Petri-net formalism serves as basis for modeling data-flow of services and composed services. A planning-based composition algorithm automatically composes complex data-flow for a required functionality. A brief evaluation serves as proof of concept."}]},{"has_accepted_license":"1","date_updated":"2022-01-06T07:01:45Z","author":[{"full_name":"Späth, Johannes","first_name":"Johannes","last_name":"Späth"},{"full_name":"Nguyen Quang Do, Lisa","last_name":"Nguyen Quang Do","first_name":"Lisa"},{"full_name":"Ali, Karim","first_name":"Karim","last_name":"Ali"},{"id":"59256","orcid":"0000-0003-3470-3647","last_name":"Bodden","first_name":"Eric","full_name":"Bodden, Eric"}],"year":"2016","status":"public","title":"Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java","ddc":["000"],"user_id":"477","language":[{"iso":"eng"}],"_id":"5205","main_file_link":[{"url":"http://www.bodden.de/pubs/sna+16boomerang.pdf"}],"project":[{"name":"SFB 901","_id":"1"},{"_id":"3","name":"SFB 901 - Project Area B"},{"_id":"12","name":"SFB 901 - Subproject B4"}],"citation":{"apa":"Späth, J., Nguyen Quang Do, L., Ali, K., &#38; Bodden, E. (2016). Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java. In <i>European Conference on Object-Oriented Programming (ECOOP)</i>.","ieee":"J. Späth, L. Nguyen Quang Do, K. Ali, and E. Bodden, “Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java,” in <i>European Conference on Object-Oriented Programming (ECOOP)</i>, 2016.","chicago":"Späth, Johannes, Lisa Nguyen Quang Do, Karim Ali, and Eric Bodden. “Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java.” In <i>European Conference on Object-Oriented Programming (ECOOP)</i>, 2016.","short":"J. Späth, L. Nguyen Quang Do, K. Ali, E. Bodden, in: European Conference on Object-Oriented Programming (ECOOP), 2016.","mla":"Späth, Johannes, et al. “Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java.” <i>European Conference on Object-Oriented Programming (ECOOP)</i>, 2016.","ama":"Späth J, Nguyen Quang Do L, Ali K, Bodden E. Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java. In: <i>European Conference on Object-Oriented Programming (ECOOP)</i>. ; 2016.","bibtex":"@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} }"},"publication":"European Conference on Object-Oriented Programming (ECOOP)","file_date_updated":"2018-11-02T14:13:19Z","department":[{"_id":"76"}],"type":"conference","keyword":["ATTRACT","ITSECWEBSITE"],"date_created":"2018-10-31T12:51:26Z","file":[{"date_created":"2018-11-02T14:13:19Z","creator":"ups","success":1,"content_type":"application/pdf","file_id":"5265","date_updated":"2018-11-02T14:13:19Z","relation":"main_file","access_level":"closed","file_size":1921617,"file_name":"sna+16boomerang.pdf"}]},{"ddc":["040"],"user_id":"57458","page":"278--293","_id":"169","has_accepted_license":"1","status":"public","project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subprojekt B1","_id":"9"},{"_id":"3","name":"SFB 901 - Project Area B"}],"file_date_updated":"2018-03-21T12:41:08Z","citation":{"apa":"Kühne, T., Hamann, H., Arifulina, S., &#38; Engels, G. (2016). Patterns for Constructing Mutation Operators: Limiting the Search Space in a Software Engineering Application. In <i>Proceedings of the 19th European Conference on Genetic Programming (EuroGP 2016)</i> (pp. 278--293). <a href=\"https://doi.org/10.1007/978-3-319-30668-1_18\">https://doi.org/10.1007/978-3-319-30668-1_18</a>","ieee":"T. Kühne, H. Hamann, S. Arifulina, and G. Engels, “Patterns for Constructing Mutation Operators: Limiting the Search Space in a Software Engineering Application,” in <i>Proceedings of the 19th European Conference on Genetic Programming (EuroGP 2016)</i>, 2016, pp. 278--293.","short":"T. Kühne, H. Hamann, S. Arifulina, G. Engels, in: Proceedings of the 19th European Conference on Genetic Programming (EuroGP 2016), 2016, pp. 278--293.","chicago":"Kühne, Thomas, Heiko Hamann, Svetlana Arifulina, and Gregor Engels. “Patterns for Constructing Mutation Operators: Limiting the Search Space in a Software Engineering Application.” In <i>Proceedings of the 19th European Conference on Genetic Programming (EuroGP 2016)</i>, 278--293. LNCS 9594, 2016. <a href=\"https://doi.org/10.1007/978-3-319-30668-1_18\">https://doi.org/10.1007/978-3-319-30668-1_18</a>.","mla":"Kühne, Thomas, et al. “Patterns for Constructing Mutation Operators: Limiting the Search Space in a Software Engineering Application.” <i>Proceedings of the 19th European Conference on Genetic Programming (EuroGP 2016)</i>, 2016, pp. 278--293, doi:<a href=\"https://doi.org/10.1007/978-3-319-30668-1_18\">10.1007/978-3-319-30668-1_18</a>.","ama":"Kühne T, Hamann H, Arifulina S, Engels G. Patterns for Constructing Mutation Operators: Limiting the Search Space in a Software Engineering Application. In: <i>Proceedings of the 19th European Conference on Genetic Programming (EuroGP 2016)</i>. LNCS 9594. ; 2016:278--293. doi:<a href=\"https://doi.org/10.1007/978-3-319-30668-1_18\">10.1007/978-3-319-30668-1_18</a>","bibtex":"@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={<a href=\"https://doi.org/10.1007/978-3-319-30668-1_18\">10.1007/978-3-319-30668-1_18</a>}, 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} }"},"doi":"10.1007/978-3-319-30668-1_18","series_title":"LNCS 9594","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:52:58Z","title":"Patterns for Constructing Mutation Operators: Limiting the Search Space in a Software Engineering Application","year":"2016","author":[{"full_name":"Kühne, Thomas","last_name":"Kühne","first_name":"Thomas","id":"49079"},{"last_name":"Hamann","first_name":"Heiko","full_name":"Hamann, Heiko"},{"first_name":"Svetlana","last_name":"Arifulina","full_name":"Arifulina, Svetlana"},{"full_name":"Engels, Gregor","last_name":"Engels","first_name":"Gregor","id":"107"}],"type":"conference","department":[{"_id":"66"},{"_id":"238"},{"_id":"63"}],"file":[{"creator":"florida","date_created":"2018-03-21T12:41:08Z","date_updated":"2018-03-21T12:41:08Z","relation":"main_file","access_level":"closed","file_size":2069427,"file_name":"169-kuehne.pdf","content_type":"application/pdf","success":1,"file_id":"1540"}],"date_created":"2017-10-17T12:41:25Z","abstract":[{"text":"We apply methods of genetic programming to a general problem from software engineering, namely example-based generation of specifications. In particular, we focus on model transformation by example. The definition and implementation of model transformations is a task frequently carried out by domain experts, hence, a (semi-)automatic approach is desirable. This application is challenging because the underlying search space has rich semantics, is high-dimensional, and unstructured. Hence, a computationally brute-force approach would be unscalable and potentially infeasible. To address that problem, we develop a sophisticated approach of designing complex mutation operators. We define ‘patterns’ for constructing mutation operators and report a successful case study. Furthermore, the code of the evolved model transformation is required to have high maintainability and extensibility, that is, the code should be easily readable by domain experts. We report an evaluation of this approach in a software engineering case study.","lang":"eng"}],"publication":"Proceedings of the 19th European Conference on Genetic Programming (EuroGP 2016)"},{"related_material":{"link":[{"relation":"contains","url":"https://pdfs.semanticscholar.org/58cd/94c8b2335d16aa2558f711cf81b3f7746696.pdf"}]},"abstract":[{"lang":"eng","text":"We present PAndA2, an extendable, static analysis tool for Android  apps  which  examines  permission  related security  threats  like overprivilege, existence of permission redelegation and permission flows. PAndA2 comes along with a textual and graphical visualization of the analysis result and even supports the comparison of analysis results for different android app versions."}],"publication":"Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems","type":"conference","department":[{"_id":"77"}],"file":[{"creator":"florida","date_created":"2018-03-21T12:40:27Z","date_updated":"2018-03-21T12:40:27Z","relation":"main_file","file_size":285299,"access_level":"closed","file_name":"170-main_04.pdf","success":1,"content_type":"application/pdf","file_id":"1539"}],"date_created":"2017-10-17T12:41:25Z","date_updated":"2022-01-06T06:53:01Z","year":"2016","title":"PAndA 2 : Analyzing Permission Use and Interplay in Android Apps (Tool Paper)","author":[{"last_name":"Jakobs","first_name":"Marie-Christine","full_name":"Jakobs, Marie-Christine"},{"first_name":"Manuel","last_name":"Töws","full_name":"Töws, Manuel","id":"11315"},{"first_name":"Felix","last_name":"Pauck","full_name":"Pauck, Felix","id":"22398"}],"series_title":"School of Computing Science Technical Report Series","project":[{"name":"SFB 901","_id":"1"},{"_id":"12","name":"SFB 901 - Subprojekt B4"},{"name":"SFB 901 - Project Area B","_id":"3"}],"file_date_updated":"2018-03-21T12:40:27Z","citation":{"chicago":"Jakobs, Marie-Christine, Manuel Töws, and Felix Pauck. “PAndA 2 : Analyzing Permission Use and Interplay in Android Apps (Tool Paper).” In <i>Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems</i>, edited by Troubitsyna E Ishikawa F, Romanovsky A. School of Computing Science Technical Report Series, 2016.","short":"M.-C. Jakobs, M. Töws, F. Pauck, in: T.E. Ishikawa F, Romanovsky A (Ed.), Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems, 2016.","ieee":"M.-C. Jakobs, M. Töws, and F. Pauck, “PAndA 2 : Analyzing Permission Use and Interplay in Android Apps (Tool Paper),” in <i>Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems</i>, 2016.","apa":"Jakobs, M.-C., Töws, M., &#38; Pauck, F. (2016). PAndA 2 : Analyzing Permission Use and Interplay in Android Apps (Tool Paper). In T. E. Ishikawa F, Romanovsky A (Ed.), <i>Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems</i>.","bibtex":"@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} }","ama":"Jakobs M-C, Töws M, Pauck F. PAndA 2 : Analyzing Permission Use and Interplay in Android Apps (Tool Paper). In: Ishikawa F, Romanovsky A TE, ed. <i>Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems</i>. School of Computing Science Technical Report Series. ; 2016.","mla":"Jakobs, Marie-Christine, et al. “PAndA 2 : Analyzing Permission Use and Interplay in Android Apps (Tool Paper).” <i>Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems</i>, edited by Troubitsyna E Ishikawa F, Romanovsky A, 2016."},"has_accepted_license":"1","status":"public","user_id":"15504","ddc":["040"],"editor":[{"first_name":"Troubitsyna E","last_name":"Ishikawa F, Romanovsky A","full_name":"Ishikawa F, Romanovsky A, Troubitsyna E"}],"_id":"170"},{"citation":{"mla":"Isenberg, Tobias. <i>Induction-Based Verification of Timed Systems</i>. Universität Paderborn, 2016.","ama":"Isenberg T. <i>Induction-Based Verification of Timed Systems</i>. Universität Paderborn; 2016.","bibtex":"@book{Isenberg_2016, title={Induction-based Verification of Timed Systems}, publisher={Universität Paderborn}, author={Isenberg, Tobias}, year={2016} }","apa":"Isenberg, T. (2016). <i>Induction-based Verification of Timed Systems</i>. Universität Paderborn.","ieee":"T. Isenberg, <i>Induction-based Verification of Timed Systems</i>. Universität Paderborn, 2016.","chicago":"Isenberg, Tobias. <i>Induction-Based Verification of Timed Systems</i>. Universität Paderborn, 2016.","short":"T. Isenberg, Induction-Based Verification of Timed Systems, Universität Paderborn, 2016."},"supervisor":[{"id":"573","full_name":"Wehrheim, Heike","last_name":"Wehrheim","first_name":"Heike"}],"file_date_updated":"2018-03-08T09:14:11Z","project":[{"_id":"1","name":"SFB 901"},{"_id":"12","name":"SFB 901 - Subproject B4"},{"name":"SFB 901 - Project Area B","_id":"3"}],"date_created":"2018-03-05T10:11:48Z","file":[{"file_id":"1195","content_type":"application/pdf","relation":"main_file","date_updated":"2018-03-08T09:14:11Z","file_name":"1190-thesis_abgabeversion.pdf","file_size":3354335,"access_level":"closed","date_created":"2018-03-08T06:23:21Z","creator":"florida"}],"department":[{"_id":"77"}],"type":"dissertation","author":[{"first_name":"Tobias","last_name":"Isenberg","full_name":"Isenberg, Tobias"}],"status":"public","title":"Induction-based Verification of Timed Systems","year":"2016","has_accepted_license":"1","date_updated":"2022-01-06T06:51:12Z","publisher":"Universität Paderborn","_id":"1190","user_id":"477","ddc":["040"]},{"page":"549-558","publisher":"Springer","_id":"158","ddc":["040"],"user_id":"477","editor":[{"full_name":"Dregvaite, Giedre ","last_name":"Dregvaite","first_name":"Giedre "},{"first_name":"Robertas ","last_name":"Damasevicius","full_name":"Damasevicius, Robertas "}],"volume":639,"status":"public","conference":{"end_date":"2016-10-15","start_date":"2016-10-13","name":"22nd International Conference on Information and Software Technologies (ICIST 2016)","location":"Druskininkai, Lithuania"},"has_accepted_license":"1","place":"Cham, Switzerland","file_date_updated":"2018-03-21T12:49:38Z","citation":{"short":"F.S. Bäumer, M. Geierhos, in: G. Dregvaite, R. Damasevicius (Eds.), Proceedings of the 22nd International Conference on Information and Software Technologies (ICIST), Springer, Cham, Switzerland, 2016, pp. 549–558.","chicago":"Bäumer, Frederik Simon, and Michaela Geierhos. “Running out of Words: How Similar User Stories Can Help to Elaborate Individual Natural Language Requirement Descriptions.” In <i>Proceedings of the 22nd International Conference on Information and Software Technologies (ICIST)</i>, edited by Giedre  Dregvaite and Robertas  Damasevicius, 639:549–58. Communications in Computer and Information Science. Cham, Switzerland: Springer, 2016. <a href=\"https://doi.org/10.1007/978-3-319-46254-7_44\">https://doi.org/10.1007/978-3-319-46254-7_44</a>.","apa":"Bäumer, F. S., &#38; Geierhos, M. (2016). Running out of Words: How Similar User Stories Can Help to Elaborate Individual Natural Language Requirement Descriptions. In G. Dregvaite &#38; R. Damasevicius (Eds.), <i>Proceedings of the 22nd International Conference on Information and Software Technologies (ICIST)</i> (Vol. 639, pp. 549–558). Cham, Switzerland: Springer. <a href=\"https://doi.org/10.1007/978-3-319-46254-7_44\">https://doi.org/10.1007/978-3-319-46254-7_44</a>","ieee":"F. S. Bäumer and M. Geierhos, “Running out of Words: How Similar User Stories Can Help to Elaborate Individual Natural Language Requirement Descriptions,” in <i>Proceedings of the 22nd International Conference on Information and Software Technologies (ICIST)</i>, Druskininkai, Lithuania, 2016, vol. 639, pp. 549–558.","ama":"Bäumer FS, Geierhos M. Running out of Words: How Similar User Stories Can Help to Elaborate Individual Natural Language Requirement Descriptions. In: Dregvaite G, Damasevicius R, eds. <i>Proceedings of the 22nd International Conference on Information and Software Technologies (ICIST)</i>. Vol 639. Communications in Computer and Information Science. Cham, Switzerland: Springer; 2016:549-558. doi:<a href=\"https://doi.org/10.1007/978-3-319-46254-7_44\">10.1007/978-3-319-46254-7_44</a>","bibtex":"@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={<a href=\"https://doi.org/10.1007/978-3-319-46254-7_44\">10.1007/978-3-319-46254-7_44</a>}, 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} }","mla":"Bäumer, Frederik Simon, and Michaela Geierhos. “Running out of Words: How Similar User Stories Can Help to Elaborate Individual Natural Language Requirement Descriptions.” <i>Proceedings of the 22nd International Conference on Information and Software Technologies (ICIST)</i>, edited by Giedre  Dregvaite and Robertas  Damasevicius, vol. 639, Springer, 2016, pp. 549–58, doi:<a href=\"https://doi.org/10.1007/978-3-319-46254-7_44\">10.1007/978-3-319-46254-7_44</a>."},"quality_controlled":"1","project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Project Area B","_id":"3"},{"name":"SFB 901 - Subproject B1","_id":"9"}],"series_title":"Communications in Computer and Information Science","language":[{"iso":"eng"}],"doi":"10.1007/978-3-319-46254-7_44","year":"2016","title":"Running out of Words: How Similar User Stories Can Help to Elaborate Individual Natural Language Requirement Descriptions","author":[{"id":"38837","last_name":"Bäumer","first_name":"Frederik Simon","full_name":"Bäumer, Frederik Simon"},{"id":"42496","orcid":"0000-0002-8180-5606","last_name":"Geierhos","first_name":"Michaela","full_name":"Geierhos, Michaela"}],"publication_identifier":{"isbn":["978-3-319-46253-0"],"eisbn":["978-3-319-46254-7"]},"date_updated":"2022-01-06T06:52:34Z","publication_status":"published","intvolume":"       639","file":[{"creator":"florida","date_created":"2018-03-21T12:49:38Z","relation":"main_file","date_updated":"2018-03-21T12:49:38Z","file_name":"158-06390044.pdf","access_level":"closed","file_size":860232,"file_id":"1548","content_type":"application/pdf","success":1}],"date_created":"2017-10-17T12:41:22Z","keyword":["Natural language requirements clarification","Syntactically incomplete requirements","Compensatory user stories"],"type":"conference","department":[{"_id":"36"},{"_id":"1"},{"_id":"579"}],"publication":"Proceedings of the 22nd International Conference on Information and Software Technologies (ICIST)","abstract":[{"lang":"eng","text":"While requirements focus on how the user interacts with the system, user stories concentrate on the purpose of software features. But in practice, functional requirements are also described in user stories. For this reason, requirements clarification is needed, especially when they are written in natural language and do not stick to any templates (e.g., \"as an X, I want Y so that Z ...\"). However, there is a lot of implicit knowledge that is not expressed in words. As a result, natural language requirements descriptions may suffer from incompleteness. Existing approaches try to formalize natural language or focus only on entirely missing and not on deficient requirements. In this paper, we therefore present an approach to detect knowledge gaps in user-generated software requirements for interactive requirement clarification: We provide tailored suggestions to the users in order to get more precise descriptions. For this purpose, we identify not fully instantiated predicate argument structures in requirements written in natural language and use context information to realize what was meant by the user."}]},{"date_updated":"2022-01-06T06:52:13Z","has_accepted_license":"1","status":"public","title":"Solving Heterogeneity for a Successful Service Market","year":"2016","author":[{"full_name":"Arifulina, Svetlana","first_name":"Svetlana","last_name":"Arifulina"}],"doi":"10.17619/UNIPB/1-13","ddc":["040"],"user_id":"477","publisher":"Universität Paderborn","_id":"150","project":[{"_id":"1","name":"SFB 901"},{"_id":"9","name":"SFB 901 - Subprojekt B1"},{"_id":"3","name":"SFB 901 - Project Area B"}],"file_date_updated":"2018-03-21T12:54:05Z","supervisor":[{"id":"107","full_name":"Engels, Gregor","first_name":"Gregor","last_name":"Engels"}],"citation":{"short":"S. Arifulina, Solving Heterogeneity for a Successful Service Market, Universität Paderborn, 2016.","chicago":"Arifulina, Svetlana. <i>Solving Heterogeneity for a Successful Service Market</i>. Universität Paderborn, 2016. <a href=\"https://doi.org/10.17619/UNIPB/1-13\">https://doi.org/10.17619/UNIPB/1-13</a>.","apa":"Arifulina, S. (2016). <i>Solving Heterogeneity for a Successful Service Market</i>. Universität Paderborn. <a href=\"https://doi.org/10.17619/UNIPB/1-13\">https://doi.org/10.17619/UNIPB/1-13</a>","ieee":"S. Arifulina, <i>Solving Heterogeneity for a Successful Service Market</i>. Universität Paderborn, 2016.","ama":"Arifulina S. <i>Solving Heterogeneity for a Successful Service Market</i>. Universität Paderborn; 2016. doi:<a href=\"https://doi.org/10.17619/UNIPB/1-13\">10.17619/UNIPB/1-13</a>","bibtex":"@book{Arifulina_2016, title={Solving Heterogeneity for a Successful Service Market}, DOI={<a href=\"https://doi.org/10.17619/UNIPB/1-13\">10.17619/UNIPB/1-13</a>}, publisher={Universität Paderborn}, author={Arifulina, Svetlana}, year={2016} }","mla":"Arifulina, Svetlana. <i>Solving Heterogeneity for a Successful Service Market</i>. Universität Paderborn, 2016, doi:<a href=\"https://doi.org/10.17619/UNIPB/1-13\">10.17619/UNIPB/1-13</a>."},"type":"dissertation","department":[{"_id":"66"}],"file":[{"relation":"main_file","date_updated":"2018-03-21T12:54:05Z","file_name":"150-Dissertation_Svetlana_Arifulina.pdf","file_size":6340482,"access_level":"closed","file_id":"1552","success":1,"content_type":"application/pdf","creator":"florida","date_created":"2018-03-21T12:54:05Z"}],"date_created":"2017-10-17T12:41:21Z"},{"ddc":["040"],"user_id":"477","_id":"160","page":"3--9","has_accepted_license":"1","status":"public","project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subprojekt B1","_id":"9"},{"name":"SFB 901 - Project Area B","_id":"3"}],"citation":{"mla":"van Rooijen, Lorijn, and Heiko Hamann. “Requirements Specification-by-Example Using a Multi-Objective Evolutionary Algorithm.” <i>Proceedings of 24th IEEE International Requirements Engineering Conference (RE 2016)</i>, 2016, pp. 3--9, doi:<a href=\"https://doi.org/10.1109/REW.2016.015\">10.1109/REW.2016.015</a>.","bibtex":"@inproceedings{van Rooijen_Hamann_2016, title={Requirements Specification-by-Example Using a Multi-Objective Evolutionary Algorithm}, DOI={<a href=\"https://doi.org/10.1109/REW.2016.015\">10.1109/REW.2016.015</a>}, booktitle={Proceedings of 24th IEEE International Requirements Engineering Conference (RE 2016)}, author={van Rooijen, Lorijn and Hamann, Heiko}, year={2016}, pages={3--9} }","ama":"van Rooijen L, Hamann H. Requirements Specification-by-Example Using a Multi-Objective Evolutionary Algorithm. In: <i>Proceedings of 24th IEEE International Requirements Engineering Conference (RE 2016)</i>. ; 2016:3--9. doi:<a href=\"https://doi.org/10.1109/REW.2016.015\">10.1109/REW.2016.015</a>","ieee":"L. van Rooijen and H. Hamann, “Requirements Specification-by-Example Using a Multi-Objective Evolutionary Algorithm,” in <i>Proceedings of 24th IEEE International Requirements Engineering Conference (RE 2016)</i>, 2016, pp. 3--9.","apa":"van Rooijen, L., &#38; Hamann, H. (2016). Requirements Specification-by-Example Using a Multi-Objective Evolutionary Algorithm. In <i>Proceedings of 24th IEEE International Requirements Engineering Conference (RE 2016)</i> (pp. 3--9). <a href=\"https://doi.org/10.1109/REW.2016.015\">https://doi.org/10.1109/REW.2016.015</a>","chicago":"Rooijen, Lorijn van, and Heiko Hamann. “Requirements Specification-by-Example Using a Multi-Objective Evolutionary Algorithm.” In <i>Proceedings of 24th IEEE International Requirements Engineering Conference (RE 2016)</i>, 3--9, 2016. <a href=\"https://doi.org/10.1109/REW.2016.015\">https://doi.org/10.1109/REW.2016.015</a>.","short":"L. van Rooijen, H. Hamann, in: Proceedings of 24th IEEE International Requirements Engineering Conference (RE 2016), 2016, pp. 3--9."},"file_date_updated":"2018-03-21T12:47:21Z","doi":"10.1109/REW.2016.015","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:52:42Z","author":[{"id":"58843","first_name":"Lorijn","last_name":"van Rooijen","full_name":"van Rooijen, Lorijn"},{"full_name":"Hamann, Heiko","first_name":"Heiko","last_name":"Hamann"}],"title":"Requirements Specification-by-Example Using a Multi-Objective Evolutionary Algorithm","year":"2016","department":[{"_id":"66"}],"type":"conference","date_created":"2017-10-17T12:41:23Z","file":[{"content_type":"application/pdf","success":1,"file_id":"1546","file_size":419026,"access_level":"closed","file_name":"160-07815598.pdf","date_updated":"2018-03-21T12:47:21Z","relation":"main_file","date_created":"2018-03-21T12:47:21Z","creator":"florida"}],"abstract":[{"lang":"eng","text":"A task at the beginning of the software development process is the creation of a requirements specification. The requirements specification is usually created by a software engineering expert. We try to substitute this expert by a domain expert (the user) and formulate the problem of creating requirements specifications as a search-based software engineering problem. The domain expert provides only examples of event sequences that describe the behavior of the required software program. These examples are represented by simple sequence diagrams and are divided into two subsets: positive examples of required program behavior and negative examples of prohibited program behavior. The task is then to synthesize a generalized requirements specification that usefully describes the required software. We approach this problem by applying a genetic algorithm and evolve deterministic finite automata (DFAs). These DFAs take the sequence diagrams as input that should be either accepted (positive example) or rejected (negative example). The problem is neither to find the minimal nor the most general automaton. Instead, the user should be provided with several appropriate automata from which the user can select, or which help the user to refine the examples given initially. We present the context of our research (\"On-The-Fly Computing\"), present our approach, report results indicating its feasibility, and conclude with a discussion."}],"publication":"Proceedings of 24th IEEE International Requirements Engineering Conference (RE 2016)"},{"publisher":"Universität Paderborn","_id":"162","language":[{"iso":"eng"}],"user_id":"15504","year":"2016","title":"Program Slicing: A Way of Separating WHILE Programs into Precise and Approximate Portions","status":"public","author":[{"last_name":"Zhang","first_name":"Guangli","full_name":"Zhang, Guangli"}],"date_updated":"2022-01-06T06:52:45Z","date_created":"2017-10-17T12:41:23Z","type":"mastersthesis","department":[{"_id":"77"}],"supervisor":[{"full_name":"Wehrheim, Heike","first_name":"Heike","last_name":"Wehrheim"}],"citation":{"bibtex":"@book{Zhang_2016, title={Program Slicing: A Way of Separating WHILE Programs into Precise and Approximate Portions}, publisher={Universität Paderborn}, author={Zhang, Guangli}, year={2016} }","short":"G. Zhang, Program Slicing: A Way of Separating WHILE Programs into Precise and Approximate Portions, Universität Paderborn, 2016.","ama":"Zhang G. <i>Program Slicing: A Way of Separating WHILE Programs into Precise and Approximate Portions</i>. Universität Paderborn; 2016.","chicago":"Zhang, Guangli. <i>Program Slicing: A Way of Separating WHILE Programs into Precise and Approximate Portions</i>. Universität Paderborn, 2016.","ieee":"G. Zhang, <i>Program Slicing: A Way of Separating WHILE Programs into Precise and Approximate Portions</i>. Universität Paderborn, 2016.","mla":"Zhang, Guangli. <i>Program Slicing: A Way of Separating WHILE Programs into Precise and Approximate Portions</i>. Universität Paderborn, 2016.","apa":"Zhang, G. (2016). <i>Program Slicing: A Way of Separating WHILE Programs into Precise and Approximate Portions</i>. Universität Paderborn."},"project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Subprojekt B4","_id":"12"},{"_id":"3","name":"SFB 901 - Project Area B"}]},{"year":"2016","status":"public","title":"Predicting Rankings of Software Verification Tools Using Kernels for Structured Data","author":[{"full_name":"Czech, Mike","last_name":"Czech","first_name":"Mike"}],"date_updated":"2022-01-06T06:52:50Z","language":[{"iso":"eng"}],"_id":"164","publisher":"Universität Paderborn","user_id":"15504","supervisor":[{"full_name":"Wehrheim, Heike","first_name":"Heike","last_name":"Wehrheim"}],"citation":{"ama":"Czech M. <i>Predicting Rankings of Software Verification Tools Using Kernels for Structured Data</i>. Universität Paderborn; 2016.","bibtex":"@book{Czech_2016, title={Predicting Rankings of Software Verification Tools Using Kernels for Structured Data}, publisher={Universität Paderborn}, author={Czech, Mike}, year={2016} }","mla":"Czech, Mike. <i>Predicting Rankings of Software Verification Tools Using Kernels for Structured Data</i>. Universität Paderborn, 2016.","chicago":"Czech, Mike. <i>Predicting Rankings of Software Verification Tools Using Kernels for Structured Data</i>. Universität Paderborn, 2016.","short":"M. Czech, Predicting Rankings of Software Verification Tools Using Kernels for Structured Data, Universität Paderborn, 2016.","apa":"Czech, M. (2016). <i>Predicting Rankings of Software Verification Tools Using Kernels for Structured Data</i>. Universität Paderborn.","ieee":"M. Czech, <i>Predicting Rankings of Software Verification Tools Using Kernels for Structured Data</i>. Universität Paderborn, 2016."},"project":[{"_id":"1","name":"SFB 901"},{"_id":"11","name":"SFB 901 - Subprojekt B3"},{"_id":"3","name":"SFB 901 - Project Area B"}],"date_created":"2017-10-17T12:41:24Z","type":"mastersthesis","department":[{"_id":"77"}]},{"file_date_updated":"2018-03-21T13:00:24Z","citation":{"ieee":"A. Jungmann, <i>Towards On-The-Fly Image Processing</i>. Universität Paderborn, 2016.","apa":"Jungmann, A. (2016). <i>Towards On-The-Fly Image Processing</i>. Universität Paderborn.","short":"A. Jungmann, Towards On-The-Fly Image Processing, Universität Paderborn, 2016.","chicago":"Jungmann, Alexander. <i>Towards On-The-Fly Image Processing</i>. Universität Paderborn, 2016.","mla":"Jungmann, Alexander. <i>Towards On-The-Fly Image Processing</i>. Universität Paderborn, 2016.","bibtex":"@book{Jungmann_2016, title={Towards On-The-Fly Image Processing}, publisher={Universität Paderborn}, author={Jungmann, Alexander}, year={2016} }","ama":"Jungmann A. <i>Towards On-The-Fly Image Processing</i>. Universität Paderborn; 2016."},"supervisor":[{"full_name":"Rammig, Franz","first_name":"Franz","last_name":"Rammig"}],"project":[{"name":"SFB 901","_id":"1"},{"_id":"10","name":"SFB 901 - Subprojekt B2"},{"name":"SFB 901 - Project Area B","_id":"3"}],"file":[{"date_updated":"2018-03-21T13:00:24Z","relation":"main_file","file_size":8006614,"access_level":"closed","file_name":"140-Dissertation-Alexander_Jungmann.pdf","content_type":"application/pdf","success":1,"file_id":"1559","creator":"florida","date_created":"2018-03-21T13:00:24Z"}],"date_created":"2017-10-17T12:41:18Z","type":"dissertation","department":[{"_id":"70"}],"year":"2016","title":"Towards On-The-Fly Image Processing","status":"public","author":[{"last_name":"Jungmann","first_name":"Alexander","full_name":"Jungmann, Alexander"}],"date_updated":"2022-01-06T06:51:49Z","has_accepted_license":"1","_id":"140","publisher":"Universität Paderborn","user_id":"477","ddc":["040"]},{"publisher":"Universität Paderborn","_id":"141","doi":"10.17619/UNIPB/1-171","user_id":"477","title":"Towards Automated Service Composition Under Quality Constraints","year":"2016","status":"public","author":[{"first_name":"Felix","last_name":"Mohr","full_name":"Mohr, Felix"}],"date_updated":"2022-01-06T06:51:55Z","date_created":"2017-10-17T12:41:19Z","type":"dissertation","department":[{"_id":"355"}],"supervisor":[{"full_name":"Kleine Büning, Hans","first_name":"Hans","last_name":"Kleine Büning"}],"citation":{"chicago":"Mohr, Felix. <i>Towards Automated Service Composition Under Quality Constraints</i>. Universität Paderborn, 2016. <a href=\"https://doi.org/10.17619/UNIPB/1-171\">https://doi.org/10.17619/UNIPB/1-171</a>.","short":"F. Mohr, Towards Automated Service Composition Under Quality Constraints, Universität Paderborn, 2016.","ieee":"F. Mohr, <i>Towards Automated Service Composition Under Quality Constraints</i>. Universität Paderborn, 2016.","apa":"Mohr, F. (2016). <i>Towards Automated Service Composition Under Quality Constraints</i>. Universität Paderborn. <a href=\"https://doi.org/10.17619/UNIPB/1-171\">https://doi.org/10.17619/UNIPB/1-171</a>","bibtex":"@book{Mohr_2016, title={Towards Automated Service Composition Under Quality Constraints}, DOI={<a href=\"https://doi.org/10.17619/UNIPB/1-171\">10.17619/UNIPB/1-171</a>}, publisher={Universität Paderborn}, author={Mohr, Felix}, year={2016} }","ama":"Mohr F. <i>Towards Automated Service Composition Under Quality Constraints</i>. Universität Paderborn; 2016. doi:<a href=\"https://doi.org/10.17619/UNIPB/1-171\">10.17619/UNIPB/1-171</a>","mla":"Mohr, Felix. <i>Towards Automated Service Composition Under Quality Constraints</i>. Universität Paderborn, 2016, doi:<a href=\"https://doi.org/10.17619/UNIPB/1-171\">10.17619/UNIPB/1-171</a>."},"project":[{"_id":"1","name":"SFB 901"},{"_id":"10","name":"SFB 901 - Subprojekt B2"},{"_id":"3","name":"SFB 901 - Project Area B"}]},{"year":"2016","title":"Verifying Worst-Case Completion Times for Reconfigurable Hardware Modules using Proof-Carrying Hardware","author":[{"id":"3118","last_name":"Wiersema","first_name":"Tobias","full_name":"Wiersema, Tobias"},{"id":"398","first_name":"Marco","last_name":"Platzner","full_name":"Platzner, Marco"}],"date_updated":"2022-01-06T06:51:30Z","language":[{"iso":"eng"}],"doi":"10.1109/ReCoSoC.2016.7533910","publication":"Proceedings of the 11th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC 2016)","abstract":[{"text":"Runtime reconfiguration can be used to replace hardware modules in the field and even to continuously improve them during operation. Runtime reconfiguration poses new challenges for validation, since the required properties of newly arriving modules may be difficult to check fast enough to sustain the intended system dynamics. In this paper we present a method for just-in-time verification of the worst-case completion time of a reconfigurable hardware module. We assume so-called run-to-completion modules that exhibit start and done signals indicating the start and end of execution, respectively. We present a formal verification approach that exploits the concept of proof-carrying hardware. The approach tasks the creator of a hardware module with constructing a proof of the worst-case completion time, which can then easily be checked by the user of the module, just prior to reconfiguration. After explaining the verification approach and a corresponding tool flow, we present results from two case studies, a short term synthesis filter and a multihead weigher. The resultsclearly show that cost of verifying the completion time of the module is paid by the creator instead of the user of the module.","lang":"eng"}],"file":[{"file_id":"1562","success":1,"content_type":"application/pdf","file_name":"132-07533910.pdf","access_level":"closed","file_size":911171,"relation":"main_file","date_updated":"2018-03-21T13:02:30Z","date_created":"2018-03-21T13:02:30Z","creator":"florida"}],"date_created":"2017-10-17T12:41:17Z","type":"conference","department":[{"_id":"78"}],"status":"public","has_accepted_license":"1","page":"1--8","_id":"132","user_id":"477","ddc":["040"],"file_date_updated":"2018-03-21T13:02:30Z","citation":{"apa":"Wiersema, T., &#38; Platzner, M. (2016). Verifying Worst-Case Completion Times for Reconfigurable Hardware Modules using Proof-Carrying Hardware. In <i>Proceedings of the 11th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC 2016)</i> (pp. 1--8). <a href=\"https://doi.org/10.1109/ReCoSoC.2016.7533910\">https://doi.org/10.1109/ReCoSoC.2016.7533910</a>","ieee":"T. Wiersema and M. Platzner, “Verifying Worst-Case Completion Times for Reconfigurable Hardware Modules using Proof-Carrying Hardware,” in <i>Proceedings of the 11th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC 2016)</i>, 2016, pp. 1--8.","short":"T. Wiersema, M. Platzner, in: Proceedings of the 11th International Symposium on Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC 2016), 2016, pp. 1--8.","chicago":"Wiersema, Tobias, and Marco Platzner. “Verifying Worst-Case Completion Times for Reconfigurable Hardware Modules Using Proof-Carrying Hardware.” In <i>Proceedings of the 11th International Symposium on Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC 2016)</i>, 1--8, 2016. <a href=\"https://doi.org/10.1109/ReCoSoC.2016.7533910\">https://doi.org/10.1109/ReCoSoC.2016.7533910</a>.","mla":"Wiersema, Tobias, and Marco Platzner. “Verifying Worst-Case Completion Times for Reconfigurable Hardware Modules Using Proof-Carrying Hardware.” <i>Proceedings of the 11th International Symposium on Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC 2016)</i>, 2016, pp. 1--8, doi:<a href=\"https://doi.org/10.1109/ReCoSoC.2016.7533910\">10.1109/ReCoSoC.2016.7533910</a>.","ama":"Wiersema T, Platzner M. Verifying Worst-Case Completion Times for Reconfigurable Hardware Modules using Proof-Carrying Hardware. In: <i>Proceedings of the 11th International Symposium on Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC 2016)</i>. ; 2016:1--8. doi:<a href=\"https://doi.org/10.1109/ReCoSoC.2016.7533910\">10.1109/ReCoSoC.2016.7533910</a>","bibtex":"@inproceedings{Wiersema_Platzner_2016, title={Verifying Worst-Case Completion Times for Reconfigurable Hardware Modules using Proof-Carrying Hardware}, DOI={<a href=\"https://doi.org/10.1109/ReCoSoC.2016.7533910\">10.1109/ReCoSoC.2016.7533910</a>}, 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} }"},"project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Subprojekt B4","_id":"12"},{"name":"SFB 901 - Project Area B","_id":"3"}]},{"type":"bachelorsthesis","department":[{"_id":"77"}],"date_created":"2017-10-17T12:41:17Z","abstract":[{"text":".","lang":"eng"}],"project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Subprojekt B3","_id":"11"},{"_id":"3","name":"SFB 901 - Project Area B"}],"supervisor":[{"full_name":"Wehrheim, Heike","last_name":"Wehrheim","first_name":"Heike"}],"citation":{"mla":"Dewender, Markus. <i>Verifikation von Service Kompositionen mit Spin</i>. Universität Paderborn, 2016.","apa":"Dewender, M. (2016). <i>Verifikation von Service Kompositionen mit Spin</i>. Universität Paderborn.","ieee":"M. Dewender, <i>Verifikation von Service Kompositionen mit Spin</i>. Universität Paderborn, 2016.","chicago":"Dewender, Markus. <i>Verifikation von Service Kompositionen mit Spin</i>. Universität Paderborn, 2016.","ama":"Dewender M. <i>Verifikation von Service Kompositionen mit Spin</i>. Universität Paderborn; 2016.","short":"M. Dewender, Verifikation von Service Kompositionen mit Spin, Universität Paderborn, 2016.","bibtex":"@book{Dewender_2016, title={Verifikation von Service Kompositionen mit Spin}, publisher={Universität Paderborn}, author={Dewender, Markus}, year={2016} }"},"user_id":"15504","language":[{"iso":"ger"}],"_id":"133","publisher":"Universität Paderborn","date_updated":"2022-01-06T06:51:32Z","year":"2016","title":"Verifikation von Service Kompositionen mit Spin","status":"public","author":[{"full_name":"Dewender, Markus","last_name":"Dewender","first_name":"Markus"}]},{"supervisor":[{"first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike"}],"citation":{"ieee":"P. Heinisch, <i>Verifikation von Service Kompositionen mit Prolog</i>. Universität Paderborn, 2016.","apa":"Heinisch, P. (2016). <i>Verifikation von Service Kompositionen mit Prolog</i>. Universität Paderborn.","short":"P. Heinisch, Verifikation von Service Kompositionen mit Prolog, Universität Paderborn, 2016.","chicago":"Heinisch, Philipp. <i>Verifikation von Service Kompositionen mit Prolog</i>. Universität Paderborn, 2016.","mla":"Heinisch, Philipp. <i>Verifikation von Service Kompositionen mit Prolog</i>. Universität Paderborn, 2016.","bibtex":"@book{Heinisch_2016, title={Verifikation von Service Kompositionen mit Prolog}, publisher={Universität Paderborn}, author={Heinisch, Philipp}, year={2016} }","ama":"Heinisch P. <i>Verifikation von Service Kompositionen mit Prolog</i>. Universität Paderborn; 2016."},"project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subprojekt B3","_id":"11"},{"name":"SFB 901 - Project Area B","_id":"3"}],"abstract":[{"lang":"eng","text":"."}],"date_created":"2017-10-17T12:41:17Z","department":[{"_id":"77"}],"type":"bachelorsthesis","author":[{"last_name":"Heinisch","first_name":"Philipp","full_name":"Heinisch, Philipp"}],"year":"2016","title":"Verifikation von Service Kompositionen mit Prolog","status":"public","date_updated":"2022-01-06T06:51:34Z","_id":"134","language":[{"iso":"ger"}],"publisher":"Universität Paderborn","user_id":"15504"},{"citation":{"mla":"Vollmers, Daniel. <i>Vergleich von Disambiguierungsansätzen bei Anforderungsbeschreibungen</i>. Universität Paderborn, 2016.","bibtex":"@book{Vollmers_2016, title={Vergleich von Disambiguierungsansätzen bei Anforderungsbeschreibungen}, publisher={Universität Paderborn}, author={Vollmers, Daniel}, year={2016} }","ama":"Vollmers D. <i>Vergleich von Disambiguierungsansätzen bei Anforderungsbeschreibungen</i>. Universität Paderborn; 2016.","ieee":"D. Vollmers, <i>Vergleich von Disambiguierungsansätzen bei Anforderungsbeschreibungen</i>. Universität Paderborn, 2016.","apa":"Vollmers, D. (2016). <i>Vergleich von Disambiguierungsansätzen bei Anforderungsbeschreibungen</i>. Universität Paderborn.","short":"D. Vollmers, Vergleich von Disambiguierungsansätzen bei Anforderungsbeschreibungen, Universität Paderborn, 2016.","chicago":"Vollmers, Daniel. <i>Vergleich von Disambiguierungsansätzen bei Anforderungsbeschreibungen</i>. Universität Paderborn, 2016."},"project":[{"name":"SFB 901","_id":"1"},{"_id":"9","name":"SFB 901 - Subprojekt B1"},{"_id":"3","name":"SFB 901 - Project Area B"}],"date_created":"2017-10-17T12:41:18Z","type":"bachelorsthesis","title":"Vergleich von Disambiguierungsansätzen bei Anforderungsbeschreibungen","status":"public","year":"2016","author":[{"full_name":"Vollmers, Daniel","last_name":"Vollmers","first_name":"Daniel"}],"date_updated":"2022-01-06T06:51:40Z","_id":"136","publisher":"Universität Paderborn","language":[{"iso":"ger"}],"user_id":"477"},{"project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Subprojekt B4","_id":"12"},{"_id":"3","name":"SFB 901 - Project Area B"}],"file_date_updated":"2018-03-21T09:45:15Z","citation":{"bibtex":"@inproceedings{Jakobs_2015, series={LNCS}, title={Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-22969-0_12\">10.1007/978-3-319-22969-0_12</a>}, 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} }","ama":"Jakobs M-C. Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning. In: <i>Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM)</i>. LNCS. ; 2015:159--174. doi:<a href=\"https://doi.org/10.1007/978-3-319-22969-0_12\">10.1007/978-3-319-22969-0_12</a>","short":"M.-C. Jakobs, in: Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM), 2015, pp. 159--174.","chicago":"Jakobs, Marie-Christine. “Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning.” In <i>Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM)</i>, 159--174. LNCS, 2015. <a href=\"https://doi.org/10.1007/978-3-319-22969-0_12\">https://doi.org/10.1007/978-3-319-22969-0_12</a>.","ieee":"M.-C. Jakobs, “Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning,” in <i>Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM)</i>, 2015, pp. 159--174.","mla":"Jakobs, Marie-Christine. “Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning.” <i>Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM)</i>, 2015, pp. 159--174, doi:<a href=\"https://doi.org/10.1007/978-3-319-22969-0_12\">10.1007/978-3-319-22969-0_12</a>.","apa":"Jakobs, M.-C. (2015). Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning. In <i>Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM)</i> (pp. 159--174). <a href=\"https://doi.org/10.1007/978-3-319-22969-0_12\">https://doi.org/10.1007/978-3-319-22969-0_12</a>"},"user_id":"477","ddc":["040"],"page":"159--174","_id":"250","has_accepted_license":"1","status":"public","type":"conference","department":[{"_id":"77"}],"file":[{"date_created":"2018-03-21T09:45:15Z","creator":"florida","file_id":"1489","success":1,"content_type":"application/pdf","relation":"main_file","date_updated":"2018-03-21T09:45:15Z","file_name":"250-Jakobs2015.pdf","access_level":"closed","file_size":724308}],"date_created":"2017-10-17T12:41:40Z","abstract":[{"lang":"eng","text":"Before execution, users should formally validate the correctness of software received from untrusted providers. To accelerate this validation, in the proof carrying code (PCC) paradigm the provider delivers the software together with a certificate, a formal proof of the software’s correctness. Thus, the user only checks if the attached certificate shows correctness of the delivered software.Recently, we introduced configurable program certification, a generic, PCC based framework supporting various software analyses and safety properties. Evaluation of our framework revealed that validation suffers from certificate reading. In this paper, we present two orthogonal approaches which improve certificate validation, both reducing the impact of certificate reading. The first approach reduces the certificate size, storing information only if it cannot easily be recomputed. The second approach partitions the certificate into independently checkable parts. The trick is to read parts of the certificate while already checking read parts. Our experiments show that validation highly benefits from our improvements."}],"publication":"Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM)","doi":"10.1007/978-3-319-22969-0_12","series_title":"LNCS","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:56:43Z","year":"2015","title":"Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning","author":[{"full_name":"Jakobs, Marie-Christine","last_name":"Jakobs","first_name":"Marie-Christine"}]},{"citation":{"apa":"Arifulina, S., Platenius, M. C., Mohr, F., Engels, G., &#38; Schäfer, W. (2015). Market-Specific Service Compositions: Specification and Matching. In <i>Proceedings of the IEEE 11th World Congress on Services (SERVICES), Visionary Track: Service Composition for the Future Internet</i> (pp. 333--340). <a href=\"https://doi.org/10.1109/SERVICES.2015.58\">https://doi.org/10.1109/SERVICES.2015.58</a>","ieee":"S. Arifulina, M. C. Platenius, F. Mohr, G. Engels, and W. Schäfer, “Market-Specific Service Compositions: Specification and Matching,” in <i>Proceedings of the IEEE 11th World Congress on Services (SERVICES), Visionary Track: Service Composition for the Future Internet</i>, 2015, pp. 333--340.","short":"S. Arifulina, M.C. Platenius, F. Mohr, G. Engels, W. Schäfer, in: Proceedings of the IEEE 11th World Congress on Services (SERVICES), Visionary Track: Service Composition for the Future Internet, 2015, pp. 333--340.","chicago":"Arifulina, Svetlana, Marie Christin Platenius, Felix Mohr, Gregor Engels, and Wilhelm Schäfer. “Market-Specific Service Compositions: Specification and Matching.” In <i>Proceedings of the IEEE 11th World Congress on Services (SERVICES), Visionary Track: Service Composition for the Future Internet</i>, 333--340, 2015. <a href=\"https://doi.org/10.1109/SERVICES.2015.58\">https://doi.org/10.1109/SERVICES.2015.58</a>.","mla":"Arifulina, Svetlana, et al. “Market-Specific Service Compositions: Specification and Matching.” <i>Proceedings of the IEEE 11th World Congress on Services (SERVICES), Visionary Track: Service Composition for the Future Internet</i>, 2015, pp. 333--340, doi:<a href=\"https://doi.org/10.1109/SERVICES.2015.58\">10.1109/SERVICES.2015.58</a>.","ama":"Arifulina S, Platenius MC, Mohr F, Engels G, Schäfer W. Market-Specific Service Compositions: Specification and Matching. In: <i>Proceedings of the IEEE 11th World Congress on Services (SERVICES), Visionary Track: Service Composition for the Future Internet</i>. ; 2015:333--340. doi:<a href=\"https://doi.org/10.1109/SERVICES.2015.58\">10.1109/SERVICES.2015.58</a>","bibtex":"@inproceedings{Arifulina_Platenius_Mohr_Engels_Schäfer_2015, title={Market-Specific Service Compositions: Specification and Matching}, DOI={<a href=\"https://doi.org/10.1109/SERVICES.2015.58\">10.1109/SERVICES.2015.58</a>}, 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} }"},"file_date_updated":"2018-03-21T09:26:04Z","project":[{"_id":"1","name":"SFB 901"},{"_id":"9","name":"SFB 901 - Subprojekt B1"},{"_id":"10","name":"SFB 901 - Subproject B2"},{"_id":"3","name":"SFB 901 - Project Area B"}],"status":"public","has_accepted_license":"1","_id":"280","page":"333--340","ddc":["040"],"user_id":"477","publication":"Proceedings of the IEEE 11th World Congress on Services (SERVICES), Visionary Track: Service Composition for the Future Internet","abstract":[{"lang":"eng","text":"The Collaborative Research Centre \"On-The-Fly Computing\" works on foundations and principles for the vision of the Future Internet. It proposes the paradigm of On-The-Fly Computing, which tackles emerging worldwide service markets. In these markets, service providers trade software, platform, and infrastructure as a service. Service requesters state requirements on services. To satisfy these requirements, the new role of brokers, who are (human) actors building service compositions on the fly, is introduced. Brokers have to specify service compositions formally and comprehensively using a domain-specific language (DSL), and to use service matching for the discovery of the constituent services available in the market. The broker's choice of the DSL and matching approaches influences her success of building compositions as distinctive properties of different service markets play a significant role. In this paper, we propose a new approach of engineering a situation-specific DSL by customizing a comprehensive, modular DSL and its matching for given service market properties. This enables the broker to create market-specific composition specifications and to perform market-specific service matching. As a result, the broker builds service compositions satisfying the requester's requirements more accurately. We evaluated the presented concepts using case studies in service markets for tourism and university management."}],"date_created":"2017-10-17T12:41:46Z","file":[{"date_created":"2018-03-21T09:26:04Z","creator":"florida","file_id":"1470","content_type":"application/pdf","success":1,"file_name":"280-07196546.pdf","access_level":"closed","file_size":234260,"relation":"main_file","date_updated":"2018-03-21T09:26:04Z"}],"department":[{"_id":"66"},{"_id":"76"},{"_id":"355"}],"type":"conference","author":[{"full_name":"Arifulina, Svetlana","last_name":"Arifulina","first_name":"Svetlana"},{"full_name":"Platenius, Marie Christin","first_name":"Marie Christin","last_name":"Platenius"},{"first_name":"Felix","last_name":"Mohr","full_name":"Mohr, Felix"},{"full_name":"Engels, Gregor","first_name":"Gregor","last_name":"Engels","id":"107"},{"first_name":"Wilhelm","last_name":"Schäfer","full_name":"Schäfer, Wilhelm"}],"year":"2015","title":"Market-Specific Service Compositions: Specification and Matching","date_updated":"2022-01-06T06:57:49Z","language":[{"iso":"eng"}],"doi":"10.1109/SERVICES.2015.58"},{"citation":{"chicago":"Czech, Mike, Marie-Christine Jakobs, and Heike Wehrheim. “Just Test What You Cannot Verify!” In <i>Fundamental Approaches to Software Engineering</i>, edited by Alexander Egyed and Ina Schaefer, 100–114. Lecture Notes in Computer Science, 2015. <a href=\"https://doi.org/10.1007/978-3-662-46675-9_7\">https://doi.org/10.1007/978-3-662-46675-9_7</a>.","short":"M. Czech, M.-C. Jakobs, H. Wehrheim, in: A. Egyed, I. Schaefer (Eds.), Fundamental Approaches to Software Engineering, 2015, pp. 100–114.","ieee":"M. Czech, M.-C. Jakobs, and H. Wehrheim, “Just test what you cannot verify!,” in <i>Fundamental Approaches to Software Engineering</i>, 2015, pp. 100–114.","apa":"Czech, M., Jakobs, M.-C., &#38; Wehrheim, H. (2015). Just test what you cannot verify! In A. Egyed &#38; I. Schaefer (Eds.), <i>Fundamental Approaches to Software Engineering</i> (pp. 100–114). <a href=\"https://doi.org/10.1007/978-3-662-46675-9_7\">https://doi.org/10.1007/978-3-662-46675-9_7</a>","bibtex":"@inproceedings{Czech_Jakobs_Wehrheim_2015, series={Lecture Notes in Computer Science}, title={Just test what you cannot verify!}, DOI={<a href=\"https://doi.org/10.1007/978-3-662-46675-9_7\">10.1007/978-3-662-46675-9_7</a>}, 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} }","ama":"Czech M, Jakobs M-C, Wehrheim H. Just test what you cannot verify! In: Egyed A, Schaefer I, eds. <i>Fundamental Approaches to Software Engineering</i>. Lecture Notes in Computer Science. ; 2015:100-114. doi:<a href=\"https://doi.org/10.1007/978-3-662-46675-9_7\">10.1007/978-3-662-46675-9_7</a>","mla":"Czech, Mike, et al. “Just Test What You Cannot Verify!” <i>Fundamental Approaches to Software Engineering</i>, edited by Alexander Egyed and Ina Schaefer, 2015, pp. 100–14, doi:<a href=\"https://doi.org/10.1007/978-3-662-46675-9_7\">10.1007/978-3-662-46675-9_7</a>."},"file_date_updated":"2018-03-21T09:25:36Z","project":[{"name":"SFB 901","_id":"1"},{"_id":"12","name":"SFB 901 - Subprojekt B4"},{"_id":"3","name":"SFB 901 - Project Area B"}],"status":"public","has_accepted_license":"1","_id":"283","page":"100-114","editor":[{"last_name":"Egyed","first_name":"Alexander","full_name":"Egyed, Alexander"},{"first_name":"Ina","last_name":"Schaefer","full_name":"Schaefer, Ina"}],"user_id":"477","ddc":["040"],"publication":"Fundamental Approaches to Software Engineering","abstract":[{"lang":"eng","text":"Today, software verification is an established analysis method which can provide high guarantees for software safety. However, the resources (time and/or memory) for an exhaustive verification are not always available, and analysis then has to resort to other techniques, like testing. Most often, the already achieved partial verification results arediscarded in this case, and testing has to start from scratch.In this paper, we propose a method for combining verification and testing in which testing only needs to check the residual fraction of an uncompleted verification. To this end, the partial results of a verification run are used to construct a residual program (and residual assertions to be checked on it). The residual program can afterwards be fed into standardtesting tools. The proposed technique is sound modulo the soundness of the testing procedure. Experimental results show that this combinedusage of verification and testing can significantly reduce the effort for the subsequent testing."}],"date_created":"2017-10-17T12:41:47Z","file":[{"creator":"florida","date_created":"2018-03-21T09:25:36Z","access_level":"closed","file_size":391253,"file_name":"283-FASEsubmission38_01.pdf","date_updated":"2018-03-21T09:25:36Z","relation":"main_file","success":1,"content_type":"application/pdf","file_id":"1469"}],"department":[{"_id":"77"}],"type":"conference","author":[{"last_name":"Czech","first_name":"Mike","full_name":"Czech, Mike"},{"last_name":"Jakobs","first_name":"Marie-Christine","full_name":"Jakobs, Marie-Christine"},{"full_name":"Wehrheim, Heike","first_name":"Heike","last_name":"Wehrheim","id":"573"}],"title":"Just test what you cannot verify!","year":"2015","date_updated":"2022-01-06T06:58:00Z","series_title":"Lecture Notes in Computer Science","language":[{"iso":"eng"}],"doi":"10.1007/978-3-662-46675-9_7"},{"status":"public","has_accepted_license":"1","page":"1-9 ","_id":"285","ddc":["040"],"user_id":"477","file_date_updated":"2018-03-21T09:23:45Z","citation":{"bibtex":"@inproceedings{Isenberg_2015, title={Incremental Inductive Verification of Parameterized Timed Systems}, DOI={<a href=\"https://doi.org/10.1109/ACSD.2015.13\">10.1109/ACSD.2015.13</a>}, booktitle={Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD)}, author={Isenberg, Tobias}, year={2015}, pages={1–9} }","ama":"Isenberg T. Incremental Inductive Verification of Parameterized Timed Systems. In: <i>Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD)</i>. ; 2015:1-9. doi:<a href=\"https://doi.org/10.1109/ACSD.2015.13\">10.1109/ACSD.2015.13</a>","mla":"Isenberg, Tobias. “Incremental Inductive Verification of Parameterized Timed Systems.” <i>Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD)</i>, 2015, pp. 1–9, doi:<a href=\"https://doi.org/10.1109/ACSD.2015.13\">10.1109/ACSD.2015.13</a>.","chicago":"Isenberg, Tobias. “Incremental Inductive Verification of Parameterized Timed Systems.” In <i>Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD)</i>, 1–9, 2015. <a href=\"https://doi.org/10.1109/ACSD.2015.13\">https://doi.org/10.1109/ACSD.2015.13</a>.","short":"T. Isenberg, in: Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD), 2015, pp. 1–9.","ieee":"T. Isenberg, “Incremental Inductive Verification of Parameterized Timed Systems,” in <i>Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD)</i>, 2015, pp. 1–9.","apa":"Isenberg, T. (2015). Incremental Inductive Verification of Parameterized Timed Systems. In <i>Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD)</i> (pp. 1–9). <a href=\"https://doi.org/10.1109/ACSD.2015.13\">https://doi.org/10.1109/ACSD.2015.13</a>"},"project":[{"name":"SFB 901","_id":"1"},{"_id":"12","name":"SFB 901 - Subprojekt B4"},{"name":"SFB 901 - Project Area B","_id":"3"}],"title":"Incremental Inductive Verification of Parameterized Timed Systems","year":"2015","author":[{"full_name":"Isenberg, Tobias","last_name":"Isenberg","first_name":"Tobias"}],"date_updated":"2022-01-06T06:58:07Z","language":[{"iso":"eng"}],"doi":"10.1109/ACSD.2015.13","publication":"Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD)","abstract":[{"text":"We propose an incremental workflow for the verification of parameterized systems modeled as symmetric networks of timed automata. Starting with a small number of timed automata in the network, a safety property is verified using IC3, a state-of-the-art algorithm based on induction.The result of the verification, an inductive strengthening, is reused proposing a candidate inductive strengthening for a larger network.If the candidate is valid, our main theorem states that the safety property holds for all sizes of the network of timed automata. Otherwise the number of automata is increased and the next iteration is started with a new run of IC3.We propose and thoroughly examine optimizations to our workflow, e.g. Feedback mechanisms to speed up the run of IC3.","lang":"eng"}],"file":[{"relation":"main_file","date_updated":"2018-03-21T09:23:45Z","file_name":"285-07352419.pdf","file_size":479808,"access_level":"closed","file_id":"1466","content_type":"application/pdf","success":1,"creator":"florida","date_created":"2018-03-21T09:23:45Z"}],"date_created":"2017-10-17T12:41:47Z","type":"conference","department":[{"_id":"77"}]}]