--- _id: '46816' author: - first_name: Adriano full_name: Torres, Adriano last_name: Torres - first_name: Pedro full_name: Costa, Pedro last_name: Costa - first_name: Luis full_name: Amaral, Luis last_name: Amaral - first_name: Jonata full_name: Pastro, Jonata last_name: Pastro - first_name: Rodrigo full_name: Bonifácio, Rodrigo last_name: Bonifácio - first_name: Marcelo full_name: d'Amorim, Marcelo last_name: d'Amorim - first_name: Owolabi full_name: Legunsen, Owolabi last_name: Legunsen - first_name: Eric full_name: Bodden, Eric id: '59256' last_name: Bodden orcid: 0000-0003-3470-3647 - first_name: Edna full_name: Dias Canedo, Edna last_name: Dias Canedo citation: ama: 'Torres A, Costa P, Amaral L, et al. Runtime Verification of Crypto APIs: An Empirical Study. IEEE Transactions on Software Engineering. 2023;49(10):4510-4525. doi:10.1109/tse.2023.3301660' apa: 'Torres, A., Costa, P., Amaral, L., Pastro, J., Bonifácio, R., d’Amorim, M., Legunsen, O., Bodden, E., & Dias Canedo, E. (2023). Runtime Verification of Crypto APIs: An Empirical Study. IEEE Transactions on Software Engineering, 49(10), 4510–4525. https://doi.org/10.1109/tse.2023.3301660' 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={10.1109/tse.2023.3301660}, 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} }' 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.” IEEE Transactions on Software Engineering 49, no. 10 (2023): 4510–25. https://doi.org/10.1109/tse.2023.3301660.' ieee: 'A. Torres et al., “Runtime Verification of Crypto APIs: An Empirical Study,” IEEE Transactions on Software Engineering, vol. 49, no. 10, pp. 4510–4525, 2023, doi: 10.1109/tse.2023.3301660.' mla: 'Torres, Adriano, et al. “Runtime Verification of Crypto APIs: An Empirical Study.” IEEE Transactions on Software Engineering, vol. 49, no. 10, Institute of Electrical and Electronics Engineers (IEEE), 2023, pp. 4510–25, doi:10.1109/tse.2023.3301660.' 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. date_created: 2023-09-06T07:42:40Z date_updated: 2023-12-04T11:05:26Z department: - _id: '76' doi: 10.1109/tse.2023.3301660 intvolume: ' 49' issue: '10' keyword: - Software language: - iso: eng page: 4510 - 4525 publication: IEEE Transactions on Software Engineering publication_identifier: issn: - 0098-5589 - 1939-3520 - 2326-3881 publication_status: published publisher: Institute of Electrical and Electronics Engineers (IEEE) status: public title: 'Runtime Verification of Crypto APIs: An Empirical Study' type: journal_article user_id: '15249' volume: 49 year: '2023' ... --- _id: '31132' author: - first_name: Andreas Peter full_name: Dann, Andreas Peter id: '26886' last_name: Dann - first_name: Henrik full_name: Plate, Henrik last_name: Plate - first_name: Ben full_name: Hermann, Ben id: '66173' last_name: Hermann orcid: 0000-0001-9848-2017 - first_name: Serena Elisa full_name: Ponta, Serena Elisa last_name: Ponta - first_name: Eric full_name: Bodden, Eric id: '59256' last_name: Bodden orcid: 0000-0003-3470-3647 citation: ama: Dann AP, Plate H, Hermann B, Ponta SE, Bodden E. Identifying Challenges for OSS Vulnerability Scanners - A Study & Test Suite. IEEE Transactions on Software Engineering. Published online 2021:1-1. doi:10.1109/tse.2021.3101739 apa: Dann, A. P., Plate, H., Hermann, B., Ponta, S. E., & Bodden, E. (2021). Identifying Challenges for OSS Vulnerability Scanners - A Study & Test Suite. IEEE Transactions on Software Engineering, 1–1. https://doi.org/10.1109/tse.2021.3101739 bibtex: '@article{Dann_Plate_Hermann_Ponta_Bodden_2021, title={Identifying Challenges for OSS Vulnerability Scanners - A Study & Test Suite}, DOI={10.1109/tse.2021.3101739}, 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} }' chicago: Dann, Andreas Peter, Henrik Plate, Ben Hermann, Serena Elisa Ponta, and Eric Bodden. “Identifying Challenges for OSS Vulnerability Scanners - A Study & Test Suite.” IEEE Transactions on Software Engineering, 2021, 1–1. https://doi.org/10.1109/tse.2021.3101739. ieee: 'A. P. Dann, H. Plate, B. Hermann, S. E. Ponta, and E. Bodden, “Identifying Challenges for OSS Vulnerability Scanners - A Study & Test Suite,” IEEE Transactions on Software Engineering, pp. 1–1, 2021, doi: 10.1109/tse.2021.3101739.' mla: Dann, Andreas Peter, et al. “Identifying Challenges for OSS Vulnerability Scanners - A Study & Test Suite.” IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers (IEEE), 2021, pp. 1–1, doi:10.1109/tse.2021.3101739. short: A.P. Dann, H. Plate, B. Hermann, S.E. Ponta, E. Bodden, IEEE Transactions on Software Engineering (2021) 1–1. date_created: 2022-05-09T13:02:35Z date_updated: 2022-05-09T13:03:18Z department: - _id: '76' doi: 10.1109/tse.2021.3101739 keyword: - Software language: - iso: eng page: 1-1 publication: IEEE Transactions on Software Engineering publication_identifier: issn: - 0098-5589 - 1939-3520 - 2326-3881 publication_status: published publisher: Institute of Electrical and Electronics Engineers (IEEE) status: public title: Identifying Challenges for OSS Vulnerability Scanners - A Study & Test Suite type: journal_article user_id: '15249' year: '2021' ... --- _id: '14896' author: - first_name: Andreas full_name: Dann, Andreas last_name: Dann - first_name: Ben full_name: Hermann, Ben id: '66173' last_name: Hermann orcid: 0000-0001-9848-2017 - first_name: Eric full_name: Bodden, Eric id: '59256' last_name: Bodden orcid: 0000-0003-3470-3647 citation: ama: 'Dann A, Hermann B, Bodden E. ModGuard: Identifying Integrity &Confidentiality Violations in Java Modules. IEEE Transactions on Software Engineering. Published online 2019:1-1. doi:10.1109/tse.2019.2931331' apa: 'Dann, A., Hermann, B., & Bodden, E. (2019). ModGuard: Identifying Integrity &Confidentiality Violations in Java Modules. IEEE Transactions on Software Engineering, 1–1. https://doi.org/10.1109/tse.2019.2931331' bibtex: '@article{Dann_Hermann_Bodden_2019, title={ModGuard: Identifying Integrity &Confidentiality Violations in Java Modules}, DOI={10.1109/tse.2019.2931331}, journal={IEEE Transactions on Software Engineering}, author={Dann, Andreas and Hermann, Ben and Bodden, Eric}, year={2019}, pages={1–1} }' chicago: 'Dann, Andreas, Ben Hermann, and Eric Bodden. “ModGuard: Identifying Integrity &Confidentiality Violations in Java Modules.” IEEE Transactions on Software Engineering, 2019, 1–1. https://doi.org/10.1109/tse.2019.2931331.' ieee: 'A. Dann, B. Hermann, and E. Bodden, “ModGuard: Identifying Integrity &Confidentiality Violations in Java Modules,” IEEE Transactions on Software Engineering, pp. 1–1, 2019, doi: 10.1109/tse.2019.2931331.' mla: 'Dann, Andreas, et al. “ModGuard: Identifying Integrity &Confidentiality Violations in Java Modules.” IEEE Transactions on Software Engineering, 2019, pp. 1–1, doi:10.1109/tse.2019.2931331.' short: A. Dann, B. Hermann, E. Bodden, IEEE Transactions on Software Engineering (2019) 1–1. date_created: 2019-11-12T12:20:56Z date_updated: 2022-01-06T06:52:10Z department: - _id: '76' - _id: '34' - _id: '26' doi: 10.1109/tse.2019.2931331 language: - iso: eng page: 1-1 project: - _id: '1' name: SFB 901 - _id: '3' name: SFB 901 - Project Area B - _id: '12' name: SFB 901 - Subproject B4 publication: IEEE Transactions on Software Engineering publication_identifier: issn: - 0098-5589 - 1939-3520 - 2326-3881 publication_status: published status: public title: 'ModGuard: Identifying Integrity &Confidentiality Violations in Java Modules' type: journal_article user_id: '5786' year: '2019' ... --- _id: '21638' author: - first_name: Marie C. full_name: Platenius, Marie C. last_name: Platenius - first_name: Ammar full_name: Shaker, Ammar last_name: Shaker - first_name: Matthias full_name: Becker, Matthias last_name: Becker - first_name: Eyke full_name: Hullermeier, Eyke last_name: Hullermeier - first_name: Wilhelm full_name: Schäfer, Wilhelm last_name: Schäfer citation: ama: Platenius MC, Shaker A, Becker M, Hullermeier E, Schäfer W. Imprecise Matching of Requirements Specifications for Software Services Using Fuzzy Logic. IEEE Transactions on Software Engineering. 2016:739-759. doi:10.1109/tse.2016.2632115 apa: Platenius, M. C., Shaker, A., Becker, M., Hullermeier, E., & Schäfer, W. (2016). Imprecise Matching of Requirements Specifications for Software Services Using Fuzzy Logic. IEEE Transactions on Software Engineering, 739–759. https://doi.org/10.1109/tse.2016.2632115 bibtex: '@article{Platenius_Shaker_Becker_Hullermeier_Schäfer_2016, title={Imprecise Matching of Requirements Specifications for Software Services Using Fuzzy Logic}, DOI={10.1109/tse.2016.2632115}, 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} }' 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.” IEEE Transactions on Software Engineering, 2016, 739–59. https://doi.org/10.1109/tse.2016.2632115. 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,” IEEE Transactions on Software Engineering, pp. 739–759, 2016. mla: Platenius, Marie C., et al. “Imprecise Matching of Requirements Specifications for Software Services Using Fuzzy Logic.” IEEE Transactions on Software Engineering, 2016, pp. 739–59, doi:10.1109/tse.2016.2632115. short: M.C. Platenius, A. Shaker, M. Becker, E. Hullermeier, W. Schäfer, IEEE Transactions on Software Engineering (2016) 739–759. date_created: 2021-04-20T07:39:01Z date_updated: 2022-01-06T06:55:08Z doi: 10.1109/tse.2016.2632115 language: - iso: eng page: 739-759 publication: IEEE Transactions on Software Engineering publication_identifier: issn: - 0098-5589 - 1939-3520 publication_status: published status: public title: Imprecise Matching of Requirements Specifications for Software Services Using Fuzzy Logic type: journal_article user_id: '4870' year: '2016' ...