--- _id: '48632' abstract: - lang: eng text: Digital Servitization is one of the significant trends affecting the manufacturing industry. Companies try to tackle challenges regarding their differentiation and profitability using digital services. One specific type of digital services are smart services, which are digital services built on data from smart products. Introducing these kinds of offerings into the portfolio of manufacturing companies is not trivial. Moreover, they require conscious action to align all relevant capabilities to realize the respective business goals. However, what capabilities are generally relevant for smart services remains opaque. We conducted a systematic literature review to identify them and extended the results through an interview study. Our analysis results in 78 capabilities clustered among 12 principles and six dimensions. These results provide significant support for the smart service transformation of manufacturing companies and for structuring the research field of smart services. author: - first_name: Christian full_name: Koldewey, Christian id: '43136' last_name: Koldewey orcid: https://orcid.org/0000-0001-7992-6399 - first_name: Timm full_name: Fichtler, Timm id: '66731' last_name: Fichtler orcid: https://orcid.org/0000-0001-6034-4399 - first_name: Michel full_name: Scholtysik, Michel id: '50562' last_name: Scholtysik - first_name: Jan full_name: Biehler, Jan last_name: Biehler - first_name: Nick full_name: Schreiner, Nick last_name: Schreiner - first_name: Franziska full_name: Sommer, Franziska last_name: Sommer - first_name: Maximilian full_name: Schacht, Maximilian last_name: Schacht - first_name: Jonas full_name: Kaufmann, Jonas last_name: Kaufmann - first_name: Martin full_name: Rabe, Martin last_name: Rabe - first_name: Joachim full_name: Sedlmeier, Joachim last_name: Sedlmeier - first_name: Roman full_name: Dumitrescu, Roman id: '16190' last_name: Dumitrescu citation: ama: 'Koldewey C, Fichtler T, Scholtysik M, et al. Exploring Capabilities for the Smart Service Transformation in Manufacturing: Insights from Theory and Practice. In: ; 2024.' apa: 'Koldewey, C., Fichtler, T., Scholtysik, M., Biehler, J., Schreiner, N., Sommer, F., Schacht, M., Kaufmann, J., Rabe, M., Sedlmeier, J., & Dumitrescu, R. (2024). Exploring Capabilities for the Smart Service Transformation in Manufacturing: Insights from Theory and Practice. Hawaii International Conference on System Sciences, Hawaii.' bibtex: '@inproceedings{Koldewey_Fichtler_Scholtysik_Biehler_Schreiner_Sommer_Schacht_Kaufmann_Rabe_Sedlmeier_et al._2024, title={Exploring Capabilities for the Smart Service Transformation in Manufacturing: Insights from Theory and Practice}, author={Koldewey, Christian and Fichtler, Timm and Scholtysik, Michel and Biehler, Jan and Schreiner, Nick and Sommer, Franziska and Schacht, Maximilian and Kaufmann, Jonas and Rabe, Martin and Sedlmeier, Joachim and et al.}, year={2024} }' chicago: 'Koldewey, Christian, Timm Fichtler, Michel Scholtysik, Jan Biehler, Nick Schreiner, Franziska Sommer, Maximilian Schacht, et al. “Exploring Capabilities for the Smart Service Transformation in Manufacturing: Insights from Theory and Practice,” 2024.' ieee: 'C. Koldewey et al., “Exploring Capabilities for the Smart Service Transformation in Manufacturing: Insights from Theory and Practice,” presented at the Hawaii International Conference on System Sciences, Hawaii, 2024.' mla: 'Koldewey, Christian, et al. Exploring Capabilities for the Smart Service Transformation in Manufacturing: Insights from Theory and Practice. 2024.' short: 'C. Koldewey, T. Fichtler, M. Scholtysik, J. Biehler, N. Schreiner, F. Sommer, M. Schacht, J. Kaufmann, M. Rabe, J. Sedlmeier, R. Dumitrescu, in: 2024.' conference: end_date: 2024-01-06 location: Hawaii name: Hawaii International Conference on System Sciences start_date: 2024-01-03 date_created: 2023-11-06T15:31:32Z date_updated: 2023-11-06T15:40:33Z department: - _id: '563' - _id: '241' keyword: - Digital Servitization - Transformation - Capabilities - Maturity - Smart Services language: - iso: eng status: public title: 'Exploring Capabilities for the Smart Service Transformation in Manufacturing: Insights from Theory and Practice' type: conference user_id: '66731' year: '2024' ... --- _id: '47275' author: - first_name: Franziska full_name: Herbert, Franziska last_name: Herbert - first_name: Steffen full_name: Becker, Steffen last_name: Becker - first_name: Annalina full_name: Buckmann, Annalina last_name: Buckmann - first_name: Marvin full_name: Kowalewski, Marvin last_name: Kowalewski - first_name: Jonas full_name: Hielscher, Jonas last_name: Hielscher - first_name: Yasemin full_name: Acar, Yasemin id: '94636' last_name: Acar - first_name: Markus full_name: Dürmuth, Markus last_name: Dürmuth - first_name: M. Angela full_name: Sasse, M. Angela last_name: Sasse - first_name: Yixin full_name: Zou, Yixin last_name: Zou citation: ama: Herbert F, Becker S, Buckmann A, et al. Digital Security -- A Question of Perspective. A Large-Scale Telephone Survey with Four At-Risk User Groups. IEEE Symposium on Security and Privacy IEEE, New York, NY, USA. Published online 2024. doi:10.48550/arXiv.2212.12964 apa: Herbert, F., Becker, S., Buckmann, A., Kowalewski, M., Hielscher, J., Acar, Y., Dürmuth, M., Sasse, M. A., & Zou, Y. (2024). Digital Security -- A Question of Perspective. A Large-Scale Telephone Survey with Four At-Risk User Groups. IEEE Symposium on Security and Privacy. IEEE, New York, NY, USA. https://doi.org/10.48550/arXiv.2212.12964 bibtex: '@article{Herbert_Becker_Buckmann_Kowalewski_Hielscher_Acar_Dürmuth_Sasse_Zou_2024, title={Digital Security -- A Question of Perspective. A Large-Scale Telephone Survey with Four At-Risk User Groups}, DOI={10.48550/arXiv.2212.12964}, journal={IEEE Symposium on Security and Privacy. IEEE, New York, NY, USA}, author={Herbert, Franziska and Becker, Steffen and Buckmann, Annalina and Kowalewski, Marvin and Hielscher, Jonas and Acar, Yasemin and Dürmuth, Markus and Sasse, M. Angela and Zou, Yixin}, year={2024} }' chicago: Herbert, Franziska, Steffen Becker, Annalina Buckmann, Marvin Kowalewski, Jonas Hielscher, Yasemin Acar, Markus Dürmuth, M. Angela Sasse, and Yixin Zou. “Digital Security -- A Question of Perspective. A Large-Scale Telephone Survey with Four At-Risk User Groups.” IEEE Symposium on Security and Privacy. IEEE, New York, NY, USA, 2024. https://doi.org/10.48550/arXiv.2212.12964. ieee: 'F. Herbert et al., “Digital Security -- A Question of Perspective. A Large-Scale Telephone Survey with Four At-Risk User Groups,” IEEE Symposium on Security and Privacy. IEEE, New York, NY, USA, 2024, doi: 10.48550/arXiv.2212.12964.' mla: Herbert, Franziska, et al. “Digital Security -- A Question of Perspective. A Large-Scale Telephone Survey with Four At-Risk User Groups.” IEEE Symposium on Security and Privacy. IEEE, New York, NY, USA, 2024, doi:10.48550/arXiv.2212.12964. short: F. Herbert, S. Becker, A. Buckmann, M. Kowalewski, J. Hielscher, Y. Acar, M. Dürmuth, M.A. Sasse, Y. Zou, IEEE Symposium on Security and Privacy. IEEE, New York, NY, USA (2024). date_created: 2023-09-22T13:09:30Z date_updated: 2023-11-22T08:50:06Z department: - _id: '34' - _id: '740' doi: 10.48550/arXiv.2212.12964 extern: '1' language: - iso: eng publication: IEEE Symposium on Security and Privacy. IEEE, New York, NY, USA status: public title: Digital Security -- A Question of Perspective. A Large-Scale Telephone Survey with Four At-Risk User Groups type: journal_article user_id: '15458' year: '2024' ... --- _id: '49354' author: - first_name: Lameya full_name: Afroze, Lameya last_name: Afroze - first_name: Silke full_name: Merkelbach, Silke last_name: Merkelbach - first_name: Sebastian full_name: von Enzberg, Sebastian last_name: von Enzberg - first_name: Roman full_name: Dumitrescu, Roman id: '16190' last_name: Dumitrescu citation: ama: 'Afroze L, Merkelbach S, von Enzberg S, Dumitrescu R. Domain Knowledge Injection Guidance for Predictive Maintenance. In: ML4CPS 2023. ; 2024.' apa: Afroze, L., Merkelbach, S., von Enzberg, S., & Dumitrescu, R. (2024). Domain Knowledge Injection Guidance for Predictive Maintenance. ML4CPS 2023. ML4CPS – Machine Learning For Cyber-Physical Systems, Hamburg. bibtex: '@inproceedings{Afroze_Merkelbach_von Enzberg_Dumitrescu_2024, title={Domain Knowledge Injection Guidance for Predictive Maintenance}, booktitle={ML4CPS 2023}, author={Afroze, Lameya and Merkelbach, Silke and von Enzberg, Sebastian and Dumitrescu, Roman}, year={2024} }' chicago: Afroze, Lameya, Silke Merkelbach, Sebastian von Enzberg, and Roman Dumitrescu. “Domain Knowledge Injection Guidance for Predictive Maintenance.” In ML4CPS 2023, 2024. ieee: L. Afroze, S. Merkelbach, S. von Enzberg, and R. Dumitrescu, “Domain Knowledge Injection Guidance for Predictive Maintenance,” presented at the ML4CPS – Machine Learning For Cyber-Physical Systems, Hamburg, 2024. mla: Afroze, Lameya, et al. “Domain Knowledge Injection Guidance for Predictive Maintenance.” ML4CPS 2023, 2024. short: 'L. Afroze, S. Merkelbach, S. von Enzberg, R. Dumitrescu, in: ML4CPS 2023, 2024.' conference: end_date: 2023-0331 location: Hamburg name: ML4CPS – Machine Learning For Cyber-Physical Systems start_date: 2023-03-29 date_created: 2023-11-30T09:59:41Z date_updated: 2023-11-30T14:09:47Z department: - _id: '563' language: - iso: eng publication: ML4CPS 2023 status: public title: Domain Knowledge Injection Guidance for Predictive Maintenance type: conference user_id: '15782' year: '2024' ... --- _id: '49363' author: - first_name: Michel full_name: Scholtysik, Michel id: '50562' last_name: Scholtysik - first_name: Malte full_name: Rohde, Malte last_name: Rohde - first_name: Christian full_name: Koldewey, Christian id: '43136' last_name: Koldewey orcid: https://orcid.org/0000-0001-7992-6399 - first_name: Roman full_name: Dumitrescu, Roman id: '16190' last_name: Dumitrescu citation: ama: 'Scholtysik M, Rohde M, Koldewey C, Dumitrescu R. Circular Product-Service-System Ideation Canvas – A Framework for the Design of circular Product-Service-System Ideas. In: ; 2024.' apa: Scholtysik, M., Rohde, M., Koldewey, C., & Dumitrescu, R. (2024). Circular Product-Service-System Ideation Canvas – A Framework for the Design of circular Product-Service-System Ideas. bibtex: '@inproceedings{Scholtysik_Rohde_Koldewey_Dumitrescu_2024, title={Circular Product-Service-System Ideation Canvas – A Framework for the Design of circular Product-Service-System Ideas}, author={Scholtysik, Michel and Rohde, Malte and Koldewey, Christian and Dumitrescu, Roman}, year={2024} }' chicago: Scholtysik, Michel, Malte Rohde, Christian Koldewey, and Roman Dumitrescu. “Circular Product-Service-System Ideation Canvas – A Framework for the Design of Circular Product-Service-System Ideas,” 2024. ieee: M. Scholtysik, M. Rohde, C. Koldewey, and R. Dumitrescu, “Circular Product-Service-System Ideation Canvas – A Framework for the Design of circular Product-Service-System Ideas,” 2024. mla: Scholtysik, Michel, et al. Circular Product-Service-System Ideation Canvas – A Framework for the Design of Circular Product-Service-System Ideas. 2024. short: 'M. Scholtysik, M. Rohde, C. Koldewey, R. Dumitrescu, in: 2024.' date_created: 2023-11-30T10:56:31Z date_updated: 2023-11-30T14:27:45Z department: - _id: '563' language: - iso: eng status: public title: Circular Product-Service-System Ideation Canvas – A Framework for the Design of circular Product-Service-System Ideas type: conference user_id: '50562' year: '2024' ... --- _id: '49364' author: - first_name: Michel full_name: Scholtysik, Michel id: '50562' last_name: Scholtysik - first_name: Malte full_name: Rohde, Malte last_name: Rohde - first_name: Christian full_name: Koldewey, Christian id: '43136' last_name: Koldewey orcid: https://orcid.org/0000-0001-7992-6399 - first_name: Roman full_name: Dumitrescu, Roman id: '16190' last_name: Dumitrescu citation: ama: 'Scholtysik M, Rohde M, Koldewey C, Dumitrescu R. Business strategy taxonomy and solution patterns for the circular economy. In: ; 2024.' apa: Scholtysik, M., Rohde, M., Koldewey, C., & Dumitrescu, R. (2024). Business strategy taxonomy and solution patterns for the circular economy. bibtex: '@inproceedings{Scholtysik_Rohde_Koldewey_Dumitrescu_2024, title={Business strategy taxonomy and solution patterns for the circular economy}, author={Scholtysik, Michel and Rohde, Malte and Koldewey, Christian and Dumitrescu, Roman}, year={2024} }' chicago: Scholtysik, Michel, Malte Rohde, Christian Koldewey, and Roman Dumitrescu. “Business Strategy Taxonomy and Solution Patterns for the Circular Economy,” 2024. ieee: M. Scholtysik, M. Rohde, C. Koldewey, and R. Dumitrescu, “Business strategy taxonomy and solution patterns for the circular economy,” 2024. mla: Scholtysik, Michel, et al. Business Strategy Taxonomy and Solution Patterns for the Circular Economy. 2024. short: 'M. Scholtysik, M. Rohde, C. Koldewey, R. Dumitrescu, in: 2024.' date_created: 2023-11-30T10:57:30Z date_updated: 2023-11-30T14:27:55Z department: - _id: '563' language: - iso: eng status: public title: Business strategy taxonomy and solution patterns for the circular economy type: conference user_id: '50562' year: '2024' ... --- _id: '50476' author: - first_name: Sarah Claudia full_name: Krings, Sarah Claudia id: '64063' last_name: Krings orcid: 0000-0001-8040-7553 - first_name: Enes full_name: Yigitbas, Enes id: '8447' last_name: Yigitbas orcid: 0000-0002-5967-833X citation: ama: 'Krings SC, Yigitbas E. TARPS: A Toolbox for Enhancing Privacy and Security for Collaborative AR. In: Proceedings of the 16th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2024) (to Appear). ACM; 2024.' apa: 'Krings, S. C., & Yigitbas, E. (2024). TARPS: A Toolbox for Enhancing Privacy and Security for Collaborative AR. Proceedings of the 16th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2024) (to Appear).' bibtex: '@inproceedings{Krings_Yigitbas_2024, title={TARPS: A Toolbox for Enhancing Privacy and Security for Collaborative AR}, booktitle={Proceedings of the 16th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2024) (to appear)}, publisher={ACM}, author={Krings, Sarah Claudia and Yigitbas, Enes}, year={2024} }' chicago: 'Krings, Sarah Claudia, and Enes Yigitbas. “TARPS: A Toolbox for Enhancing Privacy and Security for Collaborative AR.” In Proceedings of the 16th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2024) (to Appear). ACM, 2024.' ieee: 'S. C. Krings and E. Yigitbas, “TARPS: A Toolbox for Enhancing Privacy and Security for Collaborative AR,” 2024.' mla: 'Krings, Sarah Claudia, and Enes Yigitbas. “TARPS: A Toolbox for Enhancing Privacy and Security for Collaborative AR.” Proceedings of the 16th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2024) (to Appear), ACM, 2024.' short: 'S.C. Krings, E. Yigitbas, in: Proceedings of the 16th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2024) (to Appear), ACM, 2024.' date_created: 2024-01-12T15:11:58Z date_updated: 2024-01-12T15:12:11Z department: - _id: '66' - _id: '534' language: - iso: eng publication: Proceedings of the 16th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2024) (to appear) publisher: ACM status: public title: 'TARPS: A Toolbox for Enhancing Privacy and Security for Collaborative AR' type: conference user_id: '8447' year: '2024' ... --- _id: '50066' author: - first_name: Feng full_name: Dou, Feng last_name: Dou - first_name: Lin full_name: Wang, Lin id: '102868' last_name: Wang - first_name: Shutong full_name: Chen, Shutong last_name: Chen - first_name: Fangming full_name: Liu, Fangming last_name: Liu citation: ama: 'Dou F, Wang L, Chen S, Liu F. X-Stream: A Flexible, Adaptive Video Transformer for Privacy-Preserving Video Stream Analytics. In: Proceedings of the IEEE International Conference on Computer Communications (INFOCOM). IEEE.' apa: 'Dou, F., Wang, L., Chen, S., & Liu, F. (n.d.). X-Stream: A Flexible, Adaptive Video Transformer for Privacy-Preserving Video Stream Analytics. Proceedings of the IEEE International Conference on Computer Communications (INFOCOM). IEEE International Conference on Computer Communications (INFOCOM), Vancouver, Canada.' bibtex: '@inproceedings{Dou_Wang_Chen_Liu, title={X-Stream: A Flexible, Adaptive Video Transformer for Privacy-Preserving Video Stream Analytics}, booktitle={Proceedings of the IEEE International Conference on Computer Communications (INFOCOM)}, publisher={IEEE}, author={Dou, Feng and Wang, Lin and Chen, Shutong and Liu, Fangming} }' chicago: 'Dou, Feng, Lin Wang, Shutong Chen, and Fangming Liu. “X-Stream: A Flexible, Adaptive Video Transformer for Privacy-Preserving Video Stream Analytics.” In Proceedings of the IEEE International Conference on Computer Communications (INFOCOM). IEEE, n.d.' ieee: 'F. Dou, L. Wang, S. Chen, and F. Liu, “X-Stream: A Flexible, Adaptive Video Transformer for Privacy-Preserving Video Stream Analytics,” presented at the IEEE International Conference on Computer Communications (INFOCOM), Vancouver, Canada.' mla: 'Dou, Feng, et al. “X-Stream: A Flexible, Adaptive Video Transformer for Privacy-Preserving Video Stream Analytics.” Proceedings of the IEEE International Conference on Computer Communications (INFOCOM), IEEE.' short: 'F. Dou, L. Wang, S. Chen, F. Liu, in: Proceedings of the IEEE International Conference on Computer Communications (INFOCOM), IEEE, n.d.' conference: end_date: 2024-05-23 location: Vancouver, Canada name: IEEE International Conference on Computer Communications (INFOCOM) start_date: 2024-05-20 date_created: 2023-12-22T20:24:27Z date_updated: 2024-01-23T20:35:02Z department: - _id: '34' - _id: '7' - _id: '75' language: - iso: eng publication: Proceedings of the IEEE International Conference on Computer Communications (INFOCOM) publication_status: accepted publisher: IEEE status: public title: 'X-Stream: A Flexible, Adaptive Video Transformer for Privacy-Preserving Video Stream Analytics' type: conference user_id: '102868' year: '2024' ... --- _id: '50065' author: - first_name: Marcel full_name: Blöcher, Marcel last_name: Blöcher - first_name: Nils full_name: Nedderhut, Nils last_name: Nedderhut - first_name: Pavel full_name: Chuprikov, Pavel last_name: Chuprikov - first_name: Ramin full_name: Khalili, Ramin last_name: Khalili - first_name: Patrick full_name: Eugster, Patrick last_name: Eugster - first_name: Lin full_name: Wang, Lin id: '102868' last_name: Wang citation: ama: 'Blöcher M, Nedderhut N, Chuprikov P, Khalili R, Eugster P, Wang L. Train Once Apply Anywhere: Effective Scheduling for Network Function Chains Running on FUMES. In: Proceedings of the IEEE International Conference on Computer Communications (INFOCOM). IEEE.' apa: 'Blöcher, M., Nedderhut, N., Chuprikov, P., Khalili, R., Eugster, P., & Wang, L. (n.d.). Train Once Apply Anywhere: Effective Scheduling for Network Function Chains Running on FUMES. Proceedings of the IEEE International Conference on Computer Communications (INFOCOM). IEEE International Conference on Computer Communications (INFOCOM), Vancouver, Canada.' bibtex: '@inproceedings{Blöcher_Nedderhut_Chuprikov_Khalili_Eugster_Wang, title={Train Once Apply Anywhere: Effective Scheduling for Network Function Chains Running on FUMES}, booktitle={Proceedings of the IEEE International Conference on Computer Communications (INFOCOM)}, publisher={IEEE}, author={Blöcher, Marcel and Nedderhut, Nils and Chuprikov, Pavel and Khalili, Ramin and Eugster, Patrick and Wang, Lin} }' chicago: 'Blöcher, Marcel, Nils Nedderhut, Pavel Chuprikov, Ramin Khalili, Patrick Eugster, and Lin Wang. “Train Once Apply Anywhere: Effective Scheduling for Network Function Chains Running on FUMES.” In Proceedings of the IEEE International Conference on Computer Communications (INFOCOM). IEEE, n.d.' ieee: 'M. Blöcher, N. Nedderhut, P. Chuprikov, R. Khalili, P. Eugster, and L. Wang, “Train Once Apply Anywhere: Effective Scheduling for Network Function Chains Running on FUMES,” presented at the IEEE International Conference on Computer Communications (INFOCOM), Vancouver, Canada.' mla: 'Blöcher, Marcel, et al. “Train Once Apply Anywhere: Effective Scheduling for Network Function Chains Running on FUMES.” Proceedings of the IEEE International Conference on Computer Communications (INFOCOM), IEEE.' short: 'M. Blöcher, N. Nedderhut, P. Chuprikov, R. Khalili, P. Eugster, L. Wang, in: Proceedings of the IEEE International Conference on Computer Communications (INFOCOM), IEEE, n.d.' conference: end_date: 2024-05-23 location: Vancouver, Canada name: IEEE International Conference on Computer Communications (INFOCOM) start_date: 2024-05-20 date_created: 2023-12-22T20:06:42Z date_updated: 2024-01-23T20:35:09Z department: - _id: '75' language: - iso: eng publication: Proceedings of the IEEE International Conference on Computer Communications (INFOCOM) publication_status: accepted publisher: IEEE status: public title: 'Train Once Apply Anywhere: Effective Scheduling for Network Function Chains Running on FUMES' type: conference user_id: '102868' year: '2024' ... --- _id: '50807' author: - first_name: Haichuan full_name: Hu, Haichuan last_name: Hu - first_name: Fangming full_name: Liu, Fangming last_name: Liu - first_name: Qiangyu full_name: Pei, Qiangyu last_name: Pei - first_name: Yongjie full_name: Yuan, Yongjie last_name: Yuan - first_name: Zichen full_name: Xu, Zichen last_name: Xu - first_name: Lin full_name: Wang, Lin id: '102868' last_name: Wang citation: ama: "Hu H, Liu F, Pei Q, Yuan Y, Xu Z, Wang L. \U0001D706Grapher: A Resource-Efficient Serverless System for GNN Serving through Graph Sharing. In: Proceedings of the ACM Web Conference (WWW). ACM; 2024." apa: "Hu, H., Liu, F., Pei, Q., Yuan, Y., Xu, Z., & Wang, L. (2024). \U0001D706Grapher: A Resource-Efficient Serverless System for GNN Serving through Graph Sharing. Proceedings of the ACM Web Conference (WWW). ACM Web Conference (WWW), Singapore." bibtex: "@inproceedings{Hu_Liu_Pei_Yuan_Xu_Wang_2024, title={\U0001D706Grapher: A Resource-Efficient Serverless System for GNN Serving through Graph Sharing}, booktitle={Proceedings of the ACM Web Conference (WWW)}, publisher={ACM}, author={Hu, Haichuan and Liu, Fangming and Pei, Qiangyu and Yuan, Yongjie and Xu, Zichen and Wang, Lin}, year={2024} }" chicago: "Hu, Haichuan, Fangming Liu, Qiangyu Pei, Yongjie Yuan, Zichen Xu, and Lin Wang. “\U0001D706Grapher: A Resource-Efficient Serverless System for GNN Serving through Graph Sharing.” In Proceedings of the ACM Web Conference (WWW). ACM, 2024." ieee: "H. Hu, F. Liu, Q. Pei, Y. Yuan, Z. Xu, and L. Wang, “\U0001D706Grapher: A Resource-Efficient Serverless System for GNN Serving through Graph Sharing,” presented at the ACM Web Conference (WWW), Singapore, 2024." mla: "Hu, Haichuan, et al. “\U0001D706Grapher: A Resource-Efficient Serverless System for GNN Serving through Graph Sharing.” Proceedings of the ACM Web Conference (WWW), ACM, 2024." short: 'H. Hu, F. Liu, Q. Pei, Y. Yuan, Z. Xu, L. Wang, in: Proceedings of the ACM Web Conference (WWW), ACM, 2024.' conference: end_date: 2024-05-17 location: Singapore name: ACM Web Conference (WWW) start_date: 2024-05-13 date_created: 2024-01-23T20:34:27Z date_updated: 2024-01-23T20:35:20Z department: - _id: '34' - _id: '7' - _id: '75' language: - iso: eng publication: Proceedings of the ACM Web Conference (WWW) publisher: ACM status: public title: "\U0001D706Grapher: A Resource-Efficient Serverless System for GNN Serving through Graph Sharing" type: conference user_id: '102868' year: '2024' ... --- _id: '51160' abstract: - lang: eng text: "We rigorously derive novel and sharp finite-data error bounds for highly\r\nsample-efficient Extended Dynamic Mode Decomposition (EDMD) for both i.i.d. and\r\nergodic sampling. In particular, we show all results in a very general setting\r\nremoving most of the typically imposed assumptions such that, among others,\r\ndiscrete- and continuous-time stochastic processes as well as nonlinear partial\r\ndifferential equations are contained in the considered system class. Besides\r\nshowing an exponential rate for i.i.d. sampling, we prove, to the best of our\r\nknowledge, the first superlinear convergence rates for ergodic sampling of\r\ndeterministic systems. We verify sharpness of the derived error bounds by\r\nconducting numerical simulations for highly-complex applications from molecular\r\ndynamics and chaotic flame propagation." author: - first_name: Friedrich M. full_name: Philipp, Friedrich M. last_name: Philipp - first_name: Manuel full_name: Schaller, Manuel last_name: Schaller - first_name: Septimus full_name: Boshoff, Septimus last_name: Boshoff - first_name: Sebastian full_name: Peitz, Sebastian id: '47427' last_name: Peitz orcid: 0000-0002-3389-793X - first_name: Feliks full_name: Nüske, Feliks last_name: Nüske - first_name: Karl full_name: Worthmann, Karl last_name: Worthmann citation: ama: 'Philipp FM, Schaller M, Boshoff S, Peitz S, Nüske F, Worthmann K. Extended Dynamic Mode Decomposition: Sharp bounds on the sample  efficiency. arXiv:240202494. Published online 2024.' apa: 'Philipp, F. M., Schaller, M., Boshoff, S., Peitz, S., Nüske, F., & Worthmann, K. (2024). Extended Dynamic Mode Decomposition: Sharp bounds on the sample  efficiency. In arXiv:2402.02494.' bibtex: '@article{Philipp_Schaller_Boshoff_Peitz_Nüske_Worthmann_2024, title={Extended Dynamic Mode Decomposition: Sharp bounds on the sample  efficiency}, journal={arXiv:2402.02494}, author={Philipp, Friedrich M. and Schaller, Manuel and Boshoff, Septimus and Peitz, Sebastian and Nüske, Feliks and Worthmann, Karl}, year={2024} }' chicago: 'Philipp, Friedrich M., Manuel Schaller, Septimus Boshoff, Sebastian Peitz, Feliks Nüske, and Karl Worthmann. “Extended Dynamic Mode Decomposition: Sharp Bounds on the Sample  Efficiency.” ArXiv:2402.02494, 2024.' ieee: 'F. M. Philipp, M. Schaller, S. Boshoff, S. Peitz, F. Nüske, and K. Worthmann, “Extended Dynamic Mode Decomposition: Sharp bounds on the sample  efficiency,” arXiv:2402.02494. 2024.' mla: 'Philipp, Friedrich M., et al. “Extended Dynamic Mode Decomposition: Sharp Bounds on the Sample  Efficiency.” ArXiv:2402.02494, 2024.' short: F.M. Philipp, M. Schaller, S. Boshoff, S. Peitz, F. Nüske, K. Worthmann, ArXiv:2402.02494 (2024). date_created: 2024-02-06T08:52:21Z date_updated: 2024-02-06T08:52:44Z department: - _id: '655' external_id: arxiv: - '2402.02494' language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/pdf/2402.02494.pdf oa: '1' publication: arXiv:2402.02494 status: public title: 'Extended Dynamic Mode Decomposition: Sharp bounds on the sample efficiency' type: preprint user_id: '47427' year: '2024' ... --- _id: '46019' abstract: - lang: eng text: We derive efficient algorithms to compute weakly Pareto optimal solutions for smooth, convex and unconstrained multiobjective optimization problems in general Hilbert spaces. To this end, we define a novel inertial gradient-like dynamical system in the multiobjective setting, which trajectories converge weakly to Pareto optimal solutions. Discretization of this system yields an inertial multiobjective algorithm which generates sequences that converge weakly to Pareto optimal solutions. We employ Nesterov acceleration to define an algorithm with an improved convergence rate compared to the plain multiobjective steepest descent method (Algorithm 1). A further improvement in terms of efficiency is achieved by avoiding the solution of a quadratic subproblem to compute a common step direction for all objective functions, which is usually required in first-order methods. Using a different discretization of our inertial gradient-like dynamical system, we obtain an accelerated multiobjective gradient method that does not require the solution of a subproblem in each step (Algorithm 2). While this algorithm does not converge in general, it yields good results on test problems while being faster than standard steepest descent. author: - first_name: Konstantin full_name: Sonntag, Konstantin id: '56399' last_name: Sonntag orcid: https://orcid.org/0000-0003-3384-3496 - first_name: Sebastian full_name: Peitz, Sebastian id: '47427' last_name: Peitz orcid: 0000-0002-3389-793X citation: ama: Sonntag K, Peitz S. Fast Multiobjective Gradient Methods with Nesterov Acceleration via Inertial Gradient-Like Systems. Journal of Optimization Theory and Applications. Published online 2024. doi:10.1007/s10957-024-02389-3 apa: Sonntag, K., & Peitz, S. (2024). Fast Multiobjective Gradient Methods with Nesterov Acceleration via Inertial Gradient-Like Systems. Journal of Optimization Theory and Applications. https://doi.org/10.1007/s10957-024-02389-3 bibtex: '@article{Sonntag_Peitz_2024, title={Fast Multiobjective Gradient Methods with Nesterov Acceleration via Inertial Gradient-Like Systems}, DOI={10.1007/s10957-024-02389-3}, journal={Journal of Optimization Theory and Applications}, publisher={Springer}, author={Sonntag, Konstantin and Peitz, Sebastian}, year={2024} }' chicago: Sonntag, Konstantin, and Sebastian Peitz. “Fast Multiobjective Gradient Methods with Nesterov Acceleration via Inertial Gradient-Like Systems.” Journal of Optimization Theory and Applications, 2024. https://doi.org/10.1007/s10957-024-02389-3. ieee: 'K. Sonntag and S. Peitz, “Fast Multiobjective Gradient Methods with Nesterov Acceleration via Inertial Gradient-Like Systems,” Journal of Optimization Theory and Applications, 2024, doi: 10.1007/s10957-024-02389-3.' mla: Sonntag, Konstantin, and Sebastian Peitz. “Fast Multiobjective Gradient Methods with Nesterov Acceleration via Inertial Gradient-Like Systems.” Journal of Optimization Theory and Applications, Springer, 2024, doi:10.1007/s10957-024-02389-3. short: K. Sonntag, S. Peitz, Journal of Optimization Theory and Applications (2024). date_created: 2023-07-12T06:35:58Z date_updated: 2024-02-21T10:13:33Z department: - _id: '101' - _id: '655' doi: 10.1007/s10957-024-02389-3 language: - iso: eng main_file_link: - open_access: '1' url: https://link.springer.com/content/pdf/10.1007/s10957-024-02389-3.pdf oa: '1' publication: Journal of Optimization Theory and Applications publication_status: published publisher: Springer status: public title: Fast Multiobjective Gradient Methods with Nesterov Acceleration via Inertial Gradient-Like Systems type: journal_article user_id: '56399' year: '2024' ... --- _id: '51334' abstract: - lang: eng text: The efficient optimization method for locally Lipschitz continuous multiobjective optimization problems from [1] is extended from finite-dimensional problems to general Hilbert spaces. The method iteratively computes Pareto critical points, where in each iteration, an approximation of the subdifferential is computed in an efficient manner and then used to compute a common descent direction for all objective functions. To prove convergence, we present some new optimality results for nonsmooth multiobjective optimization problems in Hilbert spaces. Using these, we can show that every accumulation point of the sequence generated by our algorithm is Pareto critical under common assumptions. Computational efficiency for finding Pareto critical points is numerically demonstrated for multiobjective optimal control of an obstacle problem. author: - first_name: Konstantin full_name: Sonntag, Konstantin id: '56399' last_name: Sonntag orcid: https://orcid.org/0000-0003-3384-3496 - first_name: Bennet full_name: Gebken, Bennet id: '32643' last_name: Gebken - first_name: Georg full_name: Müller, Georg last_name: Müller - first_name: Sebastian full_name: Peitz, Sebastian id: '47427' last_name: Peitz orcid: 0000-0002-3389-793X - first_name: Stefan full_name: Volkwein, Stefan last_name: Volkwein citation: ama: Sonntag K, Gebken B, Müller G, Peitz S, Volkwein S. A Descent Method for Nonsmooth Multiobjective Optimization in Hilbert Spaces. arXiv:240206376. Published online 2024. apa: Sonntag, K., Gebken, B., Müller, G., Peitz, S., & Volkwein, S. (2024). A Descent Method for Nonsmooth Multiobjective Optimization in Hilbert Spaces. In arXiv:2402.06376. bibtex: '@article{Sonntag_Gebken_Müller_Peitz_Volkwein_2024, title={A Descent Method for Nonsmooth Multiobjective Optimization in Hilbert Spaces}, journal={arXiv:2402.06376}, author={Sonntag, Konstantin and Gebken, Bennet and Müller, Georg and Peitz, Sebastian and Volkwein, Stefan}, year={2024} }' chicago: Sonntag, Konstantin, Bennet Gebken, Georg Müller, Sebastian Peitz, and Stefan Volkwein. “A Descent Method for Nonsmooth Multiobjective Optimization in Hilbert Spaces.” ArXiv:2402.06376, 2024. ieee: K. Sonntag, B. Gebken, G. Müller, S. Peitz, and S. Volkwein, “A Descent Method for Nonsmooth Multiobjective Optimization in Hilbert Spaces,” arXiv:2402.06376. 2024. mla: Sonntag, Konstantin, et al. “A Descent Method for Nonsmooth Multiobjective Optimization in Hilbert Spaces.” ArXiv:2402.06376, 2024. short: K. Sonntag, B. Gebken, G. Müller, S. Peitz, S. Volkwein, ArXiv:2402.06376 (2024). date_created: 2024-02-13T09:35:26Z date_updated: 2024-02-21T10:21:03Z department: - _id: '101' - _id: '655' external_id: arxiv: - "\t2402.06376" has_accepted_license: '1' language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/2402.06376 oa: '1' publication: arXiv:2402.06376 status: public title: A Descent Method for Nonsmooth Multiobjective Optimization in Hilbert Spaces type: preprint user_id: '56399' year: '2024' ... --- _id: '40171' abstract: - lang: eng text: We present a convolutional framework which significantly reduces the complexity and thus, the computational effort for distributed reinforcement learning control of dynamical systems governed by partial differential equations (PDEs). Exploiting translational equivariances, the high-dimensional distributed control problem can be transformed into a multi-agent control problem with many identical, uncoupled agents. Furthermore, using the fact that information is transported with finite velocity in many cases, the dimension of the agents’ environment can be drastically reduced using a convolution operation over the state space of the PDE, by which we effectively tackle the curse of dimensionality otherwise present in deep reinforcement learning. In this setting, the complexity can be flexibly adjusted via the kernel width or by using a stride greater than one (meaning that we do not place an actuator at each sensor location). Moreover, scaling from smaller to larger domains – or the transfer between different domains – becomes a straightforward task requiring little effort. We demonstrate the performance of the proposed framework using several PDE examples with increasing complexity, where stabilization is achieved by training a low-dimensional deep deterministic policy gradient agent using minimal computing resources. article_type: original author: - first_name: Sebastian full_name: Peitz, Sebastian id: '47427' last_name: Peitz orcid: 0000-0002-3389-793X - first_name: Jan full_name: Stenner, Jan id: '65520' last_name: Stenner - first_name: Vikas full_name: Chidananda, Vikas last_name: Chidananda - first_name: Oliver full_name: Wallscheid, Oliver id: '11291' last_name: Wallscheid orcid: https://orcid.org/0000-0001-9362-8777 - first_name: Steven L. full_name: Brunton, Steven L. last_name: Brunton - first_name: Kunihiko full_name: Taira, Kunihiko last_name: Taira citation: ama: 'Peitz S, Stenner J, Chidananda V, Wallscheid O, Brunton SL, Taira K. Distributed Control of Partial Differential Equations Using  Convolutional Reinforcement Learning. Physica D: Nonlinear Phenomena. 2024;461:134096. doi:10.1016/j.physd.2024.134096' apa: 'Peitz, S., Stenner, J., Chidananda, V., Wallscheid, O., Brunton, S. L., & Taira, K. (2024). Distributed Control of Partial Differential Equations Using  Convolutional Reinforcement Learning. Physica D: Nonlinear Phenomena, 461, 134096. https://doi.org/10.1016/j.physd.2024.134096' bibtex: '@article{Peitz_Stenner_Chidananda_Wallscheid_Brunton_Taira_2024, title={Distributed Control of Partial Differential Equations Using  Convolutional Reinforcement Learning}, volume={461}, DOI={10.1016/j.physd.2024.134096}, journal={Physica D: Nonlinear Phenomena}, publisher={Elsevier}, author={Peitz, Sebastian and Stenner, Jan and Chidananda, Vikas and Wallscheid, Oliver and Brunton, Steven L. and Taira, Kunihiko}, year={2024}, pages={134096} }' chicago: 'Peitz, Sebastian, Jan Stenner, Vikas Chidananda, Oliver Wallscheid, Steven L. Brunton, and Kunihiko Taira. “Distributed Control of Partial Differential Equations Using  Convolutional Reinforcement Learning.” Physica D: Nonlinear Phenomena 461 (2024): 134096. https://doi.org/10.1016/j.physd.2024.134096.' ieee: 'S. Peitz, J. Stenner, V. Chidananda, O. Wallscheid, S. L. Brunton, and K. Taira, “Distributed Control of Partial Differential Equations Using  Convolutional Reinforcement Learning,” Physica D: Nonlinear Phenomena, vol. 461, p. 134096, 2024, doi: 10.1016/j.physd.2024.134096.' mla: 'Peitz, Sebastian, et al. “Distributed Control of Partial Differential Equations Using  Convolutional Reinforcement Learning.” Physica D: Nonlinear Phenomena, vol. 461, Elsevier, 2024, p. 134096, doi:10.1016/j.physd.2024.134096.' short: 'S. Peitz, J. Stenner, V. Chidananda, O. Wallscheid, S.L. Brunton, K. Taira, Physica D: Nonlinear Phenomena 461 (2024) 134096.' date_created: 2023-01-26T07:56:26Z date_updated: 2024-02-23T10:53:42Z department: - _id: '655' doi: 10.1016/j.physd.2024.134096 intvolume: ' 461' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.1016/j.physd.2024.134096 oa: '1' page: '134096' publication: 'Physica D: Nonlinear Phenomena' publisher: Elsevier status: public title: Distributed Control of Partial Differential Equations Using Convolutional Reinforcement Learning type: journal_article user_id: '47427' volume: 461 year: '2024' ... --- _id: '52318' author: - first_name: Svitlana full_name: Dorociak, Svitlana last_name: Dorociak citation: ama: Dorociak S. Implementierung Eines Algorithmus Zur Motivbasierten Schnitt-Sparsifizierung.; 2024. apa: Dorociak, S. (2024). Implementierung eines Algorithmus zur motivbasierten Schnitt-Sparsifizierung. bibtex: '@book{Dorociak_2024, title={Implementierung eines Algorithmus zur motivbasierten Schnitt-Sparsifizierung}, author={Dorociak, Svitlana}, year={2024} }' chicago: Dorociak, Svitlana. Implementierung Eines Algorithmus Zur Motivbasierten Schnitt-Sparsifizierung, 2024. ieee: S. Dorociak, Implementierung eines Algorithmus zur motivbasierten Schnitt-Sparsifizierung. 2024. mla: Dorociak, Svitlana. Implementierung Eines Algorithmus Zur Motivbasierten Schnitt-Sparsifizierung. 2024. short: S. Dorociak, Implementierung Eines Algorithmus Zur Motivbasierten Schnitt-Sparsifizierung, 2024. date_created: 2024-03-05T12:52:59Z date_updated: 2024-03-05T12:53:25Z department: - _id: '34' - _id: '7' - _id: '79' language: - iso: eng status: public supervisor: - first_name: Christian full_name: Scheideler, Christian id: '20792' last_name: Scheideler title: Implementierung eines Algorithmus zur motivbasierten Schnitt-Sparsifizierung type: bachelorsthesis user_id: '15578' year: '2024' ... --- _id: '52235' abstract: - lang: eng text: "Android applications collecting data from users must protect it according to the current legal frameworks. Such data protection has become even more important since the European Union rolled out the General Data Protection Regulation (GDPR). Since app developers are not legal experts, they find it difficult to write privacy-aware source code. Moreover, they have limited tool support to reason about data protection throughout their app development process.\r\nThis paper motivates the need for a static analysis approach to diagnose and explain data protection in Android apps. The analysis will recognize personal data sources in the source code, and aims to further examine the data flow originating from these sources. App developers can then address key questions about data manipulation, derived data, and the presence of technical measures. Despite challenges, we explore to what extent one can realize this analysis through static taint analysis, a common method for identifying security vulnerabilities. This is a first step towards designing a tool-based approach that aids app developers and assessors in ensuring data protection in Android apps, based on automated static program analysis. " author: - first_name: Mugdha full_name: Khedkar, Mugdha id: '88024' last_name: Khedkar - first_name: Eric full_name: Bodden, Eric id: '59256' last_name: Bodden orcid: 0000-0003-3470-3647 citation: ama: 'Khedkar M, Bodden E. Toward an Android Static Analysis Approach for Data Protection. In: Proceedings of the 9th International Conference on Mobile Software Engineering and Systems. ; 2024.' apa: Khedkar, M., & Bodden, E. (2024). Toward an Android Static Analysis Approach for Data Protection. Proceedings of the 9th International Conference on Mobile Software Engineering and Systems. 9th International Conference on Mobile Software Engineering and Systems 2024, Lisbon, Portugal. bibtex: '@inproceedings{Khedkar_Bodden_2024, title={Toward an Android Static Analysis Approach for Data Protection}, booktitle={Proceedings of the 9th International Conference on Mobile Software Engineering and Systems}, author={Khedkar, Mugdha and Bodden, Eric}, year={2024} }' chicago: Khedkar, Mugdha, and Eric Bodden. “Toward an Android Static Analysis Approach for Data Protection.” In Proceedings of the 9th International Conference on Mobile Software Engineering and Systems, 2024. ieee: M. Khedkar and E. Bodden, “Toward an Android Static Analysis Approach for Data Protection,” presented at the 9th International Conference on Mobile Software Engineering and Systems 2024, Lisbon, Portugal, 2024. mla: Khedkar, Mugdha, and Eric Bodden. “Toward an Android Static Analysis Approach for Data Protection.” Proceedings of the 9th International Conference on Mobile Software Engineering and Systems, 2024. short: 'M. Khedkar, E. Bodden, in: Proceedings of the 9th International Conference on Mobile Software Engineering and Systems, 2024.' conference: end_date: 2024-04-15 location: Lisbon, Portugal name: 9th International Conference on Mobile Software Engineering and Systems 2024 start_date: 2024-04-14 date_created: 2024-03-03T14:37:53Z date_updated: 2024-03-06T13:00:38Z ddc: - '006' department: - _id: '76' external_id: arxiv: - '2402.07889' file: - access_level: closed content_type: application/pdf creator: khedkarm date_created: 2024-03-03T14:39:08Z date_updated: 2024-03-03T14:39:08Z file_id: '52236' file_name: 2402.07889v1.pdf file_size: 530812 relation: main_file success: 1 file_date_updated: 2024-03-03T14:39:08Z has_accepted_license: '1' keyword: - static program analysis - data protection and privacy - GDPR compliance language: - iso: eng publication: Proceedings of the 9th International Conference on Mobile Software Engineering and Systems status: public title: Toward an Android Static Analysis Approach for Data Protection type: conference user_id: '88024' year: '2024' ... --- _id: '52587' author: - first_name: Eric full_name: Bodden, Eric id: '59256' last_name: Bodden orcid: 0000-0003-3470-3647 - first_name: Jens full_name: Pottebaum, Jens id: '405' last_name: Pottebaum orcid: http://orcid.org/0000-0001-8778-2989 - first_name: Markus full_name: Fockel, Markus last_name: Fockel - first_name: Iris full_name: Gräßler, Iris id: '47565' last_name: Gräßler orcid: 0000-0001-5765-971X citation: ama: Bodden E, Pottebaum J, Fockel M, Gräßler I. Evaluating Security Through Isolation and Defense in Depth. IEEE Security & Privacy. 2024;22(1):69-72. doi:10.1109/msec.2023.3336028 apa: Bodden, E., Pottebaum, J., Fockel, M., & Gräßler, I. (2024). Evaluating Security Through Isolation and Defense in Depth. IEEE Security & Privacy, 22(1), 69–72. https://doi.org/10.1109/msec.2023.3336028 bibtex: '@article{Bodden_Pottebaum_Fockel_Gräßler_2024, title={Evaluating Security Through Isolation and Defense in Depth}, volume={22}, DOI={10.1109/msec.2023.3336028}, number={1}, journal={IEEE Security & Privacy}, publisher={Institute of Electrical and Electronics Engineers (IEEE)}, author={Bodden, Eric and Pottebaum, Jens and Fockel, Markus and Gräßler, Iris}, year={2024}, pages={69–72} }' chicago: 'Bodden, Eric, Jens Pottebaum, Markus Fockel, and Iris Gräßler. “Evaluating Security Through Isolation and Defense in Depth.” IEEE Security & Privacy 22, no. 1 (2024): 69–72. https://doi.org/10.1109/msec.2023.3336028.' ieee: 'E. Bodden, J. Pottebaum, M. Fockel, and I. Gräßler, “Evaluating Security Through Isolation and Defense in Depth,” IEEE Security & Privacy, vol. 22, no. 1, pp. 69–72, 2024, doi: 10.1109/msec.2023.3336028.' mla: Bodden, Eric, et al. “Evaluating Security Through Isolation and Defense in Depth.” IEEE Security & Privacy, vol. 22, no. 1, Institute of Electrical and Electronics Engineers (IEEE), 2024, pp. 69–72, doi:10.1109/msec.2023.3336028. short: E. Bodden, J. Pottebaum, M. Fockel, I. Gräßler, IEEE Security & Privacy 22 (2024) 69–72. date_created: 2024-03-15T20:16:18Z date_updated: 2024-03-15T20:25:13Z department: - _id: '152' - _id: '76' - _id: '241' doi: 10.1109/msec.2023.3336028 intvolume: ' 22' issue: '1' keyword: - Law - Electrical and Electronic Engineering - Computer Networks and Communications language: - iso: eng page: 69-72 publication: IEEE Security & Privacy publication_identifier: issn: - 1540-7993 - 1558-4046 publication_status: published publisher: Institute of Electrical and Electronics Engineers (IEEE) quality_controlled: '1' status: public title: Evaluating Security Through Isolation and Defense in Depth type: journal_article user_id: '405' volume: 22 year: '2024' ... --- _id: '33461' abstract: - lang: eng text: Data-driven models for nonlinear dynamical systems based on approximating the underlying Koopman operator or generator have proven to be successful tools for forecasting, feature learning, state estimation, and control. It has become well known that the Koopman generators for control-affine systems also have affine dependence on the input, leading to convenient finite-dimensional bilinear approximations of the dynamics. Yet there are still two main obstacles that limit the scope of current approaches for approximating the Koopman generators of systems with actuation. First, the performance of existing methods depends heavily on the choice of basis functions over which the Koopman generator is to be approximated; and there is currently no universal way to choose them for systems that are not measure preserving. Secondly, if we do not observe the full state, we may not gain access to a sufficiently rich collection of such functions to describe the dynamics. This is because the commonly used method of forming time-delayed observables fails when there is actuation. To remedy these issues, we write the dynamics of observables governed by the Koopman generator as a bilinear hidden Markov model, and determine the model parameters using the expectation-maximization (EM) algorithm. The E-step involves a standard Kalman filter and smoother, while the M-step resembles control-affine dynamic mode decomposition for the generator. We demonstrate the performance of this method on three examples, including recovery of a finite-dimensional Koopman-invariant subspace for an actuated system with a slow manifold; estimation of Koopman eigenfunctions for the unforced Duffing equation; and model-predictive control of a fluidic pinball system based only on noisy observations of lift and drag. author: - first_name: Samuel E. full_name: Otto, Samuel E. last_name: Otto - first_name: Sebastian full_name: Peitz, Sebastian id: '47427' last_name: Peitz orcid: 0000-0002-3389-793X - first_name: Clarence W. full_name: Rowley, Clarence W. last_name: Rowley citation: ama: Otto SE, Peitz S, Rowley CW. Learning Bilinear Models of Actuated Koopman Generators from  Partially-Observed Trajectories. SIAM Journal on Applied Dynamical Systems. 2024;23(1):885-923. doi:10.1137/22M1523601 apa: Otto, S. E., Peitz, S., & Rowley, C. W. (2024). Learning Bilinear Models of Actuated Koopman Generators from  Partially-Observed Trajectories. SIAM Journal on Applied Dynamical Systems, 23(1), 885–923. https://doi.org/10.1137/22M1523601 bibtex: '@article{Otto_Peitz_Rowley_2024, title={Learning Bilinear Models of Actuated Koopman Generators from  Partially-Observed Trajectories}, volume={23}, DOI={10.1137/22M1523601}, number={1}, journal={SIAM Journal on Applied Dynamical Systems}, publisher={SIAM}, author={Otto, Samuel E. and Peitz, Sebastian and Rowley, Clarence W.}, year={2024}, pages={885–923} }' chicago: 'Otto, Samuel E., Sebastian Peitz, and Clarence W. Rowley. “Learning Bilinear Models of Actuated Koopman Generators from  Partially-Observed Trajectories.” SIAM Journal on Applied Dynamical Systems 23, no. 1 (2024): 885–923. https://doi.org/10.1137/22M1523601.' ieee: 'S. E. Otto, S. Peitz, and C. W. Rowley, “Learning Bilinear Models of Actuated Koopman Generators from  Partially-Observed Trajectories,” SIAM Journal on Applied Dynamical Systems, vol. 23, no. 1, pp. 885–923, 2024, doi: 10.1137/22M1523601.' mla: Otto, Samuel E., et al. “Learning Bilinear Models of Actuated Koopman Generators from  Partially-Observed Trajectories.” SIAM Journal on Applied Dynamical Systems, vol. 23, no. 1, SIAM, 2024, pp. 885–923, doi:10.1137/22M1523601. short: S.E. Otto, S. Peitz, C.W. Rowley, SIAM Journal on Applied Dynamical Systems 23 (2024) 885–923. date_created: 2022-09-22T07:21:40Z date_updated: 2024-03-18T10:40:08Z department: - _id: '655' doi: 10.1137/22M1523601 external_id: arxiv: - '2209.09977' intvolume: ' 23' issue: '1' language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/pdf/2209.09977.pdf oa: '1' page: 885-923 project: - _id: '52' name: 'PC2: Computing Resources Provided by the Paderborn Center for Parallel Computing' publication: SIAM Journal on Applied Dynamical Systems publication_status: published publisher: SIAM status: public title: Learning Bilinear Models of Actuated Koopman Generators from Partially-Observed Trajectories type: journal_article user_id: '47427' volume: 23 year: '2024' ... --- _id: '52663' abstract: - lang: eng text: "Context\r\nStatic analyses are well-established to aid in understanding bugs or vulnerabilities during the development process or in large-scale studies. A low false-positive rate is essential for the adaption in practice and for precise results of empirical studies. Unfortunately, static analyses tend to report where a vulnerability manifests rather than the fix location. This can cause presumed false positives or imprecise results.\r\nMethod\r\nTo address this problem, we designed an adaption of an existing static analysis algorithm that can distinguish between a manifestation and fix location, and reports error chains. An error chain represents at least two interconnected errors that occur successively, thus building the connection between the fix and manifestation location. We used our tool CogniCryptSUBS for a case study on 471 GitHub repositories, a performance benchmark to compare different analysis configurations, and conducted an expert interview.\r\nResult\r\nWe found that 50 % of the projects with a report had at least one error chain. Our runtime benchmark demonstrated that our improvement caused only a minimal runtime overhead of less than 4 %. The results of our expert interview indicate that with our adapted version participants require fewer executions of the analysis.\r\nConclusion\r\nOur results indicate that error chains occur frequently in real-world projects, and ignoring them can lead to imprecise evaluation results. The runtime benchmark indicates that our tool is a feasible and efficient solution for detecting error chains in real-world projects. Further, our results gave a hint that the usability of static analyses may benefit from supporting error chains." author: - first_name: Anna-Katharina full_name: Wickert, Anna-Katharina last_name: Wickert - first_name: Michael full_name: Schlichtig, Michael id: '32312' last_name: Schlichtig orcid: 0000-0001-6600-6171 - first_name: Marvin full_name: Vogel, Marvin last_name: Vogel - first_name: Lukas full_name: Winter, Lukas last_name: Winter - first_name: Mira full_name: Mezini, Mira last_name: Mezini - first_name: Eric full_name: Bodden, Eric id: '59256' last_name: Bodden orcid: 0000-0003-3470-3647 citation: ama: Wickert A-K, Schlichtig M, Vogel M, Winter L, Mezini M, Bodden E. Supporting Error Chains in Static Analysis for Precise Evaluation Results and Enhanced Usability.; 2024. apa: Wickert, A.-K., Schlichtig, M., Vogel, M., Winter, L., Mezini, M., & Bodden, E. (2024). Supporting Error Chains in Static Analysis for Precise Evaluation Results and Enhanced Usability. bibtex: '@book{Wickert_Schlichtig_Vogel_Winter_Mezini_Bodden_2024, title={Supporting Error Chains in Static Analysis for Precise Evaluation Results and Enhanced Usability}, author={Wickert, Anna-Katharina and Schlichtig, Michael and Vogel, Marvin and Winter, Lukas and Mezini, Mira and Bodden, Eric}, year={2024} }' chicago: Wickert, Anna-Katharina, Michael Schlichtig, Marvin Vogel, Lukas Winter, Mira Mezini, and Eric Bodden. Supporting Error Chains in Static Analysis for Precise Evaluation Results and Enhanced Usability, 2024. ieee: A.-K. Wickert, M. Schlichtig, M. Vogel, L. Winter, M. Mezini, and E. Bodden, Supporting Error Chains in Static Analysis for Precise Evaluation Results and Enhanced Usability. 2024. mla: Wickert, Anna-Katharina, et al. Supporting Error Chains in Static Analysis for Precise Evaluation Results and Enhanced Usability. 2024. short: A.-K. Wickert, M. Schlichtig, M. Vogel, L. Winter, M. Mezini, E. Bodden, Supporting Error Chains in Static Analysis for Precise Evaluation Results and Enhanced Usability, 2024. date_created: 2024-03-20T09:28:36Z date_updated: 2024-03-20T09:32:29Z department: - _id: '76' keyword: - Static analysis - error chains - false positive re- duction - empirical studies language: - iso: eng main_file_link: - url: https://arxiv.org/abs/2403.07808 status: public title: Supporting Error Chains in Static Analysis for Precise Evaluation Results and Enhanced Usability type: misc user_id: '32312' year: '2024' ... --- _id: '52686' author: - first_name: Qazi Arbab full_name: Ahmed, Qazi Arbab id: '72764' last_name: Ahmed orcid: 0000-0002-1837-2254 - first_name: Tobias full_name: Wiersema, Tobias id: '3118' last_name: Wiersema - first_name: Marco full_name: Platzner, Marco id: '398' last_name: Platzner citation: ama: Ahmed QA, Wiersema T, Platzner M. Post-configuration Activation of Hardware Trojans in FPGAs. Journal of Hardware and Systems Security. Published online 2024. doi:10.1007/s41635-024-00147-5 apa: Ahmed, Q. A., Wiersema, T., & Platzner, M. (2024). Post-configuration Activation of Hardware Trojans in FPGAs. Journal of Hardware and Systems Security. https://doi.org/10.1007/s41635-024-00147-5 bibtex: '@article{Ahmed_Wiersema_Platzner_2024, title={Post-configuration Activation of Hardware Trojans in FPGAs}, DOI={10.1007/s41635-024-00147-5}, journal={Journal of Hardware and Systems Security}, publisher={Springer Science and Business Media LLC}, author={Ahmed, Qazi Arbab and Wiersema, Tobias and Platzner, Marco}, year={2024} }' chicago: Ahmed, Qazi Arbab, Tobias Wiersema, and Marco Platzner. “Post-Configuration Activation of Hardware Trojans in FPGAs.” Journal of Hardware and Systems Security, 2024. https://doi.org/10.1007/s41635-024-00147-5. ieee: 'Q. A. Ahmed, T. Wiersema, and M. Platzner, “Post-configuration Activation of Hardware Trojans in FPGAs,” Journal of Hardware and Systems Security, 2024, doi: 10.1007/s41635-024-00147-5.' mla: Ahmed, Qazi Arbab, et al. “Post-Configuration Activation of Hardware Trojans in FPGAs.” Journal of Hardware and Systems Security, Springer Science and Business Media LLC, 2024, doi:10.1007/s41635-024-00147-5. short: Q.A. Ahmed, T. Wiersema, M. Platzner, Journal of Hardware and Systems Security (2024). date_created: 2024-03-20T12:24:50Z date_updated: 2024-03-20T12:31:36Z department: - _id: '78' doi: 10.1007/s41635-024-00147-5 keyword: - General Engineering - Energy Engineering and Power Technology language: - iso: eng publication: Journal of Hardware and Systems Security publication_identifier: issn: - 2509-3428 - 2509-3436 publication_status: published publisher: Springer Science and Business Media LLC status: public title: Post-configuration Activation of Hardware Trojans in FPGAs type: journal_article user_id: '72764' year: '2024' ... --- _id: '52380' author: - first_name: Sören full_name: Sparmann, Sören id: '63216' last_name: Sparmann - first_name: Sven full_name: Hüsing, Sven id: '58465' last_name: Hüsing - first_name: Carsten full_name: Schulte, Carsten id: '60311' last_name: Schulte citation: ama: 'Sparmann S, Hüsing S, Schulte C. JuGaze: A Cell-based Eye Tracking and Logging Tool for Jupyter Notebooks. In: Proceedings of the 23rd Koli Calling International Conference on Computing Education Research. ACM; 2024. doi:10.1145/3631802.3631824' apa: 'Sparmann, S., Hüsing, S., & Schulte, C. (2024). JuGaze: A Cell-based Eye Tracking and Logging Tool for Jupyter Notebooks. Proceedings of the 23rd Koli Calling International Conference on Computing Education Research. https://doi.org/10.1145/3631802.3631824' bibtex: '@inproceedings{Sparmann_Hüsing_Schulte_2024, title={JuGaze: A Cell-based Eye Tracking and Logging Tool for Jupyter Notebooks}, DOI={10.1145/3631802.3631824}, booktitle={Proceedings of the 23rd Koli Calling International Conference on Computing Education Research}, publisher={ACM}, author={Sparmann, Sören and Hüsing, Sven and Schulte, Carsten}, year={2024} }' chicago: 'Sparmann, Sören, Sven Hüsing, and Carsten Schulte. “JuGaze: A Cell-Based Eye Tracking and Logging Tool for Jupyter Notebooks.” In Proceedings of the 23rd Koli Calling International Conference on Computing Education Research. ACM, 2024. https://doi.org/10.1145/3631802.3631824.' ieee: 'S. Sparmann, S. Hüsing, and C. Schulte, “JuGaze: A Cell-based Eye Tracking and Logging Tool for Jupyter Notebooks,” 2024, doi: 10.1145/3631802.3631824.' mla: 'Sparmann, Sören, et al. “JuGaze: A Cell-Based Eye Tracking and Logging Tool for Jupyter Notebooks.” Proceedings of the 23rd Koli Calling International Conference on Computing Education Research, ACM, 2024, doi:10.1145/3631802.3631824.' short: 'S. Sparmann, S. Hüsing, C. Schulte, in: Proceedings of the 23rd Koli Calling International Conference on Computing Education Research, ACM, 2024.' date_created: 2024-03-08T08:02:10Z date_updated: 2024-03-21T23:19:13Z department: - _id: '67' doi: 10.1145/3631802.3631824 language: - iso: eng publication: Proceedings of the 23rd Koli Calling International Conference on Computing Education Research publication_status: published publisher: ACM status: public title: 'JuGaze: A Cell-based Eye Tracking and Logging Tool for Jupyter Notebooks' type: conference user_id: '58465' year: '2024' ...