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

Dombrowski, Christian; Junges, Sebastian; Katoen, Joost-Pieter; Gross, James; Ackermann, Pascal; Kohlschein, Christian; Bitsch Link, Jó Agila; Wehrle, Klaus; Jeschke, Sabina; Jakobs, Kai; Cheng, Paula Glenda Ferrer; Ramos, Roann Munoz; Bitsch Link, Jó Agila; Jonas, Stephan Michael; Ix, Tim; See, Portia Lynn Quetulio; Wehrle, Klaus; Jakobs, Kai; Jakobs, Kai; Mione, Anne; Cutting-Decelle, Anne-Francoise; Mignon, Sophie; Ramos, Roann Munoz; Cheng, Paula Glenda Ferrer; Bitsch Link, Jó Agila; Jonas, Stephan Michael; Ramos, Roann Munoz; Cheng, Paula Glenda Ferrer; Bitsch Link, Jó Agila; Jonas, Stephan Michael; Bolke-Hermanns, Helen; Jakobs, Kai; Jakobs, Kai; Jakobs, Kai

doi:10.1109/SRDS.2016.048

Publications

Year:

All :: 2005, ... , 2015, 2016, 2017, ... , 2023

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

All :: Jaeger, ... , Jerlang, Jeschke, Jokela, ... , Junges

58.	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/
57.	Pascal Ackermann, Christian Kohlschein, Jó Agila Bitsch Link, Klaus Wehrle, and Sabina Jeschke EEG-based Automatic Emotion Recognition: Feature Extraction, Selection and Classification Methods 2016 IEEE 18th International Conference on e-Health Networking, Applications and Services (Healthcom), page 159--164. Publisher: IEEE, September 2016 ISBN: 978-1-5090-3370-6 http://ieeehealthcom2016.com/
56.	Kai Jakobs Standardisation of e-merging IoT-Applications: Past, Present and a Glimpse into the Future. Proc. International Workshop on Standardising the IoT and its Applications (SITA 2016), 2016, Vienna, Austria. Publisher: IEEE, August 2016
55.	Paula Glenda Ferrer Cheng, Roann Munoz Ramos, Jó Agila Bitsch Link, Stephan Michael Jonas, Tim Ix, Portia Lynn Quetulio See, and Klaus Wehrle Psychologist in a Pocket: Lexicon Development and Content Validation of a Mobile-Based App for Depression Screening JMIR Mhealth Uhealth, 4(3):e88 July 2016 ISSN: 2291-5222 DOI: 10.2196/mhealth.5284 http://mhealth.jmir.org/2016/3/e88/ http://www.ncbi.nlm.nih.gov/pubmed/27439444
54.	Kai Jakobs Trust in Open Standardisation?! Management in a Digital World: Decisions, Production, Communication. Proceedings 28th Sinergie Annual Conference. 2016, Udine, Italy Publisher: CUEIM Comunicazione srl, June 2016
53.	Kai Jakobs, Anne Mione, Anne-Francoise Cutting-Decelle, and Sophie Mignon Co-opetition and Open Innovation. Proc. 21st EURAS Annual Standardisation Conference, 2016, Montpellier, France Publisher: Mainz, May 2016 ISBN: 978-3-95886-103-9
52.	Roann Munoz Ramos, Paula Glenda Ferrer Cheng, Jó Agila Bitsch Link, and Stephan Michael Jonas How Do I Say "Sad?" Building a Depression-Lexicon for Psychologist in a Pocket Proceedings of the International Psychological Applications Conference and Trends (InPACT 2016), page 1--6. Publisher: World Institute for Advanced Research and Science, Lisbon, Portugal April 2016 ISBN: 978-989-99389-6-0 http://inpact-psychologyc.../2016/conference-program/
51.	Roann Munoz Ramos, Paula Glenda Ferrer Cheng, Jó Agila Bitsch Link, and Stephan Michael Jonas Feeling Meh: Psychologist in a pocket app for depression screening Proceedings of the International Psychological Applications Conference and Trends (InPACT 2016), page 1--4. Publisher: World Institute for Advanced Research and Science, Lisbon, Portugal April 2016 ISBN: 978-989-99389-6-0 http://inpact-psychologyc.../2016/conference-program/
50.	Helen Bolke-Hermanns and Kai Jakobs YOLO oder die Kunst der Internet-Kommunikation PIK – Praxis der Informationsverarbeitung und Kommunikation, 38(4):129-133 2016 ISSN: 1865-8342
49.	Kai Jakobs Effective Standardization Management in Corporate Settings. Publisher: IGI Global, Hershey, USA, 2016 ISBN: 978-1-4666-9737-9
48.	Kai Jakobs Proc. 9th International Conference on Standardization and Innovation in Information Technology (IEEE SIIT), 2015, Mountain View, USA Publisher: IEEE, 2016 ISBN: 978-1-4673-9532-8

Export as:

BibTeX, XML