[{"quality_controlled":"1","publication_status":"inpress","citation":{"apa":"Gräßler, I., &#38; Grewe, B. (n.d.). <i>Measuring Systems Engineering Transformation: A systematic literature review</i>. 18th CIRP Conference on Intelligent Computation in Manufacturing Engineering, Ischia, Italy. <a href=\"https://doi.org/10.1016/j.procir.2026.01.202\">https://doi.org/10.1016/j.procir.2026.01.202</a>","mla":"Gräßler, Iris, and Benedikt Grewe. <i>Measuring Systems Engineering Transformation: A Systematic Literature Review</i>. doi:<a href=\"https://doi.org/10.1016/j.procir.2026.01.202\">https://doi.org/10.1016/j.procir.2026.01.202</a>.","bibtex":"@article{Gräßler_Grewe, series={18th CIRP Conference on Intelligent Computation in Manufacturing Engineering, 10-12 July 2024}, title={Measuring Systems Engineering Transformation: A systematic literature review}, DOI={<a href=\"https://doi.org/10.1016/j.procir.2026.01.202\">https://doi.org/10.1016/j.procir.2026.01.202</a>}, author={Gräßler, Iris and Grewe, Benedikt}, collection={18th CIRP Conference on Intelligent Computation in Manufacturing Engineering, 10-12 July 2024} }","short":"I. Gräßler, B. Grewe, (n.d.).","chicago":"Gräßler, Iris, and Benedikt Grewe. “Measuring Systems Engineering Transformation: A Systematic Literature Review.” 18th CIRP Conference on Intelligent Computation in Manufacturing Engineering, 10-12 July 2024, n.d. <a href=\"https://doi.org/10.1016/j.procir.2026.01.202\">https://doi.org/10.1016/j.procir.2026.01.202</a>.","ieee":"I. Gräßler and B. Grewe, “Measuring Systems Engineering Transformation: A systematic literature review.” doi: <a href=\"https://doi.org/10.1016/j.procir.2026.01.202\">https://doi.org/10.1016/j.procir.2026.01.202</a>.","ama":"Gräßler I, Grewe B. Measuring Systems Engineering Transformation: A systematic literature review. doi:<a href=\"https://doi.org/10.1016/j.procir.2026.01.202\">https://doi.org/10.1016/j.procir.2026.01.202</a>"},"year":"2026","date_created":"2024-07-17T12:49:44Z","author":[{"last_name":"Gräßler","orcid":"0000-0001-5765-971X","id":"47565","full_name":"Gräßler, Iris","first_name":"Iris"},{"full_name":"Grewe, Benedikt","id":"52359","last_name":"Grewe","first_name":"Benedikt"}],"date_updated":"2026-02-24T07:41:48Z","conference":{"location":"Ischia, Italy","end_date":"2024-07-12","start_date":"2024-07-10","name":"18th CIRP Conference on Intelligent Computation in Manufacturing Engineering"},"doi":"https://doi.org/10.1016/j.procir.2026.01.202","title":"Measuring Systems Engineering Transformation: A systematic literature review","type":"conference","status":"public","abstract":[{"text":"Established companies are undertaking major transformation initiatives of their corporate structures and organisational forms to cope with the complexity during the engineering of cyber-physical production systems (CPPS). A frequently discussed issue is the measurability of this transformation progress. This paper conducts a systematic literature analysis of approaches regarding measurability of transformation and evaluates their application in the context of a systems engineering transformation. Measure-ment criteria are derived from the identified approaches, categorised, and finally evaluated by industry experts regarding their applicability. The categorised measurement criteria can be used to accurately measure the progress of a transformation process.","lang":"eng"}],"department":[{"_id":"152"}],"user_id":"52359","series_title":"18th CIRP Conference on Intelligent Computation in Manufacturing Engineering, 10-12 July 2024","_id":"55308","language":[{"iso":"eng"}],"keyword":["Organizational Transformation","Systems Engineering","Meausrement","Metrics","Organizational Change"]},{"publication":"IEEE Transactions On Very Large Scale Integration Systems","abstract":[{"lang":"eng","text":"Approximate circuits trade-off computational accuracy against improvements in hardware area, delay, or energy consumption. IP core vendors who wish to create such circuits need to convince consumers of the resulting approximation quality. As a solution we propose proof-carrying approximate circuits: The vendor creates an approximate IP core together with a certificate that proves the approximation quality. The proof certificate is bundled with the approximate IP core and sent off to the consumer. The consumer can formally verify the approximation quality of the IP core at a fraction of the typical computational cost for formal verification. In this paper, we first make the case for proof-carrying approximate circuits and then demonstrate the feasibility of the approach by a set of synthesis experiments using an exemplary approximation framework."}],"keyword":["Approximate circuit synthesis","approximate computing","error metrics","formal verification","proof-carrying hardware"],"language":[{"iso":"eng"}],"quality_controlled":"1","issue":"9","year":"2020","publisher":"IEEE","date_created":"2020-07-06T11:21:30Z","title":"Proof-carrying Approximate Circuits","type":"journal_article","status":"public","project":[{"name":"SFB 901 - Subproject B4","_id":"12"},{"_id":"3","name":"SFB 901 - Project Area B"},{"_id":"1","name":"SFB 901"}],"_id":"17358","user_id":"49051","department":[{"_id":"78"}],"article_type":"original","funded_apc":"1","publication_status":"published","publication_identifier":{"issn":["1063-8210"],"eissn":["1557-9999"]},"citation":{"ama":"Witschen LM, Wiersema T, Platzner M. Proof-carrying Approximate Circuits. <i>IEEE Transactions On Very Large Scale Integration Systems</i>. 2020;28(9):2084-2088. doi:<a href=\"https://doi.org/10.1109/TVLSI.2020.3008061\">10.1109/TVLSI.2020.3008061</a>","ieee":"L. M. Witschen, T. Wiersema, and M. Platzner, “Proof-carrying Approximate Circuits,” <i>IEEE Transactions On Very Large Scale Integration Systems</i>, vol. 28, no. 9, pp. 2084–2088, 2020.","chicago":"Witschen, Linus Matthias, Tobias Wiersema, and Marco Platzner. “Proof-Carrying Approximate Circuits.” <i>IEEE Transactions On Very Large Scale Integration Systems</i> 28, no. 9 (2020): 2084–88. <a href=\"https://doi.org/10.1109/TVLSI.2020.3008061\">https://doi.org/10.1109/TVLSI.2020.3008061</a>.","apa":"Witschen, L. M., Wiersema, T., &#38; Platzner, M. (2020). Proof-carrying Approximate Circuits. <i>IEEE Transactions On Very Large Scale Integration Systems</i>, <i>28</i>(9), 2084–2088. <a href=\"https://doi.org/10.1109/TVLSI.2020.3008061\">https://doi.org/10.1109/TVLSI.2020.3008061</a>","bibtex":"@article{Witschen_Wiersema_Platzner_2020, title={Proof-carrying Approximate Circuits}, volume={28}, DOI={<a href=\"https://doi.org/10.1109/TVLSI.2020.3008061\">10.1109/TVLSI.2020.3008061</a>}, number={9}, journal={IEEE Transactions On Very Large Scale Integration Systems}, publisher={IEEE}, author={Witschen, Linus Matthias and Wiersema, Tobias and Platzner, Marco}, year={2020}, pages={2084–2088} }","mla":"Witschen, Linus Matthias, et al. “Proof-Carrying Approximate Circuits.” <i>IEEE Transactions On Very Large Scale Integration Systems</i>, vol. 28, no. 9, IEEE, 2020, pp. 2084–88, doi:<a href=\"https://doi.org/10.1109/TVLSI.2020.3008061\">10.1109/TVLSI.2020.3008061</a>.","short":"L.M. Witschen, T. Wiersema, M. Platzner, IEEE Transactions On Very Large Scale Integration Systems 28 (2020) 2084–2088."},"intvolume":"        28","page":"2084 - 2088","date_updated":"2022-01-06T06:53:09Z","author":[{"id":"49051","full_name":"Witschen, Linus Matthias","last_name":"Witschen","first_name":"Linus Matthias"},{"id":"3118","full_name":"Wiersema, Tobias","last_name":"Wiersema","first_name":"Tobias"},{"first_name":"Marco","full_name":"Platzner, Marco","id":"398","last_name":"Platzner"}],"volume":28,"doi":"10.1109/TVLSI.2020.3008061"},{"date_created":"2018-11-14T14:12:27Z","author":[{"last_name":"Schryen","id":"72850","full_name":"Schryen, Guido","first_name":"Guido"},{"first_name":"Rouven","full_name":"Kadura, Rouven","last_name":"Kadura"}],"date_updated":"2022-01-06T07:02:13Z","oa":"1","title":"Open Source vs. Closed Source Software: Towards Measuring Security","has_accepted_license":"1","citation":{"apa":"Schryen, G., &#38; Kadura, R. (2009). Open Source vs. Closed Source Software: Towards Measuring Security. In <i>24th Annual ACM Symposium on Applied Computing</i>.","mla":"Schryen, Guido, and Rouven Kadura. “Open Source vs. Closed Source Software: Towards Measuring Security.” <i>24th Annual ACM Symposium on Applied Computing</i>, 2009.","short":"G. Schryen, R. Kadura, in: 24th Annual ACM Symposium on Applied Computing, 2009.","bibtex":"@inproceedings{Schryen_Kadura_2009, title={Open Source vs. Closed Source Software: Towards Measuring Security}, booktitle={24th Annual ACM Symposium on Applied Computing}, author={Schryen, Guido and Kadura, Rouven}, year={2009} }","ama":"Schryen G, Kadura R. Open Source vs. Closed Source Software: Towards Measuring Security. In: <i>24th Annual ACM Symposium on Applied Computing</i>. ; 2009.","chicago":"Schryen, Guido, and Rouven Kadura. “Open Source vs. Closed Source Software: Towards Measuring Security.” In <i>24th Annual ACM Symposium on Applied Computing</i>, 2009.","ieee":"G. Schryen and R. Kadura, “Open Source vs. Closed Source Software: Towards Measuring Security,” in <i>24th Annual ACM Symposium on Applied Computing</i>, 2009."},"year":"2009","department":[{"_id":"277"}],"user_id":"61579","_id":"5625","file_date_updated":"2018-12-18T13:14:09Z","language":[{"iso":"eng"}],"extern":"1","keyword":["Open source software","Closed source software","Security","Metrics"],"ddc":["000"],"publication":"24th Annual ACM Symposium on Applied Computing","type":"conference","status":"public","file":[{"relation":"main_file","content_type":"application/pdf","file_size":456497,"file_name":"ACM VERSION.pdf","access_level":"open_access","file_id":"6310","date_updated":"2018-12-18T13:14:09Z","date_created":"2018-12-18T13:14:09Z","creator":"hsiemes"}],"abstract":[{"lang":"eng","text":"The increasing availability and deployment of open source software in personal and commercial environments makes open source software highly appealing for hackers, and others who are interested in exploiting software vulnerabilities. This deployment has resulted in a debate ?full of religion? on the security of open source software compared to that of closed source software. However, beyond such arguments, only little quantitative analysis on this research issue has taken place. We discuss the state-of-the-art of the security debate and identify shortcomings. Based on these, we propose new metrics, which allows to answer the question to what extent the review process of open source and closed source development has helped to fix vulnerabilities. We illustrate the application of some of these metrics in a case study on OpenOffice (open source software) vs. Microsoft Office (closed source software)."}]}]