BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Peter Höfner
SearchCollections
Map detail
Peter Höfner13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipPeter HöfnerAPeter HöfnerResearcherA Rigorous Analysis of AODV and its VariantsWA Rigorous Analysis of ...preprint / 2015Advanced Models for the OSPF Routing ProtocolWAdvanced Models for the...preprint / 2022Formal Models of the OSPF Routing ProtocolWFormal Models of the OS...preprint / 2020Progress, Fairness and Justness in Process AlgebraWProgress, Fairness and ...preprint / 2015CCS: It's not Fair! Fair Schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptionsWCCS: It's not Fair! Fai...preprint / 2015Sequence Numbers Do Not Guarantee Loop Freedom; AODV Can Yield Routing LoopsWSequence Numbers Do Not...preprint / 2015Modelling and Verifying the AODV Routing ProtocolWModelling and Verifying...preprint / 2015Formalising the Optimised Link State Routing ProtocolWFormalising the Optimis...preprint / 2020A Process Algebra for Wireless Mesh Networks used for Modelling, Verifying and Analysing AODVWA Process Algebra for W...preprint / 2013Showing invariance compositionally for a process algebra for network protocolsWShowing invariance comp...preprint / 2014A mechanized proof of loop freedom of the (untimed) AODV routing protocolWA mechanized proof of l...preprint / 2015Proceedings Workshop on Models for Formal Analysis of Real SystemsWProceedings Workshop on...preprint / 2015
Person12 links

Peter Höfner

Researcher

PaperA Rigorous Analysis of AODV and its VariantsAuthorship / preprint / 2015PaperAdvanced Models for the OSPF Routing ProtocolAuthorship / preprint / 2022PaperFormal Models of the OSPF Routing ProtocolAuthorship / preprint / 2020PaperProgress, Fairness and Justness in Process AlgebraAuthorship / preprint / 2015PaperCCS: It's not Fair! Fair Schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptionsAuthorship / preprint / 2015PaperSequence Numbers Do Not Guarantee Loop Freedom; AODV Can Yield Routing LoopsAuthorship / preprint / 2015PaperModelling and Verifying the AODV Routing ProtocolAuthorship / preprint / 2015PaperFormalising the Optimised Link State Routing ProtocolAuthorship / preprint / 2020

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)