Peter Höfner - RankMe

107 papers A* 1A 8B 10C 9Journal 48Unranked 24

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Rely-Guarantee Extensions and Locks. Arch. Formal Proofs Robert J. Colvin, Scott Heiner, Peter Höfner, Roger C. Su
2024	J	`jnl`	Practical Rely/Guarantee Verification of an Efficient Lock for seL4 on Multicore Architectures. CoRR Robert J. Colvin, Ian J. Hayes, Scott Heiner, Peter Höfner, Larissa Meinicke, Roger C. Su
2024	—	`ch.`	Practical Rely/Guarantee Verification of an Efficient Lock for seL4 on Multicore Architectures. The Practice of Formal Methods (I) Robert J. Colvin, Ian J. Hayes, Scott Heiner, Peter Höfner, Larissa Meinicke, Roger C. Su
2024	J	`jnl`	Shoggoth: A Formal Foundation for Strategic Rewriting. Proc. ACM Program. Lang. Xueying Qin, Liam O'Connor, Rob van Glabbeek, Peter Höfner, Ohad Kammar, Michel Steuwer
2023	J	`jnl`	A Lean-Congruence Format for EP-Bisimilarity. CoRR Rob van Glabbeek, Peter Höfner, Weiyou Wang
2023	—	`conf`	A Lean-Congruence Format for EP-Bisimilarity. EXPRESS/SOS Rob van Glabbeek, Peter Höfner, Weiyou Wang
2022	—	`conf`	Advanced Models for the OSPF Routing Protocol. MARS Courtney Darville, Peter Höfner, Franc Ivankovic, Adam Pam
2021	—	`ch.`	Algorithmics. IFIP's Exciting First 60+ Years Richard S. Bird, Jeremy Gibbons, Ralf Hinze, Peter Höfner, Johan Jeuring, Lambert G. L. T. Meertens, Bernhard Möller, Carroll Morgan, Tom Schrijvers, Wouter Swierstra, Nicolas Wu
2021	A*	`conf`	Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom. LICS Rob van Glabbeek, Peter Höfner, Ross Horne
2021	J	`jnl`	Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom. CoRR Rob van Glabbeek, Peter Höfner, Ross Horne
2021	C	`conf`	Effect Algebras, Girard Quantales and Complementation in Separation Logic. RAMiCS Callum Bannister, Peter Höfner, Georg Struth
2021	B	`conf`	Enabling Preserving Bisimulation Equivalence. CONCUR Rob van Glabbeek, Peter Höfner, Weiyou Wang
2021	J	`jnl`	Enabling Preserving Bisimulation Equivalence. CoRR Rob van Glabbeek, Peter Höfner, Weiyou Wang
2020	—	`conf`	Formal Models of the OSPF Routing Protocol. MARS Jack Drury, Peter Höfner, Weiyou Wang
2020	—	`conf`	Formalising the Optimised Link State Routing Protocol. MARS Ryan Barry, Rob van Glabbeek, Peter Höfner
2020	J	`jnl`	Preface. Acta Informatica Peter Höfner, Carroll Morgan, Vaughan R. Pratt
2020	J	`jnl`	Relational Characterisations of Paths. Arch. Formal Proofs Walter Guttmann, Peter Höfner
2020	J	`jnl`	Relational characterisations of paths. J. Log. Algebraic Methods Program. Rudolf Berghammer, Hitoshi Furusawa, Walter Guttmann, Peter Höfner
2019	A	`conf`	A Process Algebra for Link Layer Protocols. ESOP Rob van Glabbeek, Peter Höfner, Michael Markl
2019	J	`jnl`	A Process Algebra for Link Layer Protocols. CoRR Rob van Glabbeek, Peter Höfner, Michael Markl
2019	J	`jnl`	Progress, Justness, and Fairness. ACM Comput. Surv. Rob van Glabbeek, Peter Höfner
2019	J	`jnl`	Relational and algebraic methods in computer science. J. Log. Algebraic Methods Program. Peter Höfner, Damien Pous, Georg Struth
2018	B	`conf`	Analysing AWN-Specifications Using mCRL2 (Extended Abstract). IFM Rob J. van Glabbeek, Peter Höfner, Djurre van der Wal
2018	B	`conf`	Backwards and Forwards with Separation Logic. ITP Callum Bannister, Peter Höfner, Gerwin Klein
2018	C	`conf`	False Failure: Creating Failure Models for Separation Logic. RAMiCS Callum Bannister, Peter Höfner
2018	J	`jnl`	Progress, Justness and Fairness. CoRR Rob van Glabbeek, Peter Höfner
2018	J	`jnl`	Relational Characterisations of Paths. CoRR Rudolf Berghammer, Hitoshi Furusawa, Walter Guttmann, Peter Höfner
2017	—	`conf`	Analysing Mutual Exclusion using Process Algebra with Signals. EXPRESS/SOS Victor Dyseryn, Rob J. van Glabbeek, Peter Höfner
2017	—	`ed.`	Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2017, Uppsala, Sweden, 29th April 2017. MARS Holger Hermanns, Peter Höfner
2017	C	`ed.`	Relational and Algebraic Methods in Computer Science - 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings RAMiCS Peter Höfner, Damien Pous, Georg Struth
2017	—	`conf`	Split, Send, Reassemble: A Formal Specification of a CAN Bus Protocol Stack. MARS Rob J. van Glabbeek, Peter Höfner
2016	A	`conf`	A Timed Process Algebra for Wireless Networks with an Application in Routing - (Extended Abstract). ESOP Emile Bres, Rob J. van Glabbeek, Peter Höfner
2016	J	`jnl`	A Timed Process Algebra for Wireless Networks. CoRR Emile Bres, Rob J. van Glabbeek, Peter Höfner
2016	J	`jnl`	Cardinality of relations and relational approximation algorithms. J. Log. Algebraic Methods Program. Rudolf Berghammer, Peter Höfner, Insa Stucke
2016	J	`jnl`	Cardinality of relations with applications. Discret. Math. Rudolf Berghammer, Nikita Danilenko, Peter Höfner, Insa Stucke
2016	J	`jnl`	Extended Feature Algebra. J. Log. Algebraic Methods Program. Peter Höfner, Bernhard Möller
2016	J	`jnl`	Kleene Algebras with Domain. Arch. Formal Proofs Victor B. F. Gomes, Walter Guttmann, Peter Höfner, Georg Struth, Tjark Weber
2016	J	`jnl`	Mechanizing a Process Algebra for Network Protocols. J. Autom. Reason. Timothy Bourke, Rob J. van Glabbeek, Peter Höfner
2016	J	`jnl`	Modelling and verifying the AODV routing protocol. Distributed Comput. Rob J. van Glabbeek, Peter Höfner, Marius Portmann, Wee Lum Tan
2016	J	`jnl`	Relational and algebraic methods in computer science. J. Log. Algebraic Methods Program. Peter Höfner, Peter Jipsen, Wolfram Kahl, Martin Eric Müller
2015	J	`jnl`	A Process Algebra for Wireless Mesh Networks. CoRR Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan
2015	J	`jnl`	A Rigorous Analysis of AODV and its Variants. CoRR Peter Höfner, Rob J. van Glabbeek, Wee Lum Tan, Marius Portmann, Annabelle McIver, Ansgar Fehnker
2015	J	`jnl`	A mechanized proof of loop freedom of the (untimed) AODV routing protocol. CoRR Timothy Bourke, Rob J. van Glabbeek, Peter Höfner
2015	J	`jnl`	Automated Analysis of AODV using UPPAAL. CoRR Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan
2015	J	`jnl`	CCS: It's not Fair! Fair Schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions. CoRR Rob J. van Glabbeek, Peter Höfner
2015	J	`jnl`	CCS: It's not fair! - Fair schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions. Acta Informatica Rob J. van Glabbeek, Peter Höfner
2015	B	`conf`	Formal Analysis of Proactive, Distributed Routing. SEFM Mojgan Kamali, Peter Höfner, Maryam Kamali, Luigia Petre
2015	J	`jnl`	Mechanizing a Process Algebra for Network Protocols. CoRR Timothy Bourke, Rob J. van Glabbeek, Peter Höfner
2015	J	`jnl`	Modelling and Analysis of AODV in UPPAAL. CoRR Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan
2015	J	`jnl`	Modelling and Verifying the AODV Routing Protocol. CoRR Rob J. van Glabbeek, Peter Höfner, Marius Portmann, Wee Lum Tan
2015	—	`ed.`	Proceedings Workshop on Models for Formal Analysis of Real Systems, MARS 2015, Suva, Fiji, November 23, 2015. MARS Rob J. van Glabbeek, Jan Friso Groote, Peter Höfner
2015	J	`jnl`	Progress, Fairness and Justness in Process Algebra. CoRR Rob J. van Glabbeek, Peter Höfner
2015	J	`jnl`	Relational and algebraic methods in computer science. J. Log. Algebraic Methods Program. Wolfram Kahl, Timothy G. Griffin, Peter Höfner
2015	J	`jnl`	Sequence Numbers Do Not Guarantee Loop Freedom; AODV Can Yield Routing Loops. CoRR Rob J. van Glabbeek, Peter Höfner, Wee Lum Tan, Marius Portmann
2015	—	`conf`	Structured Document Algebra in Action. Software, Services, and Systems Don S. Batory, Peter Höfner, Dominik Köppl, Bernhard Möller, Andreas Zelend
2015	C	`conf`	Tool-Based Verification of a Relational Vertex Coloring Program. RAMiCS Rudolf Berghammer, Peter Höfner, Insa Stucke
2014	B	`conf`	A Mechanized Proof of Loop Freedom of the (Untimed) AODV Routing Protocol. ATVA Timothy Bourke, Rob J. van Glabbeek, Peter Höfner
2014	C	`conf`	Automated Verification of Relational While-Programs. RAMiCS Rudolf Berghammer, Peter Höfner, Insa Stucke
2014	J	`jnl`	Hopscotch - reaching the target hop by hop. J. Log. Algebraic Methods Program. Peter Höfner, Annabelle McIver
2014	J	`jnl`	Loop freedom of the (untimed) AODV routing protocol. Arch. Formal Proofs Timothy Bourke, Peter Höfner
2014	C	`ed.`	Relational and Algebraic Methods in Computer Science - 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014. Proceedings Peter Höfner, Peter Jipsen, Wolfram Kahl, Martin Eric Müller
2014	B	`conf`	Showing Invariance Compositionally for a Process Algebra for Network Protocols. ITP Timothy Bourke, Rob J. van Glabbeek, Peter Höfner
2014	J	`jnl`	Showing invariance compositionally for a process algebra for network protocols. CoRR Timothy Bourke, Rob J. van Glabbeek, Peter Höfner
2013	J	`jnl`	A Process Algebra for Wireless Mesh Networks used for Modelling, Verifying and Analysing AODV. CoRR Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan
2013	—	`ed.`	ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation, Manchester, UK, June 2012 ATx/WInG@IJCAR Jacques D. Fleuriot, Peter Höfner, Annabelle McIver, Alan Smaill
2013	—	`conf`	Features, modularity, and variation points. FOSD Don S. Batory, Peter Höfner, Bernhard Möller, Andreas Zelend
2013	—	`conf`	Quantitative Analysis of AODV and Its Variants on Dynamic Topologies Using Statistical Model Checking. FORMATS Peter Höfner, Maryam Kamali
2013	A	`conf`	Sequence numbers do not guarantee loop freedom: AODV can yield routing loops. MSWiM Rob J. van Glabbeek, Peter Höfner, Wee Lum Tan, Marius Portmann
2013	—	`conf`	Statistical Model Checking of Wireless Mesh Routing Protocols. NASA Formal Methods Peter Höfner, Annabelle McIver
2013	—	`conf`	Topology-Based Mobility Models for Wireless Networks. QEST Ansgar Fehnker, Peter Höfner, Maryam Kamali, Vinay Mehta
2012	A	`conf`	A Process Algebra for Wireless Mesh Networks. ESOP Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan
2012	A	`conf`	A rigorous analysis of AODV and its variants. MSWiM Peter Höfner, Rob J. van Glabbeek, Wee Lum Tan, Marius Portmann, Annabelle McIver, Ansgar Fehnker
2012	A	`conf`	Automated Analysis of AODV Using UPPAAL. TACAS Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan
2012	J	`jnl`	Dijkstra, Floyd and Warshall meet Kleene. Formal Aspects Comput. Peter Höfner, Bernhard Möller
2012	C	`conf`	Foundations of Coloring Algebra with Consequences for Feature-Oriented Programming. RAMiCS Peter Höfner, Bernhard Möller, Andreas Zelend
2012	J	`jnl`	Preface. Formal Aspects Comput. Peter Höfner
2012	B	`conf`	Towards a rigorous analysis of AODVv2 (DYMO). ICNP Sarah Edenhofer, Peter Höfner
2011	J	`jnl`	Algebraic separation logic. J. Log. Algebraic Methods Program. Han-Hing Dang, Peter Höfner, Bernhard Möller
2011	J	`jnl`	An algebra of product families. Softw. Syst. Model. Peter Höfner, Ridha Khédri, Bernhard Möller
2011	B	`conf`	Feature interactions, products, and composition. GPCE Don S. Batory, Peter Höfner, JongWook Kim
2011	J	`jnl`	Fixing Zeno gaps. Theor. Comput. Sci. Peter Höfner, Bernhard Möller
2011	—	`ed.`	Proceedings of the First Workshop on Automated Theory Engineering, Wrocław, Poland, July 31, 2011 ATE Peter Höfner, Annabelle McIver, Georg Struth
2011	J	`jnl`	Supplementing Product Families with Behaviour. Int. J. Softw. Informatics Peter Höfner, Ridha Khédri, Bernhard Möller
2011	C	`conf`	Towards an Algebra of Routing Tables. RAMiCS Peter Höfner, Annabelle McIver
2011	C	`conf`	Variable Side Conditions and Greatest Relations in Algebraic Separation Logic. RAMiCS Han-Hing Dang, Peter Höfner
2010	J	`jnl`	Algebraic notions of nontermination: Omega and divergence in idempotent semirings. J. Log. Algebraic Methods Program. Peter Höfner, Georg Struth
2010	—	`conf`	Automated Higher-order Reasoning about Quantales. PAAR@IJCAR Han-Hing Dang, Peter Höfner
2009	—	`—`	Algebraic calculi for hybrid systems. Peter Höfner
2009	J	`jnl`	An algebra of hybrid systems. J. Log. Algebraic Methods Program. Peter Höfner, Bernhard Möller
2009	—	`conf`	An extension for feature algebra. FOSD Peter Höfner, Bernhard Möller
2009	J	`jnl`	Automated verification of refinement laws. Ann. Math. Artif. Intell. Peter Höfner, Georg Struth, Geoff Sutcliffe
2009	—	`conf`	Towards Algebraic Separation Logic. RelMiCS Han-Hing Dang, Peter Höfner, Bernhard Möller
2008	J	`jnl`	Algebraic Neighbourhood Logic. J. Log. Algebraic Methods Program. Peter Höfner, Bernhard Möller
2008	B	`conf`	Algebraic View Reconciliation. SEFM Peter Höfner, Ridha Khédri, Bernhard Möller
2008	—	`conf`	Automated Reasoning for Hybrid Systems - Two Case Studies -. RelMiCS Peter Höfner
2008	—	`conf`	Non-termination in Idempotent Semirings. RelMiCS Peter Höfner, Georg Struth
2008	A	`conf`	On Automating the Calculus of Relations. IJCAR Peter Höfner, Georg Struth
2007	—	`conf`	Algebraic Structure of Web Services. WWV Peter Höfner, Florian Lautenbacher
2007	A	`conf`	Automated Reasoning in Kleene Algebra. CADE Peter Höfner, Georg Struth
2007	—	`conf`	Can Refinement be Automated? REFINE@IFM Peter Höfner, Georg Struth
2006	B	`conf`	Feature Algebra. FM Peter Höfner, Ridha Khédri, Bernhard Möller
2006	—	`conf`	Lazy Semiring Neighbours and Some Applications. RelMiCS Peter Höfner, Bernhard Möller
2006	—	`conf`	Omega Algebra, Demonic Refinement Algebra and Commands. RelMiCS Peter Höfner, Bernhard Möller, Kim Solin
2006	—	`conf`	Quantales and Temporal Logics. AMAST Bernhard Möller, Peter Höfner, Georg Struth
2005	—	`conf`	Semiring Neighbours: An Algebraic Embedding and Extension of Neighbourhood Logic. IFM Doctoral Symposium Peter Höfner
2005	—	`conf`	Towards Evaluating the Impact of Ontologies on the Quality of a Digital Library Alerting System. ECDL Alfons Huhn, Peter Höfner, Werner Kießling
2005	—	`conf`	Towards an Algebra of Hybrid Systems. RelMiCS Peter Höfner, Bernhard Möller