Model-Checking Assisted Protocol Design for Ultra-reliable Low-Latency Wireless Networks

Publications

Year:

All :: 2006, ... , 2015, 2016, 2017, ... , 2025

Author:

All :: A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, Ö, P, Q, R, S, T, U, V, W, X, Y, Z

18.	Christian Dombrowski, Sebastian Junges, Joost-Pieter Katoen, and James Gross Model-Checking Assisted Protocol Design for Ultra-reliable Low-Latency Wireless Networks Proc. of IEEE 35th Symposium on Reliable Distributed Systems, page 307--316. IEEE September 2016 DOI: 10.1109/SRDS.2016.048 http://ieeexplore.ieee.org/document/7794360/
17.	Martin Serror, Yulin Hu, Christian Dombrowski, Klaus Wehrle, and James Gross Performance Analysis of Cooperative ARQ Systems for Wireless Industrial Networks 17th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (IEEE WoWMoM 2016), Coimbra, Portugal Publisher: IEEE, June 2016 DOI: 10.1109/WoWMoM.2016.7523534

Export as: