| Automated reasoning in Kleene algebra P Höfner, G Struth International Conference on Automated Deduction, 279-294, 2007 | 97 | 2007 |
| 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 | 92 | 2012 |
| Feature interactions, products, and composition D Batory, P Höfner, J Kim Proceedings of the 10th ACM international conference on Generative …, 2011 | 87 | 2011 |
| 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 | 85 | 2012 |
| Feature algebra P Höfner, R Khedri, B Möller International Symposium on Formal Methods, 300-315, 2006 | 70 | 2006 |
| Dijkstra, floyd and warshall meet kleene P Höfner, B Möller Formal Aspects of Computing 24, 459-476, 2012 | 67 | 2012 |
| Modelling and verifying the AODV routing protocol R van Glabbeek, P Höfner, M Portmann, WL Tan Distributed Computing 29 (4), 279-315, 2016 | 64 | 2016 |
| 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 | 62 | 2013 |
| On automating the calculus of relations P Höfner, G Struth Automated Reasoning: 4th International Joint Conference, IJCAR 2008 Sydney …, 2008 | 60 | 2008 |
| An algebra of product families P Höfner, R Khedri, B Möller Software and Systems Modeling 10 (2), 161-182, 2011 | 59 | 2011 |
| Algebraic separation logic HH Dang, P Höfner, B Möller The Journal of Logic and Algebraic Programming 80 (6), 221-247, 2011 | 45 | 2011 |
| An algebra of hybrid systems P Höfner, B Möller The Journal of Logic and Algebraic Programming 78 (2), 74-97, 2009 | 40 | 2009 |
| 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 | 38 | 2013 |
| Quantales and temporal logics B Möller, P Höfner, G Struth Algebraic Methodology and Software Technology: 11th International Conference …, 2006 | 35 | 2006 |
| Progress, justness, and fairness RV Glabbeek, P Höfner ACM Computing Surveys (CSUR) 52 (4), 1-38, 2019 | 34 | 2019 |
| 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 | 32 | 2012 |
| Statistical model checking of wireless mesh routing protocols P Höfner, A McIver NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field …, 2013 | 31 | 2013 |
| 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 | 28 | 2013 |
| Supplementing Product Families with Behaviour P Höfner, R Khedri, B Möller Universitätsbibliothek der Universität Augsburg}, 2011 | 25 | 2011 |
| 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 | 24 | 2021 |
Rob van GlabbeekUNSWVerified email at cs.stanford.edu
