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: ScientificPaper

Model checking
Formal methods
Wireless ad hoc networks
Routing protocols
Algebra
1998
12 Citations

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: Scientific - peer-reviewPaper

Semantics
Programmable logic controllers
Real time systems
Hardware