% 
% This file was created by the TYPO3 extension
% bib
% --- Timezone: CEST
% Creation date: 2024-04-26
% Creation time: 13-59-12
% --- Number of references
% 4
% 

@Inproceedings { DombrowskiSRDS16,
   title = {Model-Checking Assisted Protocol Design for Ultra-reliable Low-Latency Wireless Networks},
   year = {2016},
   month = {9},
   day = {27},
   pages = {307--316},
   keywords = {fault tolerance;formal verification;protocols;wireless channels;EchoRing protocol;fault-tolerant methods;formal model-based verification;model-checking assisted protocol;probabilistic model checking;reliability constraints;safety-critical industrial applications;salient features;token loss;token-based system;ultrareliable low-latency wireless networks;unprecedented latency;wireless networking community;wireless protocols;wireless token-passing systems;Automata;Model checking;Payloads;Probabilistic logic;Protocols;Reliability;Wireless communication;Model checking;Probabilistic timed automata;Token passing;Wireless Industrial Networks;tool-assisted protocol design;validation},
   tags = {cps,hodrian},
   web_url = {http://ieeexplore.ieee.org/document/7794360/},
   booktitle = {Proc. of IEEE 35th Symposium on Reliable Distributed Systems},
   organization = {IEEE},
   event_place = {Budapest, Hungary},
   event_name = {IEEE 35th Symposium on Reliable Distributed Systems (SRDS)},
   DOI = {10.1109/SRDS.2016.048},
   reviewed = {1},
   author = {Dombrowski, Christian and Junges, Sebastian and Katoen, Joost-Pieter and Gross, James}
}

@Conference { 2016-hohlfeld-qcman,
   title = {Insensitivity to Network Delay: Minecraft Gaming Experience of Casual Gamers},
   year = {2016},
   month = {9},
   abstract = {Assessing the impact of network delay on perceived quality of gaming has been subject to many studies involving different genres ranging from fast-paced first-person shooters to strategy games. This paper assesses the impact of network latency on the Quality of Experience (QoE) of casual gamers playing Minecraft. It is based on a user study involving 12 casual gamers with no prior experience with Minecraft. QoE is assessed using the Game Experience Questionnaire (GEQ) and dedicated questions for the overall perceived quality and experienced gameplay interruptions. The main finding is that casual Minecraft players are rather insensitive to network delay of up to 1 sec.},
   url = {https://i-teletraffic.org/_Resources/Persistent/bc99ba4324ebc7cf1369f09a6caa334c0203943f/Hohlfeld2016.pdf},
   web_url = {http://ieeexplore.ieee.org/abstract/document/7810715/?reload=true},
   booktitle = {IEEE QCMan},
   event_name = {IEEE QCMan},
   DOI = {10.1109/ITC-28.2016.313},
   author = {Hohlfeld, Oliver and Fiedler, Hannes and Pujol, Enric and Guse, Dennis}
}

@Inproceedings { 2016-serror-wowmom-arq,
   title = {Performance Analysis of Cooperative ARQ Systems for Wireless Industrial
Networks},
   year = {2016},
   month = {6},
   day = {21},
   tags = {koi},
   publisher = {IEEE},
   howpublished = {online},
   booktitle = {17th IEEE International Symposium on a World of Wireless, Mobile and
Multimedia Networks (IEEE WoWMoM 2016), Coimbra, Portugal},
   event_place = {Coimbra, Portugal},
   language = {en},
   DOI = {10.1109/WoWMoM.2016.7523534},
   reviewed = {1},
   author = {Serror, Martin and Hu, Yulin and Dombrowski, Christian and Wehrle, Klaus and Gross, James}
}

@Article { 2016-kunz-tomacs-horizon,
   title = {Parallel Expanded Event Simulation of Tightly Coupled Systems},
   journal = {ACM Transactions on Modeling and Computer Simulation (TOMACS)},
   year = {2016},
   month = {1},
   volume = {26},
   number = {2},
   pages = {12:1--12:26},
   abstract = {The technical evolution of wireless communication technology and the need for accurately modeling these increasingly complex systems causes a steady growth in the complexity of simulation models. At the same time, multi-core systems have become the de facto standard hardware platform. Unfortunately, wireless systems pose a particular challenge for parallel execution due to a tight coupling of network entities in space and time. Moreover, model developers are often domain experts with no in-depth understanding of parallel and distributed simulation. In combination, both aspects severely limit the performance and the efficiency of existing parallelization techniques.

We address these challenges by presenting parallel expanded event simulation, a novel modeling paradigm that extends discrete events with durations which span a period in simulated time. The resulting expanded events form the basis for a conservative synchronization scheme that considers overlapping expanded events eligible for parallel processing. We furthermore put these concepts into practice by implementing Horizon, a parallel expanded event simulation framework specifically tailored to the characteristics of multi-core systems. Our evaluation shows that Horizon achieves considerable speedups in synthetic as well as real-world simulation models and considerably outperforms the current state-of-the-art in distributed simulation.},
   keywords = {Parallel discrete event simulation, Multi-core Systems, Wireless Systems, Simulation Modeling Paradigm, Conservative Synchronization},
   tags = {horizon},
   publisher = {ACM},
   language = {en},
   DOI = {10.1145/2832909},
   reviewed = {1},
   author = {Kunz, Georg and Stoffers, Mirko and Landsiedel, Olaf and Wehrle, Klaus and Gross, James}
}