Personal profile
Biography
This webpage is autogenerated. It is neither complete nor is it intended to be complete. Please see http://www.hoefner-online.de for further details
Research student supervision
- Registered to supervise
Fingerprint
- 1 Similar Profiles
-
Practical Rely/Guarantee Verification of an Efficient Lock for seL4 on Multicore Architectures
Colvin, R. J., Hayes, I. J., Heiner, S., Höfner, P., Meinicke, L. & Su, R. C., 2024, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Science+Business Media B.V., p. 65-87 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. LNCS 14780).Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
1 Citation (Scopus) -
Algorithmics
Bird, R., Gibbons, J., Hinze, R., Höfner, P., Jeuring, J., Meertens, L., Möller, B., Morgan, C., Schrijvers, T., Swierstra, W. & Wu, N., 2021, IFIP Advances in Information and Communication Technology. Springer Science+Business Media B.V., p. 59-98 40 p. (IFIP Advances in Information and Communication Technology; vol. 600).Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
Open Access -
Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom
Glabbeek, R. V., Hofner, P. & Horne, R., 29 Jun 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021. Institute of Electrical and Electronics Engineers Inc., 9470531. (Proceedings - Symposium on Logic in Computer Science; vol. 2021-June).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › peer-review
Open Access26 Citations (Scopus) -
Effect Algebras, Girard Quantales and Complementation in Separation Logic
Bannister, C., Höfner, P. & Struth, G., 2021, Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Proceedings. Fahrenberg, U., Gehrke, M., Santocanale, L. & Winter, M. (eds.). Springer Science+Business Media B.V., p. 37-53 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13027 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › peer-review
-
Formalising the optimised link state routing protocol
Barry, R., van Glabbeek, R. & Höfner, P., 26 Apr 2020, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 316, p. 40-71 32 p.Research output: Contribution to journal › Conference article › peer-review
Open Access2 Citations (Scopus)
Projects
- 2 Finished
-
Verifying Concurrent Data Structures for Trustworthy Systems
Hoefner, P. (PI) & Hosking, A. (CoI)
20/06/21 → 30/06/25
Project: Research
-
Automated Verification of Control Protocols with Timed Automata (Extension 2020 2021)
Hoefner, P. (PI), McIver, A. (CoI), Portmann, M. (CoI) & Zhu, L. (CoI)
1/03/20 → 30/06/21
Project: Research