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

Publications

Year:

All :: 2004, ... , 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

111.	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/
110.	Oliver Hohlfeld, Hannes Fiedler, Enric Pujol, and Dennis Guse Insensitivity to Network Delay: Minecraft Gaming Experience of Casual Gamers IEEE QCMan September 2016 DOI: 10.1109/ITC-28.2016.313 http://ieeexplore.ieee.or...ment/7810715/?reload=true
109.	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
108.	Georg Kunz, Mirko Stoffers, Olaf Landsiedel, Klaus Wehrle, and James Gross Parallel Expanded Event Simulation of Tightly Coupled Systems ACM Transactions on Modeling and Computer Simulation (TOMACS), 26(2):12:1--12:26 January 2016 DOI: 10.1145/2832909

Export as: