Krüger, Stefan, et al. “CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs.”10.1109/TSE.2019.2948910__IEEE Transactions on Software Engineering, 2019, pp. 1–1, doi:10.1109/TSE.2019.2948910.

Lillack, Max, et al. “Tracking Load-Time Configuration Options.”10.1109/TSE.2017.2756048__IEEE Transactions on Software Engineering, vol. PP, no. 99, 2017, pp. 1–1, doi:10.1109/TSE.2017.2756048.

Holzinger, Philipp, et al. “An In-Depth Study of More Than Ten Years of Java Exploitation.”http://doi.acm.org/10.1145/2976749.2978361__Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016, pp. 779–90, doi:http://doi.acm.org/10.1145/2976749.2978361.

Schattkowsky, Tim, et al. “A Model-Based Approach for Executable Specification on Reconfigurable Hardware.”10.1109/DATE.2005.20__Proceedings of DATE’05, IEEE, 2005, doi:10.1109/DATE.2005.20.

Schattkowsky, Tim, et al. “Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks.”10.1109/AINA.2004.1283977__Proceedings of AIN04, IEEE, 2004, doi:10.1109/AINA.2004.1283977.