![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Peter Höfner
Person information
- affiliation: NICTA, Australia
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2009
- [b1]Peter Höfner:
Algebraic calculi for hybrid systems. University of Augsburg, 2009, ISBN 978-3-8391-2510-6
Journal Articles
- 2024
- [j27]Xueying Qin
, Liam O'Connor
, Rob van Glabbeek
, Peter Höfner
, Ohad Kammar
, Michel Steuwer
:
Shoggoth: A Formal Foundation for Strategic Rewriting. Proc. ACM Program. Lang. 8(POPL): 61-89 (2024) - 2020
- [j26]Peter Höfner, Carroll Morgan, Vaughan R. Pratt:
Preface. Acta Informatica 57(3-5): 305-311 (2020) - [j25]Walter Guttmann, Peter Höfner:
Relational Characterisations of Paths. Arch. Formal Proofs 2020 (2020) - [j24]Rudolf Berghammer, Hitoshi Furusawa, Walter Guttmann, Peter Höfner:
Relational characterisations of paths. J. Log. Algebraic Methods Program. 117: 100590 (2020) - 2019
- [j23]Rob van Glabbeek, Peter Höfner
:
Progress, Justness, and Fairness. ACM Comput. Surv. 52(4): 69:1-69:38 (2019) - [j22]Peter Höfner, Damien Pous, Georg Struth:
Relational and algebraic methods in computer science. J. Log. Algebraic Methods Program. 106: 198-199 (2019) - 2016
- [j21]Victor B. F. Gomes, Walter Guttmann, Peter Höfner, Georg Struth, Tjark Weber:
Kleene Algebras with Domain. Arch. Formal Proofs 2016 (2016) - [j20]Rob J. van Glabbeek, Peter Höfner, Marius Portmann
, Wee Lum Tan
:
Modelling and verifying the AODV routing protocol. Distributed Comput. 29(4): 279-315 (2016) - [j19]Rudolf Berghammer, Nikita Danilenko, Peter Höfner, Insa Stucke:
Cardinality of relations with applications. Discret. Math. 339(12): 3089-3115 (2016) - [j18]Timothy Bourke
, Rob J. van Glabbeek, Peter Höfner:
Mechanizing a Process Algebra for Network Protocols. J. Autom. Reason. 56(3): 309-341 (2016) - [j17]Rudolf Berghammer, Peter Höfner, Insa Stucke:
Cardinality of relations and relational approximation algorithms. J. Log. Algebraic Methods Program. 85(2): 269-286 (2016) - [j16]Peter Höfner, Peter Jipsen, Wolfram Kahl, Martin Eric Müller:
Relational and algebraic methods in computer science. J. Log. Algebraic Methods Program. 85(4): 447-448 (2016) - [j15]Peter Höfner, Bernhard Möller:
Extended Feature Algebra. J. Log. Algebraic Methods Program. 85(5): 952-971 (2016) - 2015
- [j14]Rob J. van Glabbeek, Peter Höfner:
CCS: It's not fair! - Fair schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions. Acta Informatica 52(2-3): 175-205 (2015) - [j13]Wolfram Kahl, Timothy G. Griffin, Peter Höfner:
Relational and algebraic methods in computer science. J. Log. Algebraic Methods Program. 84(3): 283-284 (2015) - 2014
- [j12]Timothy Bourke, Peter Höfner:
Loop freedom of the (untimed) AODV routing protocol. Arch. Formal Proofs 2014 (2014) - [j11]Peter Höfner, Annabelle McIver
:
Hopscotch - reaching the target hop by hop. J. Log. Algebraic Methods Program. 83(2): 212-224 (2014) - 2012
- [j10]Peter Höfner:
Preface. Formal Aspects Comput. 24(4-6): 417-422 (2012) - [j9]Peter Höfner, Bernhard Möller:
Dijkstra, Floyd and Warshall meet Kleene. Formal Aspects Comput. 24(4-6): 459-476 (2012) - 2011
- [j8]Peter Höfner, Ridha Khédri, Bernhard Möller:
Supplementing Product Families with Behaviour. Int. J. Softw. Informatics 5(1-2): 245-266 (2011) - [j7]Han-Hing Dang, Peter Höfner, Bernhard Möller:
Algebraic separation logic. J. Log. Algebraic Methods Program. 80(6): 221-247 (2011) - [j6]Peter Höfner, Ridha Khédri, Bernhard Möller:
An algebra of product families. Softw. Syst. Model. 10(2): 161-182 (2011) - [j5]Peter Höfner, Bernhard Möller:
Fixing Zeno gaps. Theor. Comput. Sci. 412(28): 3303-3322 (2011) - 2010
- [j4]Peter Höfner, Georg Struth:
Algebraic notions of nontermination: Omega and divergence in idempotent semirings. J. Log. Algebraic Methods Program. 79(8): 794-811 (2010) - 2009
- [j3]Peter Höfner, Georg Struth, Geoff Sutcliffe
:
Automated verification of refinement laws. Ann. Math. Artif. Intell. 55(1-2): 35-62 (2009) - [j2]Peter Höfner, Bernhard Möller:
An algebra of hybrid systems. J. Log. Algebraic Methods Program. 78(2): 74-97 (2009) - 2008
- [j1]Peter Höfner, Bernhard Möller:
Algebraic Neighbourhood Logic. J. Log. Algebraic Methods Program. 76(1): 35-59 (2008)
Conference and Workshop Papers
- 2023
- [c50]Rob van Glabbeek, Peter Höfner, Weiyou Wang:
A Lean-Congruence Format for EP-Bisimilarity. EXPRESS/SOS 2023: 59-75 - 2022
- [c49]Courtney Darville, Peter Höfner, Franc Ivankovic, Adam Pam:
Advanced Models for the OSPF Routing Protocol. MARS@ETAPS 2022: 13-26 - 2021
- [c48]Callum Bannister, Peter Höfner, Georg Struth:
Effect Algebras, Girard Quantales and Complementation in Separation Logic. RAMiCS 2021: 37-53 - [c47]Rob van Glabbeek, Peter Höfner, Weiyou Wang:
Enabling Preserving Bisimulation Equivalence. CONCUR 2021: 33:1-33:20 - [c46]Rob van Glabbeek, Peter Höfner, Ross Horne:
Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom. LICS 2021: 1-13 - 2020
- [c45]Ryan Barry, Rob van Glabbeek, Peter Höfner:
Formalising the Optimised Link State Routing Protocol. MARS@ETAPS 2020: 40-71 - [c44]Jack Drury, Peter Höfner, Weiyou Wang:
Formal Models of the OSPF Routing Protocol. MARS@ETAPS 2020: 72-120 - 2019
- [c43]Rob van Glabbeek, Peter Höfner, Michael Markl:
A Process Algebra for Link Layer Protocols. ESOP 2019: 668-693 - 2018
- [c42]Callum Bannister, Peter Höfner:
False Failure: Creating Failure Models for Separation Logic. RAMiCS 2018: 263-279 - [c41]Rob J. van Glabbeek, Peter Höfner, Djurre van der Wal:
Analysing AWN-Specifications Using mCRL2 (Extended Abstract). IFM 2018: 398-418 - [c40]Callum Bannister, Peter Höfner, Gerwin Klein:
Backwards and Forwards with Separation Logic. ITP 2018: 68-87 - 2017
- [c39]Rob J. van Glabbeek, Peter Höfner:
Split, Send, Reassemble: A Formal Specification of a CAN Bus Protocol Stack. MARS@ETAPS 2017: 14-52 - [c38]Victor Dyseryn, Rob J. van Glabbeek, Peter Höfner:
Analysing Mutual Exclusion using Process Algebra with Signals. EXPRESS/SOS 2017: 18-34 - 2016
- [c37]Emile Bres, Rob J. van Glabbeek, Peter Höfner:
A Timed Process Algebra for Wireless Networks with an Application in Routing - (Extended Abstract). ESOP 2016: 95-122 - 2015
- [c36]Rudolf Berghammer, Peter Höfner, Insa Stucke:
Tool-Based Verification of a Relational Vertex Coloring Program. RAMiCS 2015: 275-292 - [c35]Don S. Batory, Peter Höfner, Dominik Köppl
, Bernhard Möller, Andreas Zelend:
Structured Document Algebra in Action. Software, Services, and Systems 2015: 291-311 - [c34]Mojgan Kamali, Peter Höfner, Maryam Kamali
, Luigia Petre:
Formal Analysis of Proactive, Distributed Routing. SEFM 2015: 175-189 - 2014
- [c33]Rudolf Berghammer, Peter Höfner, Insa Stucke:
Automated Verification of Relational While-Programs. RAMiCS 2014: 173-190 - [c32]Timothy Bourke, Rob J. van Glabbeek, Peter Höfner:
A Mechanized Proof of Loop Freedom of the (Untimed) AODV Routing Protocol. ATVA 2014: 47-63 - [c31]Timothy Bourke, Rob J. van Glabbeek, Peter Höfner:
Showing Invariance Compositionally for a Process Algebra for Network Protocols. ITP 2014: 144-159 - 2013
- [c30]Peter Höfner, Maryam Kamali
:
Quantitative Analysis of AODV and Its Variants on Dynamic Topologies Using Statistical Model Checking. FORMATS 2013: 121-136 - [c29]Don S. Batory, Peter Höfner, Bernhard Möller, Andreas Zelend:
Features, modularity, and variation points. FOSD 2013: 9-16 - [c28]Rob J. van Glabbeek, Peter Höfner, Wee Lum Tan
, Marius Portmann
:
Sequence numbers do not guarantee loop freedom: AODV can yield routing loops. MSWiM 2013: 91-100 - [c27]Peter Höfner, Annabelle McIver
:
Statistical Model Checking of Wireless Mesh Routing Protocols. NASA Formal Methods 2013: 322-336 - [c26]Ansgar Fehnker
, Peter Höfner, Maryam Kamali
, Vinay Mehta:
Topology-Based Mobility Models for Wireless Networks. QEST 2013: 389-404 - 2012
- [c25]Peter Höfner, Bernhard Möller, Andreas Zelend:
Foundations of Coloring Algebra with Consequences for Feature-Oriented Programming. RAMiCS 2012: 33-49 - [c24]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 - [c23]Sarah Edenhofer, Peter Höfner:
Towards a rigorous analysis of AODVv2 (DYMO). ICNP 2012: 1-6 - [c22]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 - [c21]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
- [c20]Han-Hing Dang, Peter Höfner:
Variable Side Conditions and Greatest Relations in Algebraic Separation Logic. RAMiCS 2011: 125-140 - [c19]Peter Höfner, Annabelle McIver
:
Towards an Algebra of Routing Tables. RAMiCS 2011: 212-229 - [c18]Don S. Batory, Peter Höfner, Jongwook Kim:
Feature interactions, products, and composition. GPCE 2011: 13-22 - 2010
- [c17]Han-Hing Dang, Peter Höfner:
Automated Higher-order Reasoning about Quantales. PAAR@IJCAR 2010: 40-51 - 2009
- [c16]Han-Hing Dang, Peter Höfner, Bernhard Möller:
Towards Algebraic Separation Logic. RelMiCS 2009: 59-72 - [c15]Peter Höfner, Bernhard Möller:
An extension for feature algebra. FOSD 2009: 75-80 - 2008
- [c14]Peter Höfner:
Automated Reasoning for Hybrid Systems - Two Case Studies -. RelMiCS 2008: 191-205 - [c13]Peter Höfner, Georg Struth:
Non-termination in Idempotent Semirings. RelMiCS 2008: 206-220 - [c12]Peter Höfner, Georg Struth:
On Automating the Calculus of Relations. IJCAR 2008: 50-66 - [c11]Peter Höfner, Ridha Khédri, Bernhard Möller:
Algebraic View Reconciliation. SEFM 2008: 85-94 - 2007
- [c10]Peter Höfner, Georg Struth:
Automated Reasoning in Kleene Algebra. CADE 2007: 279-294 - [c9]Peter Höfner, Florian Lautenbacher:
Algebraic Structure of Web Services. WWV 2007: 171-187 - [c8]Peter Höfner, Georg Struth:
Can Refinement be Automated? REFINE@IFM 2007: 197-222 - 2006
- [c7]Peter Höfner, Bernhard Möller:
Lazy Semiring Neighbours and Some Applications. RelMiCS 2006: 207-221 - [c6]Peter Höfner, Bernhard Möller, Kim Solin:
Omega Algebra, Demonic Refinement Algebra and Commands. RelMiCS 2006: 222-234 - [c5]Bernhard Möller, Peter Höfner, Georg Struth:
Quantales and Temporal Logics. AMAST 2006: 263-277 - [c4]Peter Höfner, Ridha Khédri, Bernhard Möller:
Feature Algebra. FM 2006: 300-315 - 2005
- [c3]Peter Höfner, Bernhard Möller:
Towards an Algebra of Hybrid Systems. RelMiCS 2005: 121-133 - [c2]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 - [c1]Peter Höfner:
Semiring Neighbours: An Algebraic Embedding and Extension of Neighbourhood Logic. IFM Doctoral Symposium 2005: 49-72
Parts in Books or Collections
- 2021
- [p1]Richard S. Bird, Jeremy Gibbons, Ralf Hinze, Peter Höfner, Johan Jeuring, Lambert G. L. T. Meertens, Bernhard Möller, Carroll Morgan, Tom Schrijvers
, Wouter Swierstra, Nicolas Wu
:
Algorithmics. IFIP's Exciting First 60+ Years 2021: 59-98
Editorship
- 2017
- [e6]Peter Höfner, Damien Pous, Georg Struth:
Relational and Algebraic Methods in Computer Science - 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings. Lecture Notes in Computer Science 10226, 2017, ISBN 978-3-319-57417-2 [contents] - [e5]Holger Hermanns
, Peter Höfner:
Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2017, Uppsala, Sweden, 29th April 2017. EPTCS 244, 2017 [contents] - 2015
- [e4]Rob J. van Glabbeek, Jan Friso Groote
, Peter Höfner:
Proceedings Workshop on Models for Formal Analysis of Real Systems, MARS 2015, Suva, Fiji, November 23, 2015. EPTCS 196, 2015 [contents] - 2014
- [e3]Peter Höfner, Peter Jipsen, Wolfram Kahl, Martin Eric Müller:
Relational and Algebraic Methods in Computer Science - 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014. Proceedings. Lecture Notes in Computer Science 8428, Springer 2014, ISBN 978-3-319-06250-1 [contents] - 2013
- [e2]Jacques D. Fleuriot, Peter Höfner, Annabelle McIver, Alan Smaill:
ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation, Manchester, UK, June 2012. EPiC Series in Computing 17, EasyChair 2013 [contents] - 2011
- [e1]Peter Höfner, Annabelle McIver, Georg Struth:
Proceedings of the First Workshop on Automated Theory Engineering, Wrocław, Poland, July 31, 2011. CEUR Workshop Proceedings 760, CEUR-WS.org 2011 [contents]
Informal and Other Publications
- 2024
- [i20]Robert J. Colvin, Ian J. Hayes, Scott Heiner, Peter Höfner, Larissa Meinicke, Roger C. Su:
Practical Rely/Guarantee Verification of an Efficient Lock for seL4 on Multicore Architectures. CoRR abs/2407.20559 (2024) - 2023
- [i19]Rob van Glabbeek, Peter Höfner, Weiyou Wang:
A Lean-Congruence Format for EP-Bisimilarity. CoRR abs/2308.16350 (2023) - 2021
- [i18]Rob van Glabbeek, Peter Höfner, Ross Horne:
Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom. CoRR abs/2104.14226 (2021) - [i17]Rob van Glabbeek, Peter Höfner, Weiyou Wang:
Enabling Preserving Bisimulation Equivalence. CoRR abs/2108.00142 (2021) - 2019
- [i16]Rob van Glabbeek, Peter Höfner, Michael Markl:
A Process Algebra for Link Layer Protocols. CoRR abs/1907.13329 (2019) - 2018
- [i15]Rudolf Berghammer, Hitoshi Furusawa, Walter Guttmann, Peter Höfner:
Relational Characterisations of Paths. CoRR abs/1801.04026 (2018) - [i14]Rob van Glabbeek, Peter Höfner:
Progress, Justness and Fairness. CoRR abs/1810.07414 (2018) - 2016
- [i13]Emile Bres, Rob J. van Glabbeek, Peter Höfner:
A Timed Process Algebra for Wireless Networks. CoRR abs/1606.03663 (2016) - 2015
- [i12]Rob J. van Glabbeek, Peter Höfner:
Progress, Fairness and Justness in Process Algebra. CoRR abs/1501.03268 (2015) - [i11]Timothy Bourke, Rob J. van Glabbeek, Peter Höfner:
A mechanized proof of loop freedom of the (untimed) AODV routing protocol. CoRR abs/1505.05646 (2015) - [i10]Rob J. van Glabbeek, Peter Höfner:
CCS: It's not Fair! Fair Schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions. CoRR abs/1505.05964 (2015) - [i9]Timothy Bourke, Rob J. van Glabbeek, Peter Höfner:
Mechanizing a Process Algebra for Network Protocols. CoRR abs/1512.07304 (2015) - [i8]Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan:
Modelling and Analysis of AODV in UPPAAL. CoRR abs/1512.07312 (2015) - [i7]Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan:
A Process Algebra for Wireless Mesh Networks. CoRR abs/1512.07319 (2015) - [i6]Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan:
Automated Analysis of AODV using UPPAAL. CoRR abs/1512.07352 (2015) - [i5]Rob J. van Glabbeek, Peter Höfner, Marius Portmann, Wee Lum Tan:
Modelling and Verifying the AODV Routing Protocol. CoRR abs/1512.08867 (2015) - [i4]Peter Höfner, Rob J. van Glabbeek, Wee Lum Tan, Marius Portmann, Annabelle McIver, Ansgar Fehnker:
A Rigorous Analysis of AODV and its Variants. CoRR abs/1512.08873 (2015) - [i3]Rob J. van Glabbeek, Peter Höfner, Wee Lum Tan, Marius Portmann:
Sequence Numbers Do Not Guarantee Loop Freedom; AODV Can Yield Routing Loops. CoRR abs/1512.08891 (2015) - 2014
- [i2]Timothy Bourke, Rob J. van Glabbeek, Peter Höfner:
Showing invariance compositionally for a process algebra for network protocols. CoRR abs/1407.3519 (2014) - 2013
- [i1]Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan:
A Process Algebra for Wireless Mesh Networks used for Modelling, Verifying and Analysing AODV. CoRR abs/1312.7645 (2013)
Coauthor Index
aka: Rob van Glabbeek
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-22 20:48 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint