Homepage of Peter Höfner

Dr. Höfner is Senior Research Scientist at Data 61, CSIRO (formerly NICTA1) in Sydney, Australia. He is also Conjoint Senior Lecturer at the School of Computer Science and Engineering at The University of New South Wales.
This web page contains information regarding his research interests, teaching and publications.

Research Interests

Teaching (2017)

Brief Bio

since 2013:Senior Research Scientist, Data61, CSIRO (formerly NICTA), Australia
since 2011:Conjoint (Senior) Lecturer, University of New South Wales, Australia
2010–2013:Researcher, NICTA, Australia
2009–2010:Postdoc in Computer Science, University of Augsburg, Germany
2006–2007:Visiting Scholar, University of Sheffield, United Kingdom
2004–2009:PhD in Computer Science, University of Augsburg, Germany
1998–2003:MSc in Mathematics (Diplom), University of Augsburg, Germany


Recent Publications

  1. R.J. van Glabbeek, P. Höfner: Split, Send, Reassemble: A Formal Specification of a CAN Bus Protocol Stack. In Models for Formal Analysis of Real Systems (MARS 2017). Electronic Proceedings in Theoretical Computer Science 244, pp. 14-52, Open Publishing Association, 2017.
    doi: 10.4204/EPTCS.244.2
    abstract | pdf | bibtex
  2. R. Berghammer, N. Danilenko, P. Höfner, I. Stucke: Cardinality of Relations with Applications. In Discrete Mathematics 339(12):3089-3115, Elsevier, 2016.
    doi: 10.1016/j.disc.2016.06.019
    abstract | pdf | bibtex
  3. E. Bres, R.J. van Glabbeek, P. Höfner: A Timed Process Algebra for Wireless Networks with an Application in Routing (Extended Abstract). In Programming Languages and Systems (ESOP'16). Lecture Notes in Computer Science 9632, pp. 95-122, Springer, 2016.
    doi: 10.1007/978-3-662-49498-1_5
    abstract | pdf | bibtex
  4. T. Bourke, R.J. van Glabbeek, P. Höfner: Mechanizing a Process Algebra for Network Protocols. In Journal of Automated Reasoning 56(3):309-341, Springer, 2016.
    doi: 10.1007/s10817-015-9358-9
    abstract | pdf | bibtex
  5. R.J. van Glabbeek, P. Höfner, M. Portmann, W.L. Tan: Modelling and Verifying the AODV Routing Protocol. In Distributed Computing 29(4):279-315, Springer, 2016.
    arXiv: CoRR abs/1512.08867 | doi: 10.1007/s00446-015-0262-7
    abstract | pdf | bibtex
1. CSIRO's Digital Productivity business unit and NICTA have joined forces to create digital powerhouse Data61.