Travelled to:1 × China
1 × France
1 × Italy
1 × Poland
1 × United Kingdom
2 × Estonia
Collaborated with:G.Behrmann R.J.v.Glabbeek P.Höfner A.McIver M.Portmann W.L.Tan L.v.Hoesel A.Mader R.Huuck F.Rauch S.Seefried E.M.Clarke Z.Han B.H.Krogh O.Stursberg M.Theobald K.G.Larsen E.Brinksma T.Hune P.Pettersson J.Romijn
Talks about:wireless (2) network (2) analysi (2) uppaal (2) system (2) effici (2) verif (2) optim (2) guid (2) cost (2)
Person: Ansgar Fehnker
DBLP: Fehnker:Ansgar
Contributed to:
2012
2012
2008
20072003
20012001Wrote 7 papers:
- 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.
- SCAM-2008-FehnkerHRS #assembly #embedded #program analysis
- Some Assembly Required — Program Analysis of Embedded System Code (AF, RH, FR, SS), pp. 15–24.
- IFM-2007-FehnkerHM #modelling #network #protocol #verification
- Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks (AF, LvH, AM), pp. 253–272.
- TACAS-2003-ClarkeFHKST #abstraction #hybrid #refinement #verification
- Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement (EMC, AF, ZH, BHK, OS, MT), pp. 192–207.
- CAV-2001-LarsenBBFHPR #automaton #performance #reachability
- As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata (KGL, GB, EB, AF, TH, PP, JR), pp. 493–505.
- TACAS-2001-BehrmannF #performance #towards
- Efficient Guiding Towards Cost-Optimality in UPPAAL (GB, AF), pp. 174–188.