Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Peter Höfner
2010 – today
- 2013
[c24]Peter Höfner, Maryam Kamali: Quantitative Analysis of AODV and Its Variants on Dynamic Topologies Using Statistical Model Checking. FORMATS 2013: 121-136- [c23]Peter Höfner, Annabelle McIver: Statistical Model Checking of Wireless Mesh Routing Protocols. NASA Formal Methods 2013: 322-336
- [c22]Ansgar Fehnker, Peter Höfner, Maryam Kamali, Vinay Mehta: Topology-Based Mobility Models for Wireless Networks. QEST 2013: 389-404
- 2012
- [j13]
- [j12]Peter Höfner, Bernhard Möller: Dijkstra, Floyd and Warshall meet Kleene. Formal Asp. Comput. 24(4-6): 459-476 (2012)
- [c21]Peter Höfner, Bernhard Möller, Andreas Zelend: Foundations of Coloring Algebra with Consequences for Feature-Oriented Programming. RAMICS 2012: 33-49
- [c20]Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan: A Process Algebra for Wireless Mesh Networks. ESOP 2012: 295-315
- [c19]
- [c18]Peter Höfner, Rob J. van Glabbeek, Wee Lum Tan, Marius Portmann, Annabelle McIver, Ansgar Fehnker: A rigorous analysis of AODV and its variants. MSWiM 2012: 203-212
- [c17]Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan: Automated Analysis of AODV Using UPPAAL. TACAS 2012: 173-187
- 2011
- [j11]Peter Höfner, Ridha Khédri, Bernhard Möller: Supplementing Product Families with Behaviour. Int. J. Software and Informatics 5(1-2): 245-266 (2011)
- [j10]Han-Hing Dang, Peter Höfner, Bernhard Möller: Algebraic separation logic. J. Log. Algebr. Program. 80(6): 221-247 (2011)
- [j9]Peter Höfner, Ridha Khédri, Bernhard Möller: An algebra of product families. Software and System Modeling 10(2): 161-182 (2011)
- [j8]
- [c16]Han-Hing Dang, Peter Höfner: Variable Side Conditions and Greatest Relations in Algebraic Separation Logic. RAMICS 2011: 125-140
- [c15]
- [c14]Don S. Batory, Peter Höfner, Jongwook Kim: Feature interactions, products, and composition. GPCE 2011: 13-22
- [e1]Peter Höfner, Annabelle McIver, Georg Struth (Eds.): Proceedings of the First Workshop on Automated Theory Engineering, Wrocław, Poland, July 31, 2011. CEUR Workshop Proceedings 760, CEUR-WS.org 2011
- 2010
- [j7]Peter Höfner, Georg Struth: Algebraic notions of nontermination: Omega and divergence in idempotent semirings. J. Log. Algebr. Program. 79(8): 794-811 (2010)
2000 – 2009
- 2009
- [b1]Peter Höfner: Algebraic calculi for hybrid systems. University of Augsburg 2009, ISBN 978-3-8391-2510-6
- [j6]Peter Höfner, Georg Struth, Geoff Sutcliffe: Automated verification of refinement laws. Ann. Math. Artif. Intell. 55(1-2): 35-62 (2009)
- [j5]Peter Höfner, Bernhard Möller: An algebra of hybrid systems. J. Log. Algebr. Program. 78(2): 74-97 (2009)
- [c13]Han-Hing Dang, Peter Höfner, Bernhard Möller: Towards Algebraic Separation Logic. RelMiCS 2009: 59-72
- [c12]
- 2008
- [j4]Peter Höfner, Florian Lautenbacher: Algebraic Structure of Web Services. Electr. Notes Theor. Comput. Sci. 200(3): 171-187 (2008)
- [j3]Peter Höfner, Georg Struth: Can Refinement be Automated? Electr. Notes Theor. Comput. Sci. 201: 197-222 (2008)
- [j2]Peter Höfner, Bernhard Möller: Algebraic Neighbourhood Logic. J. Log. Algebr. Program. 76(1): 35-59 (2008)
- [c11]
- [c10]
- [c9]
- [c8]
- 2007
- [j1]Peter Höfner: Semiring Neighbours: An Algebraic Embedding and Extension of Neighbourhood Logic. Electr. Notes Theor. Comput. Sci. 191: 49-72 (2007)
- [c7]
- 2006
- [c6]Peter Höfner, Bernhard Möller: Lazy Semiring Neighbours and Some Applications. RelMiCS 2006: 207-221
- [c5]Peter Höfner, Bernhard Möller, Kim Solin: Omega Algebra, Demonic Refinement Algebra and Commands. RelMiCS 2006: 222-234
- [c4]
- [c3]
- 2005
- [c2]
- [c1]Alfons Huhn, Peter Höfner, Werner Kießling: Towards Evaluating the Impact of Ontologies on the Quality of a Digital Library Alerting System. ECDL 2005: 498-499
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 10:54 CEST by the dblp team