Papers and articles published with myself as an author.
| Resilience of Systems under Maximum Component Deviations. A Hammer, C Zhang, V Dini, R Wagner, B Schmerl, E Kang, D Garlan - Software Engineering and Formal Methods, 2025 | Bibtex |
| Integrating runtime verification into an automated uas traffic management system. M Cauwels, A Hammer, B Hertz, PH Jones, KY Rozier - European Conference on Software Architecture, 2020 | Bibtex |