% % This file was created by the TYPO3 extension % bib % --- Timezone: CET % Creation date: 2024-03-29 % Creation time: 00-25-37 % --- Number of references % 2 % @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} } @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} }