Publications

Found 9 results
Filters: Author is Heiko Mantel  [Clear All Filters]
2022
S. Demeyer, Hähnle, R., and Mantel, H., “Automating Software Re-engineering - Introduction to the ISoLA 2022 Track”, Proceedings of the 11th International Symposium on Leveraging Applications of Formal Methods (ISoLA). Springer, pp. 195-200, 2022.
F. Dewald, Rohde, J., Hochberger, C., and Mantel, H., “Improving Loop Parallelization by a Combination of Static and Dynamic Analyses in HLS”, ACM Transactions on Reconfigurable Technology and Systems, vol. 15, no. 3, pp. 31:1-31:31, 2022.
2021
F. Czappa, Calotoiu, A., Höhl, T., Mantel, H., Nguyen, T., and Wolf, F., “Design-Time Performance Modeling of Compositional Parallel Programs”, Parallel Computing, vol. 108, pp. 1-12, 2021.
J. - P. Lehr, Bischof, C., Dewald, F., Mantel, H., Norouzi, M., and Wolf, F., “Tool-Supported Mini-App Extraction to Facilitate Program Analysis and Parallelization”, in Proceedings of the 50th International Conference on Parallel Processing (ICPP), 2021, pp. 1-10.
2020
M. - C. Jakobs and Mantel, H., “A Unifying Framework for Dynamic Monitoring and a Taxonomy of Optimizations”, in Proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods (ISoLA), 2020, pp. 72-92.
S. Demeyer, Hähnle, R., and Mantel, H., “Automating Software Re-engineering”, International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA). Springer, pp. 72-92, 2020.
2019
A. Calotoiu, Höhl, T., Mantel, H., Nguyen, T., and Wolf, F., “Designing Efficient Parallel Software via Compositional Performance Modeling”, in Proceedings of the Workshop on Programming and Performance Visualization Tools (ProTools), 2019, pp. 17-24.
H. Mantel, “From Attacker Models to Reliable Security”, in Proceedings of the 14th ACM ASIA Conference on Computer and Communications Security (ASIACCS), 2019, pp. 547-548.
H. Mantel and Probst, C. W., “On the Meaning and Purpose of Attack Trees”, in Proceedings of the 32nd IEEE Computer Security Foundations Symposium (CSF), 2019, pp. 184-199.