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 × 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 DBLP: Fehnker:Ansgar

Contributed to:

ESOP 20122012
TACAS 20122012
SCAM 20082008
IFM 20072007
TACAS 20032003
CAV 20012001
TACAS 20012001

Wrote 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.

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.