No photo of Ansgar Fehnker

Ansgar Fehnker

dr.

19982018
If you made any changes in Pure these will be visible here soon.

Research Output 1998 2018

Filter
Paper
2015

Modelling and Analysis of AODV in UPPAAL

Fehnker, A., Glabbeek, R. J. V., Höfner, P., McIver, A., Portmann, M. & Tan, W. L., 23 Dec 2015. 6 p.

Research output: Contribution to conferencePaperAcademic

Open Access
File
Model checking
Network protocols
Formal methods
Wireless ad hoc networks
Routing protocols
1998
12 Citations (Scopus)
46 Downloads (Pure)

Operational and logical semantics for polling real-time systems

Anders, P. R. (ed.), Dierks, H., Fehnker, A., Rischel, H. (ed.), Fehnker, A., Mader, A. H. & Vaandrager, F., Sep 1998, p. 29-40. 12 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File