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: H=ouml=fner:Peter
Contributed to:
2015
2012
2012
2011
20082008
2007
2006
200520162019Wrote 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.