HoefnerP

Peter Höfner

Senior Researcher
Neville Roach Laboratory

Mail: NICTA, Locked Bag 6016, UNSW, Sydney, NSW 1466, Australia
Office: Room 409, Level 4, NICTA, 223 Anzac Parade, Kensington, Sydney, NSW 2052, Australia
Phone: +61 2 8306 0561
Fax: +61 2 8306 0405
 
Email: Peter.Hoefner@nicta.com.au
Peter Hoefner (pic)

Research Interests

  • Formal Models and Calculi for Software Systems
    • specification and verification of protocols
    • feature-oriented software development
    • product families and product lines
    • reactive and hybrid systems
  • Mathematical Structures in Computing
    • algebraic structures (e.g. semiring and Kleene algebra)
    • process algebra
    • proof automatisation
      (applying off-the-shelf theorem provers)

Recent Publications

  • Sequence Numbers Do Not Guarantee Loop Freedom — AODV Can Yield Routing Loops.
    R.J van Glabbeek, P. Höfner, M. Portmann and W.L. Tan. Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM'13), ACM, 2013. (accepted)
  • Topology-based Mobility Models for Wireless Networks.
    A. Fehnker, P. Höfner, M. Kamali and V. Mehta. Quantitative Evaluation of Systems (QEST'13), Lecture Notes in Computer Science 8054, pp. 368-383, Springer, 2013.
  • Quantitative Analysis of AODV and its Variants on Dynamic Topologies using Statistical Model Checking.
    P. Höfner and M. Kamali. Formal Modelling and Analysis of Timed Systems (FORMATS'13), Lecture Notes in Computer Science 8053, pp. 121-136, Springer, 2013.
  • Statistical Model Checking of Wireless Mesh Routing Protocols.
    P. Höfner and A. McIver. NASA Formal Methods Symposium (NFM'13), Lecture Notes in Computer Science 7871, pp. 322-336, Springer, 2013.
  • A Process Algebra for Wireless Mesh Networks used for Modelling, Verifying and Analysing AODV.
    A. Fehnker, R. van Glabbeek, P. Höfner, A. McIver, M. Portmann and W.L. Tan. Technical Report 5513, NICTA. 2013. http://www.nicta.com.au/pub?doc=5513

List of all Publications

Membership in Programme Committees

Grants and Awards

  • DAAD RISE worldwide (2011, 2012, 2013)
  • Award for young researchers of the Universität Bayern e.V. (2nd place)
    (interdisciplinary, December 15, 2008)
    press release (in German)
  • Woody Bledsoe Travel Award 2008
  • Research Scholarship by Universität Bayern e.V.
    (integrated in the Elite Network of Bavaria, July 2007 - July 2009)
  • Woody Bledsoe Travel Award 2007
  • travel support by DFG for visiting ESSLLI 2005

Involved Projects