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