pith. sign in

Peter H\"ofner

Identifiers

  • name variant Peter H\"ofner 0.60 · backfill

Papers (13)

  1. Relational Characterisations of Paths cs.LO · 2018 · author #4
  2. Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems cs.LO · 2017 · author #2
  3. A Timed Process Algebra for Wireless Networks cs.LO · 2016 · author #3
  4. Sequence Numbers Do Not Guarantee Loop Freedom; AODV Can Yield Routing Loops cs.NI · 2015 · author #2
  5. A Rigorous Analysis of AODV and its Variants cs.NI · 2015 · author #1
  6. Modelling and Verifying the AODV Routing Protocol cs.NI · 2015 · author #2
  7. Automated Analysis of AODV using UPPAAL cs.NI · 2015 · author #3
  8. A Process Algebra for Wireless Mesh Networks cs.LO · 2015 · author #3
  9. Modelling and Analysis of AODV in UPPAAL cs.NI · 2015 · author #3
  10. Proceedings Workshop on Models for Formal Analysis of Real Systems cs.LO · 2015 · author #3
  11. CCS: It's not Fair! Fair Schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions cs.LO · 2015 · author #2
  12. Progress, Fairness and Justness in Process Algebra cs.LO · 2015 · author #2
  13. A Process Algebra for Wireless Mesh Networks used for Modelling, Verifying and Analysing AODV cs.NI · 2013 · author #3

Mentions

  • 1511.02528 #3 · arxiv_oai · confidence 0.70 Peter H\"ofner
  • 1505.05964 #2 · backfill · confidence 0.70 Peter H\"ofner
  • 1501.03268 #2 · backfill · confidence 0.70 Peter H\"ofner
  • 1312.7645 #3 · backfill · confidence 0.70 Peter H\"ofner

Frequent Coauthors