[{"publication":"International Conference on Software Architecture (ICSA 2019)","citation":{"chicago":"Gerking, Christopher, and David Schubert. “Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures.” In <i>International Conference on Software Architecture (ICSA 2019)</i>, 2019.","ama":"Gerking C, Schubert D. Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures. In: <i>International Conference on Software Architecture (ICSA 2019)</i>. ; 2019.","short":"C. Gerking, D. Schubert, in: International Conference on Software Architecture (ICSA 2019), 2019.","bibtex":"@inproceedings{Gerking_Schubert_2019, title={Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures}, booktitle={International Conference on Software Architecture (ICSA 2019)}, author={Gerking, Christopher and Schubert, David}, year={2019} }","apa":"Gerking, C., &#38; Schubert, D. (2019). Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures. <i>International Conference on Software Architecture (ICSA 2019)</i>.","mla":"Gerking, Christopher, and David Schubert. “Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures.” <i>International Conference on Software Architecture (ICSA 2019)</i>, 2019.","ieee":"C. Gerking and D. Schubert, “Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures,” 2019."},"type":"conference","department":[{"_id":"76"},{"_id":"241"}],"date_created":"2020-12-16T14:03:44Z","date_updated":"2022-01-06T06:54:36Z","year":"2019","status":"public","title":"Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures","author":[{"full_name":"Gerking, Christopher","first_name":"Christopher","last_name":"Gerking"},{"id":"9106","last_name":"Schubert","first_name":"David","full_name":"Schubert, David"}],"user_id":"5786","_id":"20759","language":[{"iso":"eng"}]},{"doi":"10.1145/3293882.3330556","user_id":"5786","language":[{"iso":"eng"}],"_id":"23378","date_updated":"2022-01-06T06:55:50Z","publication_status":"published","status":"public","year":"2019","title":"Codebase-adaptive detection of security-relevant methods","author":[{"full_name":"Piskachev, Goran","first_name":"Goran","last_name":"Piskachev"},{"full_name":"Do, Lisa Nguyen Quang","first_name":"Lisa Nguyen Quang","last_name":"Do"},{"full_name":"Bodden, Eric","first_name":"Eric","last_name":"Bodden"}],"type":"conference","department":[{"_id":"241"},{"_id":"662"},{"_id":"76"}],"date_created":"2021-08-09T12:06:52Z","publication":"Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis","citation":{"chicago":"Piskachev, Goran, Lisa Nguyen Quang Do, and Eric Bodden. “Codebase-Adaptive Detection of Security-Relevant Methods.” In <i>Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis</i>, 2019. <a href=\"https://doi.org/10.1145/3293882.3330556\">https://doi.org/10.1145/3293882.3330556</a>.","ama":"Piskachev G, Do LNQ, Bodden E. Codebase-adaptive detection of security-relevant methods. In: <i>Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis</i>. ; 2019. doi:<a href=\"https://doi.org/10.1145/3293882.3330556\">10.1145/3293882.3330556</a>","short":"G. Piskachev, L.N.Q. Do, E. Bodden, in: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019.","bibtex":"@inproceedings{Piskachev_Do_Bodden_2019, title={Codebase-adaptive detection of security-relevant methods}, DOI={<a href=\"https://doi.org/10.1145/3293882.3330556\">10.1145/3293882.3330556</a>}, booktitle={Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis}, author={Piskachev, Goran and Do, Lisa Nguyen Quang and Bodden, Eric}, year={2019} }","apa":"Piskachev, G., Do, L. N. Q., &#38; Bodden, E. (2019). Codebase-adaptive detection of security-relevant methods. <i>Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis</i>. <a href=\"https://doi.org/10.1145/3293882.3330556\">https://doi.org/10.1145/3293882.3330556</a>","mla":"Piskachev, Goran, et al. “Codebase-Adaptive Detection of Security-Relevant Methods.” <i>Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis</i>, 2019, doi:<a href=\"https://doi.org/10.1145/3293882.3330556\">10.1145/3293882.3330556</a>.","ieee":"G. Piskachev, L. N. Q. Do, and E. Bodden, “Codebase-adaptive detection of security-relevant methods,” 2019, doi: <a href=\"https://doi.org/10.1145/3293882.3330556\">10.1145/3293882.3330556</a>."}},{"supervisor":[{"first_name":"Philipp","last_name":"Schubert","orcid":"0000-0002-8674-1859","full_name":"Schubert, Philipp","id":"60543"}],"citation":{"mla":"Selbach, Nils. <i>Modeling Crypto API Usages in OpenSSL’s EVP Library</i>. Universität Paderborn, 2019.","bibtex":"@book{Selbach_2019, title={Modeling Crypto API usages in OpenSSL’s EVP library}, publisher={Universität Paderborn}, author={Selbach, Nils}, year={2019} }","ama":"Selbach N. <i>Modeling Crypto API Usages in OpenSSL’s EVP Library</i>. Universität Paderborn; 2019.","ieee":"N. Selbach, <i>Modeling Crypto API usages in OpenSSL’s EVP library</i>. Universität Paderborn, 2019.","apa":"Selbach, N. (2019). <i>Modeling Crypto API usages in OpenSSL’s EVP library</i>. Universität Paderborn.","chicago":"Selbach, Nils. <i>Modeling Crypto API Usages in OpenSSL’s EVP Library</i>. Universität Paderborn, 2019.","short":"N. Selbach, Modeling Crypto API Usages in OpenSSL’s EVP Library, Universität Paderborn, 2019."},"project":[{"name":"SFB 901 - Subproject B4","_id":"12"},{"name":"SFB 901","_id":"1"},{"_id":"3","name":"SFB 901 - Project Area B"}],"date_created":"2019-02-12T07:28:12Z","department":[{"_id":"76"}],"type":"bachelorsthesis","author":[{"last_name":"Selbach","first_name":"Nils","full_name":"Selbach, Nils"}],"title":"Modeling Crypto API usages in OpenSSL's EVP library","year":"2019","status":"public","date_updated":"2022-01-06T07:03:41Z","_id":"7628","language":[{"iso":"eng"}],"publisher":"Universität Paderborn","user_id":"477"},{"publication_status":"published","date_updated":"2022-01-06T06:52:10Z","year":"2019","status":"public","title":"ModGuard: Identifying Integrity &Confidentiality Violations in Java Modules","publication_identifier":{"issn":["0098-5589","1939-3520","2326-3881"]},"author":[{"full_name":"Dann, Andreas","first_name":"Andreas","last_name":"Dann"},{"id":"66173","full_name":"Hermann, Ben","first_name":"Ben","orcid":"0000-0001-9848-2017","last_name":"Hermann"},{"id":"59256","full_name":"Bodden, Eric","first_name":"Eric","last_name":"Bodden","orcid":"0000-0003-3470-3647"}],"user_id":"5786","doi":"10.1109/tse.2019.2931331","page":"1-1","language":[{"iso":"eng"}],"_id":"14896","project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Project Area B","_id":"3"},{"name":"SFB 901 - Subproject B4","_id":"12"}],"publication":"IEEE Transactions on Software Engineering","citation":{"apa":"Dann, A., Hermann, B., &#38; Bodden, E. (2019). ModGuard: Identifying Integrity &#38;Confidentiality Violations in Java Modules. <i>IEEE Transactions on Software Engineering</i>, 1–1. <a href=\"https://doi.org/10.1109/tse.2019.2931331\">https://doi.org/10.1109/tse.2019.2931331</a>","ieee":"A. Dann, B. Hermann, and E. Bodden, “ModGuard: Identifying Integrity &#38;Confidentiality Violations in Java Modules,” <i>IEEE Transactions on Software Engineering</i>, pp. 1–1, 2019, doi: <a href=\"https://doi.org/10.1109/tse.2019.2931331\">10.1109/tse.2019.2931331</a>.","chicago":"Dann, Andreas, Ben Hermann, and Eric Bodden. “ModGuard: Identifying Integrity &#38;Confidentiality Violations in Java Modules.” <i>IEEE Transactions on Software Engineering</i>, 2019, 1–1. <a href=\"https://doi.org/10.1109/tse.2019.2931331\">https://doi.org/10.1109/tse.2019.2931331</a>.","short":"A. Dann, B. Hermann, E. Bodden, IEEE Transactions on Software Engineering (2019) 1–1.","mla":"Dann, Andreas, et al. “ModGuard: Identifying Integrity &#38;Confidentiality Violations in Java Modules.” <i>IEEE Transactions on Software Engineering</i>, 2019, pp. 1–1, doi:<a href=\"https://doi.org/10.1109/tse.2019.2931331\">10.1109/tse.2019.2931331</a>.","ama":"Dann A, Hermann B, Bodden E. ModGuard: Identifying Integrity &#38;Confidentiality Violations in Java Modules. <i>IEEE Transactions on Software Engineering</i>. Published online 2019:1-1. doi:<a href=\"https://doi.org/10.1109/tse.2019.2931331\">10.1109/tse.2019.2931331</a>","bibtex":"@article{Dann_Hermann_Bodden_2019, title={ModGuard: Identifying Integrity &#38;Confidentiality Violations in Java Modules}, DOI={<a href=\"https://doi.org/10.1109/tse.2019.2931331\">10.1109/tse.2019.2931331</a>}, journal={IEEE Transactions on Software Engineering}, author={Dann, Andreas and Hermann, Ben and Bodden, Eric}, year={2019}, pages={1–1} }"},"type":"journal_article","department":[{"_id":"76"},{"_id":"34"},{"_id":"26"}],"date_created":"2019-11-12T12:20:56Z"},{"publication":"Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis  - SOAP 2019","citation":{"mla":"Dann, Andreas, et al. “SootDiff: Bytecode Comparison across Different Java Compilers.” <i>Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis  - SOAP 2019</i>, 2019, doi:<a href=\"https://doi.org/10.1145/3315568.3329966\">10.1145/3315568.3329966</a>.","ama":"Dann A, Hermann B, Bodden E. SootDiff: bytecode comparison across different Java compilers. In: <i>Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis  - SOAP 2019</i>. ; 2019. doi:<a href=\"https://doi.org/10.1145/3315568.3329966\">10.1145/3315568.3329966</a>","bibtex":"@inproceedings{Dann_Hermann_Bodden_2019, title={SootDiff: bytecode comparison across different Java compilers}, DOI={<a href=\"https://doi.org/10.1145/3315568.3329966\">10.1145/3315568.3329966</a>}, booktitle={Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis  - SOAP 2019}, author={Dann, Andreas and Hermann, Ben and Bodden, Eric}, year={2019} }","apa":"Dann, A., Hermann, B., &#38; Bodden, E. (2019). SootDiff: bytecode comparison across different Java compilers. <i>Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis  - SOAP 2019</i>. <a href=\"https://doi.org/10.1145/3315568.3329966\">https://doi.org/10.1145/3315568.3329966</a>","ieee":"A. Dann, B. Hermann, and E. Bodden, “SootDiff: bytecode comparison across different Java compilers,” 2019, doi: <a href=\"https://doi.org/10.1145/3315568.3329966\">10.1145/3315568.3329966</a>.","chicago":"Dann, Andreas, Ben Hermann, and Eric Bodden. “SootDiff: Bytecode Comparison across Different Java Compilers.” In <i>Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis  - SOAP 2019</i>, 2019. <a href=\"https://doi.org/10.1145/3315568.3329966\">https://doi.org/10.1145/3315568.3329966</a>.","short":"A. Dann, B. Hermann, E. Bodden, in: Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis  - SOAP 2019, 2019."},"type":"conference","department":[{"_id":"76"},{"_id":"34"},{"_id":"26"}],"date_created":"2019-11-12T12:21:11Z","date_updated":"2022-01-06T06:52:10Z","publication_status":"published","title":"SootDiff: bytecode comparison across different Java compilers","year":"2019","status":"public","publication_identifier":{"isbn":["9781450367202"]},"author":[{"last_name":"Dann","first_name":"Andreas","full_name":"Dann, Andreas"},{"full_name":"Hermann, Ben","last_name":"Hermann","first_name":"Ben","orcid":"0000-0001-9848-2017","id":"66173"},{"first_name":"Eric","last_name":"Bodden","orcid":"0000-0003-3470-3647","full_name":"Bodden, Eric","id":"59256"}],"doi":"10.1145/3315568.3329966","user_id":"5786","main_file_link":[{"url":"https://thewhitespace.de/publications/dhb19-sootdiff.pdf"}],"_id":"14897","language":[{"iso":"eng"}]},{"type":"conference","department":[{"_id":"76"},{"_id":"34"},{"_id":"26"}],"date_created":"2019-11-12T12:22:48Z","publication":"2019 IEEE/ACM 2nd International Workshop on Gender Equality in Software Engineering (GE)","citation":{"mla":"Kruger, Stefan, and Ben Hermann. “Can an Online Service Predict Gender? On the State-of-the-Art in Gender Identification from Texts.” <i>2019 IEEE/ACM 2nd International Workshop on Gender Equality in Software Engineering (GE)</i>, 2019, doi:<a href=\"https://doi.org/10.1109/ge.2019.00012\">10.1109/ge.2019.00012</a>.","ama":"Kruger S, Hermann B. Can an Online Service Predict Gender? On the State-of-the-Art in Gender Identification from Texts. In: <i>2019 IEEE/ACM 2nd International Workshop on Gender Equality in Software Engineering (GE)</i>. ; 2019. doi:<a href=\"https://doi.org/10.1109/ge.2019.00012\">10.1109/ge.2019.00012</a>","bibtex":"@inproceedings{Kruger_Hermann_2019, title={Can an Online Service Predict Gender? On the State-of-the-Art in Gender Identification from Texts}, DOI={<a href=\"https://doi.org/10.1109/ge.2019.00012\">10.1109/ge.2019.00012</a>}, booktitle={2019 IEEE/ACM 2nd International Workshop on Gender Equality in Software Engineering (GE)}, author={Kruger, Stefan and Hermann, Ben}, year={2019} }","apa":"Kruger, S., &#38; Hermann, B. (2019). Can an Online Service Predict Gender? On the State-of-the-Art in Gender Identification from Texts. <i>2019 IEEE/ACM 2nd International Workshop on Gender Equality in Software Engineering (GE)</i>. <a href=\"https://doi.org/10.1109/ge.2019.00012\">https://doi.org/10.1109/ge.2019.00012</a>","ieee":"S. Kruger and B. Hermann, “Can an Online Service Predict Gender? On the State-of-the-Art in Gender Identification from Texts,” 2019, doi: <a href=\"https://doi.org/10.1109/ge.2019.00012\">10.1109/ge.2019.00012</a>.","short":"S. Kruger, B. Hermann, in: 2019 IEEE/ACM 2nd International Workshop on Gender Equality in Software Engineering (GE), 2019.","chicago":"Kruger, Stefan, and Ben Hermann. “Can an Online Service Predict Gender? On the State-of-the-Art in Gender Identification from Texts.” In <i>2019 IEEE/ACM 2nd International Workshop on Gender Equality in Software Engineering (GE)</i>, 2019. <a href=\"https://doi.org/10.1109/ge.2019.00012\">https://doi.org/10.1109/ge.2019.00012</a>."},"user_id":"5786","doi":"10.1109/ge.2019.00012","_id":"14899","language":[{"iso":"eng"}],"publication_status":"published","date_updated":"2022-01-06T06:52:10Z","title":"Can an Online Service Predict Gender? On the State-of-the-Art in Gender Identification from Texts","status":"public","year":"2019","publication_identifier":{"isbn":["9781728122458"]},"author":[{"full_name":"Kruger, Stefan","last_name":"Kruger","first_name":"Stefan"},{"orcid":"0000-0001-9848-2017","first_name":"Ben","last_name":"Hermann","full_name":"Hermann, Ben","id":"66173"}]},{"publication":"Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019), Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2019)","file":[{"creator":"pdschbrt","date_created":"2019-02-12T07:18:17Z","date_updated":"2019-02-12T07:18:17Z","relation":"main_file","access_level":"closed","file_size":504897,"file_name":"main.pdf","success":1,"content_type":"application/pdf","file_id":"7627"}],"date_created":"2019-02-12T07:20:07Z","type":"conference","department":[{"_id":"76"}],"title":"PhASAR: An Inter-Procedural Static Analysis Framework for C/C++","year":"2019","author":[{"id":"60543","first_name":"Philipp","orcid":"0000-0002-8674-1859","last_name":"Schubert","full_name":"Schubert, Philipp"},{"id":"66173","full_name":"Hermann, Ben","last_name":"Hermann","first_name":"Ben","orcid":"0000-0001-9848-2017"},{"full_name":"Bodden, Eric","first_name":"Eric","orcid":"0000-0003-3470-3647","last_name":"Bodden","id":"59256"}],"date_updated":"2022-03-25T07:48:36Z","publication_status":"published","main_file_link":[{"url":"https://link.springer.com/chapter/10.1007/978-3-030-17465-1_22","open_access":"1"}],"language":[{"iso":"eng"}],"doi":"10.1007/978-3-030-17465-1_22","file_date_updated":"2019-02-12T07:18:17Z","citation":{"ieee":"P. Schubert, B. Hermann, and E. Bodden, “PhASAR: An Inter-Procedural Static Analysis Framework for C/C++,” in <i>Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019), Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2019)</i>, Prague, Czech Republic, 2019, vol. II, pp. 393–410, doi: <a href=\"https://doi.org/10.1007/978-3-030-17465-1_22\">10.1007/978-3-030-17465-1_22</a>.","apa":"Schubert, P., Hermann, B., &#38; Bodden, E. (2019). PhASAR: An Inter-Procedural Static Analysis Framework for C/C++. <i>Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019), Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2019)</i>, <i>II</i>, 393–410. <a href=\"https://doi.org/10.1007/978-3-030-17465-1_22\">https://doi.org/10.1007/978-3-030-17465-1_22</a>","mla":"Schubert, Philipp, et al. “PhASAR: An Inter-Procedural Static Analysis Framework for C/C++.” <i>Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019), Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2019)</i>, vol. II, 2019, pp. 393–410, doi:<a href=\"https://doi.org/10.1007/978-3-030-17465-1_22\">10.1007/978-3-030-17465-1_22</a>.","bibtex":"@inproceedings{Schubert_Hermann_Bodden_2019, title={PhASAR: An Inter-Procedural Static Analysis Framework for C/C++}, volume={II}, DOI={<a href=\"https://doi.org/10.1007/978-3-030-17465-1_22\">10.1007/978-3-030-17465-1_22</a>}, booktitle={Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019), Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2019)}, author={Schubert, Philipp and Hermann, Ben and Bodden, Eric}, year={2019}, pages={393–410} }","chicago":"Schubert, Philipp, Ben Hermann, and Eric Bodden. “PhASAR: An Inter-Procedural Static Analysis Framework for C/C++.” In <i>Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019), Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2019)</i>, II:393–410, 2019. <a href=\"https://doi.org/10.1007/978-3-030-17465-1_22\">https://doi.org/10.1007/978-3-030-17465-1_22</a>.","ama":"Schubert P, Hermann B, Bodden E. PhASAR: An Inter-Procedural Static Analysis Framework for C/C++. In: <i>Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019), Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2019)</i>. Vol II. ; 2019:393-410. doi:<a href=\"https://doi.org/10.1007/978-3-030-17465-1_22\">10.1007/978-3-030-17465-1_22</a>","short":"P. Schubert, B. Hermann, E. Bodden, in: Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019), Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2019), 2019, pp. 393–410."},"project":[{"_id":"1","name":"SFB 901"},{"_id":"12","name":"SFB 901 - Subproject B4"},{"name":"SFB 901 - Project Area B","_id":"3"}],"oa":"1","status":"public","conference":{"name":"25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)","start_date":"2019-04-08","location":"Prague, Czech Republic","end_date":"2019-04-11"},"has_accepted_license":"1","page":"393-410","_id":"7626","ddc":["000"],"user_id":"60543","volume":"II"},{"date_created":"2019-11-12T12:22:16Z","department":[{"_id":"76"},{"_id":"34"},{"_id":"26"}],"type":"conference","citation":{"bibtex":"@inproceedings{Schubert_Leer_Hermann_Bodden_2019, title={Know your analysis: how instrumentation aids understanding static analysis}, DOI={<a href=\"https://doi.org/10.1145/3315568.3329965\">10.1145/3315568.3329965</a>}, booktitle={Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis  - SOAP 2019}, author={Schubert, Philipp and Leer, Richard and Hermann, Ben and Bodden, Eric}, year={2019} }","ama":"Schubert P, Leer R, Hermann B, Bodden E. Know your analysis: how instrumentation aids understanding static analysis. In: <i>Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis  - SOAP 2019</i>. ; 2019. doi:<a href=\"https://doi.org/10.1145/3315568.3329965\">10.1145/3315568.3329965</a>","short":"P. Schubert, R. Leer, B. Hermann, E. Bodden, in: Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis  - SOAP 2019, 2019.","chicago":"Schubert, Philipp, Richard Leer, Ben Hermann, and Eric Bodden. “Know Your Analysis: How Instrumentation Aids Understanding Static Analysis.” In <i>Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis  - SOAP 2019</i>, 2019. <a href=\"https://doi.org/10.1145/3315568.3329965\">https://doi.org/10.1145/3315568.3329965</a>.","ieee":"P. Schubert, R. Leer, B. Hermann, and E. Bodden, “Know your analysis: how instrumentation aids understanding static analysis,” 2019, doi: <a href=\"https://doi.org/10.1145/3315568.3329965\">10.1145/3315568.3329965</a>.","apa":"Schubert, P., Leer, R., Hermann, B., &#38; Bodden, E. (2019). Know your analysis: how instrumentation aids understanding static analysis. <i>Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis  - SOAP 2019</i>. <a href=\"https://doi.org/10.1145/3315568.3329965\">https://doi.org/10.1145/3315568.3329965</a>","mla":"Schubert, Philipp, et al. “Know Your Analysis: How Instrumentation Aids Understanding Static Analysis.” <i>Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis  - SOAP 2019</i>, 2019, doi:<a href=\"https://doi.org/10.1145/3315568.3329965\">10.1145/3315568.3329965</a>."},"publication":"Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis  - SOAP 2019","project":[{"name":"SFB 901 - B4: SFB 901 - Subproject B4","_id":"12"},{"name":"SFB 901 - B: SFB 901 - Project Area B","_id":"3"},{"_id":"1","grant_number":"160364472","name":"SFB 901: SFB 901: On-The-Fly Computing - Individualisierte IT-Dienstleistungen in dynamischen Märkten "}],"language":[{"iso":"eng"}],"_id":"14898","user_id":"15249","doi":"10.1145/3315568.3329965","author":[{"first_name":"Philipp","last_name":"Schubert","orcid":"0000-0002-8674-1859","full_name":"Schubert, Philipp","id":"60543"},{"full_name":"Leer, Richard","last_name":"Leer","first_name":"Richard"},{"first_name":"Ben","last_name":"Hermann","orcid":"0000-0001-9848-2017","full_name":"Hermann, Ben","id":"66173"},{"last_name":"Bodden","first_name":"Eric","orcid":"0000-0003-3470-3647","full_name":"Bodden, Eric","id":"59256"}],"publication_identifier":{"isbn":["9781450367202"]},"year":"2019","status":"public","title":"Know your analysis: how instrumentation aids understanding static analysis","publication_status":"published","date_updated":"2023-06-15T08:52:37Z"},{"title":"Do Android Taint Analysis Tools Keep their Promises?","status":"public","year":"2018","author":[{"first_name":"Felix","last_name":"Pauck","full_name":"Pauck, Felix","id":"22398"},{"id":"59256","full_name":"Bodden, Eric","first_name":"Eric","orcid":"0000-0003-3470-3647","last_name":"Bodden"},{"id":"573","full_name":"Wehrheim, Heike","first_name":"Heike","last_name":"Wehrheim"}],"date_updated":"2022-01-06T06:57:35Z","has_accepted_license":"1","language":[{"iso":"eng"}],"_id":"2711","ddc":["000"],"user_id":"477","publication":"arXiv:1804.02903","file_date_updated":"2018-11-21T10:49:23Z","citation":{"mla":"Pauck, Felix, et al. “Do Android Taint Analysis Tools Keep Their Promises?” <i>ArXiv:1804.02903</i>, 2018.","bibtex":"@article{Pauck_Bodden_Wehrheim_2018, title={Do Android Taint Analysis Tools Keep their Promises?}, journal={arXiv:1804.02903}, author={Pauck, Felix and Bodden, Eric and Wehrheim, Heike}, year={2018} }","ama":"Pauck F, Bodden E, Wehrheim H. Do Android Taint Analysis Tools Keep their Promises? <i>arXiv:180402903</i>. 2018.","ieee":"F. Pauck, E. Bodden, and H. Wehrheim, “Do Android Taint Analysis Tools Keep their Promises?,” <i>arXiv:1804.02903</i>. 2018.","apa":"Pauck, F., Bodden, E., &#38; Wehrheim, H. (2018). Do Android Taint Analysis Tools Keep their Promises? <i>ArXiv:1804.02903</i>.","short":"F. Pauck, E. Bodden, H. Wehrheim, ArXiv:1804.02903 (2018).","chicago":"Pauck, Felix, Eric Bodden, and Heike Wehrheim. “Do Android Taint Analysis Tools Keep Their Promises?” <i>ArXiv:1804.02903</i>, 2018."},"abstract":[{"lang":"eng","text":"In recent years, researchers have developed a number of tools to conduct\r\ntaint analysis of Android applications. While all the respective papers aim at\r\nproviding a thorough empirical evaluation, comparability is hindered by varying\r\nor unclear evaluation targets. Sometimes, the apps used for evaluation are not\r\nprecisely described. In other cases, authors use an established benchmark but\r\ncover it only partially. In yet other cases, the evaluations differ in terms of\r\nthe data leaks searched for, or lack a ground truth to compare against. All\r\nthose limitations make it impossible to truly compare the tools based on those\r\npublished evaluations.\r\n  We thus present ReproDroid, a framework allowing the accurate comparison of\r\nAndroid taint analysis tools. ReproDroid supports researchers in inferring the\r\nground truth for data leaks in apps, in automatically applying tools to\r\nbenchmarks, and in evaluating the obtained results. We use ReproDroid to\r\ncomparatively evaluate on equal grounds the six prominent taint analysis tools\r\nAmandroid, DIALDroid, DidFail, DroidSafe, FlowDroid and IccTA. The results are\r\nlargely positive although four tools violate some promises concerning features\r\nand accuracy. Finally, we contribute to the area of unbiased benchmarking with\r\na new and improved version of the open test suite DroidBench."}],"project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Project Area B","_id":"3"},{"_id":"12","name":"SFB 901 - Subproject B4"}],"file":[{"file_id":"5781","content_type":"application/pdf","success":1,"file_name":"Do Android Taint Analysis Tools Keep their Promises.pdf","file_size":1045861,"access_level":"closed","relation":"main_file","date_updated":"2018-11-21T10:49:23Z","date_created":"2018-11-21T10:49:23Z","creator":"florida"}],"date_created":"2018-05-09T08:27:11Z","type":"preprint","department":[{"_id":"77"},{"_id":"76"}]},{"author":[{"id":"59256","full_name":"Bodden, Eric","last_name":"Bodden","first_name":"Eric","orcid":"0000-0003-3470-3647"},{"full_name":"Nguyen Quang Do, Lisa","last_name":"Nguyen Quang Do","first_name":"Lisa"}],"publication_identifier":{"isbn":["978-3-88579-673-2"]},"title":"Explainable Static Analysis","year":"2018","status":"public","date_updated":"2022-01-06T06:54:29Z","language":[{"iso":"eng"}],"_id":"20530","series_title":"{LNI}","page":"205-208","main_file_link":[{"url":"https://dl.gi.de/20.500.12116/16348"}],"user_id":"5786","citation":{"apa":"Bodden, E., &#38; Nguyen Quang Do, L. (2018). Explainable Static Analysis. <i>Software Engineering Und Software Management 2018, Fachtagung Des GI-Fachbereichs Softwaretechnik, {SE} 2018, 5.-9. M{\\\"{a}}rz 2018, Ulm, Germany.</i>, 205–208.","ieee":"E. Bodden and L. Nguyen Quang Do, “Explainable Static Analysis,” in <i>Software Engineering und Software Management 2018, Fachtagung des GI-Fachbereichs Softwaretechnik, {SE} 2018, 5.-9. M{\\\"{a}}rz 2018, Ulm, Germany.</i>, 2018, pp. 205–208.","short":"E. Bodden, L. Nguyen Quang Do, in: Software Engineering Und Software Management 2018, Fachtagung Des GI-Fachbereichs Softwaretechnik, {SE} 2018, 5.-9. M{\\\"{a}}rz 2018, Ulm, Germany., 2018, pp. 205–208.","chicago":"Bodden, Eric, and Lisa Nguyen Quang Do. “Explainable Static Analysis.” In <i>Software Engineering Und Software Management 2018, Fachtagung Des GI-Fachbereichs Softwaretechnik, {SE} 2018, 5.-9. M{\\\"{a}}rz 2018, Ulm, Germany.</i>, 205–8. {LNI}, 2018.","mla":"Bodden, Eric, and Lisa Nguyen Quang Do. “Explainable Static Analysis.” <i>Software Engineering Und Software Management 2018, Fachtagung Des GI-Fachbereichs Softwaretechnik, {SE} 2018, 5.-9. M{\\\"{a}}rz 2018, Ulm, Germany.</i>, 2018, pp. 205–08.","ama":"Bodden E, Nguyen Quang Do L. Explainable Static Analysis. In: <i>Software Engineering Und Software Management 2018, Fachtagung Des GI-Fachbereichs Softwaretechnik, {SE} 2018, 5.-9. M{\\\"{a}}rz 2018, Ulm, Germany.</i> {LNI}. ; 2018:205-208.","bibtex":"@inproceedings{Bodden_Nguyen Quang Do_2018, series={{LNI}}, title={Explainable Static Analysis}, booktitle={Software Engineering und Software Management 2018, Fachtagung des GI-Fachbereichs Softwaretechnik, {SE} 2018, 5.-9. M{\\\"{a}}rz 2018, Ulm, Germany.}, author={Bodden, Eric and Nguyen Quang Do, Lisa}, year={2018}, pages={205–208}, collection={{LNI}} }"},"publication":"Software Engineering und Software Management 2018, Fachtagung des GI-Fachbereichs Softwaretechnik, {SE} 2018, 5.-9. M{\\\"{a}}rz 2018, Ulm, Germany.","date_created":"2020-11-27T10:24:21Z","department":[{"_id":"76"}],"type":"conference"},{"keyword":["Debugging","Static analysis","Tools","Computer bugs","Standards","Writing","Encoding","Testing and Debugging","Program analysis","Development tools","Integrated environments","Graphical environments","Usability testing"],"type":"journal_article","department":[{"_id":"76"}],"date_created":"2020-11-30T09:32:12Z","publication":"IEEE Transactions on Software Engineering","citation":{"short":"L. Nguyen Quang Do, S. Krüger, P. Hill, K. Ali, E. Bodden, IEEE Transactions on Software Engineering (2018) 1–1.","chicago":"Nguyen Quang Do, Lisa, Stefan Krüger, Patrick Hill, Karim Ali, and Eric Bodden. “Debugging Static Analysis.” <i>IEEE Transactions on Software Engineering</i>, 2018, 1–1. <a href=\"https://doi.org/10.1109/TSE.2018.2868349\">https://doi.org/10.1109/TSE.2018.2868349</a>.","apa":"Nguyen Quang Do, L., Krüger, S., Hill, P., Ali, K., &#38; Bodden, E. (2018). Debugging Static Analysis. <i>IEEE Transactions on Software Engineering</i>, 1–1. <a href=\"https://doi.org/10.1109/TSE.2018.2868349\">https://doi.org/10.1109/TSE.2018.2868349</a>","ieee":"L. Nguyen Quang Do, S. Krüger, P. Hill, K. Ali, and E. Bodden, “Debugging Static Analysis,” <i>IEEE Transactions on Software Engineering</i>, pp. 1–1, 2018, doi: <a href=\"https://doi.org/10.1109/TSE.2018.2868349\">10.1109/TSE.2018.2868349</a>.","ama":"Nguyen Quang Do L, Krüger S, Hill P, Ali K, Bodden E. Debugging Static Analysis. <i>IEEE Transactions on Software Engineering</i>. Published online 2018:1-1. doi:<a href=\"https://doi.org/10.1109/TSE.2018.2868349\">10.1109/TSE.2018.2868349</a>","bibtex":"@article{Nguyen Quang Do_Krüger_Hill_Ali_Bodden_2018, title={Debugging Static Analysis}, DOI={<a href=\"https://doi.org/10.1109/TSE.2018.2868349\">10.1109/TSE.2018.2868349</a>}, journal={IEEE Transactions on Software Engineering}, author={Nguyen Quang Do, Lisa and Krüger, Stefan and Hill, Patrick and Ali, Karim and Bodden, Eric}, year={2018}, pages={1–1} }","mla":"Nguyen Quang Do, Lisa, et al. “Debugging Static Analysis.” <i>IEEE Transactions on Software Engineering</i>, 2018, pp. 1–1, doi:<a href=\"https://doi.org/10.1109/TSE.2018.2868349\">10.1109/TSE.2018.2868349</a>."},"doi":"10.1109/TSE.2018.2868349","user_id":"5786","page":"1-1","main_file_link":[{"url":"http://www.bodden.de/pubs/tse18debugging.pdf"}],"language":[{"iso":"eng"}],"_id":"20543","date_updated":"2022-01-06T06:54:29Z","title":"Debugging Static Analysis","year":"2018","status":"public","publication_identifier":{"issn":["2326-3881"]},"author":[{"full_name":"Nguyen Quang Do, Lisa","last_name":"Nguyen Quang Do","first_name":"Lisa"},{"full_name":"Krüger, Stefan","first_name":"Stefan","last_name":"Krüger"},{"last_name":"Hill","first_name":"Patrick","full_name":"Hill, Patrick"},{"last_name":"Ali","first_name":"Karim","full_name":"Ali, Karim"},{"full_name":"Bodden, Eric","orcid":"0000-0003-3470-3647","last_name":"Bodden","first_name":"Eric","id":"59256"}]},{"date_created":"2020-11-30T09:32:58Z","type":"conference_editor","department":[{"_id":"76"}],"citation":{"chicago":"Tichy, Matthias, Eric Bodden, Marco Kuhrmann, Stefan Wagner, and Jan-Philipp Steghöfer, eds. <i>Software Engineering Und Software Management 2018, Fachtagung Des GI-Fachbereichs Softwaretechnik, SE 2018, 5.-9. März 2018, Ulm, Germany</i>. Vol. {P-279}. {LNI}. Gesellschaft für Informatik, 2018.","short":"M. Tichy, E. Bodden, M. Kuhrmann, S. Wagner, J.-P. Steghöfer, eds., Software Engineering Und Software Management 2018, Fachtagung Des GI-Fachbereichs Softwaretechnik, SE 2018, 5.-9. März 2018, Ulm, Germany, Gesellschaft für Informatik, 2018.","apa":"Tichy, M., Bodden, E., Kuhrmann, M., Wagner, S., &#38; Steghöfer, J.-P. (Eds.). (2018). <i>Software Engineering und Software Management 2018, Fachtagung des GI-Fachbereichs Softwaretechnik, SE 2018, 5.-9. März 2018, Ulm, Germany: Vol. {P-279}</i>. Gesellschaft für Informatik.","ieee":"M. Tichy, E. Bodden, M. Kuhrmann, S. Wagner, and J.-P. Steghöfer, Eds., <i>Software Engineering und Software Management 2018, Fachtagung des GI-Fachbereichs Softwaretechnik, SE 2018, 5.-9. März 2018, Ulm, Germany</i>, vol. {P-279}. Gesellschaft für Informatik, 2018.","ama":"Tichy M, Bodden E, Kuhrmann M, Wagner S, Steghöfer J-P, eds. <i>Software Engineering Und Software Management 2018, Fachtagung Des GI-Fachbereichs Softwaretechnik, SE 2018, 5.-9. März 2018, Ulm, Germany</i>. Vol {P-279}. Gesellschaft für Informatik; 2018.","bibtex":"@book{Tichy_Bodden_Kuhrmann_Wagner_Steghöfer_2018, series={{LNI}}, title={Software Engineering und Software Management 2018, Fachtagung des GI-Fachbereichs Softwaretechnik, SE 2018, 5.-9. März 2018, Ulm, Germany}, volume={{P-279}}, publisher={Gesellschaft für Informatik}, year={2018}, collection={{LNI}} }","mla":"Tichy, Matthias, et al., editors. <i>Software Engineering Und Software Management 2018, Fachtagung Des GI-Fachbereichs Softwaretechnik, SE 2018, 5.-9. März 2018, Ulm, Germany</i>. Gesellschaft für Informatik, 2018."},"series_title":"{LNI}","_id":"20544","language":[{"iso":"eng"}],"publisher":"Gesellschaft für Informatik","user_id":"5786","editor":[{"first_name":"Matthias","last_name":"Tichy","full_name":"Tichy, Matthias"},{"last_name":"Bodden","first_name":"Eric","orcid":"0000-0003-3470-3647","full_name":"Bodden, Eric","id":"59256"},{"last_name":"Kuhrmann","first_name":"Marco","full_name":"Kuhrmann, Marco"},{"first_name":"Stefan","last_name":"Wagner","full_name":"Wagner, Stefan"},{"last_name":"Steghöfer","first_name":"Jan-Philipp","full_name":"Steghöfer, Jan-Philipp"}],"volume":"{P-279}","status":"public","year":"2018","title":"Software Engineering und Software Management 2018, Fachtagung des GI-Fachbereichs Softwaretechnik, SE 2018, 5.-9. März 2018, Ulm, Germany","publication_identifier":{"isbn":["978-3-88579-673-2"]},"date_updated":"2022-01-06T06:54:29Z"},{"citation":{"chicago":"Tip, Frank, and Eric Bodden, eds. <i>Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam, The Netherlands, July 16-21, 2018</i>. ACM, 2018.","short":"F. Tip, E. Bodden, eds., Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam, The Netherlands, July 16-21, 2018, ACM, 2018.","apa":"Tip, F., &#38; Bodden, E. (Eds.). (2018). <i>Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam, The Netherlands, July 16-21, 2018</i>. ACM.","ieee":"F. Tip and E. Bodden, Eds., <i>Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam, The Netherlands, July 16-21, 2018</i>. ACM, 2018.","ama":"Tip F, Bodden E, eds. <i>Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam, The Netherlands, July 16-21, 2018</i>. ACM; 2018.","bibtex":"@book{Tip_Bodden_2018, title={Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam, The Netherlands, July 16-21, 2018}, publisher={ACM}, year={2018} }","mla":"Tip, Frank, and Eric Bodden, editors. <i>Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam, The Netherlands, July 16-21, 2018</i>. ACM, 2018."},"date_created":"2020-11-30T09:35:03Z","department":[{"_id":"76"}],"type":"conference_editor","status":"public","title":"Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam, The Netherlands, July 16-21, 2018","year":"2018","date_updated":"2022-01-06T06:54:29Z","language":[{"iso":"eng"}],"_id":"20545","publisher":"ACM","editor":[{"full_name":"Tip, Frank","first_name":"Frank","last_name":"Tip"},{"first_name":"Eric","last_name":"Bodden","full_name":"Bodden, Eric"}],"user_id":"5786"},{"title":"Model Checking the Information Flow Security of Real-Time Systems","year":"2018","status":"public","author":[{"first_name":"Christopher","last_name":"Gerking","full_name":"Gerking, Christopher"},{"full_name":"Schubert, David","first_name":"David","last_name":"Schubert","id":"9106"},{"last_name":"Bodden","first_name":"Eric","orcid":"0000-0003-3470-3647","full_name":"Bodden, Eric","id":"59256"}],"date_updated":"2022-01-06T06:54:29Z","main_file_link":[{"url":"http://www.bodden.de/pubs/gsb18model.pdf"}],"page":"27-43","language":[{"iso":"eng"}],"_id":"20546","publisher":"Springer International Publishing","user_id":"5786","editor":[{"full_name":"Payer, Mathias","last_name":"Payer","first_name":"Mathias"},{"full_name":"Rashid, Awais","last_name":"Rashid","first_name":"Awais"},{"last_name":"Such","first_name":"Jose M.","full_name":"Such, Jose M."}],"publication":"Engineering Secure Software and Systems","citation":{"chicago":"Gerking, Christopher, David Schubert, and Eric Bodden. “Model Checking the Information Flow Security of Real-Time Systems.” In <i>Engineering Secure Software and Systems</i>, edited by Mathias Payer, Awais Rashid, and Jose M. Such, 27–43. Cham: Springer International Publishing, 2018.","short":"C. Gerking, D. Schubert, E. Bodden, in: M. Payer, A. Rashid, J.M. Such (Eds.), Engineering Secure Software and Systems, Springer International Publishing, Cham, 2018, pp. 27–43.","ama":"Gerking C, Schubert D, Bodden E. Model Checking the Information Flow Security of Real-Time Systems. In: Payer M, Rashid A, Such JM, eds. <i>Engineering Secure Software and Systems</i>. Springer International Publishing; 2018:27-43.","bibtex":"@inproceedings{Gerking_Schubert_Bodden_2018, place={Cham}, title={Model Checking the Information Flow Security of Real-Time Systems}, booktitle={Engineering Secure Software and Systems}, publisher={Springer International Publishing}, author={Gerking, Christopher and Schubert, David and Bodden, Eric}, editor={Payer, Mathias and Rashid, Awais and Such, Jose M.}, year={2018}, pages={27–43} }","apa":"Gerking, C., Schubert, D., &#38; Bodden, E. (2018). Model Checking the Information Flow Security of Real-Time Systems. In M. Payer, A. Rashid, &#38; J. M. Such (Eds.), <i>Engineering Secure Software and Systems</i> (pp. 27–43). Springer International Publishing.","mla":"Gerking, Christopher, et al. “Model Checking the Information Flow Security of Real-Time Systems.” <i>Engineering Secure Software and Systems</i>, edited by Mathias Payer et al., Springer International Publishing, 2018, pp. 27–43.","ieee":"C. Gerking, D. Schubert, and E. Bodden, “Model Checking the Information Flow Security of Real-Time Systems,” in <i>Engineering Secure Software and Systems</i>, 2018, pp. 27–43."},"date_created":"2020-11-30T09:35:55Z","place":"Cham","type":"conference","department":[{"_id":"76"}]},{"place":"New York, NY, USA","citation":{"bibtex":"@inproceedings{Nguyen Quang Do_Bodden_2018, place={New York, NY, USA}, series={ESEC/FSE 2018}, title={Gamifying Static Analysis}, DOI={<a href=\"https://doi.org/10.1145/3236024.3264830\">10.1145/3236024.3264830</a>}, booktitle={Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering}, publisher={ACM}, author={Nguyen Quang Do, Lisa and Bodden, Eric}, year={2018}, pages={714–718}, collection={ESEC/FSE 2018} }","ama":"Nguyen Quang Do L, Bodden E. Gamifying Static Analysis. In: <i>Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering</i>. ESEC/FSE 2018. ACM; 2018:714-718. doi:<a href=\"https://doi.org/10.1145/3236024.3264830\">10.1145/3236024.3264830</a>","mla":"Nguyen Quang Do, Lisa, and Eric Bodden. “Gamifying Static Analysis.” <i>Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering</i>, ACM, 2018, pp. 714–18, doi:<a href=\"https://doi.org/10.1145/3236024.3264830\">10.1145/3236024.3264830</a>.","chicago":"Nguyen Quang Do, Lisa, and Eric Bodden. “Gamifying Static Analysis.” In <i>Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering</i>, 714–18. ESEC/FSE 2018. New York, NY, USA: ACM, 2018. <a href=\"https://doi.org/10.1145/3236024.3264830\">https://doi.org/10.1145/3236024.3264830</a>.","short":"L. Nguyen Quang Do, E. Bodden, in: Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ACM, New York, NY, USA, 2018, pp. 714–718.","ieee":"L. Nguyen Quang Do and E. Bodden, “Gamifying Static Analysis,” in <i>Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering</i>, 2018, pp. 714–718, doi: <a href=\"https://doi.org/10.1145/3236024.3264830\">10.1145/3236024.3264830</a>.","apa":"Nguyen Quang Do, L., &#38; Bodden, E. (2018). Gamifying Static Analysis. <i>Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering</i>, 714–718. <a href=\"https://doi.org/10.1145/3236024.3264830\">https://doi.org/10.1145/3236024.3264830</a>"},"user_id":"5786","page":"714-718","_id":"20547","publisher":"ACM","status":"public","type":"conference","keyword":["Gamification","Integrated Environments","Program analysis"],"department":[{"_id":"76"}],"date_created":"2020-11-30T09:37:35Z","publication":"Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering","doi":"10.1145/3236024.3264830","main_file_link":[{"url":"http://www.bodden.de/pubs/db18gamifying.pdf"}],"language":[{"iso":"eng"}],"series_title":"ESEC/FSE 2018","date_updated":"2022-01-06T06:54:29Z","year":"2018","title":"Gamifying Static Analysis","publication_identifier":{"isbn":["978-1-4503-5573-5"]},"author":[{"last_name":"Nguyen Quang Do","first_name":"Lisa","full_name":"Nguyen Quang Do, Lisa"},{"first_name":"Eric","last_name":"Bodden","orcid":"0000-0003-3470-3647","full_name":"Bodden, Eric","id":"59256"}]},{"author":[{"full_name":"Bodden, Eric","first_name":"Eric","last_name":"Bodden","orcid":"0000-0003-3470-3647","id":"59256"}],"publication_identifier":{"isbn":["978-1-4503-5939-9"]},"year":"2018","title":"The Secret Sauce in Efficient and Precise Static Analysis: The Beauty of Distributive, Summary-based Static Analyses (and How to Master Them)","date_updated":"2022-01-06T06:54:29Z","language":[{"iso":"eng"}],"series_title":"ISSTA '18","main_file_link":[{"url":"http://bodden.de/pubs/bodden18secret.pdf"}],"doi":"10.1145/3236454.3236500","publication":"ACM SIGPLAN International Workshop on the State Of the Art in Java Program Analysis (SOAP 2018)","date_created":"2020-11-30T09:51:05Z","department":[{"_id":"76"}],"type":"conference","keyword":["ATTRACT","ITSECWEBSITE"],"status":"public","_id":"20548","publisher":"ACM","page":"85-93","user_id":"5786","citation":{"ieee":"E. Bodden, “The Secret Sauce in Efficient and Precise Static Analysis: The Beauty of Distributive, Summary-based Static Analyses (and How to Master Them),” in <i>ACM SIGPLAN International Workshop on the State Of the Art in Java Program Analysis (SOAP 2018)</i>, 2018, pp. 85–93, doi: <a href=\"https://doi.org/10.1145/3236454.3236500\">10.1145/3236454.3236500</a>.","mla":"Bodden, Eric. “The Secret Sauce in Efficient and Precise Static Analysis: The Beauty of Distributive, Summary-Based Static Analyses (and How to Master Them).” <i>ACM SIGPLAN International Workshop on the State Of the Art in Java Program Analysis (SOAP 2018)</i>, ACM, 2018, pp. 85–93, doi:<a href=\"https://doi.org/10.1145/3236454.3236500\">10.1145/3236454.3236500</a>.","apa":"Bodden, E. (2018). The Secret Sauce in Efficient and Precise Static Analysis: The Beauty of Distributive, Summary-based Static Analyses (and How to Master Them). <i>ACM SIGPLAN International Workshop on the State Of the Art in Java Program Analysis (SOAP 2018)</i>, 85–93. <a href=\"https://doi.org/10.1145/3236454.3236500\">https://doi.org/10.1145/3236454.3236500</a>","bibtex":"@inproceedings{Bodden_2018, place={New York, NY, USA}, series={ISSTA ’18}, title={The Secret Sauce in Efficient and Precise Static Analysis: The Beauty of Distributive, Summary-based Static Analyses (and How to Master Them)}, DOI={<a href=\"https://doi.org/10.1145/3236454.3236500\">10.1145/3236454.3236500</a>}, booktitle={ACM SIGPLAN International Workshop on the State Of the Art in Java Program Analysis (SOAP 2018)}, publisher={ACM}, author={Bodden, Eric}, year={2018}, pages={85–93}, collection={ISSTA ’18} }","chicago":"Bodden, Eric. “The Secret Sauce in Efficient and Precise Static Analysis: The Beauty of Distributive, Summary-Based Static Analyses (and How to Master Them).” In <i>ACM SIGPLAN International Workshop on the State Of the Art in Java Program Analysis (SOAP 2018)</i>, 85–93. ISSTA ’18. New York, NY, USA: ACM, 2018. <a href=\"https://doi.org/10.1145/3236454.3236500\">https://doi.org/10.1145/3236454.3236500</a>.","short":"E. Bodden, in: ACM SIGPLAN International Workshop on the State Of the Art in Java Program Analysis (SOAP 2018), ACM, New York, NY, USA, 2018, pp. 85–93.","ama":"Bodden E. The Secret Sauce in Efficient and Precise Static Analysis: The Beauty of Distributive, Summary-based Static Analyses (and How to Master Them). In: <i>ACM SIGPLAN International Workshop on the State Of the Art in Java Program Analysis (SOAP 2018)</i>. ISSTA ’18. ACM; 2018:85-93. doi:<a href=\"https://doi.org/10.1145/3236454.3236500\">10.1145/3236454.3236500</a>"},"place":"New York, NY, USA"},{"date_updated":"2022-01-06T06:54:29Z","year":"2018","title":"Towards Ensuring Security by Design in Cyber-Physical Systems Engineering Processes","status":"public","author":[{"id":"20063","orcid":"https://orcid.org/0000-0003-2015-2047","last_name":"Geismann","first_name":"Johannes","full_name":"Geismann, Johannes"},{"full_name":"Gerking, Christopher","first_name":"Christopher","last_name":"Gerking"},{"orcid":"0000-0003-3470-3647","first_name":"Eric","last_name":"Bodden","full_name":"Bodden, Eric","id":"59256"}],"user_id":"5786","_id":"20549","language":[{"iso":"eng"}],"related_material":{"link":[{"url":"http://bodden.de/pubs/ggb18towards.pdf","relation":"confirmation"}]},"publication":"International Conference on Software and System Processes (ICSSP)","citation":{"ieee":"J. Geismann, C. Gerking, and E. Bodden, “Towards Ensuring Security by Design in Cyber-Physical Systems Engineering Processes,” 2018.","apa":"Geismann, J., Gerking, C., &#38; Bodden, E. (2018). Towards Ensuring Security by Design in Cyber-Physical Systems Engineering Processes. <i>International Conference on Software and System Processes (ICSSP)</i>.","short":"J. Geismann, C. Gerking, E. Bodden, in: International Conference on Software and System Processes (ICSSP), 2018.","chicago":"Geismann, Johannes, Christopher Gerking, and Eric Bodden. “Towards Ensuring Security by Design in Cyber-Physical Systems Engineering Processes.” In <i>International Conference on Software and System Processes (ICSSP)</i>, 2018.","mla":"Geismann, Johannes, et al. “Towards Ensuring Security by Design in Cyber-Physical Systems Engineering Processes.” <i>International Conference on Software and System Processes (ICSSP)</i>, 2018.","bibtex":"@inproceedings{Geismann_Gerking_Bodden_2018, title={Towards Ensuring Security by Design in Cyber-Physical Systems Engineering Processes}, booktitle={International Conference on Software and System Processes (ICSSP)}, author={Geismann, Johannes and Gerking, Christopher and Bodden, Eric}, year={2018} }","ama":"Geismann J, Gerking C, Bodden E. Towards Ensuring Security by Design in Cyber-Physical Systems Engineering Processes. In: <i>International Conference on Software and System Processes (ICSSP)</i>. ; 2018."},"type":"conference","keyword":["ITSECWEBSITE"],"department":[{"_id":"76"}],"date_created":"2020-11-30T09:52:21Z"},{"user_id":"5786","page":"45-48","_id":"20550","publisher":"ACM","status":"public","place":"New York, NY, USA","citation":{"bibtex":"@inproceedings{Bodden_2018, place={New York, NY, USA}, series={ICSE-NIER ’18}, title={Self-adaptive Static Analysis}, DOI={<a href=\"https://doi.org/10.1145/3183399.3183401\">10.1145/3183399.3183401</a>}, booktitle={Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results}, publisher={ACM}, author={Bodden, Eric}, year={2018}, pages={45–48}, collection={ICSE-NIER ’18} }","ama":"Bodden E. Self-adaptive Static Analysis. In: <i>Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results</i>. ICSE-NIER ’18. ACM; 2018:45-48. doi:<a href=\"https://doi.org/10.1145/3183399.3183401\">10.1145/3183399.3183401</a>","mla":"Bodden, Eric. “Self-Adaptive Static Analysis.” <i>Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results</i>, ACM, 2018, pp. 45–48, doi:<a href=\"https://doi.org/10.1145/3183399.3183401\">10.1145/3183399.3183401</a>.","short":"E. Bodden, in: Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results, ACM, New York, NY, USA, 2018, pp. 45–48.","chicago":"Bodden, Eric. “Self-Adaptive Static Analysis.” In <i>Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results</i>, 45–48. ICSE-NIER ’18. New York, NY, USA: ACM, 2018. <a href=\"https://doi.org/10.1145/3183399.3183401\">https://doi.org/10.1145/3183399.3183401</a>.","ieee":"E. Bodden, “Self-adaptive Static Analysis,” in <i>Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results</i>, 2018, pp. 45–48, doi: <a href=\"https://doi.org/10.1145/3183399.3183401\">10.1145/3183399.3183401</a>.","apa":"Bodden, E. (2018). Self-adaptive Static Analysis. <i>Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results</i>, 45–48. <a href=\"https://doi.org/10.1145/3183399.3183401\">https://doi.org/10.1145/3183399.3183401</a>"},"doi":"10.1145/3183399.3183401","series_title":"ICSE-NIER '18","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:54:29Z","title":"Self-adaptive Static Analysis","year":"2018","author":[{"orcid":"0000-0003-3470-3647","last_name":"Bodden","first_name":"Eric","full_name":"Bodden, Eric","id":"59256"}],"publication_identifier":{"isbn":["978-1-4503-5662-6"]},"type":"conference","keyword":["ATTRACT","ITSECWEBSITE"],"department":[{"_id":"76"}],"date_created":"2020-11-30T09:54:33Z","related_material":{"link":[{"relation":"confirmation","url":"http://bodden.de/pubs/bodden18selfadaptive.pdf"}]},"publication":"Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results"},{"type":"conference","keyword":["ATTRACT","ITSECWEBSITE"],"department":[{"_id":"76"}],"date_created":"2020-11-30T09:55:20Z","publication":"International Conference for Software Engineering (ICSE), Tool Demonstrations Track","citation":{"short":"L. Nguyen Quang Do, S. Krüger, P. Hill, K. Ali, E. Bodden, in: International Conference for Software Engineering (ICSE), Tool Demonstrations Track, 2018.","chicago":"Nguyen Quang Do, Lisa, Stefan Krüger, Patrick Hill, Karim Ali, and Eric Bodden. “VISUFLOW, a Debugging Environment for Static Analyses.” In <i>International Conference for Software Engineering (ICSE), Tool Demonstrations Track</i>, 2018.","apa":"Nguyen Quang Do, L., Krüger, S., Hill, P., Ali, K., &#38; Bodden, E. (2018). VISUFLOW, a Debugging Environment for Static Analyses. <i>International Conference for Software Engineering (ICSE), Tool Demonstrations Track</i>.","ieee":"L. Nguyen Quang Do, S. Krüger, P. Hill, K. Ali, and E. Bodden, “VISUFLOW, a Debugging Environment for Static Analyses,” 2018.","ama":"Nguyen Quang Do L, Krüger S, Hill P, Ali K, Bodden E. VISUFLOW, a Debugging Environment for Static Analyses. In: <i>International Conference for Software Engineering (ICSE), Tool Demonstrations Track</i>. ; 2018.","bibtex":"@inproceedings{Nguyen Quang Do_Krüger_Hill_Ali_Bodden_2018, title={VISUFLOW, a Debugging Environment for Static Analyses}, booktitle={International Conference for Software Engineering (ICSE), Tool Demonstrations Track}, author={Nguyen Quang Do, Lisa and Krüger, Stefan and Hill, Patrick and Ali, Karim and Bodden, Eric}, year={2018} }","mla":"Nguyen Quang Do, Lisa, et al. “VISUFLOW, a Debugging Environment for Static Analyses.” <i>International Conference for Software Engineering (ICSE), Tool Demonstrations Track</i>, 2018."},"user_id":"5786","main_file_link":[{"url":"http://www.bodden.de/pubs/dkh+18visuflow.pdf"}],"language":[{"iso":"eng"}],"_id":"20551","date_updated":"2022-01-06T06:54:29Z","year":"2018","status":"public","title":"VISUFLOW, a Debugging Environment for Static Analyses","author":[{"first_name":"Lisa","last_name":"Nguyen Quang Do","full_name":"Nguyen Quang Do, Lisa"},{"last_name":"Krüger","first_name":"Stefan","full_name":"Krüger, Stefan"},{"first_name":"Patrick","last_name":"Hill","full_name":"Hill, Patrick"},{"full_name":"Ali, Karim","last_name":"Ali","first_name":"Karim"},{"id":"59256","first_name":"Eric","orcid":"0000-0003-3470-3647","last_name":"Bodden","full_name":"Bodden, Eric"}]},{"_id":"20779","language":[{"iso":"eng"}],"publisher":"Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn","user_id":"5786","doi":"10.17619/UNIPB/1-490","author":[{"full_name":"Fockel, Markus","first_name":"Markus","last_name":"Fockel","orcid":"0000-0002-1269-0702","id":"8472"}],"year":"2018","title":"Safety Requirements Engineering for Early SIL Tailoring","status":"public","date_updated":"2022-01-06T06:54:38Z","date_created":"2020-12-17T11:59:05Z","department":[{"_id":"76"},{"_id":"241"},{"_id":"662"}],"type":"dissertation","citation":{"bibtex":"@book{Fockel_2018, title={Safety Requirements Engineering for Early SIL Tailoring}, DOI={<a href=\"https://doi.org/10.17619/UNIPB/1-490\">10.17619/UNIPB/1-490</a>}, publisher={Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn}, author={Fockel, Markus}, year={2018} }","ama":"Fockel M. <i>Safety Requirements Engineering for Early SIL Tailoring</i>. Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn; 2018. doi:<a href=\"https://doi.org/10.17619/UNIPB/1-490\">10.17619/UNIPB/1-490</a>","mla":"Fockel, Markus. <i>Safety Requirements Engineering for Early SIL Tailoring</i>. Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn, 2018, doi:<a href=\"https://doi.org/10.17619/UNIPB/1-490\">10.17619/UNIPB/1-490</a>.","short":"M. Fockel, Safety Requirements Engineering for Early SIL Tailoring, Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn, 2018.","chicago":"Fockel, Markus. <i>Safety Requirements Engineering for Early SIL Tailoring</i>. Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn, 2018. <a href=\"https://doi.org/10.17619/UNIPB/1-490\">https://doi.org/10.17619/UNIPB/1-490</a>.","ieee":"M. Fockel, <i>Safety Requirements Engineering for Early SIL Tailoring</i>. Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn, 2018.","apa":"Fockel, M. (2018). <i>Safety Requirements Engineering for Early SIL Tailoring</i>. Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn. <a href=\"https://doi.org/10.17619/UNIPB/1-490\">https://doi.org/10.17619/UNIPB/1-490</a>"},"supervisor":[{"id":"59256","orcid":"0000-0003-3470-3647","last_name":"Bodden","first_name":"Eric","full_name":"Bodden, Eric"}],"abstract":[{"text":"Der hohe Grad an Innovation in mechatronischen Systemen führt zu sogenannten Cyber-Physical Systems (CPS). Diese haben eine komplexe Funktionalität und Kommunikation. Wie sicherheitskritisch solche Systeme sind, wird durch sogenannte Sicherheits-Integritätslevel (SIL) kategorisiert, die durch Normen wie der ISO 26262 definiert werden. Ein bestimmter SIL beschreibt nicht nur die Höhe des Gefährdungsrisikos, sondern diktiert auch den erforderlichen Grad an Sorgfalt bei der Entwicklung des Systems. Ein hoher SIL erfordert die Anwendung von Safety-Maßnahmen mit einem hohen Sorgfaltsgrad in allen Phasen der Entwicklung und impliziert daher einen hohen Safety-Aufwand. SIL-Tailoring ist ein Mittel um den Safety-Aufwand zu reduzieren, indem man Subsystemen geringere SILs zuordnet, falls sie von kritischeren Subsystemen getrennt sind oder redundante Safety-Anforderungen erfüllen. Um den nötigen Safety-Aufwand zu planen, sollten Möglichkeiten für SIL-Tailoring so früh wie möglich identifiziert werden - d.h. bereits in der Anforderungsanalyse. Durch die Komplexität von CPS, ist es schwierig valide SIL-Tailorings zu finden. Die Validität von SIL-Tailorings muss durch Analyse von Fehlerpropagierungspfaden geprüft und durch Argumente im Safety Case begründet werden. Der Beitrag dieser Dissertation ist ein systematischer, tool-unterstützter SIL-Tailoring-Prozess, der im Safety Requirements Engineering angewendet wird. Der Prozess nutzt eine modell-basierte, formale Anforderungsspezifikation und stellt einen Katalog von Anforderungsmustern bereit. Basierend auf diesen Anforderungen werden Fehlerpropagierungsmodelle generiert und Subsystemen automatisch SILs zugeordnet. Das minimiert den Sicherheitsanalyseaufwand. Aus den generierten Ergebnissen wird automatisch ein Safety Case mit Argumenten für die SIL-Tailoring-Validität abgeleitet.","lang":"eng"}]}]