BibTeX records: Peter Höfner

download as .bib file

@article{DBLP:journals/pacmpl/QinOGHKS24,
  author       = {Xueying Qin and
                  Liam O'Connor and
                  Rob van Glabbeek and
                  Peter H{\"{o}}fner and
                  Ohad Kammar and
                  Michel Steuwer},
  title        = {Shoggoth: {A} Formal Foundation for Strategic Rewriting},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {8},
  number       = {{POPL}},
  pages        = {61--89},
  year         = {2024},
  url          = {https://doi.org/10.1145/3633211},
  doi          = {10.1145/3633211},
  timestamp    = {Sat, 10 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/QinOGHKS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2309-07933,
  author       = {Rob van Glabbeek and
                  Peter H{\"{o}}fner and
                  Weiyou Wang},
  editor       = {Claudio Antares Mezzina and
                  Georgiana Caltais},
  title        = {A Lean-Congruence Format for EP-Bisimilarity},
  booktitle    = {Proceedings Combined 30th International Workshop on Expressiveness
                  in Concurrency and 20th Workshop on Structural Operational Semantics,
                  {EXPRESS/SOS} 2023, and 20th Workshop on Structural Operational SemanticsAntwerp,
                  Belgium, 18th September 2023},
  series       = {{EPTCS}},
  volume       = {387},
  pages        = {59--75},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.387.6},
  doi          = {10.4204/EPTCS.387.6},
  timestamp    = {Wed, 25 Oct 2023 16:09:20 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2309-07933.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-16350,
  author       = {Rob van Glabbeek and
                  Peter H{\"{o}}fner and
                  Weiyou Wang},
  title        = {A Lean-Congruence Format for EP-Bisimilarity},
  journal      = {CoRR},
  volume       = {abs/2308.16350},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2308.16350},
  doi          = {10.48550/ARXIV.2308.16350},
  eprinttype    = {arXiv},
  eprint       = {2308.16350},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2308-16350.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2203-09882,
  author       = {Courtney Darville and
                  Peter H{\"{o}}fner and
                  Franc Ivankovic and
                  Adam Pam},
  editor       = {Clemens Dubslaff and
                  Bas Luttik},
  title        = {Advanced Models for the {OSPF} Routing Protocol},
  booktitle    = {Proceedings Fifth Workshop on Models for Formal Analysis of Real Systems,
                  MARS@ETAPS 2022, Munich, Germany, 2nd April 2022},
  series       = {{EPTCS}},
  volume       = {355},
  pages        = {13--26},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.355.2},
  doi          = {10.4204/EPTCS.355.2},
  timestamp    = {Wed, 04 May 2022 11:45:33 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2203-09882.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/BannisterHS21,
  author       = {Callum Bannister and
                  Peter H{\"{o}}fner and
                  Georg Struth},
  editor       = {Uli Fahrenberg and
                  Mai Gehrke and
                  Luigi Santocanale and
                  Michael Winter},
  title        = {Effect Algebras, Girard Quantales and Complementation in Separation
                  Logic},
  booktitle    = {Relational and Algebraic Methods in Computer Science - 19th International
                  Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13027},
  pages        = {37--53},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88701-8\_3},
  doi          = {10.1007/978-3-030-88701-8\_3},
  timestamp    = {Mon, 25 Oct 2021 18:18:58 +0200},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/BannisterHS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/GlabbeekHW21,
  author       = {Rob van Glabbeek and
                  Peter H{\"{o}}fner and
                  Weiyou Wang},
  editor       = {Serge Haddad and
                  Daniele Varacca},
  title        = {Enabling Preserving Bisimulation Equivalence},
  booktitle    = {32nd International Conference on Concurrency Theory, {CONCUR} 2021,
                  August 24-27, 2021, Virtual Conference},
  series       = {LIPIcs},
  volume       = {203},
  pages        = {33:1--33:20},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CONCUR.2021.33},
  doi          = {10.4230/LIPICS.CONCUR.2021.33},
  timestamp    = {Fri, 13 Aug 2021 16:29:32 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/GlabbeekHW21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/GlabbeekHH21,
  author       = {Rob van Glabbeek and
                  Peter H{\"{o}}fner and
                  Ross Horne},
  title        = {Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom},
  booktitle    = {36th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
                  2021, Rome, Italy, June 29 - July 2, 2021},
  pages        = {1--13},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/LICS52264.2021.9470531},
  doi          = {10.1109/LICS52264.2021.9470531},
  timestamp    = {Fri, 09 Jul 2021 14:04:16 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/GlabbeekHH21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/ifip/BirdGHHJMMMSSW21,
  author       = {Richard S. Bird and
                  Jeremy Gibbons and
                  Ralf Hinze and
                  Peter H{\"{o}}fner and
                  Johan Jeuring and
                  Lambert G. L. T. Meertens and
                  Bernhard M{\"{o}}ller and
                  Carroll Morgan and
                  Tom Schrijvers and
                  Wouter Swierstra and
                  Nicolas Wu},
  editor       = {Michael Goedicke and
                  Erich J. Neuhold and
                  Kai Rannenberg},
  title        = {Algorithmics},
  booktitle    = {Advancing Research in Information and Communication Technology - IFIP's
                  Exciting First 60+ Years, Views from the Technical Committees and
                  Working Groups},
  series       = {{IFIP} Advances in Information and Communication Technology},
  volume       = {600},
  pages        = {59--98},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-81701-5\_3},
  doi          = {10.1007/978-3-030-81701-5\_3},
  timestamp    = {Wed, 21 Dec 2022 15:22:06 +0100},
  biburl       = {https://dblp.org/rec/series/ifip/BirdGHHJMMMSSW21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-14226,
  author       = {Rob van Glabbeek and
                  Peter H{\"{o}}fner and
                  Ross Horne},
  title        = {Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom},
  journal      = {CoRR},
  volume       = {abs/2104.14226},
  year         = {2021},
  url          = {https://arxiv.org/abs/2104.14226},
  eprinttype    = {arXiv},
  eprint       = {2104.14226},
  timestamp    = {Tue, 04 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2104-14226.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-00142,
  author       = {Rob van Glabbeek and
                  Peter H{\"{o}}fner and
                  Weiyou Wang},
  title        = {Enabling Preserving Bisimulation Equivalence},
  journal      = {CoRR},
  volume       = {abs/2108.00142},
  year         = {2021},
  url          = {https://arxiv.org/abs/2108.00142},
  eprinttype    = {arXiv},
  eprint       = {2108.00142},
  timestamp    = {Thu, 05 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2108-00142.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/HofnerMP20,
  author       = {Peter H{\"{o}}fner and
                  Carroll Morgan and
                  Vaughan R. Pratt},
  title        = {Preface},
  journal      = {Acta Informatica},
  volume       = {57},
  number       = {3-5},
  pages        = {305--311},
  year         = {2020},
  url          = {https://doi.org/10.1007/s00236-020-00382-7},
  doi          = {10.1007/S00236-020-00382-7},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/HofnerMP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/GuttmannH20,
  author       = {Walter Guttmann and
                  Peter H{\"{o}}fner},
  title        = {Relational Characterisations of Paths},
  journal      = {Arch. Formal Proofs},
  volume       = {2020},
  year         = {2020},
  url          = {https://www.isa-afp.org/entries/Relational\_Paths.html},
  timestamp    = {Thu, 10 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/afp/GuttmannH20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/BerghammerFGH20,
  author       = {Rudolf Berghammer and
                  Hitoshi Furusawa and
                  Walter Guttmann and
                  Peter H{\"{o}}fner},
  title        = {Relational characterisations of paths},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {117},
  pages        = {100590},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.jlamp.2020.100590},
  doi          = {10.1016/J.JLAMP.2020.100590},
  timestamp    = {Mon, 02 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlap/BerghammerFGH20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2004-13285,
  author       = {Ryan Barry and
                  Rob van Glabbeek and
                  Peter H{\"{o}}fner},
  editor       = {Ansgar Fehnker and
                  Hubert Garavel},
  title        = {Formalising the Optimised Link State Routing Protocol},
  booktitle    = {Proceedings of the 4th Workshop on Models for Formal Analysis of Real
                  Systems, MARS@ETAPS 2020, Dublin, Ireland, April 26, 2020},
  series       = {{EPTCS}},
  volume       = {316},
  pages        = {40--71},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.316.3},
  doi          = {10.4204/EPTCS.316.3},
  timestamp    = {Mon, 03 Jan 2022 22:03:27 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2004-13285.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2004-13286,
  author       = {Jack Drury and
                  Peter H{\"{o}}fner and
                  Weiyou Wang},
  editor       = {Ansgar Fehnker and
                  Hubert Garavel},
  title        = {Formal Models of the {OSPF} Routing Protocol},
  booktitle    = {Proceedings of the 4th Workshop on Models for Formal Analysis of Real
                  Systems, MARS@ETAPS 2020, Dublin, Ireland, April 26, 2020},
  series       = {{EPTCS}},
  volume       = {316},
  pages        = {72--120},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.316.4},
  doi          = {10.4204/EPTCS.316.4},
  timestamp    = {Fri, 08 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2004-13286.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/GlabbeekH19,
  author       = {Rob van Glabbeek and
                  Peter H{\"{o}}fner},
  title        = {Progress, Justness, and Fairness},
  journal      = {{ACM} Comput. Surv.},
  volume       = {52},
  number       = {4},
  pages        = {69:1--69:38},
  year         = {2019},
  url          = {https://doi.org/10.1145/3329125},
  doi          = {10.1145/3329125},
  timestamp    = {Sat, 08 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/csur/GlabbeekH19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/HofnerPS19,
  author       = {Peter H{\"{o}}fner and
                  Damien Pous and
                  Georg Struth},
  title        = {Relational and algebraic methods in computer science},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {106},
  pages        = {198--199},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.jlamp.2019.05.005},
  doi          = {10.1016/J.JLAMP.2019.05.005},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/HofnerPS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/GlabbeekHM19,
  author       = {Rob van Glabbeek and
                  Peter H{\"{o}}fner and
                  Michael Markl},
  editor       = {Lu{\'{\i}}s Caires},
  title        = {A Process Algebra for Link Layer Protocols},
  booktitle    = {Programming Languages and Systems - 28th European Symposium on Programming,
                  {ESOP} 2019, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2019, Prague, Czech Republic, April
                  6-11, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11423},
  pages        = {668--693},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-17184-1\_24},
  doi          = {10.1007/978-3-030-17184-1\_24},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/GlabbeekHM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-13329,
  author       = {Rob van Glabbeek and
                  Peter H{\"{o}}fner and
                  Michael Markl},
  title        = {A Process Algebra for Link Layer Protocols},
  journal      = {CoRR},
  volume       = {abs/1907.13329},
  year         = {2019},
  url          = {http://arxiv.org/abs/1907.13329},
  eprinttype    = {arXiv},
  eprint       = {1907.13329},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1907-13329.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/BannisterH18,
  author       = {Callum Bannister and
                  Peter H{\"{o}}fner},
  editor       = {Jules Desharnais and
                  Walter Guttmann and
                  Stef Joosten},
  title        = {False Failure: Creating Failure Models for Separation Logic},
  booktitle    = {Relational and Algebraic Methods in Computer Science - 17th International
                  Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 -
                  November 1, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11194},
  pages        = {263--279},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-02149-8\_16},
  doi          = {10.1007/978-3-030-02149-8\_16},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/BannisterH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/GlabbeekHW18,
  author       = {Rob J. van Glabbeek and
                  Peter H{\"{o}}fner and
                  Djurre van der Wal},
  editor       = {Carlo A. Furia and
                  Kirsten Winter},
  title        = {Analysing AWN-Specifications Using mCRL2 (Extended Abstract)},
  booktitle    = {Integrated Formal Methods - 14th International Conference, {IFM} 2018,
                  Maynooth, Ireland, September 5-7, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11023},
  pages        = {398--418},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-98938-9\_23},
  doi          = {10.1007/978-3-319-98938-9\_23},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/GlabbeekHW18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/BannisterHK18,
  author       = {Callum Bannister and
                  Peter H{\"{o}}fner and
                  Gerwin Klein},
  editor       = {Jeremy Avigad and
                  Assia Mahboubi},
  title        = {Backwards and Forwards with Separation Logic},
  booktitle    = {Interactive Theorem Proving - 9th International Conference, {ITP}
                  2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
                  UK, July 9-12, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10895},
  pages        = {68--87},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94821-8\_5},
  doi          = {10.1007/978-3-319-94821-8\_5},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/itp/BannisterHK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1801-04026,
  author       = {Rudolf Berghammer and
                  Hitoshi Furusawa and
                  Walter Guttmann and
                  Peter H{\"{o}}fner},
  title        = {Relational Characterisations of Paths},
  journal      = {CoRR},
  volume       = {abs/1801.04026},
  year         = {2018},
  url          = {http://arxiv.org/abs/1801.04026},
  eprinttype    = {arXiv},
  eprint       = {1801.04026},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1801-04026.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1810-07414,
  author       = {Rob van Glabbeek and
                  Peter H{\"{o}}fner},
  title        = {Progress, Justness and Fairness},
  journal      = {CoRR},
  volume       = {abs/1810.07414},
  year         = {2018},
  url          = {http://arxiv.org/abs/1810.07414},
  eprinttype    = {arXiv},
  eprint       = {1810.07414},
  timestamp    = {Tue, 30 Oct 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1810-07414.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/GlabbeekH17,
  author       = {Rob J. van Glabbeek and
                  Peter H{\"{o}}fner},
  editor       = {Holger Hermanns and
                  Peter H{\"{o}}fner},
  title        = {Split, Send, Reassemble: {A} Formal Specification of a {CAN} Bus Protocol
                  Stack},
  booktitle    = {Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems,
                  MARS@ETAPS 2017, Uppsala, Sweden, 29th April 2017},
  series       = {{EPTCS}},
  volume       = {244},
  pages        = {14--52},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.244.2},
  doi          = {10.4204/EPTCS.244.2},
  timestamp    = {Sat, 30 Sep 2023 10:07:58 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/GlabbeekH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1709-00826,
  author       = {Victor Dyseryn and
                  Rob J. van Glabbeek and
                  Peter H{\"{o}}fner},
  editor       = {Kirstin Peters and
                  Simone Tini},
  title        = {Analysing Mutual Exclusion using Process Algebra with Signals},
  booktitle    = {Proceedings Combined 24th International Workshop on Expressiveness
                  in Concurrency and 14th Workshop on Structural Operational Semantics,
                  {EXPRESS/SOS} 2017, Berlin, Germany, 4th September 2017},
  series       = {{EPTCS}},
  volume       = {255},
  pages        = {18--34},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.255.2},
  doi          = {10.4204/EPTCS.255.2},
  timestamp    = {Tue, 08 Oct 2019 16:56:57 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1709-00826.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/RelMiCS/2017,
  editor       = {Peter H{\"{o}}fner and
                  Damien Pous and
                  Georg Struth},
  title        = {Relational and Algebraic Methods in Computer Science - 16th International
                  Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10226},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-57418-9},
  doi          = {10.1007/978-3-319-57418-9},
  isbn         = {978-3-319-57417-2},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/2017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/HermannsH17,
  editor       = {Holger Hermanns and
                  Peter H{\"{o}}fner},
  title        = {Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems,
                  MARS@ETAPS 2017, Uppsala, Sweden, 29th April 2017},
  series       = {{EPTCS}},
  volume       = {244},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.244},
  doi          = {10.4204/EPTCS.244},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/HermannsH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/GomesGHSW16,
  author       = {Victor B. F. Gomes and
                  Walter Guttmann and
                  Peter H{\"{o}}fner and
                  Georg Struth and
                  Tjark Weber},
  title        = {Kleene Algebras with Domain},
  journal      = {Arch. Formal Proofs},
  volume       = {2016},
  year         = {2016},
  url          = {https://www.isa-afp.org/entries/KAD.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/GomesGHSW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/GlabbeekHPT16,
  author       = {Rob J. van Glabbeek and
                  Peter H{\"{o}}fner and
                  Marius Portmann and
                  Wee Lum Tan},
  title        = {Modelling and verifying the {AODV} routing protocol},
  journal      = {Distributed Comput.},
  volume       = {29},
  number       = {4},
  pages        = {279--315},
  year         = {2016},
  url          = {https://doi.org/10.1007/s00446-015-0262-7},
  doi          = {10.1007/S00446-015-0262-7},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dc/GlabbeekHPT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/BerghammerDHS16,
  author       = {Rudolf Berghammer and
                  Nikita Danilenko and
                  Peter H{\"{o}}fner and
                  Insa Stucke},
  title        = {Cardinality of relations with applications},
  journal      = {Discret. Math.},
  volume       = {339},
  number       = {12},
  pages        = {3089--3115},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.disc.2016.06.019},
  doi          = {10.1016/J.DISC.2016.06.019},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dm/BerghammerDHS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BourkeGH16,
  author       = {Timothy Bourke and
                  Rob J. van Glabbeek and
                  Peter H{\"{o}}fner},
  title        = {Mechanizing a Process Algebra for Network Protocols},
  journal      = {J. Autom. Reason.},
  volume       = {56},
  number       = {3},
  pages        = {309--341},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10817-015-9358-9},
  doi          = {10.1007/S10817-015-9358-9},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/BourkeGH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BerghammerHS16,
  author       = {Rudolf Berghammer and
                  Peter H{\"{o}}fner and
                  Insa Stucke},
  title        = {Cardinality of relations and relational approximation algorithms},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {85},
  number       = {2},
  pages        = {269--286},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.jlamp.2015.12.001},
  doi          = {10.1016/J.JLAMP.2015.12.001},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/BerghammerHS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/HofnerJKM16,
  author       = {Peter H{\"{o}}fner and
                  Peter Jipsen and
                  Wolfram Kahl and
                  Martin Eric M{\"{u}}ller},
  title        = {Relational and algebraic methods in computer science},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {85},
  number       = {4},
  pages        = {447--448},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.jlamp.2016.02.003},
  doi          = {10.1016/J.JLAMP.2016.02.003},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/HofnerJKM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/HofnerM16,
  author       = {Peter H{\"{o}}fner and
                  Bernhard M{\"{o}}ller},
  title        = {Extended Feature Algebra},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {85},
  number       = {5},
  pages        = {952--971},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.jlamp.2015.12.002},
  doi          = {10.1016/J.JLAMP.2015.12.002},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/HofnerM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BresGH16,
  author       = {Emile Bres and
                  Rob J. van Glabbeek and
                  Peter H{\"{o}}fner},
  editor       = {Peter Thiemann},
  title        = {A Timed Process Algebra for Wireless Networks with an Application
                  in Routing - (Extended Abstract)},
  booktitle    = {Programming Languages and Systems - 25th European Symposium on Programming,
                  {ESOP} 2016, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands,
                  April 2-8, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9632},
  pages        = {95--122},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-662-49498-1\_5},
  doi          = {10.1007/978-3-662-49498-1\_5},
  timestamp    = {Mon, 23 Mar 2020 12:22:51 +0100},
  biburl       = {https://dblp.org/rec/conf/esop/BresGH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BresGH16,
  author       = {Emile Bres and
                  Rob J. van Glabbeek and
                  Peter H{\"{o}}fner},
  title        = {A Timed Process Algebra for Wireless Networks},
  journal      = {CoRR},
  volume       = {abs/1606.03663},
  year         = {2016},
  url          = {http://arxiv.org/abs/1606.03663},
  eprinttype    = {arXiv},
  eprint       = {1606.03663},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BresGH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/GlabbeekH15,
  author       = {Rob J. van Glabbeek and
                  Peter H{\"{o}}fner},
  title        = {{CCS:} It's not fair! - Fair schedulers cannot be implemented in CCS-like
                  languages even under progress and certain fairness assumptions},
  journal      = {Acta Informatica},
  volume       = {52},
  number       = {2-3},
  pages        = {175--205},
  year         = {2015},
  url          = {https://doi.org/10.1007/s00236-015-0221-6},
  doi          = {10.1007/S00236-015-0221-6},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/GlabbeekH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/KahlGH15,
  author       = {Wolfram Kahl and
                  Timothy G. Griffin and
                  Peter H{\"{o}}fner},
  title        = {Relational and algebraic methods in computer science},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {84},
  number       = {3},
  pages        = {283--284},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.jlamp.2015.03.002},
  doi          = {10.1016/J.JLAMP.2015.03.002},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/KahlGH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/BerghammerHS15,
  author       = {Rudolf Berghammer and
                  Peter H{\"{o}}fner and
                  Insa Stucke},
  editor       = {Wolfram Kahl and
                  Michael Winter and
                  Jos{\'{e}} Nuno Oliveira},
  title        = {Tool-Based Verification of a Relational Vertex Coloring Program},
  booktitle    = {Relational and Algebraic Methods in Computer Science - 15th International
                  Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1,
                  2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9348},
  pages        = {275--292},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-24704-5\_17},
  doi          = {10.1007/978-3-319-24704-5\_17},
  timestamp    = {Wed, 15 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/BerghammerHS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BatoryHKMZ15,
  author       = {Don S. Batory and
                  Peter H{\"{o}}fner and
                  Dominik K{\"{o}}ppl and
                  Bernhard M{\"{o}}ller and
                  Andreas Zelend},
  editor       = {Rocco De Nicola and
                  Rolf Hennicker},
  title        = {Structured Document Algebra in Action},
  booktitle    = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
                  on the Occasion of His Retirement from the Chair of Programming and
                  Software Engineering},
  series       = {Lecture Notes in Computer Science},
  volume       = {8950},
  pages        = {291--311},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-15545-6\_19},
  doi          = {10.1007/978-3-319-15545-6\_19},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/BatoryHKMZ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/KamaliHKP15,
  author       = {Mojgan Kamali and
                  Peter H{\"{o}}fner and
                  Maryam Kamali and
                  Luigia Petre},
  editor       = {Radu Calinescu and
                  Bernhard Rumpe},
  title        = {Formal Analysis of Proactive, Distributed Routing},
  booktitle    = {Software Engineering and Formal Methods - 13th International Conference,
                  {SEFM} 2015, York, UK, September 7-11, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9276},
  pages        = {175--189},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-22969-0\_13},
  doi          = {10.1007/978-3-319-22969-0\_13},
  timestamp    = {Sat, 30 Sep 2023 09:56:03 +0200},
  biburl       = {https://dblp.org/rec/conf/sefm/KamaliHKP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/GlabbeekGH15,
  editor       = {Rob J. van Glabbeek and
                  Jan Friso Groote and
                  Peter H{\"{o}}fner},
  title        = {Proceedings Workshop on Models for Formal Analysis of Real Systems,
                  {MARS} 2015, Suva, Fiji, November 23, 2015},
  series       = {{EPTCS}},
  volume       = {196},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.196},
  doi          = {10.4204/EPTCS.196},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/GlabbeekGH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GlabbeekH15,
  author       = {Rob J. van Glabbeek and
                  Peter H{\"{o}}fner},
  title        = {Progress, Fairness and Justness in Process Algebra},
  journal      = {CoRR},
  volume       = {abs/1501.03268},
  year         = {2015},
  url          = {http://arxiv.org/abs/1501.03268},
  eprinttype    = {arXiv},
  eprint       = {1501.03268},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/GlabbeekH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BourkeGH15,
  author       = {Timothy Bourke and
                  Rob J. van Glabbeek and
                  Peter H{\"{o}}fner},
  title        = {A mechanized proof of loop freedom of the (untimed) {AODV} routing
                  protocol},
  journal      = {CoRR},
  volume       = {abs/1505.05646},
  year         = {2015},
  url          = {http://arxiv.org/abs/1505.05646},
  eprinttype    = {arXiv},
  eprint       = {1505.05646},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BourkeGH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GlabbeekH15a,
  author       = {Rob J. van Glabbeek and
                  Peter H{\"{o}}fner},
  title        = {{CCS:} It's not Fair! Fair Schedulers cannot be implemented in CCS-like
                  languages even under progress and certain fairness assumptions},
  journal      = {CoRR},
  volume       = {abs/1505.05964},
  year         = {2015},
  url          = {http://arxiv.org/abs/1505.05964},
  eprinttype    = {arXiv},
  eprint       = {1505.05964},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/GlabbeekH15a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BourkeGH15a,
  author       = {Timothy Bourke and
                  Rob J. van Glabbeek and
                  Peter H{\"{o}}fner},
  title        = {Mechanizing a Process Algebra for Network Protocols},
  journal      = {CoRR},
  volume       = {abs/1512.07304},
  year         = {2015},
  url          = {http://arxiv.org/abs/1512.07304},
  eprinttype    = {arXiv},
  eprint       = {1512.07304},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BourkeGH15a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FehnkerGHMPT15,
  author       = {Ansgar Fehnker and
                  Rob J. van Glabbeek and
                  Peter H{\"{o}}fner and
                  Annabelle McIver and
                  Marius Portmann and
                  Wee Lum Tan},
  title        = {Modelling and Analysis of {AODV} in {UPPAAL}},
  journal      = {CoRR},
  volume       = {abs/1512.07312},
  year         = {2015},
  url          = {http://arxiv.org/abs/1512.07312},
  eprinttype    = {arXiv},
  eprint       = {1512.07312},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/FehnkerGHMPT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FehnkerGHMPT15a,
  author       = {Ansgar Fehnker and
                  Rob J. van Glabbeek and
                  Peter H{\"{o}}fner and
                  Annabelle McIver and
                  Marius Portmann and
                  Wee Lum Tan},
  title        = {A Process Algebra for Wireless Mesh Networks},
  journal      = {CoRR},
  volume       = {abs/1512.07319},
  year         = {2015},
  url          = {http://arxiv.org/abs/1512.07319},
  eprinttype    = {arXiv},
  eprint       = {1512.07319},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/FehnkerGHMPT15a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FehnkerGHMPT15b,
  author       = {Ansgar Fehnker and
                  Rob J. van Glabbeek and
                  Peter H{\"{o}}fner and
                  Annabelle McIver and
                  Marius Portmann and
                  Wee Lum Tan},
  title        = {Automated Analysis of {AODV} using {UPPAAL}},
  journal      = {CoRR},
  volume       = {abs/1512.07352},
  year         = {2015},
  url          = {http://arxiv.org/abs/1512.07352},
  eprinttype    = {arXiv},
  eprint       = {1512.07352},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/FehnkerGHMPT15b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GlabbeekHPT15,
  author       = {Rob J. van Glabbeek and
                  Peter H{\"{o}}fner and
                  Marius Portmann and
                  Wee Lum Tan},
  title        = {Modelling and Verifying the {AODV} Routing Protocol},
  journal      = {CoRR},
  volume       = {abs/1512.08867},
  year         = {2015},
  url          = {http://arxiv.org/abs/1512.08867},
  eprinttype    = {arXiv},
  eprint       = {1512.08867},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/GlabbeekHPT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HofnerGTPMF15,
  author       = {Peter H{\"{o}}fner and
                  Rob J. van Glabbeek and
                  Wee Lum Tan and
                  Marius Portmann and
                  Annabelle McIver and
                  Ansgar Fehnker},
  title        = {A Rigorous Analysis of {AODV} and its Variants},
  journal      = {CoRR},
  volume       = {abs/1512.08873},
  year         = {2015},
  url          = {http://arxiv.org/abs/1512.08873},
  eprinttype    = {arXiv},
  eprint       = {1512.08873},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/HofnerGTPMF15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GlabbeekHTP15,
  author       = {Rob J. van Glabbeek and
                  Peter H{\"{o}}fner and
                  Wee Lum Tan and
                  Marius Portmann},
  title        = {Sequence Numbers Do Not Guarantee Loop Freedom; {AODV} Can Yield Routing
                  Loops},
  journal      = {CoRR},
  volume       = {abs/1512.08891},
  year         = {2015},
  url          = {http://arxiv.org/abs/1512.08891},
  eprinttype    = {arXiv},
  eprint       = {1512.08891},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/GlabbeekHTP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/BourkeH14,
  author       = {Timothy Bourke and
                  Peter H{\"{o}}fner},
  title        = {Loop freedom of the (untimed) {AODV} routing protocol},
  journal      = {Arch. Formal Proofs},
  volume       = {2014},
  year         = {2014},
  url          = {https://www.isa-afp.org/entries/AODV.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/BourkeH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/HofnerM14,
  author       = {Peter H{\"{o}}fner and
                  Annabelle McIver},
  title        = {Hopscotch - reaching the target hop by hop},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {83},
  number       = {2},
  pages        = {212--224},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.jlap.2014.02.009},
  doi          = {10.1016/J.JLAP.2014.02.009},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/HofnerM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/BerghammerHS14,
  author       = {Rudolf Berghammer and
                  Peter H{\"{o}}fner and
                  Insa Stucke},
  editor       = {Peter H{\"{o}}fner and
                  Peter Jipsen and
                  Wolfram Kahl and
                  Martin Eric M{\"{u}}ller},
  title        = {Automated Verification of Relational While-Programs},
  booktitle    = {Relational and Algebraic Methods in Computer Science - 14th International
                  Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8428},
  pages        = {173--190},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-06251-8\_11},
  doi          = {10.1007/978-3-319-06251-8\_11},
  timestamp    = {Wed, 15 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/BerghammerHS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/BourkeGH14,
  author       = {Timothy Bourke and
                  Rob J. van Glabbeek and
                  Peter H{\"{o}}fner},
  editor       = {Franck Cassez and
                  Jean{-}Fran{\c{c}}ois Raskin},
  title        = {A Mechanized Proof of Loop Freedom of the (Untimed) {AODV} Routing
                  Protocol},
  booktitle    = {Automated Technology for Verification and Analysis - 12th International
                  Symposium, {ATVA} 2014, Sydney, NSW, Australia, November 3-7, 2014,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8837},
  pages        = {47--63},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11936-6\_5},
  doi          = {10.1007/978-3-319-11936-6\_5},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/BourkeGH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/BourkeGH14,
  author       = {Timothy Bourke and
                  Rob J. van Glabbeek and
                  Peter H{\"{o}}fner},
  editor       = {Gerwin Klein and
                  Ruben Gamboa},
  title        = {Showing Invariance Compositionally for a Process Algebra for Network
                  Protocols},
  booktitle    = {Interactive Theorem Proving - 5th International Conference, {ITP}
                  2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
                  Austria, July 14-17, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8558},
  pages        = {144--159},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-08970-6\_10},
  doi          = {10.1007/978-3-319-08970-6\_10},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/itp/BourkeGH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/RelMiCS/2014,
  editor       = {Peter H{\"{o}}fner and
                  Peter Jipsen and
                  Wolfram Kahl and
                  Martin Eric M{\"{u}}ller},
  title        = {Relational and Algebraic Methods in Computer Science - 14th International
                  Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8428},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-06251-8},
  doi          = {10.1007/978-3-319-06251-8},
  isbn         = {978-3-319-06250-1},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/2014.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BourkeGH14,
  author       = {Timothy Bourke and
                  Rob J. van Glabbeek and
                  Peter H{\"{o}}fner},
  title        = {Showing invariance compositionally for a process algebra for network
                  protocols},
  journal      = {CoRR},
  volume       = {abs/1407.3519},
  year         = {2014},
  url          = {http://arxiv.org/abs/1407.3519},
  eprinttype    = {arXiv},
  eprint       = {1407.3519},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BourkeGH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/HofnerK13,
  author       = {Peter H{\"{o}}fner and
                  Maryam Kamali},
  editor       = {V{\'{\i}}ctor A. Braberman and
                  Laurent Fribourg},
  title        = {Quantitative Analysis of {AODV} and Its Variants on Dynamic Topologies
                  Using Statistical Model Checking},
  booktitle    = {Formal Modeling and Analysis of Timed Systems - 11th International
                  Conference, {FORMATS} 2013, Buenos Aires, Argentina, August 29-31,
                  2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8053},
  pages        = {121--136},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40229-6\_9},
  doi          = {10.1007/978-3-642-40229-6\_9},
  timestamp    = {Tue, 14 May 2019 10:00:38 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/HofnerK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/BatoryHMZ13,
  author       = {Don S. Batory and
                  Peter H{\"{o}}fner and
                  Bernhard M{\"{o}}ller and
                  Andreas Zelend},
  editor       = {Andreas Classen and
                  Norbert Siegmund},
  title        = {Features, modularity, and variation points},
  booktitle    = {5th International Workshop on Feature-Oriented Software Development,
                  {FOSD} '13, Indianapolis, IN, USA, October 26, 2013},
  pages        = {9--16},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2528265.2528269},
  doi          = {10.1145/2528265.2528269},
  timestamp    = {Wed, 23 Feb 2022 11:06:29 +0100},
  biburl       = {https://dblp.org/rec/conf/gpce/BatoryHMZ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mswim/GlabbeekHTP13,
  author       = {Rob J. van Glabbeek and
                  Peter H{\"{o}}fner and
                  Wee Lum Tan and
                  Marius Portmann},
  editor       = {Bj{\"{o}}rn Landfeldt and
                  M{\'{o}}nica Aguilar{-}Igartua and
                  Ravi Prakash and
                  Cheng Li},
  title        = {Sequence numbers do not guarantee loop freedom: {AODV} can yield routing
                  loops},
  booktitle    = {16th {ACM} International Conference on Modeling, Analysis and Simulation
                  of Wireless and Mobile Systems, MSWiM '13, Barcelona, Spain, November
                  3-8, 2013},
  pages        = {91--100},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2507924.2507943},
  doi          = {10.1145/2507924.2507943},
  timestamp    = {Wed, 22 Mar 2023 16:53:34 +0100},
  biburl       = {https://dblp.org/rec/conf/mswim/GlabbeekHTP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/HofnerM13,
  author       = {Peter H{\"{o}}fner and
                  Annabelle McIver},
  editor       = {Guillaume Brat and
                  Neha Rungta and
                  Arnaud Venet},
  title        = {Statistical Model Checking of Wireless Mesh Routing Protocols},
  booktitle    = {{NASA} Formal Methods, 5th International Symposium, {NFM} 2013, Moffett
                  Field, CA, USA, May 14-16, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7871},
  pages        = {322--336},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38088-4\_22},
  doi          = {10.1007/978-3-642-38088-4\_22},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/HofnerM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/FehnkerHKM13,
  author       = {Ansgar Fehnker and
                  Peter H{\"{o}}fner and
                  Maryam Kamali and
                  Vinay Mehta},
  editor       = {Kaustubh R. Joshi and
                  Markus Siegle and
                  Mari{\"{e}}lle Stoelinga and
                  Pedro R. D'Argenio},
  title        = {Topology-Based Mobility Models for Wireless Networks},
  booktitle    = {Quantitative Evaluation of Systems - 10th International Conference,
                  {QEST} 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8054},
  pages        = {389--404},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40196-1\_32},
  doi          = {10.1007/978-3-642-40196-1\_32},
  timestamp    = {Sat, 30 Sep 2023 09:55:03 +0200},
  biburl       = {https://dblp.org/rec/conf/qest/FehnkerHKM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2012atx,
  editor       = {Jacques D. Fleuriot and
                  Peter H{\"{o}}fner and
                  Annabelle McIver and
                  Alan Smaill},
  title        = {ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory
                  eXploration and on Invariant Generation, Manchester, UK, June 2012},
  series       = {EPiC Series in Computing},
  volume       = {17},
  publisher    = {EasyChair},
  year         = {2013},
  url          = {https://easychair.org/publications/volume/ATx12-WInG12},
  timestamp    = {Fri, 13 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/2012atx.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FehnkerGHMPT13,
  author       = {Ansgar Fehnker and
                  Rob J. van Glabbeek and
                  Peter H{\"{o}}fner and
                  Annabelle McIver and
                  Marius Portmann and
                  Wee Lum Tan},
  title        = {A Process Algebra for Wireless Mesh Networks used for Modelling, Verifying
                  and Analysing {AODV}},
  journal      = {CoRR},
  volume       = {abs/1312.7645},
  year         = {2013},
  url          = {http://arxiv.org/abs/1312.7645},
  eprinttype    = {arXiv},
  eprint       = {1312.7645},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/FehnkerGHMPT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Hofner12,
  author       = {Peter H{\"{o}}fner},
  title        = {Preface},
  journal      = {Formal Aspects Comput.},
  volume       = {24},
  number       = {4-6},
  pages        = {417--422},
  year         = {2012},
  url          = {https://doi.org/10.1007/s00165-012-0257-0},
  doi          = {10.1007/S00165-012-0257-0},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/Hofner12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/HofnerM12,
  author       = {Peter H{\"{o}}fner and
                  Bernhard M{\"{o}}ller},
  title        = {Dijkstra, Floyd and Warshall meet Kleene},
  journal      = {Formal Aspects Comput.},
  volume       = {24},
  number       = {4-6},
  pages        = {459--476},
  year         = {2012},
  url          = {https://doi.org/10.1007/s00165-012-0245-4},
  doi          = {10.1007/S00165-012-0245-4},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/HofnerM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/HofnerMZ12,
  author       = {Peter H{\"{o}}fner and
                  Bernhard M{\"{o}}ller and
                  Andreas Zelend},
  editor       = {Wolfram Kahl and
                  Timothy G. Griffin},
  title        = {Foundations of Coloring Algebra with Consequences for Feature-Oriented
                  Programming},
  booktitle    = {Relational and Algebraic Methods in Computer Science - 13th International
                  Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7560},
  pages        = {33--49},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33314-9\_3},
  doi          = {10.1007/978-3-642-33314-9\_3},
  timestamp    = {Wed, 15 Dec 2021 11:04:21 +0100},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/HofnerMZ12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/FehnkerGHMPT12,
  author       = {Ansgar Fehnker and
                  Rob J. van Glabbeek and
                  Peter H{\"{o}}fner and
                  Annabelle McIver and
                  Marius Portmann and
                  Wee Lum Tan},
  editor       = {Helmut Seidl},
  title        = {A Process Algebra for Wireless Mesh Networks},
  booktitle    = {Programming Languages and Systems - 21st European Symposium on Programming,
                  {ESOP} 2012, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24
                  - April 1, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7211},
  pages        = {295--315},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-28869-2\_15},
  doi          = {10.1007/978-3-642-28869-2\_15},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/FehnkerGHMPT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icnp/EdenhoferH12,
  author       = {Sarah Edenhofer and
                  Peter H{\"{o}}fner},
  title        = {Towards a rigorous analysis of AODVv2 {(DYMO)}},
  booktitle    = {20th {IEEE} International Conference on Network Protocols, {ICNP}
                  2012, Austin, TX, USA, October 30 - Nov. 2, 2012},
  pages        = {1--6},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ICNP.2012.6459942},
  doi          = {10.1109/ICNP.2012.6459942},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icnp/EdenhoferH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mswim/HofnerGTPMF12,
  author       = {Peter H{\"{o}}fner and
                  Rob J. van Glabbeek and
                  Wee Lum Tan and
                  Marius Portmann and
                  Annabelle McIver and
                  Ansgar Fehnker},
  editor       = {Albert Y. Zomaya and
                  Bj{\"{o}}rn Landfeldt and
                  Ravi Prakash},
  title        = {A rigorous analysis of {AODV} and its variants},
  booktitle    = {The 15th {ACM} International Conference on Modeling, Analysis and
                  Simulation of Wireless and Mobile Systems, MSWiM '12, Paphos, Cyprus,
                  October 21-25, 2012},
  pages        = {203--212},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2387238.2387274},
  doi          = {10.1145/2387238.2387274},
  timestamp    = {Wed, 22 Mar 2023 16:53:34 +0100},
  biburl       = {https://dblp.org/rec/conf/mswim/HofnerGTPMF12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/FehnkerGHMPT12,
  author       = {Ansgar Fehnker and
                  Rob J. van Glabbeek and
                  Peter H{\"{o}}fner and
                  Annabelle McIver and
                  Marius Portmann and
                  Wee Lum Tan},
  editor       = {Cormac Flanagan and
                  Barbara K{\"{o}}nig},
  title        = {Automated Analysis of {AODV} Using {UPPAAL}},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 18th International Conference, {TACAS} 2012, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7214},
  pages        = {173--187},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-28756-5\_13},
  doi          = {10.1007/978-3-642-28756-5\_13},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/FehnkerGHMPT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/HofnerKM11,
  author       = {Peter H{\"{o}}fner and
                  Ridha Kh{\'{e}}dri and
                  Bernhard M{\"{o}}ller},
  title        = {Supplementing Product Families with Behaviour},
  journal      = {Int. J. Softw. Informatics},
  volume       = {5},
  number       = {1-2},
  pages        = {245--266},
  year         = {2011},
  url          = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=i83},
  timestamp    = {Thu, 06 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijsi/HofnerKM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/DangHM11,
  author       = {Han{-}Hing Dang and
                  Peter H{\"{o}}fner and
                  Bernhard M{\"{o}}ller},
  title        = {Algebraic separation logic},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {80},
  number       = {6},
  pages        = {221--247},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.jlap.2011.04.003},
  doi          = {10.1016/J.JLAP.2011.04.003},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/DangHM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/HofnerKM11,
  author       = {Peter H{\"{o}}fner and
                  Ridha Kh{\'{e}}dri and
                  Bernhard M{\"{o}}ller},
  title        = {An algebra of product families},
  journal      = {Softw. Syst. Model.},
  volume       = {10},
  number       = {2},
  pages        = {161--182},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10270-009-0127-2},
  doi          = {10.1007/S10270-009-0127-2},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/HofnerKM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HofnerM11,
  author       = {Peter H{\"{o}}fner and
                  Bernhard M{\"{o}}ller},
  title        = {Fixing Zeno gaps},
  journal      = {Theor. Comput. Sci.},
  volume       = {412},
  number       = {28},
  pages        = {3303--3322},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.tcs.2011.03.018},
  doi          = {10.1016/J.TCS.2011.03.018},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/HofnerM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/DangH11,
  author       = {Han{-}Hing Dang and
                  Peter H{\"{o}}fner},
  editor       = {Harrie C. M. de Swart},
  title        = {Variable Side Conditions and Greatest Relations in Algebraic Separation
                  Logic},
  booktitle    = {Relational and Algebraic Methods in Computer Science - 12th International
                  Conference, {RAMICS} 2011, Rotterdam, The Netherlands, May 30 - June
                  3, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6663},
  pages        = {125--140},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-21070-9\_11},
  doi          = {10.1007/978-3-642-21070-9\_11},
  timestamp    = {Wed, 15 Dec 2021 11:04:20 +0100},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/DangH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/HofnerM11,
  author       = {Peter H{\"{o}}fner and
                  Annabelle McIver},
  editor       = {Harrie C. M. de Swart},
  title        = {Towards an Algebra of Routing Tables},
  booktitle    = {Relational and Algebraic Methods in Computer Science - 12th International
                  Conference, {RAMICS} 2011, Rotterdam, The Netherlands, May 30 - June
                  3, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6663},
  pages        = {212--229},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-21070-9\_17},
  doi          = {10.1007/978-3-642-21070-9\_17},
  timestamp    = {Wed, 15 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/HofnerM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/BatoryHK11,
  author       = {Don S. Batory and
                  Peter H{\"{o}}fner and
                  Jongwook Kim},
  editor       = {Ewen Denney and
                  Ulrik Pagh Schultz},
  title        = {Feature interactions, products, and composition},
  booktitle    = {Generative Programming And Component Engineering, Proceedings of the
                  10th International Conference on Generative Programming and Component
                  Engineering, {GPCE} 2011, Portland, Oregon, USA, October 22-24, 2011},
  pages        = {13--22},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2047862.2047867},
  doi          = {10.1145/2047862.2047867},
  timestamp    = {Thu, 24 Jun 2021 16:19:31 +0200},
  biburl       = {https://dblp.org/rec/conf/gpce/BatoryHK11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ate/2011,
  editor       = {Peter H{\"{o}}fner and
                  Annabelle McIver and
                  Georg Struth},
  title        = {Proceedings of the First Workshop on Automated Theory Engineering,
                  Wroc{\l}aw, Poland, July 31, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {760},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-760},
  urn          = {urn:nbn:de:0074-760-4},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ate/2011.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/HofnerS10,
  author       = {Peter H{\"{o}}fner and
                  Georg Struth},
  title        = {Algebraic notions of nontermination: Omega and divergence in idempotent
                  semirings},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {79},
  number       = {8},
  pages        = {794--811},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.jlap.2010.07.016},
  doi          = {10.1016/J.JLAP.2010.07.016},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/HofnerS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/DangH10,
  author       = {Han{-}Hing Dang and
                  Peter H{\"{o}}fner},
  editor       = {Renate A. Schmidt and
                  Stephan Schulz and
                  Boris Konev},
  title        = {Automated Higher-order Reasoning about Quantales},
  booktitle    = {Proceedings of the 2nd Workshop on Practical Aspects of Automated
                  Reasoning, PAAR-2010, Edinburgh, Scotland, UK, July 14, 2010},
  series       = {EPiC Series in Computing},
  volume       = {9},
  pages        = {40--51},
  publisher    = {EasyChair},
  year         = {2010},
  url          = {https://doi.org/10.29007/l2sz},
  doi          = {10.29007/L2SZ},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/DangH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/de/Hofner2009,
  author       = {Peter H{\"{o}}fner},
  title        = {Algebraic calculi for hybrid systems},
  school       = {University of Augsburg},
  year         = {2009},
  url          = {http://opus.bibliothek.uni-augsburg.de/volltexte/2010/1481/},
  urn          = {urn:nbn:de:bvb:384-opus-14816},
  isbn         = {978-3-8391-2510-6},
  timestamp    = {Sat, 17 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/de/Hofner2009.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/HofnerSS09,
  author       = {Peter H{\"{o}}fner and
                  Georg Struth and
                  Geoff Sutcliffe},
  title        = {Automated verification of refinement laws},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {55},
  number       = {1-2},
  pages        = {35--62},
  year         = {2009},
  url          = {https://doi.org/10.1007/s10472-009-9151-8},
  doi          = {10.1007/S10472-009-9151-8},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/HofnerSS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/HofnerM09,
  author       = {Peter H{\"{o}}fner and
                  Bernhard M{\"{o}}ller},
  title        = {An algebra of hybrid systems},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {78},
  number       = {2},
  pages        = {74--97},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.jlap.2008.08.005},
  doi          = {10.1016/J.JLAP.2008.08.005},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/HofnerM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/DangHM09,
  author       = {Han{-}Hing Dang and
                  Peter H{\"{o}}fner and
                  Bernhard M{\"{o}}ller},
  editor       = {Rudolf Berghammer and
                  Ali Jaoua and
                  Bernhard M{\"{o}}ller},
  title        = {Towards Algebraic Separation Logic},
  booktitle    = {Relations and Kleene Algebra in Computer Science, 11th International
                  Conference on Relational Methods in Computer Science, RelMiCS 2009,
                  and 6th International Conference on Applications of Kleene Algebra,
                  {AKA} 2009, Doha, Qatar, November 1-5, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5827},
  pages        = {59--72},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04639-1\_5},
  doi          = {10.1007/978-3-642-04639-1\_5},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/DangHM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/HofnerM09,
  author       = {Peter H{\"{o}}fner and
                  Bernhard M{\"{o}}ller},
  editor       = {Sven Apel and
                  William R. Cook and
                  Krzysztof Czarnecki and
                  Christian K{\"{a}}stner and
                  Neil Loughran and
                  Oscar Nierstrasz},
  title        = {An extension for feature algebra},
  booktitle    = {Proceedings of the First International Workshop on Feature-Oriented
                  Software Development, {FOSD} 2009, Denver, Colorado, USA, October
                  6, 2009},
  series       = {{ACM} International Conference Proceeding Series},
  pages        = {75--80},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1629716.1629731},
  doi          = {10.1145/1629716.1629731},
  timestamp    = {Fri, 30 Dec 2022 23:08:54 +0100},
  biburl       = {https://dblp.org/rec/conf/models/HofnerM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/HofnerM08,
  author       = {Peter H{\"{o}}fner and
                  Bernhard M{\"{o}}ller},
  title        = {Algebraic Neighbourhood Logic},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {76},
  number       = {1},
  pages        = {35--59},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.jlap.2007.10.004},
  doi          = {10.1016/J.JLAP.2007.10.004},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/HofnerM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Hofner08,
  author       = {Peter H{\"{o}}fner},
  editor       = {Rudolf Berghammer and
                  Bernhard M{\"{o}}ller and
                  Georg Struth},
  title        = {Automated Reasoning for Hybrid Systems - Two Case Studies -},
  booktitle    = {Relations and Kleene Algebra in Computer Science, 10th International
                  Conference on Relational Methods in Computer Science, and 5th International
                  Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenw{\"{o}}rth,
                  Germany, April 7-11, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4988},
  pages        = {191--205},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-78913-0\_15},
  doi          = {10.1007/978-3-540-78913-0\_15},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/Hofner08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/HofnerS08,
  author       = {Peter H{\"{o}}fner and
                  Georg Struth},
  editor       = {Rudolf Berghammer and
                  Bernhard M{\"{o}}ller and
                  Georg Struth},
  title        = {Non-termination in Idempotent Semirings},
  booktitle    = {Relations and Kleene Algebra in Computer Science, 10th International
                  Conference on Relational Methods in Computer Science, and 5th International
                  Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenw{\"{o}}rth,
                  Germany, April 7-11, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4988},
  pages        = {206--220},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-78913-0\_16},
  doi          = {10.1007/978-3-540-78913-0\_16},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/HofnerS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/HofnerS08,
  author       = {Peter H{\"{o}}fner and
                  Georg Struth},
  editor       = {Alessandro Armando and
                  Peter Baumgartner and
                  Gilles Dowek},
  title        = {On Automating the Calculus of Relations},
  booktitle    = {Automated Reasoning, 4th International Joint Conference, {IJCAR} 2008,
                  Sydney, Australia, August 12-15, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5195},
  pages        = {50--66},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-71070-7\_5},
  doi          = {10.1007/978-3-540-71070-7\_5},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/HofnerS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/HofnerKM08,
  author       = {Peter H{\"{o}}fner and
                  Ridha Kh{\'{e}}dri and
                  Bernhard M{\"{o}}ller},
  editor       = {Antonio Cerone and
                  Stefan Gruner},
  title        = {Algebraic View Reconciliation},
  booktitle    = {Sixth {IEEE} International Conference on Software Engineering and
                  Formal Methods, {SEFM} 2008, Cape Town, South Africa, 10-14 November
                  2008},
  pages        = {85--94},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/SEFM.2008.36},
  doi          = {10.1109/SEFM.2008.36},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/HofnerKM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/HofnerS07,
  author       = {Peter H{\"{o}}fner and
                  Georg Struth},
  editor       = {Frank Pfenning},
  title        = {Automated Reasoning in Kleene Algebra},
  booktitle    = {Automated Deduction - CADE-21, 21st International Conference on Automated
                  Deduction, Bremen, Germany, July 17-20, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4603},
  pages        = {279--294},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73595-3\_19},
  doi          = {10.1007/978-3-540-73595-3\_19},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/HofnerS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HofnerL08,
  author       = {Peter H{\"{o}}fner and
                  Florian Lautenbacher},
  editor       = {Demis Ballis and
                  Santiago Escobar and
                  Massimo Marchiori},
  title        = {Algebraic Structure of Web Services},
  booktitle    = {Proceedings of the 3rd International Workshop on Automated Specification
                  and Verification of Web Systems, {WWV} 2007, Venice, Italy, December
                  14, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {200},
  number       = {3},
  pages        = {171--187},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2008.04.099},
  doi          = {10.1016/J.ENTCS.2008.04.099},
  timestamp    = {Mon, 13 Feb 2023 11:22:30 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HofnerL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HofnerS08,
  author       = {Peter H{\"{o}}fner and
                  Georg Struth},
  editor       = {Eerke A. Boiten and
                  John Derrick and
                  Graeme Smith},
  title        = {Can Refinement be Automated?},
  booktitle    = {Proceedings of the {BCS-FACS} Refinement Workshop, REFINE@IFM 2007,
                  Oxford, UK, July 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {201},
  pages        = {197--222},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2008.02.021},
  doi          = {10.1016/J.ENTCS.2008.02.021},
  timestamp    = {Thu, 09 Feb 2023 12:15:31 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HofnerS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/HofnerM06,
  author       = {Peter H{\"{o}}fner and
                  Bernhard M{\"{o}}ller},
  editor       = {Renate A. Schmidt},
  title        = {Lazy Semiring Neighbours and Some Applications},
  booktitle    = {Relations and Kleene Algebra in Computer Science, 9th International
                  Conference on Relational Methods in Computer Science and 4th International
                  Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester,
                  UK, August 29-September 2, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4136},
  pages        = {207--221},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11828563\_14},
  doi          = {10.1007/11828563\_14},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/HofnerM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/HofnerMS06,
  author       = {Peter H{\"{o}}fner and
                  Bernhard M{\"{o}}ller and
                  Kim Solin},
  editor       = {Renate A. Schmidt},
  title        = {Omega Algebra, Demonic Refinement Algebra and Commands},
  booktitle    = {Relations and Kleene Algebra in Computer Science, 9th International
                  Conference on Relational Methods in Computer Science and 4th International
                  Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester,
                  UK, August 29-September 2, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4136},
  pages        = {222--234},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11828563\_15},
  doi          = {10.1007/11828563\_15},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/HofnerMS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/MollerHS06,
  author       = {Bernhard M{\"{o}}ller and
                  Peter H{\"{o}}fner and
                  Georg Struth},
  editor       = {Michael Johnson and
                  Varmo Vene},
  title        = {Quantales and Temporal Logics},
  booktitle    = {Algebraic Methodology and Software Technology, 11th International
                  Conference, {AMAST} 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4019},
  pages        = {263--277},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11784180\_21},
  doi          = {10.1007/11784180\_21},
  timestamp    = {Sun, 25 Oct 2020 23:16:26 +0100},
  biburl       = {https://dblp.org/rec/conf/amast/MollerHS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/HofnerKM06,
  author       = {Peter H{\"{o}}fner and
                  Ridha Kh{\'{e}}dri and
                  Bernhard M{\"{o}}ller},
  editor       = {Jayadev Misra and
                  Tobias Nipkow and
                  Emil Sekerinski},
  title        = {Feature Algebra},
  booktitle    = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
                  Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4085},
  pages        = {300--315},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11813040\_21},
  doi          = {10.1007/11813040\_21},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/fm/HofnerKM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/HofnerM05,
  author       = {Peter H{\"{o}}fner and
                  Bernhard M{\"{o}}ller},
  editor       = {Wendy MacCaull and
                  Michael Winter and
                  Ivo D{\"{u}}ntsch},
  title        = {Towards an Algebra of Hybrid Systems},
  booktitle    = {Relational Methods in Computer Science, 8th International Seminar
                  on Relational Methods in Computer Science, 3rd International Workshop
                  on Applications of Kleene Algebra, and Workshop of {COST} Action 274:
                  TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected
                  Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3929},
  pages        = {121--133},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11734673\_10},
  doi          = {10.1007/11734673\_10},
  timestamp    = {Wed, 01 Apr 2020 16:14:32 +0200},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/HofnerM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ercimdl/HuhnHK05,
  author       = {Alfons Huhn and
                  Peter H{\"{o}}fner and
                  Werner Kie{\ss}ling},
  editor       = {Andreas Rauber and
                  Stavros Christodoulakis and
                  A Min Tjoa},
  title        = {Towards Evaluating the Impact of Ontologies on the Quality of a Digital
                  Library Alerting System},
  booktitle    = {Research and Advanced Technology for Digital Libraries, 9th European
                  Conference, {ECDL} 2005, Vienna, Austria, September 18-23, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3652},
  pages        = {498--499},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11551362\_53},
  doi          = {10.1007/11551362\_53},
  timestamp    = {Mon, 28 Aug 2023 21:17:44 +0200},
  biburl       = {https://dblp.org/rec/conf/ercimdl/HuhnHK05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Hofner07,
  author       = {Peter H{\"{o}}fner},
  editor       = {Judi Romijn and
                  Graeme Smith and
                  Jaco van de Pol},
  title        = {Semiring Neighbours: An Algebraic Embedding and Extension of Neighbourhood
                  Logic},
  booktitle    = {Proceedings of the Doctoral Symposium affiliated with the Fifth Integrated
                  Formal Methods Conference, {IFM} Doctoral Symposium 2005, Eindhoven,
                  The Netherlands, November 29, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {191},
  pages        = {49--72},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2006.09.040},
  doi          = {10.1016/J.ENTCS.2006.09.040},
  timestamp    = {Thu, 09 Feb 2023 10:31:27 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Hofner07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics