Follow
Peter Höfner
Peter Höfner
Australian National University (ANU)
Verified email at hoefner-online.de - Homepage
Title
Cited by
Cited by
Year
Automated reasoning in Kleene algebra
P Höfner, G Struth
International Conference on Automated Deduction, 279-294, 2007
972007
A process algebra for wireless mesh networks
A Fehnker, R Van Glabbeek, P Höfner, A McIver, M Portmann, WL Tan
Programming Languages and Systems: 21st European Symposium on Programming …, 2012
922012
Feature interactions, products, and composition
D Batory, P Höfner, J Kim
Proceedings of the 10th ACM international conference on Generative …, 2011
892011
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
852012
Feature algebra
P Höfner, R Khedri, B Möller
International Symposium on Formal Methods, 300-315, 2006
702006
Dijkstra, floyd and warshall meet kleene
P Höfner, B Möller
Formal Aspects of Computing 24, 459-476, 2012
682012
Modelling and verifying the AODV routing protocol
R van Glabbeek, P Höfner, M Portmann, WL Tan
Distributed Computing 29 (4), 279-315, 2016
642016
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
622013
An algebra of product families
P Höfner, R Khedri, B Möller
Software and Systems Modeling 10 (2), 161-182, 2011
592011
On automating the calculus of relations
P Höfner, G Struth
Automated Reasoning: 4th International Joint Conference, IJCAR 2008 Sydney …, 2008
592008
Algebraic separation logic
HH Dang, P Höfner, B Möller
The Journal of Logic and Algebraic Programming 80 (6), 221-247, 2011
452011
An algebra of hybrid systems
P Höfner, B Möller
The Journal of Logic and Algebraic Programming 78 (2), 74-97, 2009
402009
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
382013
Progress, justness, and fairness
RV Glabbeek, P Höfner
ACM Computing Surveys (CSUR) 52 (4), 1-38, 2019
372019
Quantales and temporal logics
B Möller, P Höfner, G Struth
Algebraic Methodology and Software Technology: 11th International Conference …, 2006
352006
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
322012
Statistical model checking of wireless mesh routing protocols
P Höfner, A McIver
NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field …, 2013
312013
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
282013
Supplementing Product Families with Behaviour
P Höfner, R Khedri, B Möller
Universitätsbibliothek der Universität Augsburg}, 2011
252011
Assuming just enough fairness to make session types complete for lock-freedom
R van Glabbeek, P Höfner, R Horne
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2021
242021
The system can't perform the operation now. Try again later.
Articles 1–20