Articles with public access mandates - Peter HöfnerLearn more
Available somewhere: 30
Feature interactions, products, and composition
D Batory, P Höfner, J Kim
Proceedings of the 10th ACM international conference on Generative …, 2011
Mandates: German Research Foundation
Feature algebra
P Höfner, R Khedri, B Möller
International Symposium on Formal Methods, 300-315, 2006
Mandates: German Research Foundation
Modelling and verifying the AODV routing protocol
R van Glabbeek, P Höfner, M Portmann, WL Tan
Distributed Computing 29 (4), 279-315, 2016
Mandates: Australian Research Council
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
Mandates: Australian Research Council
Quantales and temporal logics
B Möller, P Höfner, G Struth
Algebraic Methodology and Software Technology: 11th International Conference …, 2006
Mandates: German Research Foundation
Statistical model checking of wireless mesh routing protocols
P Höfner, A McIver
NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field …, 2013
Mandates: Australian Research Council
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
Mandates: Australian Research Council, German Research Foundation
Automated verification of relational while-programs
R Berghammer, P Höfner, I Stucke
Relational and Algebraic Methods in Computer Science: 14th International …, 2014
Mandates: Australian Research Council
CCS: It’s not fair! Fair schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions
RJ van Glabbeek, P Höfner
Acta Informatica 52 (2), 175-205, 2015
Mandates: Australian Research Council
A mechanized proof of loop freedom of the (untimed) AODV routing protocol
T Bourke, R van Glabbeek, P Höfner
Automated Technology for Verification and Analysis: 12th International …, 2014
Mandates: Australian Research Council
Omega algebra, demonic refinement algebra and commands
P Höfner, B Möller, K Solin
Relations and Kleene Algebra in Computer Science: 9th International …, 2006
Mandates: German Research Foundation
A timed process algebra for wireless networks with an application in routing
E Bres, R van Glabbeek, P Höfner
Programming Languages and Systems: 25th European Symposium on Programming …, 2016
Mandates: Australian Research Council
Formal analysis of proactive, distributed routing
M Kamali, P Höfner, M Kamali, L Petre
Software Engineering and Formal Methods: 13th International Conference, SEFM …, 2015
Mandates: Australian Research Council, Academy of Finland
Quantitative analysis of AODV and its variants on dynamic topologies using statistical model checking
P Hoefner, M Kamali
International Conference on Formal Modeling and Analysis of Timed Systems …, 2013
Mandates: Australian Research Council
Topology-based mobility models for wireless networks
A Fehnker, P Höfner, M Kamali, V Mehta
Quantitative Evaluation of Systems: 10th International Conference, QEST 2013 …, 2013
Mandates: Australian Research Council
Structured document algebra in action
D Batory, P Höfner, D Köppl, B Möller, A Zelend
Software, Services, and Systems: Essays Dedicated to Martin Wirsing on the …, 2015
Mandates: Australian Research Council, German Research Foundation
Showing invariance compositionally for a process algebra for network protocols
T Bourke, RJ van Glabbeek, P Höfner
Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as …, 2014
Mandates: Australian Research Council
Mechanizing a process algebra for network protocols
T Bourke, RJ Van Glabbeek, P Höfner
Journal of Automated Reasoning 56 (3), 309-341, 2016
Mandates: Australian Research Council
Tool-based verification of a relational vertex coloring program
R Berghammer, P Höfner, I Stucke
Relational and Algebraic Methods in Computer Science: 15th International …, 2015
Mandates: Australian Research Council
Cardinality of relations with applications
R Berghammer, N Danilenko, P Höfner, I Stucke
Discrete Mathematics 339 (12), 3089-3115, 2016
Mandates: Australian Research Council
Publication and funding information is determined automatically by a computer program