---
_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'
...