| Gobra: Modular specification and verification of go programs FA Wolf, L Arquint, M Clochard, W Oortwijn, JC Pereira, P Müller International Conference on Computer Aided Verification, 367-379, 2021 | 87 | 2021 |
| Igloo: soundly linking compositional refinement and separation logic for distributed system verification C Sprenger, T Klenze, M Eilers, FA Wolf, P Müller, M Clochard, D Basin Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-31, 2020 | 40 | 2020 |
| Concise outlines for a complex logic: a proof outline checker for TaDA FA Wolf, M Schwerhoff, P Müller Formal Methods: 24th International Symposium, FM 2021, Virtual Event …, 2021 | 22* | 2021 |
| Sound verification of security protocols: From design to interoperable implementations L Arquint, FA Wolf, J Lallemand, R Sasse, C Sprenger, SN Wiesner, ... 2023 IEEE Symposium on Security and Privacy (SP), 1077-1093, 2023 | 14* | 2023 |
| Concise outlines for a complex logic: a proof outline checker for TaDA FA Wolf, M Schwerhoff, P Müller Formal Methods in System Design 61 (1), 110-136, 2022 | 6 | 2022 |
| Verifying Fine-Grained Concurrent Data Structures F Wolf Master thesis, ETH Zurich, 2018 | 3 | 2018 |
| Protocols to Code: Formal Verification of a Next-Generation Internet Router JC Pereira, T Klenze, S Giampietro, M Limbeck, D Spiliopoulos, FA Wolf, ... arXiv preprint arXiv:2405.06074, 2024 | 2 | 2024 |
| Verifiable Security Policies for Distributed Systems FA Wolf, P Müller Proceedings of the 2024 on ACM SIGSAC Conference on Computer and …, 2024 | 1 | 2024 |
| Automated Verification of Advanced Correctness and Security Properties FA Wolf ETH Zurich, 2024 | | 2024 |
| Code-Level Verification L Chuat, M Legner, D Basin, D Hausheer, S Hitz, P Müller, A Perrig The Complete Guide to SCION: From Design Principles to Formal Verification …, 2022 | | 2022 |