Peter Höfner
Peter Höfner
Data61, CSIRO and University of NSW
Verified email at hoefner-online.de - Homepage
TitleCited byYear
Automated reasoning in Kleene algebra
P Höfner, G Struth
International Conference on Automated Deduction, 279-294, 2007
842007
A process algebra for wireless mesh networks
A Fehnker, R van Glabbeek, P Höfner, A McIver, M Portmann, WL Tan
European Symposium on Programming, 295-315, 2012
662012
Automated analysis of AODV using UPPAAL
A Fehnker, R van Glabbeek, P Höfner, A McIver, M Portmann, WL Tan
Heidelberg, Germany: Springer-Verlag, 2012
662012
Feature algebra
P Höfner, R Khedri, B Möller
International Symposium on Formal Methods, 300-315, 2006
592006
Feature interactions, products, and composition
D Batory, P Höfner, J Kim
ACM SIGPLAN Notices 47 (3), 13-22, 2011
542011
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, WL Tan
arXiv preprint arXiv:1312.7645, 2013
492013
On automating the calculus of relations
P Höfner, G Struth
International Joint Conference on Automated Reasoning, 50-66, 2008
452008
An algebra of product families
P Höfner, R Khedri, B Möller
Software and Systems Modeling 10 (2), 161-182, 2011
382011
Dijkstra, floyd and warshall meet kleene
P Höfner, B Möller
Formal aspects of computing 24 (4-6), 459-476, 2012
352012
Sequence numbers do not guarantee loop freedom: AODV can yield routing loops
R Van Glabbeek, P Höfner, WL Tan, M Portmann
Proceedings of the 16th ACM international conference on Modeling, analysis …, 2013
292013
A rigorous analysis of AODV and its variants
P Höfner, RJ van Glabbeek, WL Tan, M Portmann, A McIver, A Fehnker
Proceedings of the 15th ACM international conference on Modeling, analysis …, 2012
262012
Algebraic separation logic
HH Dang, P Höfner, B Möller
The Journal of Logic and Algebraic Programming 80 (6), 221-247, 2011
262011
Quantales and temporal logics
B Möller, P Höfner, G Struth
International Conference on Algebraic Methodology and Software Technology …, 2006
262006
Modelling and verifying the AODV routing protocol
R van Glabbeek, P Höfner, M Portmann, WL Tan
Distributed Computing 29 (4), 279-315, 2016
242016
Statistical model checking of wireless mesh routing protocols
P Höfner, A McIver
NASA Formal Methods Symposium, 322-336, 2013
222013
An algebra of hybrid systems
P Höfner, B Möller
The Journal of Logic and Algebraic Programming 78 (2), 74-97, 2009
222009
Features, modularity, and variation points
D Batory, P Höfner, B Möller, A Zelend
Proceedings of the 5th International Workshop on Feature-Oriented Software …, 2013
212013
Can refinement be automated?
P Höfner, G Struth
Electronic Notes in Theoretical Computer Science 201, 197-222, 2008
202008
Omega algebra, demonic refinement algebra and commands
P Höfner, B Möller, K Solin
International Conference on Relational Methods in Computer Science, 222-234, 2006
202006
Towards a rigorous analysis of AODVv2 (DYMO)
S Edenhofer, P Höfner
Workshop on Rigorous Protocol Engineering (WRiPE'12), 1-6, 2012
192012
The system can't perform the operation now. Try again later.
Articles 1–20