[{"_id":"46816","publisher":"Institute of Electrical and Electronics Engineers (IEEE)","page":"4510 - 4525","volume":49,"user_id":"15249","status":"public","citation":{"chicago":"Torres, Adriano, Pedro Costa, Luis Amaral, Jonata Pastro, Rodrigo Bonifácio, Marcelo d’Amorim, Owolabi Legunsen, Eric Bodden, and Edna Dias Canedo. “Runtime Verification of Crypto APIs: An Empirical Study.” <i>IEEE Transactions on Software Engineering</i> 49, no. 10 (2023): 4510–25. <a href=\"https://doi.org/10.1109/tse.2023.3301660\">https://doi.org/10.1109/tse.2023.3301660</a>.","short":"A. Torres, P. Costa, L. Amaral, J. Pastro, R. Bonifácio, M. d’Amorim, O. Legunsen, E. Bodden, E. Dias Canedo, IEEE Transactions on Software Engineering 49 (2023) 4510–4525.","apa":"Torres, A., Costa, P., Amaral, L., Pastro, J., Bonifácio, R., d’Amorim, M., Legunsen, O., Bodden, E., &#38; Dias Canedo, E. (2023). Runtime Verification of Crypto APIs: An Empirical Study. <i>IEEE Transactions on Software Engineering</i>, <i>49</i>(10), 4510–4525. <a href=\"https://doi.org/10.1109/tse.2023.3301660\">https://doi.org/10.1109/tse.2023.3301660</a>","ieee":"A. Torres <i>et al.</i>, “Runtime Verification of Crypto APIs: An Empirical Study,” <i>IEEE Transactions on Software Engineering</i>, vol. 49, no. 10, pp. 4510–4525, 2023, doi: <a href=\"https://doi.org/10.1109/tse.2023.3301660\">10.1109/tse.2023.3301660</a>.","ama":"Torres A, Costa P, Amaral L, et al. Runtime Verification of Crypto APIs: An Empirical Study. <i>IEEE Transactions on Software Engineering</i>. 2023;49(10):4510-4525. doi:<a href=\"https://doi.org/10.1109/tse.2023.3301660\">10.1109/tse.2023.3301660</a>","bibtex":"@article{Torres_Costa_Amaral_Pastro_Bonifácio_d’Amorim_Legunsen_Bodden_Dias Canedo_2023, title={Runtime Verification of Crypto APIs: An Empirical Study}, volume={49}, DOI={<a href=\"https://doi.org/10.1109/tse.2023.3301660\">10.1109/tse.2023.3301660</a>}, number={10}, journal={IEEE Transactions on Software Engineering}, publisher={Institute of Electrical and Electronics Engineers (IEEE)}, author={Torres, Adriano and Costa, Pedro and Amaral, Luis and Pastro, Jonata and Bonifácio, Rodrigo and d’Amorim, Marcelo and Legunsen, Owolabi and Bodden, Eric and Dias Canedo, Edna}, year={2023}, pages={4510–4525} }","mla":"Torres, Adriano, et al. “Runtime Verification of Crypto APIs: An Empirical Study.” <i>IEEE Transactions on Software Engineering</i>, vol. 49, no. 10, Institute of Electrical and Electronics Engineers (IEEE), 2023, pp. 4510–25, doi:<a href=\"https://doi.org/10.1109/tse.2023.3301660\">10.1109/tse.2023.3301660</a>."},"language":[{"iso":"eng"}],"doi":"10.1109/tse.2023.3301660","publication_identifier":{"issn":["0098-5589","1939-3520","2326-3881"]},"author":[{"full_name":"Torres, Adriano","last_name":"Torres","first_name":"Adriano"},{"full_name":"Costa, Pedro","first_name":"Pedro","last_name":"Costa"},{"last_name":"Amaral","first_name":"Luis","full_name":"Amaral, Luis"},{"first_name":"Jonata","last_name":"Pastro","full_name":"Pastro, Jonata"},{"full_name":"Bonifácio, Rodrigo","last_name":"Bonifácio","first_name":"Rodrigo"},{"first_name":"Marcelo","last_name":"d'Amorim","full_name":"d'Amorim, Marcelo"},{"last_name":"Legunsen","first_name":"Owolabi","full_name":"Legunsen, Owolabi"},{"id":"59256","full_name":"Bodden, Eric","last_name":"Bodden","first_name":"Eric","orcid":"0000-0003-3470-3647"},{"full_name":"Dias Canedo, Edna","first_name":"Edna","last_name":"Dias Canedo"}],"year":"2023","title":"Runtime Verification of Crypto APIs: An Empirical Study","intvolume":"        49","date_updated":"2023-12-04T11:05:26Z","publication_status":"published","date_created":"2023-09-06T07:42:40Z","department":[{"_id":"76"}],"type":"journal_article","keyword":["Software"],"issue":"10","publication":"IEEE Transactions on Software Engineering"},{"year":"2021","title":"Identifying Challenges for OSS Vulnerability Scanners - A Study &amp; Test Suite","status":"public","publication_identifier":{"issn":["0098-5589","1939-3520","2326-3881"]},"author":[{"id":"26886","full_name":"Dann, Andreas Peter","first_name":"Andreas Peter","last_name":"Dann"},{"last_name":"Plate","first_name":"Henrik","full_name":"Plate, Henrik"},{"id":"66173","last_name":"Hermann","first_name":"Ben","orcid":"0000-0001-9848-2017","full_name":"Hermann, Ben"},{"first_name":"Serena Elisa","last_name":"Ponta","full_name":"Ponta, Serena Elisa"},{"last_name":"Bodden","first_name":"Eric","orcid":"0000-0003-3470-3647","full_name":"Bodden, Eric","id":"59256"}],"publication_status":"published","date_updated":"2025-11-11T14:28:46Z","page":"1-1","publisher":"Institute of Electrical and Electronics Engineers (IEEE)","_id":"31132","language":[{"iso":"eng"}],"user_id":"477","doi":"10.1109/tse.2021.3101739","publication":"IEEE Transactions on Software Engineering","citation":{"bibtex":"@article{Dann_Plate_Hermann_Ponta_Bodden_2021, title={Identifying Challenges for OSS Vulnerability Scanners - A Study &#38;amp; Test Suite}, DOI={<a href=\"https://doi.org/10.1109/tse.2021.3101739\">10.1109/tse.2021.3101739</a>}, journal={IEEE Transactions on Software Engineering}, publisher={Institute of Electrical and Electronics Engineers (IEEE)}, author={Dann, Andreas Peter and Plate, Henrik and Hermann, Ben and Ponta, Serena Elisa and Bodden, Eric}, year={2021}, pages={1–1} }","ama":"Dann AP, Plate H, Hermann B, Ponta SE, Bodden E. Identifying Challenges for OSS Vulnerability Scanners - A Study &#38;amp; Test Suite. <i>IEEE Transactions on Software Engineering</i>. Published online 2021:1-1. doi:<a href=\"https://doi.org/10.1109/tse.2021.3101739\">10.1109/tse.2021.3101739</a>","mla":"Dann, Andreas Peter, et al. “Identifying Challenges for OSS Vulnerability Scanners - A Study &#38;amp; Test Suite.” <i>IEEE Transactions on Software Engineering</i>, Institute of Electrical and Electronics Engineers (IEEE), 2021, pp. 1–1, doi:<a href=\"https://doi.org/10.1109/tse.2021.3101739\">10.1109/tse.2021.3101739</a>.","short":"A.P. Dann, H. Plate, B. Hermann, S.E. Ponta, E. Bodden, IEEE Transactions on Software Engineering (2021) 1–1.","chicago":"Dann, Andreas Peter, Henrik Plate, Ben Hermann, Serena Elisa Ponta, and Eric Bodden. “Identifying Challenges for OSS Vulnerability Scanners - A Study &#38;amp; Test Suite.” <i>IEEE Transactions on Software Engineering</i>, 2021, 1–1. <a href=\"https://doi.org/10.1109/tse.2021.3101739\">https://doi.org/10.1109/tse.2021.3101739</a>.","ieee":"A. P. Dann, H. Plate, B. Hermann, S. E. Ponta, and E. Bodden, “Identifying Challenges for OSS Vulnerability Scanners - A Study &#38;amp; Test Suite,” <i>IEEE Transactions on Software Engineering</i>, pp. 1–1, 2021, doi: <a href=\"https://doi.org/10.1109/tse.2021.3101739\">10.1109/tse.2021.3101739</a>.","apa":"Dann, A. P., Plate, H., Hermann, B., Ponta, S. E., &#38; Bodden, E. (2021). Identifying Challenges for OSS Vulnerability Scanners - A Study &#38;amp; Test Suite. <i>IEEE Transactions on Software Engineering</i>, 1–1. <a href=\"https://doi.org/10.1109/tse.2021.3101739\">https://doi.org/10.1109/tse.2021.3101739</a>"},"project":[{"_id":"107","name":"Reaktor: SFB 901 - Automatisierte Risikoanalyse in Bezug auf Open-Source-Abhängigkeiten (Hektor) (Transferproject T3)"},{"name":"SFB 901: On-The-Fly Computing - Individualisierte IT-Dienstleistungen in dynamischen Märkten","_id":"1"},{"_id":"82","name":"SFB 901; Projektbereich T: Transferprojekte des Sonderforschungsbereichs"},{"_id":"107","name":"SFB 901; TP T3: Automatisierte Risikoanalyse in Bezug auf Open-Source-Abhängigkeiten (Hektor)"}],"date_created":"2022-05-09T13:02:35Z","keyword":["Software"],"type":"journal_article","department":[{"_id":"76"}]},{"date_created":"2019-11-12T12:20:56Z","type":"journal_article","department":[{"_id":"76"},{"_id":"34"},{"_id":"26"}],"publication":"IEEE Transactions on Software Engineering","citation":{"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>.","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} }","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>","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>.","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>","short":"A. Dann, B. Hermann, E. Bodden, IEEE Transactions on Software Engineering (2019) 1–1.","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>."},"project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Project Area B","_id":"3"},{"name":"SFB 901 - Subproject B4","_id":"12"}],"page":"1-1","language":[{"iso":"eng"}],"_id":"14896","doi":"10.1109/tse.2019.2931331","user_id":"5786","title":"ModGuard: Identifying Integrity &Confidentiality Violations in Java Modules","status":"public","year":"2019","author":[{"full_name":"Dann, Andreas","first_name":"Andreas","last_name":"Dann"},{"first_name":"Ben","last_name":"Hermann","orcid":"0000-0001-9848-2017","full_name":"Hermann, Ben","id":"66173"},{"id":"59256","first_name":"Eric","orcid":"0000-0003-3470-3647","last_name":"Bodden","full_name":"Bodden, Eric"}],"publication_identifier":{"issn":["0098-5589","1939-3520","2326-3881"]},"date_updated":"2022-01-06T06:52:10Z","publication_status":"published"},{"date_updated":"2022-01-06T06:54:30Z","year":"2017","status":"public","title":"Tracking Load-time Configuration Options","publication_identifier":{"issn":["0098-5589"]},"author":[{"first_name":"Max","last_name":"Lillack","full_name":"Lillack, Max"},{"full_name":"Kästner, Christian","last_name":"Kästner","first_name":"Christian"},{"last_name":"Bodden","first_name":"Eric","orcid":"0000-0003-3470-3647","full_name":"Bodden, Eric","id":"59256"}],"user_id":"5786","doi":"10.1109/TSE.2017.2756048","volume":"PP","page":"1-1","main_file_link":[{"url":"http://bodden.de/pubs/lkb17lotrack.pdf"}],"language":[{"iso":"eng"}],"_id":"20557","issue":"99","publication":"IEEE Transactions on Software Engineering","citation":{"mla":"Lillack, Max, et al. “Tracking Load-Time Configuration Options.” <i>IEEE Transactions on Software Engineering</i>, vol. PP, no. 99, 2017, pp. 1–1, doi:<a href=\"https://doi.org/10.1109/TSE.2017.2756048\">10.1109/TSE.2017.2756048</a>.","bibtex":"@article{Lillack_Kästner_Bodden_2017, title={Tracking Load-time Configuration Options}, volume={PP}, DOI={<a href=\"https://doi.org/10.1109/TSE.2017.2756048\">10.1109/TSE.2017.2756048</a>}, number={99}, journal={IEEE Transactions on Software Engineering}, author={Lillack, Max and Kästner, Christian and Bodden, Eric}, year={2017}, pages={1–1} }","ama":"Lillack M, Kästner C, Bodden E. Tracking Load-time Configuration Options. <i>IEEE Transactions on Software Engineering</i>. 2017;PP(99):1-1. doi:<a href=\"https://doi.org/10.1109/TSE.2017.2756048\">10.1109/TSE.2017.2756048</a>","ieee":"M. Lillack, C. Kästner, and E. Bodden, “Tracking Load-time Configuration Options,” <i>IEEE Transactions on Software Engineering</i>, vol. PP, no. 99, pp. 1–1, 2017, doi: <a href=\"https://doi.org/10.1109/TSE.2017.2756048\">10.1109/TSE.2017.2756048</a>.","apa":"Lillack, M., Kästner, C., &#38; Bodden, E. (2017). Tracking Load-time Configuration Options. <i>IEEE Transactions on Software Engineering</i>, <i>PP</i>(99), 1–1. <a href=\"https://doi.org/10.1109/TSE.2017.2756048\">https://doi.org/10.1109/TSE.2017.2756048</a>","short":"M. Lillack, C. Kästner, E. Bodden, IEEE Transactions on Software Engineering PP (2017) 1–1.","chicago":"Lillack, Max, Christian Kästner, and Eric Bodden. “Tracking Load-Time Configuration Options.” <i>IEEE Transactions on Software Engineering</i> PP, no. 99 (2017): 1–1. <a href=\"https://doi.org/10.1109/TSE.2017.2756048\">https://doi.org/10.1109/TSE.2017.2756048</a>."},"type":"journal_article","keyword":["Androids","Bluetooth","Humanoid robots","Java","Software","Tools","Configuration options","Static analysis","Variability mining"],"department":[{"_id":"76"}],"date_created":"2020-11-30T11:06:43Z"},{"type":"journal_article","date_created":"2021-04-20T07:39:01Z","publication":"IEEE Transactions on Software Engineering","citation":{"chicago":"Platenius, Marie C., Ammar Shaker, Matthias Becker, Eyke Hullermeier, and Wilhelm Schäfer. “Imprecise Matching of Requirements Specifications for Software Services Using Fuzzy Logic.” <i>IEEE Transactions on Software Engineering</i>, 2016, 739–59. <a href=\"https://doi.org/10.1109/tse.2016.2632115\">https://doi.org/10.1109/tse.2016.2632115</a>.","short":"M.C. Platenius, A. Shaker, M. Becker, E. Hullermeier, W. Schäfer, IEEE Transactions on Software Engineering (2016) 739–759.","ama":"Platenius MC, Shaker A, Becker M, Hullermeier E, Schäfer W. Imprecise Matching of Requirements Specifications for Software Services Using Fuzzy Logic. <i>IEEE Transactions on Software Engineering</i>. 2016:739-759. doi:<a href=\"https://doi.org/10.1109/tse.2016.2632115\">10.1109/tse.2016.2632115</a>","bibtex":"@article{Platenius_Shaker_Becker_Hullermeier_Schäfer_2016, title={Imprecise Matching of Requirements Specifications for Software Services Using Fuzzy Logic}, DOI={<a href=\"https://doi.org/10.1109/tse.2016.2632115\">10.1109/tse.2016.2632115</a>}, journal={IEEE Transactions on Software Engineering}, author={Platenius, Marie C. and Shaker, Ammar and Becker, Matthias and Hullermeier, Eyke and Schäfer, Wilhelm}, year={2016}, pages={739–759} }","apa":"Platenius, M. C., Shaker, A., Becker, M., Hullermeier, E., &#38; Schäfer, W. (2016). Imprecise Matching of Requirements Specifications for Software Services Using Fuzzy Logic. <i>IEEE Transactions on Software Engineering</i>, 739–759. <a href=\"https://doi.org/10.1109/tse.2016.2632115\">https://doi.org/10.1109/tse.2016.2632115</a>","mla":"Platenius, Marie C., et al. “Imprecise Matching of Requirements Specifications for Software Services Using Fuzzy Logic.” <i>IEEE Transactions on Software Engineering</i>, 2016, pp. 739–59, doi:<a href=\"https://doi.org/10.1109/tse.2016.2632115\">10.1109/tse.2016.2632115</a>.","ieee":"M. C. Platenius, A. Shaker, M. Becker, E. Hullermeier, and W. Schäfer, “Imprecise Matching of Requirements Specifications for Software Services Using Fuzzy Logic,” <i>IEEE Transactions on Software Engineering</i>, pp. 739–759, 2016."},"user_id":"4870","doi":"10.1109/tse.2016.2632115","page":"739-759","language":[{"iso":"eng"}],"_id":"21638","publication_status":"published","date_updated":"2022-01-06T06:55:08Z","title":"Imprecise Matching of Requirements Specifications for Software Services Using Fuzzy Logic","status":"public","year":"2016","publication_identifier":{"issn":["0098-5589","1939-3520"]},"author":[{"first_name":"Marie C.","last_name":"Platenius","full_name":"Platenius, Marie C."},{"last_name":"Shaker","first_name":"Ammar","full_name":"Shaker, Ammar"},{"first_name":"Matthias","last_name":"Becker","full_name":"Becker, Matthias"},{"full_name":"Hullermeier, Eyke","first_name":"Eyke","last_name":"Hullermeier"},{"full_name":"Schäfer, Wilhelm","last_name":"Schäfer","first_name":"Wilhelm"}]}]