BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Canada
1 × Germany
1 × South Africa
1 × USA
1 × United Kingdom
2 × Estonia
Collaborated with:
G.Struth R.J.v.Glabbeek R.Khédri B.Möller A.Fehnker A.McIver M.Portmann W.L.Tan D.S.Batory J.Kim A.Huhn W.Kießling E.Bres R.v.Glabbeek M.Markl M.Kamali M.Kamali L.Petre
Talks about:
algebra (6) process (3) autom (3) wireless (2) network (2) analysi (2) featur (2) rout (2) reconcili (1) distribut (1)

Person: Peter Höfner

DBLP DBLP: H=ouml=fner:Peter

Contributed to:

SEFM 20152015
ESOP 20122012
TACAS 20122012
GPCE 20112011
IJCAR 20082008
SEFM 20082008
CADE 20072007
FM 20062006
ECDL 20052005
ESOP 20162016
ESOP 20192019

Wrote 11 papers:

SEFM-2015-KamaliHKP #analysis #distributed #formal method
Formal Analysis of Proactive, Distributed Routing (MK, PH, MK, LP), pp. 175–189.
ESOP-2012-FehnkerGHMPT #algebra #network #process
A Process Algebra for Wireless Mesh Networks (AF, RJvG, PH, AM, MP, WLT), pp. 295–315.
TACAS-2012-FehnkerGHMPT #analysis #automation #using
Automated Analysis of AODV Using UPPAAL (AF, RJvG, PH, AM, MP, WLT), pp. 173–187.
GPCE-2011-BatoryHK #composition #feature model #interactive
Feature interactions, products, and composition (DSB, PH, JK), pp. 13–22.
IJCAR-2008-HofnerS #automation #calculus #on the
On Automating the Calculus of Relations (PH, GS), pp. 50–66.
SEFM-2008-HofnerKM #algebra
Algebraic View Reconciliation (PH, RK, BM), pp. 85–94.
CADE-2007-HofnerS #algebra #automation #reasoning
Automated Reasoning in Kleene Algebra (PH, GS), pp. 279–294.
FM-2006-HofnerKM #algebra
Feature Algebra (PH, RK, BM), pp. 300–315.
ECDL-2005-HuhnHK #library #ontology #quality #towards
Towards Evaluating the Impact of Ontologies on the Quality of a Digital Library Alerting System (AH, PH, WK), pp. 498–499.
ESOP-2016-BresGH #algebra #network #process
A Timed Process Algebra for Wireless Networks with an Application in Routing - (Extended Abstract) (EB, RJvG, PH), pp. 95–122.
ESOP-2019-GlabbeekHM #algebra #process #protocol
A Process Algebra for Link Layer Protocols (RvG, PH, MM), pp. 668–693.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.