Publications

Found 9 results
Filters: Autor is Heiko Mantel  [Clear All Filters]
2022
S. Demeyer, Hähnle, R., und 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, S. 195-200, 2022.
F. Dewald, Rohde, J., Hochberger, C., und Mantel, H., „Improving Loop Parallelization by a Combination of Static and Dynamic Analyses in HLS“, ACM Transactions on Reconfigurable Technology and Systems, Bd. 15, Nr. 3, S. 31:1-31:31, 2022.
2021
F. Czappa, Calotoiu, A., Höhl, T., Mantel, H., Nguyen, T., und Wolf, F., „Design-Time Performance Modeling of Compositional Parallel Programs“, Parallel Computing, Bd. 108, S. 1-12, 2021.
J. - P. Lehr, Bischof, C., Dewald, F., Mantel, H., Norouzi, M., und 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, S. 1-10.
2020
M. - C. Jakobs und 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, S. 72-92.
S. Demeyer, Hähnle, R., und Mantel, H., „Automating Software Re-engineering“, International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA). Springer, S. 72-92, 2020.
2019
A. Calotoiu, Höhl, T., Mantel, H., Nguyen, T., und Wolf, F., „Designing Efficient Parallel Software via Compositional Performance Modeling“, in Proceedings of the Workshop on Programming and Performance Visualization Tools (ProTools), 2019, S. 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, S. 547-548.
H. Mantel und Probst, C. W., „On the Meaning and Purpose of Attack Trees“, in Proceedings of the 32nd IEEE Computer Security Foundations Symposium (CSF), 2019, S. 184-199.