default search action
BibTeX records: Peter Höfner
@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} }
@article{DBLP:journals/corr/abs-2407-20559, author = {Robert J. Colvin and Ian J. Hayes and Scott Heiner and Peter H{\"{o}}fner and Larissa Meinicke and Roger C. Su}, title = {Practical Rely/Guarantee Verification of an Efficient Lock for seL4 on Multicore Architectures}, journal = {CoRR}, volume = {abs/2407.20559}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2407.20559}, doi = {10.48550/ARXIV.2407.20559}, eprinttype = {arXiv}, eprint = {2407.20559}, timestamp = {Wed, 21 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2407-20559.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 = {Wed, 21 Aug 2024 22:46:00 +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 = {Sun, 04 Aug 2024 01:00:00 +0200}, 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 = {Sun, 04 Aug 2024 01:00:00 +0200}, 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, 04 Aug 2024 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 = {Sun, 04 Aug 2024 01:00:00 +0200}, 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, 04 Aug 2024 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} }
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.