[{"status":"public","title":"A Plan for Ancillary Copyright: Original Snippets.","year":"2018","author":[{"full_name":"Potthast, Martin","first_name":"Martin","last_name":"Potthast"},{"full_name":"Chen, Wei-Fan","last_name":"Chen","first_name":"Wei-Fan","id":"82920"},{"full_name":"Hagen, Matthias","first_name":"Matthias","last_name":"Hagen"},{"full_name":"Stein, Benno","first_name":"Benno","last_name":"Stein"}],"date_updated":"2022-05-09T15:05:42Z","main_file_link":[{"url":"https://webis.de/downloads/publications/papers/stein_2018b.pdf"}],"page":"3-5","_id":"14885","language":[{"iso":"eng"}],"user_id":"82920","publication":"Proceedings of the Second International Workshop on Recent Trends in News Information Retrieval","citation":{"apa":"Potthast, M., Chen, W.-F., Hagen, M., &#38; Stein, B. (2018). A Plan for Ancillary Copyright: Original Snippets. <i>Proceedings of the Second International Workshop on Recent Trends in News Information Retrieval</i>, 3–5.","ieee":"M. Potthast, W.-F. Chen, M. Hagen, and B. Stein, “A Plan for Ancillary Copyright: Original Snippets.,” in <i>Proceedings of the Second International Workshop on Recent Trends in News Information Retrieval</i>, 2018, pp. 3–5.","short":"M. Potthast, W.-F. Chen, M. Hagen, B. Stein, in: Proceedings of the Second International Workshop on Recent Trends in News Information Retrieval, 2018, pp. 3–5.","chicago":"Potthast, Martin, Wei-Fan Chen, Matthias Hagen, and Benno Stein. “A Plan for Ancillary Copyright: Original Snippets.” In <i>Proceedings of the Second International Workshop on Recent Trends in News Information Retrieval</i>, 3–5, 2018.","mla":"Potthast, Martin, et al. “A Plan for Ancillary Copyright: Original Snippets.” <i>Proceedings of the Second International Workshop on Recent Trends in News Information Retrieval</i>, 2018, pp. 3–5.","ama":"Potthast M, Chen W-F, Hagen M, Stein B. A Plan for Ancillary Copyright: Original Snippets. In: <i>Proceedings of the Second International Workshop on Recent Trends in News Information Retrieval</i>. ; 2018:3-5.","bibtex":"@inproceedings{Potthast_Chen_Hagen_Stein_2018, title={A Plan for Ancillary Copyright: Original Snippets.}, booktitle={Proceedings of the Second International Workshop on Recent Trends in News Information Retrieval}, author={Potthast, Martin and Chen, Wei-Fan and Hagen, Matthias and Stein, Benno}, year={2018}, pages={3–5} }"},"project":[{"name":"SFB 901: SFB 901","_id":"1"},{"_id":"3","name":"SFB 901 - B: SFB 901 - Project Area B"},{"_id":"9","name":"SFB 901 - B1: SFB 901 - Subproject B1"}],"date_created":"2019-11-11T12:32:01Z","type":"conference","department":[{"_id":"600"}]},{"user_id":"15504","ddc":["000"],"doi":"10.5445/KSP/1000074341","publisher":"KIT Scientific Publishing","_id":"3325","language":[{"iso":"eng"}],"has_accepted_license":"1","date_updated":"2022-01-06T06:59:10Z","author":[{"full_name":"Melnikov, Vitalik","last_name":"Melnikov","first_name":"Vitalik"},{"full_name":"Hüllermeier, Eyke","first_name":"Eyke","last_name":"Hüllermeier","id":"48129"}],"title":"Optimizing the Structure of Nested Dichotomies: A Comparison of Two Heuristics","status":"public","year":"2017","department":[{"_id":"355"}],"type":"conference","date_created":"2018-06-25T08:14:49Z","file":[{"date_created":"2018-11-30T09:47:59Z","creator":"melnikov","file_id":"5987","success":1,"content_type":"application/pdf","relation":"main_file","date_updated":"2018-11-30T09:47:59Z","file_name":"main.pdf","file_size":1829552,"access_level":"closed"}],"project":[{"name":"SFB 901 - Subproject B3","_id":"11"},{"name":"SFB 901 - Project Area B","_id":"3"},{"name":"SFB 901","_id":"1"}],"citation":{"mla":"Melnikov, Vitalik, and Eyke Hüllermeier. “Optimizing the Structure of Nested Dichotomies: A Comparison of Two Heuristics.” <i>Proceedings. 27. Workshop Computational Intelligence, Dortmund, 23. - 24. November 2017</i>, KIT Scientific Publishing, 2017, doi:<a href=\"https://doi.org/10.5445/KSP/1000074341\">10.5445/KSP/1000074341</a>.","ama":"Melnikov V, Hüllermeier E. Optimizing the Structure of Nested Dichotomies: A Comparison of Two Heuristics. In: <i>Proceedings. 27. Workshop Computational Intelligence, Dortmund, 23. - 24. November 2017</i>. KIT Scientific Publishing; 2017. doi:<a href=\"https://doi.org/10.5445/KSP/1000074341\">10.5445/KSP/1000074341</a>","bibtex":"@inproceedings{Melnikov_Hüllermeier_2017, title={Optimizing the Structure of Nested Dichotomies: A Comparison of Two Heuristics}, DOI={<a href=\"https://doi.org/10.5445/KSP/1000074341\">10.5445/KSP/1000074341</a>}, booktitle={Proceedings. 27. Workshop Computational Intelligence, Dortmund, 23. - 24. November 2017}, publisher={KIT Scientific Publishing}, author={Melnikov, Vitalik and Hüllermeier, Eyke}, year={2017} }","apa":"Melnikov, V., &#38; Hüllermeier, E. (2017). Optimizing the Structure of Nested Dichotomies: A Comparison of Two Heuristics. In <i>Proceedings. 27. Workshop Computational Intelligence, Dortmund, 23. - 24. November 2017</i>. KIT Scientific Publishing. <a href=\"https://doi.org/10.5445/KSP/1000074341\">https://doi.org/10.5445/KSP/1000074341</a>","ieee":"V. Melnikov and E. Hüllermeier, “Optimizing the Structure of Nested Dichotomies: A Comparison of Two Heuristics,” in <i>Proceedings. 27. Workshop Computational Intelligence, Dortmund, 23. - 24. November 2017</i>, 2017.","short":"V. Melnikov, E. Hüllermeier, in: Proceedings. 27. Workshop Computational Intelligence, Dortmund, 23. - 24. November 2017, KIT Scientific Publishing, 2017.","chicago":"Melnikov, Vitalik, and Eyke Hüllermeier. “Optimizing the Structure of Nested Dichotomies: A Comparison of Two Heuristics.” In <i>Proceedings. 27. Workshop Computational Intelligence, Dortmund, 23. - 24. November 2017</i>. KIT Scientific Publishing, 2017. <a href=\"https://doi.org/10.5445/KSP/1000074341\">https://doi.org/10.5445/KSP/1000074341</a>."},"file_date_updated":"2018-11-30T09:47:59Z","publication":"Proceedings. 27. Workshop Computational Intelligence, Dortmund, 23. - 24. November 2017"},{"_id":"3512","publisher":"Universität Paderborn","language":[{"iso":"eng"}],"user_id":"477","author":[{"full_name":"Börding, Paul","last_name":"Börding","first_name":"Paul"}],"status":"public","year":"2017","title":"Testing Java Method Contracts","date_updated":"2022-01-06T06:59:21Z","date_created":"2018-07-09T09:32:41Z","department":[{"_id":"7"},{"_id":"77"}],"type":"mastersthesis","citation":{"ieee":"P. Börding, <i>Testing Java Method Contracts</i>. Universität Paderborn, 2017.","apa":"Börding, P. (2017). <i>Testing Java Method Contracts</i>. Universität Paderborn.","short":"P. Börding, Testing Java Method Contracts, Universität Paderborn, 2017.","chicago":"Börding, Paul. <i>Testing Java Method Contracts</i>. Universität Paderborn, 2017.","mla":"Börding, Paul. <i>Testing Java Method Contracts</i>. Universität Paderborn, 2017.","bibtex":"@book{Börding_2017, title={Testing Java Method Contracts}, publisher={Universität Paderborn}, author={Börding, Paul}, year={2017} }","ama":"Börding P. <i>Testing Java Method Contracts</i>. Universität Paderborn; 2017."},"supervisor":[{"last_name":"Wehrheim","first_name":"Heike","full_name":"Wehrheim, Heike","id":"573"}],"project":[{"name":"SFB 901","_id":"1"},{"_id":"3","name":"SFB 901 - Project Area B"},{"_id":"11","name":"SFB 901 - Subproject B3"}]},{"date_created":"2018-07-20T13:44:34Z","type":"bachelorsthesis","department":[{"_id":"78"},{"_id":"34"},{"_id":"7"}],"citation":{"mla":"Hansmeier, Tim. <i>An FPGA Accelerator for Checking Resolution Proofs</i>. Universität Paderborn, 2017.","ama":"Hansmeier T. <i>An FPGA Accelerator for Checking Resolution Proofs</i>. Universität Paderborn; 2017.","bibtex":"@book{Hansmeier_2017, title={An FPGA Accelerator for Checking Resolution Proofs}, publisher={Universität Paderborn}, author={Hansmeier, Tim}, year={2017} }","apa":"Hansmeier, T. (2017). <i>An FPGA Accelerator for Checking Resolution Proofs</i>. Universität Paderborn.","ieee":"T. Hansmeier, <i>An FPGA Accelerator for Checking Resolution Proofs</i>. Universität Paderborn, 2017.","short":"T. Hansmeier, An FPGA Accelerator for Checking Resolution Proofs, Universität Paderborn, 2017.","chicago":"Hansmeier, Tim. <i>An FPGA Accelerator for Checking Resolution Proofs</i>. Universität Paderborn, 2017."},"supervisor":[{"id":"398","full_name":"Platzner, Marco","last_name":"Platzner","first_name":"Marco"}],"project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Project Area B","_id":"3"},{"name":"SFB 901 - Subproject B4","_id":"12"}],"language":[{"iso":"eng"}],"_id":"3580","publisher":"Universität Paderborn","user_id":"3118","title":"An FPGA Accelerator for Checking Resolution Proofs","year":"2017","status":"public","author":[{"first_name":"Tim","last_name":"Hansmeier","orcid":"0000-0003-1377-3339","full_name":"Hansmeier, Tim","id":"49992"}],"date_updated":"2022-01-06T06:59:25Z"},{"series_title":"Lecture Notes in Computer Science","language":[{"iso":"eng"}],"doi":"10.1007/978-3-319-57288-8_28","author":[{"full_name":"Jakobs, Marie-Christine","first_name":"Marie-Christine","last_name":"Jakobs"},{"id":"573","last_name":"Wehrheim","first_name":"Heike","full_name":"Wehrheim, Heike"}],"title":"Compact Proof Witnesses","year":"2017","date_updated":"2022-01-06T06:51:00Z","date_created":"2017-10-17T12:41:13Z","file":[{"date_created":"2018-03-21T13:05:02Z","creator":"florida","file_id":"1565","success":1,"content_type":"application/pdf","relation":"main_file","date_updated":"2018-03-21T13:05:02Z","file_name":"114-chp_3A10.1007_2F978-3-319-57288-8_28.pdf","file_size":492800,"access_level":"closed"}],"department":[{"_id":"77"}],"type":"conference","publication":"NASA Formal Methods: 9th International Symposium","abstract":[{"lang":"eng","text":"Proof witnesses are proof artifacts showing correctness of programs wrt. safety properties. The recent past has seen a rising interest in witnesses as (a) proofs in a proof-carrying-code context, (b) certificates for the correct functioning of verification tools, or simply (c) exchange formats for (partial) verification results. As witnesses in all theses scenarios need to be stored and processed, witnesses are required to be as small as possible. However, software verification tools – the prime suppliers of witnesses – do not necessarily construct small witnesses. In this paper, we present a formal account of proof witnesses. We introduce the concept of weakenings, reducing the complexity of proof witnesses while preserving the ability of witnessing safety. We develop aweakening technique for a specific class of program analyses, and prove it to be sound. Finally, we experimentally demonstrate our weakening technique to indeed achieve a size reduction of proof witnesses."}],"_id":"114","page":"389-403","editor":[{"full_name":"Barrett, Clark","first_name":"Clark","last_name":"Barrett"},{"full_name":"Davies, Misty","last_name":"Davies","first_name":"Misty"},{"full_name":"Kahsai, Temesghen","first_name":"Temesghen","last_name":"Kahsai"}],"ddc":["040"],"user_id":"477","status":"public","has_accepted_license":"1","citation":{"short":"M.-C. Jakobs, H. Wehrheim, in: C. Barrett, M. Davies, T. Kahsai (Eds.), NASA Formal Methods: 9th International Symposium, 2017, pp. 389–403.","chicago":"Jakobs, Marie-Christine, and Heike Wehrheim. “Compact Proof Witnesses.” In <i>NASA Formal Methods: 9th International Symposium</i>, edited by Clark Barrett, Misty Davies, and Temesghen Kahsai, 389–403. Lecture Notes in Computer Science, 2017. <a href=\"https://doi.org/10.1007/978-3-319-57288-8_28\">https://doi.org/10.1007/978-3-319-57288-8_28</a>.","ieee":"M.-C. Jakobs and H. Wehrheim, “Compact Proof Witnesses,” in <i>NASA Formal Methods: 9th International Symposium</i>, 2017, pp. 389–403.","apa":"Jakobs, M.-C., &#38; Wehrheim, H. (2017). Compact Proof Witnesses. In C. Barrett, M. Davies, &#38; T. Kahsai (Eds.), <i>NASA Formal Methods: 9th International Symposium</i> (pp. 389–403). <a href=\"https://doi.org/10.1007/978-3-319-57288-8_28\">https://doi.org/10.1007/978-3-319-57288-8_28</a>","bibtex":"@inproceedings{Jakobs_Wehrheim_2017, series={Lecture Notes in Computer Science}, title={Compact Proof Witnesses}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-57288-8_28\">10.1007/978-3-319-57288-8_28</a>}, 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} }","ama":"Jakobs M-C, Wehrheim H. Compact Proof Witnesses. In: Barrett C, Davies M, Kahsai T, eds. <i>NASA Formal Methods: 9th International Symposium</i>. Lecture Notes in Computer Science. ; 2017:389-403. doi:<a href=\"https://doi.org/10.1007/978-3-319-57288-8_28\">10.1007/978-3-319-57288-8_28</a>","mla":"Jakobs, Marie-Christine, and Heike Wehrheim. “Compact Proof Witnesses.” <i>NASA Formal Methods: 9th International Symposium</i>, edited by Clark Barrett et al., 2017, pp. 389–403, doi:<a href=\"https://doi.org/10.1007/978-3-319-57288-8_28\">10.1007/978-3-319-57288-8_28</a>."},"file_date_updated":"2018-03-21T13:05:02Z","project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Subprojekt B4","_id":"12"},{"_id":"3","name":"SFB 901 - Project Area B"}]},{"date_updated":"2022-01-06T06:51:02Z","author":[{"full_name":"Jakobs, Marie-Christine","first_name":"Marie-Christine","last_name":"Jakobs"},{"full_name":"Krämer, Julia","last_name":"Krämer","first_name":"Julia"},{"id":"10311","first_name":"Dirk","last_name":"van Straaten","full_name":"van Straaten, Dirk"},{"id":"315","orcid":"0000-0001-5859-2457","first_name":"Theodor","last_name":"Lettmann","full_name":"Lettmann, Theodor"}],"title":"Certification Matters for Service Markets","year":"2017","language":[{"iso":"eng"}],"abstract":[{"lang":"eng","text":"Whenever customers have to decide between different instances of the same product, they are interested in buying the best product. In contrast, companies are interested in reducing the construction effort (and usually as a consequence thereof, the quality) to gain profit. The described setting is widely known as opposed preferences in quality of the product and also applies to the context of service-oriented computing. In general, service-oriented computing emphasizes the construction of large software systems out of existing services, where services are small and self-contained pieces of software that adhere to a specified interface. Several implementations of the same interface are considered as several instances of the same service. Thereby, customers are interested in buying the best service implementation for their service composition wrt. to metrics, such as costs, energy, memory consumption, or execution time. One way to ensure the service quality is to employ certificates, which can come in different kinds: Technical certificates proving correctness can be automatically constructed by the service provider and again be automatically checked by the user. Digital certificates allow proof of the integrity of a product. Other certificates might be rolled out if service providers follow a good software construction principle, which is checked in annual audits. Whereas all of these certificates are handled differently in service markets, what they have in common is that they influence the buying decisions of customers. In this paper, we review state-of-the-art developments in certification with respect to service-oriented computing. We not only discuss how certificates are constructed and handled in service-oriented computing but also review the effects of certificates on the market from an economic perspective."}],"publication":"The Ninth International Conferences on Advanced Service Computing (SERVICE COMPUTATION)","department":[{"_id":"77"},{"_id":"355"},{"_id":"179"}],"type":"conference","date_created":"2017-10-17T12:41:14Z","file":[{"success":1,"content_type":"application/pdf","file_id":"1564","date_updated":"2018-03-21T13:04:12Z","relation":"main_file","file_size":133531,"access_level":"closed","file_name":"115-JakobsKraemerVanStraatenLettmann2017.pdf","date_created":"2018-03-21T13:04:12Z","creator":"florida"}],"has_accepted_license":"1","status":"public","editor":[{"first_name":"Thomas Prinz","last_name":"Marcelo De Barros, Janusz Klink,Tadeus Uhl","full_name":"Marcelo De Barros, Janusz Klink,Tadeus Uhl, Thomas Prinz"}],"user_id":"477","ddc":["040"],"_id":"115","page":"7-12","project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subprojekt B2","_id":"10"},{"name":"SFB 901 - Subproject B3","_id":"11"},{"name":"SFB 901 - Subproject B4","_id":"12"},{"_id":"8","name":"SFB 901 - Subproject A4"},{"_id":"2","name":"SFB 901 - Project Area A"},{"name":"SFB 901 - Project Area B","_id":"3"}],"citation":{"bibtex":"@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} }","ama":"Jakobs M-C, Krämer J, van Straaten D, Lettmann T. Certification Matters for Service Markets. In: Marcelo De Barros, Janusz Klink,Tadeus Uhl TP, ed. <i>The Ninth International Conferences on Advanced Service Computing (SERVICE COMPUTATION)</i>. ; 2017:7-12.","mla":"Jakobs, Marie-Christine, et al. “Certification Matters for Service Markets.” <i>The Ninth International Conferences on Advanced Service Computing (SERVICE COMPUTATION)</i>, edited by Thomas Prinz Marcelo De Barros, Janusz Klink,Tadeus Uhl, 2017, pp. 7–12.","short":"M.-C. Jakobs, J. Krämer, D. van Straaten, T. Lettmann, in: T.P. Marcelo De Barros, Janusz Klink,Tadeus Uhl (Ed.), The Ninth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), 2017, pp. 7–12.","chicago":"Jakobs, Marie-Christine, Julia Krämer, Dirk van Straaten, and Theodor Lettmann. “Certification Matters for Service Markets.” In <i>The Ninth International Conferences on Advanced Service Computing (SERVICE COMPUTATION)</i>, edited by Thomas Prinz Marcelo De Barros, Janusz Klink,Tadeus Uhl, 7–12, 2017.","ieee":"M.-C. Jakobs, J. Krämer, D. van Straaten, and T. Lettmann, “Certification Matters for Service Markets,” in <i>The Ninth International Conferences on Advanced Service Computing (SERVICE COMPUTATION)</i>, 2017, pp. 7–12.","apa":"Jakobs, M.-C., Krämer, J., van Straaten, D., &#38; Lettmann, T. (2017). Certification Matters for Service Markets. In T. P. Marcelo De Barros, Janusz Klink,Tadeus Uhl (Ed.), <i>The Ninth International Conferences on Advanced Service Computing (SERVICE COMPUTATION)</i> (pp. 7–12)."},"file_date_updated":"2018-03-21T13:04:12Z"},{"citation":{"chicago":"Witschen, Linus Matthias. <i>A Framework for the Synthesis of Approximate Circuits</i>. Universität Paderborn, 2017.","short":"L.M. Witschen, A Framework for the Synthesis of Approximate Circuits, Universität Paderborn, 2017.","apa":"Witschen, L. M. (2017). <i>A Framework for the Synthesis of Approximate Circuits</i>. Universität Paderborn.","ieee":"L. M. Witschen, <i>A Framework for the Synthesis of Approximate Circuits</i>. Universität Paderborn, 2017.","ama":"Witschen LM. <i>A Framework for the Synthesis of Approximate Circuits</i>. Universität Paderborn; 2017.","bibtex":"@book{Witschen_2017, title={A Framework for the Synthesis of Approximate Circuits}, publisher={Universität Paderborn}, author={Witschen, Linus Matthias}, year={2017} }","mla":"Witschen, Linus Matthias. <i>A Framework for the Synthesis of Approximate Circuits</i>. Universität Paderborn, 2017."},"supervisor":[{"id":"398","first_name":"Marco","last_name":"Platzner","full_name":"Platzner, Marco"},{"id":"3118","full_name":"Wiersema, Tobias","last_name":"Wiersema","first_name":"Tobias"}],"project":[{"name":"SFB 901","_id":"1"},{"_id":"3","name":"SFB 901 - Project Area B"},{"_id":"12","name":"SFB 901 - Subproject B4"},{"name":"Computing Resources Provided by the Paderborn Center for Parallel Computing","_id":"52"}],"date_created":"2018-02-01T14:21:19Z","department":[{"_id":"78"},{"_id":"7"}],"type":"mastersthesis","author":[{"id":"49051","full_name":"Witschen, Linus Matthias","last_name":"Witschen","first_name":"Linus Matthias"}],"status":"public","year":"2017","title":"A Framework for the Synthesis of Approximate Circuits","date_updated":"2022-01-06T06:51:03Z","_id":"1157","language":[{"iso":"eng"}],"publisher":"Universität Paderborn","user_id":"477"},{"project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subprojekt B4","_id":"12"},{"name":"SFB 901 - Project Area B","_id":"3"}],"file_date_updated":"2018-03-21T13:13:04Z","citation":{"apa":"Isenberg, T. (2017). Incremental Inductive Verification of Parameterized Timed Systems. <i>ACM Transactions on Embedded Computing Systems</i>, (2), 47:1-47:24. <a href=\"https://doi.org/10.1145/2984640\">https://doi.org/10.1145/2984640</a>","ieee":"T. Isenberg, “Incremental Inductive Verification of Parameterized Timed Systems,” <i>ACM Transactions on Embedded Computing Systems</i>, no. 2, pp. 47:1-47:24, 2017.","short":"T. Isenberg, ACM Transactions on Embedded Computing Systems (2017) 47:1-47:24.","chicago":"Isenberg, Tobias. “Incremental Inductive Verification of Parameterized Timed Systems.” <i>ACM Transactions on Embedded Computing Systems</i>, no. 2 (2017): 47:1-47:24. <a href=\"https://doi.org/10.1145/2984640\">https://doi.org/10.1145/2984640</a>.","mla":"Isenberg, Tobias. “Incremental Inductive Verification of Parameterized Timed Systems.” <i>ACM Transactions on Embedded Computing Systems</i>, no. 2, ACM, 2017, pp. 47:1-47:24, doi:<a href=\"https://doi.org/10.1145/2984640\">10.1145/2984640</a>.","ama":"Isenberg T. Incremental Inductive Verification of Parameterized Timed Systems. <i>ACM Transactions on Embedded Computing Systems</i>. 2017;(2):47:1-47:24. doi:<a href=\"https://doi.org/10.1145/2984640\">10.1145/2984640</a>","bibtex":"@article{Isenberg_2017, title={Incremental Inductive Verification of Parameterized Timed Systems}, DOI={<a href=\"https://doi.org/10.1145/2984640\">10.1145/2984640</a>}, number={2}, journal={ACM Transactions on Embedded Computing Systems}, publisher={ACM}, author={Isenberg, Tobias}, year={2017}, pages={47:1-47:24} }"},"user_id":"477","ddc":["040"],"page":"47:1-47:24","_id":"90","publisher":"ACM","has_accepted_license":"1","status":"public","type":"journal_article","department":[{"_id":"77"}],"file":[{"creator":"florida","date_created":"2018-03-21T13:13:04Z","date_updated":"2018-03-21T13:13:04Z","relation":"main_file","access_level":"closed","file_size":584870,"file_name":"90-a47-isenberg.pdf","success":1,"content_type":"application/pdf","file_id":"1572"}],"date_created":"2017-10-17T12:41:09Z","abstract":[{"lang":"eng","text":"We propose and extend an approach for the verification of safety properties for parameterized timed systems modeled as networks of timed automata. For this task, we introduce an incremental workflow that is based on our algorithm IC3 with Zones. It proceeds in a cycle in which single models of the system are verified, and the verification results are employed for the reasoning about the entire system. Starting with the smallest instances, the verification of the safety property is carried out fast and efficient. On successful verification, the algorithm produces an inductive strengthening of the safety property. We reuse this result and try to reason about the entire parameterized timed system. To this end, we extrapolate the inductive strengthening into a candidate for the next-larger model. In case this candidate is a valid inductive strengthening for the next larger model, our main theorem reasons about all models of the parameterized timed system, stating that the safety property holds true for all models. Otherwise, the main cycle starts over with the verification of the next larger model. This workflow is iterated indefinitely, until able to reason about the entire parameterized timed system, until a counterexample trace is found, or until the single models become too large to be handled in the verification. We reuse the intermediate results in a Feedback-loop in order to accelerate the verification runs for the single models. Furthermore, we consider an extended formalism in comparison to our previous publications."}],"issue":"2","publication":"ACM Transactions on Embedded Computing Systems","doi":"10.1145/2984640","language":[{"iso":"eng"}],"date_updated":"2022-01-06T07:04:06Z","title":"Incremental Inductive Verification of Parameterized Timed Systems","year":"2017","author":[{"full_name":"Isenberg, Tobias","last_name":"Isenberg","first_name":"Tobias"}]},{"edition":"1","_id":"93","publisher":"Cambridge Scholars Publishing","page":"65-108","editor":[{"first_name":"Henning ","last_name":"Christiansen","full_name":"Christiansen, Henning "},{"first_name":"M. Dolores","last_name":"Jiménez-López","full_name":"Jiménez-López, M. Dolores"},{"last_name":"Loukanova","first_name":"Roussanka ","full_name":"Loukanova, Roussanka "},{"first_name":"Lawrence S.","last_name":"Moss","full_name":"Moss, Lawrence S."}],"user_id":"38837","ddc":["004"],"status":"public","has_accepted_license":"1","place":"Newcastle upon Tyne, UK","citation":{"mla":"Geierhos, Michaela, and Frederik Simon Bäumer. “Guesswork? Resolving Vagueness in User-Generated Software Requirements.” <i>Partiality and Underspecification in Information, Languages, and Knowledge</i>, edited by Henning  Christiansen et al., 1st ed., Cambridge Scholars Publishing, 2017, pp. 65–108.","apa":"Geierhos, M., &#38; Bäumer, F. S. (2017). Guesswork? Resolving Vagueness in User-Generated Software Requirements. In H. Christiansen, M. D. Jiménez-López, R. Loukanova, &#38; L. S. Moss (Eds.), <i>Partiality and Underspecification in Information, Languages, and Knowledge</i> (1st ed., pp. 65–108). Newcastle upon Tyne, UK: Cambridge Scholars Publishing.","ieee":"M. Geierhos and F. S. Bäumer, “Guesswork? Resolving Vagueness in User-Generated Software Requirements,” in <i>Partiality and Underspecification in Information, Languages, and Knowledge</i>, 1st ed., H. Christiansen, M. D. Jiménez-López, R. Loukanova, and L. S. Moss, Eds. Newcastle upon Tyne, UK: Cambridge Scholars Publishing, 2017, pp. 65–108.","chicago":"Geierhos, Michaela, and Frederik Simon Bäumer. “Guesswork? Resolving Vagueness in User-Generated Software Requirements.” In <i>Partiality and Underspecification in Information, Languages, and Knowledge</i>, edited by Henning  Christiansen, M. Dolores Jiménez-López, Roussanka  Loukanova, and Lawrence S. Moss, 1st ed., 65–108. Newcastle upon Tyne, UK: Cambridge Scholars Publishing, 2017.","short":"M. Geierhos, F.S. Bäumer, in: H. Christiansen, M.D. Jiménez-López, R. Loukanova, L.S. Moss (Eds.), Partiality and Underspecification in Information, Languages, and Knowledge, 1st ed., Cambridge Scholars Publishing, Newcastle upon Tyne, UK, 2017, pp. 65–108.","ama":"Geierhos M, Bäumer FS. Guesswork? Resolving Vagueness in User-Generated Software Requirements. In: Christiansen H, Jiménez-López MD, Loukanova R, Moss LS, eds. <i>Partiality and Underspecification in Information, Languages, and Knowledge</i>. 1st ed. Newcastle upon Tyne, UK: Cambridge Scholars Publishing; 2017:65-108.","bibtex":"@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} }"},"file_date_updated":"2019-01-11T11:43:23Z","project":[{"name":"SFB 901","_id":"1"},{"_id":"3","name":"SFB 901 - Project Area B"},{"_id":"9","name":"SFB 901 - Subproject B1"}],"quality_controlled":"1","language":[{"iso":"eng"}],"author":[{"id":"42496","full_name":"Geierhos, Michaela","first_name":"Michaela","last_name":"Geierhos","orcid":"0000-0002-8180-5606"},{"id":"38837","full_name":"Bäumer, Frederik Simon","last_name":"Bäumer","first_name":"Frederik Simon"}],"publication_identifier":{"isbn":["978-1- 4438-7947-7"]},"title":"Guesswork? Resolving Vagueness in User-Generated Software Requirements","year":"2017","publication_status":"published","date_updated":"2022-01-06T07:04:13Z","date_created":"2017-10-17T12:41:09Z","file":[{"file_id":"6625","content_type":"application/pdf","success":1,"file_name":"CSP_Chapter_GeierhosBaeumer.pdf","file_size":2888473,"access_level":"closed","relation":"main_file","date_updated":"2019-01-11T11:43:23Z","date_created":"2019-01-11T11:43:23Z","creator":"fbaeumer"}],"department":[{"_id":"36"},{"_id":"1"},{"_id":"579"}],"type":"book_chapter","publication":"Partiality and Underspecification in Information, Languages, and Knowledge","abstract":[{"text":"In recent years, there has been a proliferation of technological developments that incorporate processing of human language. Hardware and software can be specialized for designated subject areas, and computational devices are designed for a widening variety of applications. At the same time, new areas and applications are emerging by demanding intelligent technology enhanced by the processing of human language. These new applications often perform tasks which handle information, and they have a capacity to reason, using both formal and human language. Many sub-areas of Artificial Intelligence demand integration of Natural Language Processing, at least to some degree. Furthermore, technologies require coverage of known as well as unknown agents, and tasks with potential variations. All of this takes place in environments with unknown factors.\r\nThe book covers theoretical work, advanced applications, approaches, and techniques for computational models of information, reasoning systems, and presentation in language. The book promotes work on intelligent natural language processing and related models of information, thought, reasoning, and other cognitive processes. The topics covered by the chapters prompt further research and developments of advanced systems in the areas of logic, computability, computational linguistics, cognitive science, neuroscience of language, robotics, and artificial intelligence, among others.","lang":"eng"}]},{"citation":{"apa":"Schnitker, N. N. (2017). <i>Genetischer Algorithmus zur Erstellung von Ensembles von Nested Dichotomies</i>. Universität Paderborn.","ieee":"N. N. Schnitker, <i>Genetischer Algorithmus zur Erstellung von Ensembles von Nested Dichotomies</i>. Universität Paderborn, 2017.","chicago":"Schnitker, Nino Noel. <i>Genetischer Algorithmus zur Erstellung von Ensembles von Nested Dichotomies</i>. Universität Paderborn, 2017.","short":"N.N. Schnitker, Genetischer Algorithmus zur Erstellung von Ensembles von Nested Dichotomies, Universität Paderborn, 2017.","mla":"Schnitker, Nino Noel. <i>Genetischer Algorithmus zur Erstellung von Ensembles von Nested Dichotomies</i>. Universität Paderborn, 2017.","ama":"Schnitker NN. <i>Genetischer Algorithmus zur Erstellung von Ensembles von Nested Dichotomies</i>. Universität Paderborn; 2017.","bibtex":"@book{Schnitker_2017, title={Genetischer Algorithmus zur Erstellung von Ensembles von Nested Dichotomies}, publisher={Universität Paderborn}, author={Schnitker, Nino Noel}, year={2017} }"},"supervisor":[{"full_name":"Hüllermeier, Eyke","first_name":"Eyke","last_name":"Hüllermeier","id":"48129"}],"project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Project Area B","_id":"3"},{"_id":"10","name":"SFB 901 - Subproject B2"}],"date_created":"2018-11-15T08:10:48Z","department":[{"_id":"355"}],"type":"bachelorsthesis","author":[{"full_name":"Schnitker, Nino Noel","first_name":"Nino Noel","last_name":"Schnitker"}],"year":"2017","status":"public","title":"Genetischer Algorithmus zur Erstellung von Ensembles von Nested Dichotomies","date_updated":"2022-01-06T07:02:35Z","language":[{"iso":"ger"}],"_id":"5694","publisher":"Universität Paderborn","user_id":"477"},{"abstract":[{"text":"Users prefer natural language software requirements because of their usability and accessibility. Many approaches exist to elaborate these requirements and to support the users during the elicitation process. But there is a lack of adequate resources, which are needed to train and evaluate approaches for requirement refinement. We are trying to close this gap by using online available software descriptions from SourceForge and app stores. Thus, we present two real-life requirements collections based on online-available software descriptions. Our goal is to show the domain-specific characteristics of content words describing functional requirements. On the one hand, we created a semantic role-labeled requirements set, which we use for requirements classification. On the other hand, we enriched software descriptions with linguistic features and dependencies to provide evidence for the context-awareness of software functionalities. ","lang":"eng"}],"publication":"Proceedings of the 2nd ACM SIGSOFT International Workshop on App Market Analytics","department":[{"_id":"36"},{"_id":"1"},{"_id":"579"}],"type":"conference","date_created":"2017-10-17T12:41:02Z","file":[{"file_id":"5272","success":1,"content_type":"application/pdf","file_name":"fsews17wama-wamamainid5.pdf","file_size":1546837,"access_level":"closed","relation":"main_file","date_updated":"2018-11-02T14:27:00Z","date_created":"2018-11-02T14:27:00Z","creator":"ups"}],"date_updated":"2022-01-06T07:02:36Z","publication_status":"published","publication_identifier":{"isbn":["978-1-4503-5158-4"]},"author":[{"full_name":"Bäumer, Frederik Simon","first_name":"Frederik Simon","last_name":"Bäumer","id":"38837"},{"full_name":"Dollmann, Markus","last_name":"Dollmann","first_name":"Markus","id":"27578"},{"last_name":"Geierhos","first_name":"Michaela","orcid":"0000-0002-8180-5606","full_name":"Geierhos, Michaela","id":"42496"}],"year":"2017","title":"Studying Software Descriptions in SourceForge and App Stores for a better Understanding of real-life Requirements","doi":"10.1145/3121264.3121269","language":[{"iso":"eng"}],"project":[{"_id":"1","name":"SFB 901"},{"_id":"3","name":"SFB 901 - Project Area B"},{"_id":"9","name":"SFB 901 - Subproject B1"}],"quality_controlled":"1","citation":{"mla":"Bäumer, Frederik Simon, et al. “Studying Software Descriptions in SourceForge and App Stores for a Better Understanding of Real-Life Requirements.” <i>Proceedings of the 2nd ACM SIGSOFT International Workshop on App Market Analytics</i>, edited by Federica  Sarro et al., ACM, 2017, pp. 19–25, doi:<a href=\"https://doi.org/10.1145/3121264.3121269\">10.1145/3121264.3121269</a>.","apa":"Bäumer, F. S., Dollmann, M., &#38; Geierhos, M. (2017). Studying Software Descriptions in SourceForge and App Stores for a better Understanding of real-life Requirements. In F. Sarro, E. Shihab, M. Nagappan, M. C. Platenius, &#38; D. Kaimann (Eds.), <i>Proceedings of the 2nd ACM SIGSOFT International Workshop on App Market Analytics</i> (pp. 19–25). New York, NY, USA: ACM. <a href=\"https://doi.org/10.1145/3121264.3121269\">https://doi.org/10.1145/3121264.3121269</a>","ieee":"F. S. Bäumer, M. Dollmann, and M. Geierhos, “Studying Software Descriptions in SourceForge and App Stores for a better Understanding of real-life Requirements,” in <i>Proceedings of the 2nd ACM SIGSOFT International Workshop on App Market Analytics</i>, Paderborn, Germany, 2017, pp. 19–25.","chicago":"Bäumer, Frederik Simon, Markus Dollmann, and Michaela Geierhos. “Studying Software Descriptions in SourceForge and App Stores for a Better Understanding of Real-Life Requirements.” In <i>Proceedings of the 2nd ACM SIGSOFT International Workshop on App Market Analytics</i>, edited by Federica  Sarro, Emad  Shihab, Meiyappan  Nagappan, Marie Christin Platenius, and Daniel Kaimann, 19–25. New York, NY, USA: ACM, 2017. <a href=\"https://doi.org/10.1145/3121264.3121269\">https://doi.org/10.1145/3121264.3121269</a>.","short":"F.S. Bäumer, M. Dollmann, M. Geierhos, in: F. Sarro, E. Shihab, M. Nagappan, M.C. Platenius, D. Kaimann (Eds.), Proceedings of the 2nd ACM SIGSOFT International Workshop on App Market Analytics, ACM, New York, NY, USA, 2017, pp. 19–25.","ama":"Bäumer FS, Dollmann M, Geierhos M. Studying Software Descriptions in SourceForge and App Stores for a better Understanding of real-life Requirements. In: Sarro F, Shihab E, Nagappan M, Platenius MC, Kaimann D, eds. <i>Proceedings of the 2nd ACM SIGSOFT International Workshop on App Market Analytics</i>. New York, NY, USA: ACM; 2017:19-25. doi:<a href=\"https://doi.org/10.1145/3121264.3121269\">10.1145/3121264.3121269</a>","bibtex":"@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={<a href=\"https://doi.org/10.1145/3121264.3121269\">10.1145/3121264.3121269</a>}, 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} }"},"file_date_updated":"2018-11-02T14:27:00Z","place":"New York, NY, USA","has_accepted_license":"1","conference":{"start_date":"2017-09-05","name":"2nd ACM SIGSOFT International Workshop on App Market Analytics","location":"Paderborn, Germany","end_date":"2017-09-05"},"status":"public","editor":[{"full_name":"Sarro, Federica ","last_name":"Sarro","first_name":"Federica "},{"full_name":"Shihab, Emad ","first_name":"Emad ","last_name":"Shihab"},{"full_name":"Nagappan, Meiyappan ","first_name":"Meiyappan ","last_name":"Nagappan"},{"last_name":"Platenius","first_name":"Marie Christin","full_name":"Platenius, Marie Christin"},{"full_name":"Kaimann, Daniel","last_name":"Kaimann","first_name":"Daniel"}],"ddc":["000"],"user_id":"477","_id":"57","publisher":"ACM","page":"19-25"},{"author":[{"last_name":"Hetzer","first_name":"Alexander","full_name":"Hetzer, Alexander","id":"38209"},{"last_name":"Tornede","first_name":"Tanja","full_name":"Tornede, Tanja"}],"status":"public","title":"Solving the Container Pre-Marshalling Problem using Reinforcement Learning and Structured Output Prediction","year":"2017","date_updated":"2022-01-06T07:02:37Z","language":[{"iso":"eng"}],"_id":"5724","publisher":"Universität Paderborn","user_id":"477","supervisor":[{"full_name":"Mohr, Felix","first_name":"Felix","last_name":"Mohr"},{"id":"48129","last_name":"Hüllermeier","first_name":"Eyke","full_name":"Hüllermeier, Eyke"},{"full_name":"Tierney, Kevin","last_name":"Tierney","first_name":"Kevin"}],"citation":{"mla":"Hetzer, Alexander, and Tanja Tornede. <i>Solving the Container Pre-Marshalling Problem Using Reinforcement Learning and Structured Output Prediction</i>. Universität Paderborn, 2017.","ama":"Hetzer A, Tornede T. <i>Solving the Container Pre-Marshalling Problem Using Reinforcement Learning and Structured Output Prediction</i>. Universität Paderborn; 2017.","bibtex":"@book{Hetzer_Tornede_2017, title={Solving the Container Pre-Marshalling Problem using Reinforcement Learning and Structured Output Prediction}, publisher={Universität Paderborn}, author={Hetzer, Alexander and Tornede, Tanja}, year={2017} }","apa":"Hetzer, A., &#38; Tornede, T. (2017). <i>Solving the Container Pre-Marshalling Problem using Reinforcement Learning and Structured Output Prediction</i>. Universität Paderborn.","ieee":"A. Hetzer and T. Tornede, <i>Solving the Container Pre-Marshalling Problem using Reinforcement Learning and Structured Output Prediction</i>. Universität Paderborn, 2017.","chicago":"Hetzer, Alexander, and Tanja Tornede. <i>Solving the Container Pre-Marshalling Problem Using Reinforcement Learning and Structured Output Prediction</i>. Universität Paderborn, 2017.","short":"A. Hetzer, T. Tornede, Solving the Container Pre-Marshalling Problem Using Reinforcement Learning and Structured Output Prediction, Universität Paderborn, 2017."},"project":[{"_id":"1","name":"SFB 901"},{"_id":"3","name":"SFB 901 - Project Area B"},{"_id":"10","name":"SFB 901 - Subproject B2"}],"date_created":"2018-11-19T07:49:13Z","department":[{"_id":"355"},{"_id":"199"}],"type":"mastersthesis"},{"language":[{"iso":"eng"}],"doi":"10.1007/978-3-319-68690-5_22","year":"2017","title":"Policy Dependent and Independent Information Flow Analyses","author":[{"id":"11315","last_name":"Töws","first_name":"Manuel","full_name":"Töws, Manuel"},{"id":"573","full_name":"Wehrheim, Heike","first_name":"Heike","last_name":"Wehrheim"}],"publication_identifier":{"isbn":["9783319686899","9783319686905"],"issn":["0302-9743","1611-3349"]},"date_updated":"2022-01-06T07:02:39Z","publication_status":"published","file":[{"date_created":"2018-11-26T15:07:42Z","creator":"mtoews","file_id":"5836","content_type":"application/pdf","success":1,"file_name":"Töws-Wehrheim2017_Chapter_PolicyDependentAndIndependentI.pdf","file_size":424031,"access_level":"closed","relation":"main_file","date_updated":"2018-11-26T15:07:42Z"}],"date_created":"2018-11-21T09:38:43Z","type":"conference","department":[{"_id":"77"}],"publication":"Formal Methods and Software Engineering - 19th International Conference  on Formal Engineering Methods (ICFEM 2017)","abstract":[{"text":"Information Flow Analysis (IFA) aims at detecting illegal flows of information between program entities. “Legality” is therein specified in terms of various security policies. For the analysis, this opens up two possibilities: building generic, policy independent and building specific, policy dependent IFAs. While the former needs to track all dependencies between program entities, the latter allows for a reduced and thus more efficient analysis.\r\n\r\nIn this paper, we start out by formally defining a policy independent information flow analysis. Next, we show how to specialize this IFA via policy specific variable tracking, and prove soundness of the specialization. We furthermore investigate refinement relationships between policies, allowing an IFA for one policy to be employed for its refinements. As policy refinement depends on concrete program entities, we additionally propose a precomputation of policy refinement conditions, enabling an efficient refinement check for concrete programs.","lang":"eng"}],"page":"362-378","_id":"5769","publisher":"Springer International Publishing","ddc":["000"],"user_id":"477","status":"public","has_accepted_license":"1","file_date_updated":"2018-11-26T15:07:42Z","citation":{"bibtex":"@inproceedings{Töws_Wehrheim_2017, title={Policy Dependent and Independent Information Flow Analyses}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-68690-5_22\">10.1007/978-3-319-68690-5_22</a>}, 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} }","ama":"Töws M, Wehrheim H. Policy Dependent and Independent Information Flow Analyses. In: <i>Formal Methods and Software Engineering - 19th International Conference  on Formal Engineering Methods (ICFEM 2017)</i>. Springer International Publishing; 2017:362-378. doi:<a href=\"https://doi.org/10.1007/978-3-319-68690-5_22\">10.1007/978-3-319-68690-5_22</a>","mla":"Töws, Manuel, and Heike Wehrheim. “Policy Dependent and Independent Information Flow Analyses.” <i>Formal Methods and Software Engineering - 19th International Conference  on Formal Engineering Methods (ICFEM 2017)</i>, Springer International Publishing, 2017, pp. 362–78, doi:<a href=\"https://doi.org/10.1007/978-3-319-68690-5_22\">10.1007/978-3-319-68690-5_22</a>.","short":"M. Töws, H. Wehrheim, in: Formal Methods and Software Engineering - 19th International Conference  on Formal Engineering Methods (ICFEM 2017), Springer International Publishing, 2017, pp. 362–378.","chicago":"Töws, Manuel, and Heike Wehrheim. “Policy Dependent and Independent Information Flow Analyses.” In <i>Formal Methods and Software Engineering - 19th International Conference  on Formal Engineering Methods (ICFEM 2017)</i>, 362–78. Springer International Publishing, 2017. <a href=\"https://doi.org/10.1007/978-3-319-68690-5_22\">https://doi.org/10.1007/978-3-319-68690-5_22</a>.","ieee":"M. Töws and H. Wehrheim, “Policy Dependent and Independent Information Flow Analyses,” in <i>Formal Methods and Software Engineering - 19th International Conference  on Formal Engineering Methods (ICFEM 2017)</i>, 2017, pp. 362–378.","apa":"Töws, M., &#38; Wehrheim, H. (2017). Policy Dependent and Independent Information Flow Analyses. In <i>Formal Methods and Software Engineering - 19th International Conference  on Formal Engineering Methods (ICFEM 2017)</i> (pp. 362–378). Springer International Publishing. <a href=\"https://doi.org/10.1007/978-3-319-68690-5_22\">https://doi.org/10.1007/978-3-319-68690-5_22</a>"},"project":[{"_id":"12","name":"SFB 901 - Subproject B4"},{"name":"SFB 901 - Project Area B","_id":"3"},{"name":"SFB 901","_id":"1"}]},{"project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subprojekt B1","_id":"9"},{"name":"SFB 901 - Project Area B","_id":"3"}],"citation":{"ama":"Grobbel F. <i>Was kommt zuerst? Erkennung von zeitlichen Abläufen infunktionalen Softwareanforderungsbeschreibungen</i>. Universität Paderborn; 2017.","bibtex":"@book{Grobbel_2017, title={Was kommt zuerst? Erkennung von zeitlichen Abläufen infunktionalen Softwareanforderungsbeschreibungen}, publisher={Universität Paderborn}, author={Grobbel, Florian}, year={2017} }","mla":"Grobbel, Florian. <i>Was kommt zuerst? Erkennung von zeitlichen Abläufen infunktionalen Softwareanforderungsbeschreibungen</i>. Universität Paderborn, 2017.","short":"F. Grobbel, Was kommt zuerst? Erkennung von zeitlichen Abläufen infunktionalen Softwareanforderungsbeschreibungen, Universität Paderborn, 2017.","chicago":"Grobbel, Florian. <i>Was kommt zuerst? Erkennung von zeitlichen Abläufen infunktionalen Softwareanforderungsbeschreibungen</i>. Universität Paderborn, 2017.","apa":"Grobbel, F. (2017). <i>Was kommt zuerst? Erkennung von zeitlichen Abläufen infunktionalen Softwareanforderungsbeschreibungen</i>. Universität Paderborn.","ieee":"F. Grobbel, <i>Was kommt zuerst? Erkennung von zeitlichen Abläufen infunktionalen Softwareanforderungsbeschreibungen</i>. Universität Paderborn, 2017."},"type":"mastersthesis","date_created":"2017-10-17T12:41:00Z","date_updated":"2022-01-06T07:01:14Z","title":"Was kommt zuerst? Erkennung von zeitlichen Abläufen infunktionalen Softwareanforderungsbeschreibungen","year":"2017","status":"public","author":[{"full_name":"Grobbel, Florian","first_name":"Florian","last_name":"Grobbel"}],"user_id":"477","publisher":"Universität Paderborn","_id":"46","language":[{"iso":"ger"}]},{"citation":{"ama":"Theda M. <i>Was ist gemeint? Strukturell ambige Sätze als Herausforderung für Parsing-Ansätze</i>. Universität Paderborn; 2017.","bibtex":"@book{Theda_2017, title={Was ist gemeint? Strukturell ambige Sätze als Herausforderung für Parsing-Ansätze}, publisher={Universität Paderborn}, author={Theda, Mona}, year={2017} }","mla":"Theda, Mona. <i>Was ist gemeint? Strukturell ambige Sätze als Herausforderung für Parsing-Ansätze</i>. Universität Paderborn, 2017.","short":"M. Theda, Was ist gemeint? Strukturell ambige Sätze als Herausforderung für Parsing-Ansätze, Universität Paderborn, 2017.","chicago":"Theda, Mona. <i>Was ist gemeint? Strukturell ambige Sätze als Herausforderung für Parsing-Ansätze</i>. Universität Paderborn, 2017.","apa":"Theda, M. (2017). <i>Was ist gemeint? Strukturell ambige Sätze als Herausforderung für Parsing-Ansätze</i>. Universität Paderborn.","ieee":"M. Theda, <i>Was ist gemeint? Strukturell ambige Sätze als Herausforderung für Parsing-Ansätze</i>. Universität Paderborn, 2017."},"project":[{"name":"SFB 901","_id":"1"},{"_id":"9","name":"SFB 901 - Subprojekt B1"},{"name":"SFB 901 - Project Area B","_id":"3"}],"date_created":"2017-10-17T12:41:00Z","type":"mastersthesis","author":[{"full_name":"Theda, Mona","first_name":"Mona","last_name":"Theda"}],"year":"2017","status":"public","title":"Was ist gemeint? Strukturell ambige Sätze als Herausforderung für Parsing-Ansätze","date_updated":"2022-01-06T07:01:18Z","_id":"47","publisher":"Universität Paderborn","language":[{"iso":"ger"}],"user_id":"477"},{"project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subproject B3","_id":"11"},{"_id":"3","name":"SFB 901 - Project Area B"}],"supervisor":[{"id":"573","full_name":"Wehrheim, Heike","first_name":"Heike","last_name":"Wehrheim"}],"citation":{"apa":"Walther, S. (2017). <i>Knowledge-based Verification of Service Compositions</i>. Universität Paderborn. <a href=\"https://doi.org/10.17619/UNIPB/1-307\">https://doi.org/10.17619/UNIPB/1-307</a>","ieee":"S. Walther, <i>Knowledge-based Verification of Service Compositions</i>. Universität Paderborn, 2017.","short":"S. Walther, Knowledge-Based Verification of Service Compositions, Universität Paderborn, 2017.","chicago":"Walther, Sven. <i>Knowledge-Based Verification of Service Compositions</i>. Universität Paderborn, 2017. <a href=\"https://doi.org/10.17619/UNIPB/1-307\">https://doi.org/10.17619/UNIPB/1-307</a>.","mla":"Walther, Sven. <i>Knowledge-Based Verification of Service Compositions</i>. Universität Paderborn, 2017, doi:<a href=\"https://doi.org/10.17619/UNIPB/1-307\">10.17619/UNIPB/1-307</a>.","ama":"Walther S. <i>Knowledge-Based Verification of Service Compositions</i>. Universität Paderborn; 2017. doi:<a href=\"https://doi.org/10.17619/UNIPB/1-307\">10.17619/UNIPB/1-307</a>","bibtex":"@book{Walther_2017, title={Knowledge-based Verification of Service Compositions}, DOI={<a href=\"https://doi.org/10.17619/UNIPB/1-307\">10.17619/UNIPB/1-307</a>}, publisher={Universität Paderborn}, author={Walther, Sven}, year={2017} }"},"department":[{"_id":"77"}],"type":"dissertation","date_created":"2017-11-20T07:59:31Z","date_updated":"2022-01-06T07:03:27Z","author":[{"full_name":"Walther, Sven","first_name":"Sven","last_name":"Walther"}],"year":"2017","title":"Knowledge-based Verification of Service Compositions","status":"public","doi":"10.17619/UNIPB/1-307","user_id":"477","publisher":"Universität Paderborn","_id":"707","language":[{"iso":"eng"}]},{"doi":"10.1145/3121257.3121262","language":[{"iso":"eng"}],"series_title":"SWAN'17","date_updated":"2022-01-06T07:03:28Z","title":"Predicting Rankings of Software Verification Tools","year":"2017","author":[{"first_name":"Mike","last_name":"Czech","full_name":"Czech, Mike"},{"full_name":"Hüllermeier, Eyke","first_name":"Eyke","last_name":"Hüllermeier","id":"48129"},{"full_name":"Jakobs, Marie-Christine","last_name":"Jakobs","first_name":"Marie-Christine"},{"first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573"}],"type":"conference","department":[{"_id":"355"},{"_id":"77"}],"file":[{"date_created":"2018-11-02T14:24:29Z","creator":"ups","file_id":"5271","success":1,"content_type":"application/pdf","relation":"main_file","date_updated":"2018-11-02T14:24:29Z","file_name":"fsews17swan-swanmain1.pdf","file_size":822383,"access_level":"closed"}],"date_created":"2017-10-17T12:41:05Z","abstract":[{"lang":"eng","text":"Today, software verification tools have reached the maturity to be used for large scale programs. Different tools perform differently well on varying code. A software developer is hence faced with the problem of choosing a tool appropriate for her program at hand. A ranking of tools on programs could facilitate the choice. Such rankings can, however, so far only be obtained by running all considered tools on the program.In this paper, we present a machine learning approach to predicting rankings of tools on programs. The method builds upon so-called label ranking algorithms, which we complement with appropriate kernels providing a similarity measure for programs. Our kernels employ a graph representation for software source code that mixes elements of control flow and program dependence graphs with abstract syntax trees. Using data sets from the software verification competition SV-COMP, we demonstrate our rank prediction technique to generalize well and achieve a rather high predictive accuracy (rank correlation > 0.6)."}],"publication":"Proceedings of the 3rd International Workshop on Software Analytics","user_id":"15504","ddc":["000"],"page":"23-26","_id":"71","has_accepted_license":"1","status":"public","project":[{"_id":"1","name":"SFB 901"},{"_id":"12","name":"SFB 901 - Subprojekt B4"},{"_id":"10","name":"SFB 901 - Subproject B2"},{"_id":"3","name":"SFB 901 - Project Area B"},{"name":"SFB 901 - Subproject B3","_id":"11"}],"file_date_updated":"2018-11-02T14:24:29Z","citation":{"bibtex":"@inproceedings{Czech_Hüllermeier_Jakobs_Wehrheim_2017, series={SWAN’17}, title={Predicting Rankings of Software Verification Tools}, DOI={<a href=\"https://doi.org/10.1145/3121257.3121262\">10.1145/3121257.3121262</a>}, 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} }","short":"M. Czech, E. Hüllermeier, M.-C. Jakobs, H. Wehrheim, in: Proceedings of the 3rd International Workshop on Software Analytics, 2017, pp. 23–26.","ama":"Czech M, Hüllermeier E, Jakobs M-C, Wehrheim H. Predicting Rankings of Software Verification Tools. In: <i>Proceedings of the 3rd International Workshop on Software Analytics</i>. SWAN’17. ; 2017:23-26. doi:<a href=\"https://doi.org/10.1145/3121257.3121262\">10.1145/3121257.3121262</a>","chicago":"Czech, Mike, Eyke Hüllermeier, Marie-Christine Jakobs, and Heike Wehrheim. “Predicting Rankings of Software Verification Tools.” In <i>Proceedings of the 3rd International Workshop on Software Analytics</i>, 23–26. SWAN’17, 2017. <a href=\"https://doi.org/10.1145/3121257.3121262\">https://doi.org/10.1145/3121257.3121262</a>.","ieee":"M. Czech, E. Hüllermeier, M.-C. Jakobs, and H. Wehrheim, “Predicting Rankings of Software Verification Tools,” in <i>Proceedings of the 3rd International Workshop on Software Analytics</i>, 2017, pp. 23–26.","mla":"Czech, Mike, et al. “Predicting Rankings of Software Verification Tools.” <i>Proceedings of the 3rd International Workshop on Software Analytics</i>, 2017, pp. 23–26, doi:<a href=\"https://doi.org/10.1145/3121257.3121262\">10.1145/3121257.3121262</a>.","apa":"Czech, M., Hüllermeier, E., Jakobs, M.-C., &#38; Wehrheim, H. (2017). Predicting Rankings of Software Verification Tools. In <i>Proceedings of the 3rd International Workshop on Software Analytics</i> (pp. 23–26). <a href=\"https://doi.org/10.1145/3121257.3121262\">https://doi.org/10.1145/3121257.3121262</a>"}},{"type":"report","department":[{"_id":"77"},{"_id":"355"}],"file":[{"date_updated":"2018-11-21T10:50:11Z","relation":"main_file","access_level":"closed","file_size":869984,"file_name":"Predicting Rankings of Soware Verification Competitions.pdf","content_type":"application/pdf","success":1,"file_id":"5782","creator":"florida","date_created":"2018-11-21T10:50:11Z"}],"date_created":"2017-10-17T12:41:05Z","abstract":[{"text":"Software verification competitions, such as the annual SV-COMP, evaluate software verification tools with respect to their effectivity and efficiency. Typically, the outcome of a competition is a (possibly category-specific) ranking of the tools. For many applications, such as building portfolio solvers, it would be desirable to have an idea of the (relative) performance of verification tools on a given verification task beforehand, i.e., prior to actually running all tools on the task.In this paper, we present a machine learning approach to predicting rankings of tools on verification tasks. The method builds upon so-called label ranking algorithms, which we complement with appropriate kernels providing a similarity measure for verification tasks. Our kernels employ a graph representation for software source code that mixes elements of control flow and program dependence graphs with abstract syntax trees. Using data sets from SV-COMP, we demonstrate our rank prediction technique to generalize well and achieve a rather high predictive accuracy. In particular, our method outperforms a recently proposed feature-based approach of Demyanova et al. (when applied to rank predictions). ","lang":"eng"}],"project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subprojekt B3","_id":"11"},{"name":"SFB 901 - Subprojekt B4","_id":"12"},{"_id":"3","name":"SFB 901 - Project Area B"}],"file_date_updated":"2018-11-21T10:50:11Z","citation":{"mla":"Czech, Mike, et al. <i>Predicting Rankings of Software Verification Competitions</i>. 2017.","ama":"Czech M, Hüllermeier E, Jakobs M-C, Wehrheim H. <i>Predicting Rankings of Software Verification Competitions</i>.; 2017.","bibtex":"@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} }","apa":"Czech, M., Hüllermeier, E., Jakobs, M.-C., &#38; Wehrheim, H. (2017). <i>Predicting Rankings of Software Verification Competitions</i>.","ieee":"M. Czech, E. Hüllermeier, M.-C. Jakobs, and H. Wehrheim, <i>Predicting Rankings of Software Verification Competitions</i>. 2017.","chicago":"Czech, Mike, Eyke Hüllermeier, Marie-Christine Jakobs, and Heike Wehrheim. <i>Predicting Rankings of Software Verification Competitions</i>, 2017.","short":"M. Czech, E. Hüllermeier, M.-C. Jakobs, H. Wehrheim, Predicting Rankings of Software Verification Competitions, 2017."},"user_id":"15504","ddc":["000"],"language":[{"iso":"eng"}],"_id":"72","date_updated":"2022-01-06T07:03:29Z","has_accepted_license":"1","status":"public","title":"Predicting Rankings of Software Verification Competitions","year":"2017","author":[{"full_name":"Czech, Mike","first_name":"Mike","last_name":"Czech"},{"id":"48129","full_name":"Hüllermeier, Eyke","last_name":"Hüllermeier","first_name":"Eyke"},{"first_name":"Marie-Christine","last_name":"Jakobs","full_name":"Jakobs, Marie-Christine"},{"full_name":"Wehrheim, Heike","last_name":"Wehrheim","first_name":"Heike","id":"573"}]},{"has_accepted_license":"1","status":"public","editor":[{"full_name":"Cimatti, Alessandro","last_name":"Cimatti","first_name":"Alessandro"},{"full_name":"Sirjani, Marjan","first_name":"Marjan","last_name":"Sirjani"}],"user_id":"477","ddc":["000"],"_id":"73","page":"120-135","project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subprojekt B4","_id":"12"},{"name":"SFB 901 - Project Area B","_id":"3"}],"citation":{"ieee":"M.-C. Jakobs, “PART_PW: From Partial Analysis Results to a Proof Witness,” in <i>Software Engineering and Formal Methods</i>, 2017, pp. 120–135.","apa":"Jakobs, M.-C. (2017). PART_PW: From Partial Analysis Results to a Proof Witness. In A. Cimatti &#38; M. Sirjani (Eds.), <i>Software Engineering and Formal Methods</i> (pp. 120–135). <a href=\"https://doi.org/10.1007/978-3-319-66197-1_8\">https://doi.org/10.1007/978-3-319-66197-1_8</a>","chicago":"Jakobs, Marie-Christine. “PART_PW: From Partial Analysis Results to a Proof Witness.” In <i>Software Engineering and Formal Methods</i>, edited by Alessandro Cimatti and Marjan Sirjani, 120–35. Lecture Notes in Computer Science, 2017. <a href=\"https://doi.org/10.1007/978-3-319-66197-1_8\">https://doi.org/10.1007/978-3-319-66197-1_8</a>.","short":"M.-C. Jakobs, in: A. Cimatti, M. Sirjani (Eds.), Software Engineering and Formal Methods, 2017, pp. 120–135.","mla":"Jakobs, Marie-Christine. “PART_PW: From Partial Analysis Results to a Proof Witness.” <i>Software Engineering and Formal Methods</i>, edited by Alessandro Cimatti and Marjan Sirjani, 2017, pp. 120–35, doi:<a href=\"https://doi.org/10.1007/978-3-319-66197-1_8\">10.1007/978-3-319-66197-1_8</a>.","bibtex":"@inproceedings{Jakobs_2017, series={Lecture Notes in Computer Science}, title={PART_PW: From Partial Analysis Results to a Proof Witness}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-66197-1_8\">10.1007/978-3-319-66197-1_8</a>}, 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} }","ama":"Jakobs M-C. PART_PW: From Partial Analysis Results to a Proof Witness. In: Cimatti A, Sirjani M, eds. <i>Software Engineering and Formal Methods</i>. Lecture Notes in Computer Science. ; 2017:120-135. doi:<a href=\"https://doi.org/10.1007/978-3-319-66197-1_8\">10.1007/978-3-319-66197-1_8</a>"},"file_date_updated":"2018-11-02T14:47:04Z","date_updated":"2022-01-06T07:03:32Z","author":[{"full_name":"Jakobs, Marie-Christine","first_name":"Marie-Christine","last_name":"Jakobs"}],"year":"2017","title":"PART_PW: From Partial Analysis Results to a Proof Witness","doi":"10.1007/978-3-319-66197-1_8","language":[{"iso":"eng"}],"series_title":"Lecture Notes in Computer Science","abstract":[{"text":"Today, verification tools do not only output yes or no, but also provide correctness arguments or counterexamples. While counterexamples help to fix bugs, correctness arguments are used to increase the trust in program correctness, e.g., in Proof-Carrying Code (PCC). Correctness arguments are well-studied for single analyses, but not when a set of analyses together verifies a program, each of the analyses checking only a particular part. Such a set of partial, complementary analyses is often used when a single analysis would fail or is inefficient on some program parts.We propose PART_PW, a technique which allows us to automatically construct a proof witness (correctness argument) from the analysis results obtained by a set of partial, complementary analyses. The constructed proof witnesses are proven to be valid correctness arguments and in our experiments we use them seamlessly and efficiently in existing PCC approaches.","lang":"eng"}],"publication":"Software Engineering and Formal Methods","type":"conference","date_created":"2017-10-17T12:41:05Z","file":[{"date_updated":"2018-11-02T14:47:04Z","relation":"main_file","access_level":"closed","file_size":496965,"file_name":"PARTMathrmPWFromPartialAnalysi.pdf","content_type":"application/pdf","success":1,"file_id":"5283","creator":"ups","date_created":"2018-11-02T14:47:04Z"}]},{"citation":{"mla":"Platenius, Marie Christin, et al. “MatchBox: A Framework for Dynamic Configuration of Service Matching Processes (Extended Abstract).” <i>Tagungsband Software Engineering</i>, 2017, pp. 81--82.","bibtex":"@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)} }","ama":"Platenius MC, Arifulina S, Schäfer W. MatchBox: A Framework for Dynamic Configuration of Service Matching Processes (Extended Abstract). In: <i>Tagungsband Software Engineering</i>. Lecture Notes in Informatics (LNI). ; 2017:81--82.","ieee":"M. C. Platenius, S. Arifulina, and W. Schäfer, “MatchBox: A Framework for Dynamic Configuration of Service Matching Processes (Extended Abstract),” in <i>Tagungsband Software Engineering</i>, 2017, pp. 81--82.","apa":"Platenius, M. C., Arifulina, S., &#38; Schäfer, W. (2017). MatchBox: A Framework for Dynamic Configuration of Service Matching Processes (Extended Abstract). In <i>Tagungsband Software Engineering</i> (pp. 81--82).","chicago":"Platenius, Marie Christin, Svetlana Arifulina, and Wilhelm Schäfer. “MatchBox: A Framework for Dynamic Configuration of Service Matching Processes (Extended Abstract).” In <i>Tagungsband Software Engineering</i>, 81--82. Lecture Notes in Informatics (LNI), 2017.","short":"M.C. Platenius, S. Arifulina, W. Schäfer, in: Tagungsband Software Engineering, 2017, pp. 81--82."},"file_date_updated":"2018-03-21T13:13:41Z","publication":"Tagungsband Software Engineering","project":[{"name":"SFB 901","_id":"1"},{"_id":"9","name":"SFB 901 - Subprojekt B1"},{"name":"SFB 901 - Project Area B","_id":"3"}],"abstract":[{"lang":"eng","text":"The increasing popularity of paradigms like service-oriented computing and cloud com-puting is leading to a growing amount of service providers offering software componentsin the form of deployed, ready-to-use services (Software as a Service, SaaS) [14, 20].In order to discover and select software services, intermediaries apply service matchingapproaches for determining whether the specification of a provided service satisfies therequester’s requirements. There are already lots of different service matching approachesconsidering different service properties (structural, behavioral, and non-functional proper-ties). However, each of these approaches alone is not enough to provide a high matchingresult quality (e.g., accurate matching results) [BOR04].Thus, such approaches should be combined into a more holistic approach leading to moreaccurate matching results. However, this combination is a manual, error-prone procedurewhere many design decisions are made. Furthermore, this procedure has to be repeatedfrequently depending on the context, e.g., to consider different requesters or markets."}],"date_created":"2017-10-17T12:41:07Z","file":[{"file_id":"1573","success":1,"content_type":"application/pdf","relation":"main_file","date_updated":"2018-03-21T13:13:41Z","file_name":"84-paper_04.pdf","file_size":200998,"access_level":"closed","date_created":"2018-03-21T13:13:41Z","creator":"florida"}],"type":"conference","author":[{"last_name":"Platenius","first_name":"Marie Christin","full_name":"Platenius, Marie Christin"},{"full_name":"Arifulina, Svetlana","first_name":"Svetlana","last_name":"Arifulina"},{"first_name":"Wilhelm","last_name":"Schäfer","full_name":"Schäfer, Wilhelm"}],"status":"public","title":"MatchBox: A Framework for Dynamic Configuration of Service Matching Processes (Extended Abstract)","year":"2017","has_accepted_license":"1","date_updated":"2022-01-06T07:03:54Z","series_title":"Lecture Notes in Informatics (LNI)","_id":"84","page":"81--82","user_id":"15504","ddc":["040"]}]