Peter Höfner

Citée par

	Toutes	Depuis 2020
Citations	1743	435
indice h	23	11
indice i10	44	14

160

120

2005200620072008200920102011201220132014201520162017201820192020202120222023202420256 15 29 53 39 54 93 79 88 103 154 155 140 126 126 111 102 73 76 70 3

Accès public

Tout afficher

30 articles

0 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Rob van GlabbeekUNSWAdresse e-mail validée de cs.stanford.edu
Georg StruthUniversity of SheffieldAdresse e-mail validée de sheffield.ac.uk
Annabelle McIverMacquarie UniversityAdresse e-mail validée de mq.edu.au
Wee Lum TanGriffith UniversityAdresse e-mail validée de griffith.edu.au
Marius PortmannThe University of QueenslandAdresse e-mail validée de eecs.uq.edu.au
A FehnkerMacquarie UniversityAdresse e-mail validée de mq.edu.au
Ridha KhedriProfessor of Software Engineering, McMaster UniversityAdresse e-mail validée de mcmaster.ca
Don BatoryUniversity of Texas at AustinAdresse e-mail validée de cs.utexas.edu
Maryam KamaliUniversity of LiverpoolAdresse e-mail validée de liverpool.ac.uk
Ross HorneUniversity of StrathclydeAdresse e-mail validée de strath.ac.uk
Sarah EdenhoferAdresse e-mail validée de informatik.uni-augsburg.de
Geoff SutcliffeDepartment of Computer Science, University of MiamiAdresse e-mail validée de cs.miami.edu
Mojgan KamaliRWTH Aachen UniversityAdresse e-mail validée de cs.rwth-aachen.de
Luigia PetreAssociate Professor in Computer Science, Åbo Akademi University, FinlandAdresse e-mail validée de abo.fi
Gerwin KleinProofcraft and UNSWAdresse e-mail validée de unsw.edu.au

Suivre

Peter Höfner

Australian National University (ANU)

Adresse e-mail validée de hoefner-online.de - Page d'accueil

Formal Methods


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
Automated reasoning in Kleene algebra P Höfner, G Struth International Conference on Automated Deduction, 279-294, 2007	98	2007
A process algebra for wireless mesh networks A Fehnker, R Van Glabbeek, P Höfner, A McIver, M Portmann, WL Tan Programming Languages and Systems: 21st European Symposium on Programming …, 2012	97	2012
Feature interactions, products, and composition D Batory, P Höfner, J Kim Proceedings of the 10th ACM international conference on Generative …, 2011	95	2011
Automated analysis of AODV using UPPAAL A Fehnker, R van Glabbeek, P Höfner, A McIver, M Portmann, WL Tan Heidelberg, Germany: Springer-Verlag, 2012	84	2012
Dijkstra, floyd and warshall meet kleene P Höfner, B Möller Formal Aspects of Computing 24, 459-476, 2012	75	2012
Feature algebra P Höfner, R Khedri, B Möller International Symposium on Formal Methods, 300-315, 2006	75	2006
Modelling and verifying the AODV routing protocol R van Glabbeek, P Höfner, M Portmann, WL Tan Distributed Computing 29 (4), 279-315, 2016	68	2016
An algebra of product families P Höfner, R Khedri, B Möller Software and Systems Modeling 10 (2), 161-182, 2011	66	2011
A process algebra for wireless mesh networks used for modelling, verifying and analysing AODV A Fehnker, R Van Glabbeek, P Höfner, A McIver, M Portmann, WL Tan arXiv preprint arXiv:1312.7645, 2013	62	2013
On automating the calculus of relations P Höfner, G Struth Automated Reasoning: 4th International Joint Conference, IJCAR 2008 Sydney …, 2008	62	2008
Progress, justness, and fairness RV Glabbeek, P Höfner ACM Computing Surveys (CSUR) 52 (4), 1-38, 2019	53	2019
Algebraic separation logic HH Dang, P Höfner, B Möller The Journal of Logic and Algebraic Programming 80 (6), 221-247, 2011	47	2011
Sequence numbers do not guarantee loop freedom: AODV can yield routing loops R Van Glabbeek, P Höfner, WL Tan, M Portmann Proceedings of the 16th ACM international conference on Modeling, analysis …, 2013	41	2013
An algebra of hybrid systems P Höfner, B Möller The Journal of Logic and Algebraic Programming 78 (2), 74-97, 2009	41	2009
Quantales and temporal logics B Möller, P Höfner, G Struth Algebraic Methodology and Software Technology: 11th International Conference …, 2006	34	2006
Assuming just enough fairness to make session types complete for lock-freedom R Van Glabbeek, P Höfner, R Horne 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2021	33	2021
A rigorous analysis of AODV and its variants P Höfner, RJ Van Glabbeek, WL Tan, M Portmann, A McIver, A Fehnker Proceedings of the 15th ACM international conference on Modeling, analysis …, 2012	32	2012
Statistical model checking of wireless mesh routing protocols P Höfner, A McIver NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field …, 2013	30	2013
Features, modularity, and variation points D Batory, P Höfner, B Möller, A Zelend Proceedings of the 5th International Workshop on Feature-Oriented Software …, 2013	28	2013
Supplementing Product Families with Behaviour P Höfner, R Khedri, B Möller Universitätsbibliothek der Universität Augsburg}, 2011	25	2011

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs