Check CeTI's multifaceted impacts

There is a lot of activity inside and around CeTI that serves for demonstrating and communicating the CeTI concepts, and that serves for establishing the excellent research cluster  that CeTI stand for.

Contributions to public events are just one part of the activities; but there is a lot is happening inside and among the researchers and chairs.

There is a lot of activity inside and around CeTI that serves for demonstrating and communicating the CeTI concepts, and that serves for establishing the excellent research cluster  that CeTI stand for.

Contributions to public events are just one part of the activities; but there is a lot is happening inside and among the researchers and chairs.

Current Activities
Upcoming Activities
Past Topics

Video about CeTI at 3sat nano

October 25th, 2019|general|

Already this summer the film was shot with Prof. Frank H. P. Fitzek, speaker of the Cluster of Excellence CeTI, about the [...]

CeTI Summer School at TU Dresden

July 11th, 2019|general|

The Summer School of the Centre for Tactile Internet with Human-in-the-Loop will take place from 23rd to 27th September 2019 at Technische [...]

76 entries « 1 of 2 »

2020

Aritra Bhowmik; Stefan Gumhold; Carsten Rother; Eric Brachmann

Reinforced feature points: Optimizing feature detection and description for a high-level task Inproceedings

Proceedings of the Computer Vision and Pattern Recognition Conference (CVPR), 2020.

BibTeX

Annika Dix; Shu-Chen Li

Incentive motivation improves numerosity discrimination: Insights from pupillometry combined with drift-diffusion modelling Journal Article

Scientific Reports, 10 , pp. 2608:1-11, 2020.

BibTeX

Tung V Doan; Zhongyi Fan; Giang T Nguyen; Hani Salah; Dongho You; Frank H P Fitzek

Follow me, if you can: A framework for seamless migration in mobile edge cloud Inproceedings

Proceedings of the IEEE International Conference on Computer Communications (INFOCOM), International Workshop on Intelligent Cloud Computing and Networking (ICCN), 2020.

BibTeX

Dominik Grzelak; Uwe Aßmann

Preparatory reflections on safe context-adaptive software (Position paper) Inproceedings

Proceedings of the International Conference on Internet of Things, Big Data and Security (IoTBDS), 2020.

BibTeX

Konstantin Klamka; Tom Horak; Raimund Dachselt

Watch+Strap: Extending smartwatches with interactive StrapDisplays Inproceedings

Proceedings of the ACM Conference on Human Factors in Computing Systems (CHI), 2020.

BibTeX

Konstantin Klamka; Raimund Dachselt; Jürgen Steimle

Rapid iron-on user interfaces: Hands-on fabrication of interactive textile prototypes Inproceedings

Proceedings of the ACM Conference on Human Factors in Computing Systems (CHI), 2020.

BibTeX

Konstantin Klamka; Raimund Dachselt; Jürgen Steimle

Demonstrating rapid iron-on user interfaces: Hands-on fabrication of interactive textile prototypes Inproceedings

Proceedings of the ACM Conference on Human Factors in Computing Systems (CHI) – Extended Abstracts, 2020.

BibTeX

Christoph Koch; Shu-Chen Li; Thad A Polk; Nicolas W Schuck

Effects of aging on encoding of walking direction in the human brain Journal Article

Neuropsychologia, 141 , pp. 107379:1-13, 2020.

BibTeX

Vincent Latzko; Christian Leonard Vielhaus; Frank H P Fitzek

Use case driven evolution of network coding parameters enabling Tactile Internet applications Inproceedings

Proceedings of the IEEE International Conference on Communications (ICC), Communication Theory Symposium, 2020.

BibTeX

Mahshid Mehrabi; Pooria Taghdiri; Vincent Latzko; Hani Salah; Frank H P Fitzek

Accurate energy-efficient localization algorithm for IoT sensors Inproceedings

Proceedings of the IEEE International Conference on Communications (ICC), Selected Areas in Communications: Internet of Things Track, 2020.

BibTeX

Patrick Reipschläger; Severin Engert; Raimund Dachselt

Augmented displays: Seamlessly extending interactive surfaces with head-mounted augmented reality Inproceedings

Proceedings of the ACM Conference on Human Factors in Computing Systems (CHI) – Extended Abstracts, 2020.

BibTeX

Ievgenii A Tsokalo; David Kuß; Ievgen Kharabet; Frank H P Fitzek; Martin Reisslein

Remote robot control with Human-in-the-Loop over long distances using digital twins Inproceedings

Proceedings of the IEEE Global Communications Conference (Globecom), Selected Areas in Communications: Tactile Internet, 2020.

BibTeX

Vu Nguyen; Elif Tasdemir; Giang T Nguyen; Daniel E Lucani Rötter; Frank H P Fitzek; Martin Reisslein

DSEP Fulcrum: Dynamic sparsity and expansion packets for Fulcrum network coding Journal Article

IEEE Access, 8 , pp. 78293-78314, 2020.

BibTeX

Huanzhuo Wu; Yunbin Shen; Jiajing Zhang; Ievgenii A Tsokalo; Hani Salah; Frank H P Fitzek

Component-dependent independent component analysis for time-sensitive applications Inproceedings

Proceedings of the IEEE International Conference on Communications (ICC), 2020.

BibTeX

Xin An; Jens Wagner; Frank Ellinger

An efficient ultrawideband pulse transmitter with automatic on-off functionality for primary radar systems Journal Article

IEEE Microwave and Wireless Components Letters, 2020.

BibTeX

Christel Baier; Christian Hensel; Lisa Hutschenreiter; Sebastian Junges; Joost-Pieter Katoen; Joachim Klein

Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination Journal Article

Information and Computation, 272 , pp. 104504:1-27, 2020.

BibTeX

Martin Byrenheid; Stefanie Roos; Thorsten Strufe

Attack resistant leader election in social overlay networks by leveraging local voting Inproceedings

Proceedings of the Distributed Computing and Communication Networks (ICDCN), 2020.

BibTeX

Clemens Deußer; Steffen Passmann; Thorsten Strufe

Browsing Unicity: On the limits of anonymizing web tracking data Inproceedings

Proceedings of the IEEE Symposium on Security and Privacy (S&P), 2020, (accepted for publication).

BibTeX

Clemens Dubslaff; Andrey Morozov; Christel Baier; Klaus Janschek

Iterative variable reordering: Taming huge system families Incollection

Ansgar Fehnker; Hubert Garavel (Ed.): Proceedings of the Workshop on Models for Formal Analysis of Real Systems (MARS), 316 , pp. 121–133, Open Publishing Association, 2020.

BibTeX

Clemens Dubslaff; Andrey Morozov; Christel Baier; Klaus Janschek

Reduction methods on error-propagation graphs for quantitative systems reliability analysis Inproceedings

Proceedings of the European Safety and Reliability Conference (ESREL) and Probabilistic Safety Assessment and Management Conference (PSAM), 2020.

BibTeX

Florian Funke; Simon Jantsch; Christel Baier

Farkas certificates and minimal witnesses for probabilistic reachability constraints Incollection

Armin Biere; David Parke (Ed.): Tools and Algorithms for the Construction and Analysis of Systems, 12078 , pp. 324-345, Springer, 2020.

BibTeX

Christiane Kuhn; Martin Beck; Thorsten Strufe

Breaking and (partially) fixing provably secure onion routing Inproceedings

Proceedings of the IEEE Symposium on Security and Privacy (S&P), 2020, (accepted for publication).

BibTeX

Christiane Kuhn; Martin Beck; Thorsten Strufe

Covid notions: Towards formal definitions – and documented understanding – of privacy goals and claimed protection in proximity-tracing services Journal Article

CoRR, abs/2004.07723 , 2020.

BibTeX

Johannes Mey; René Schöne; Görel Hedin; Emma Söderberg; Thomas Kühn; Niklas Fors; Jesper Öqvist; Uwe Aßmann

Relational reference attribute grammars: Improving continuous model validation Journal Article

Journal of Computer Languages, 57 , pp. 100940:1-21, 2020, (including an software artefact, available at zenodo.org/record/3666664).

BibTeX

Johannes Mey; Thomas Kühn; René Schöne; Uwe Aßmann

Reusing static analysis across different domain-specific languages using reference attribute grammars Journal Article

The Art, Science, and Engineering of Programming, 4 (3), pp. 15:1-36, 2020, (including an software artefact, available at zenodo.org/record/3659198).

BibTeX

2019

Roberto Torre; Goiuri Peralta; Oleksandr Zhdanenko; Alexander Kropp; Hani Salah; Giang T Nguyen; Stanislav Mudriievskyi; Frank H P Fitzek

Enhanced driving with 5G: A new approach for alleviating traffic congestion Inproceedings

Proceedings of the IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN), 2019.

BibTeX

Boris M Velichkovsky; Anastasia N Korosteleva; Sebastian Pannasch; Jens R Helmert; Viacheslav A Orlov; Maxim G Sharaev; Boris B Velichkovsky; Vadim L Ushakov

Two visual systems and their eye movements: A fixation-based event-related experiment with ultrafast fMRI reconciles competing views Journal Article

Sovremennye tehnologii v medicine, 11 (4), pp. 7-16, 2019.

BibTeX

Nico Adelhöfer; Krutika Gohil; Susanne Passow; Christian Beste; Shu-Chen Li

Lateral prefrontal anodal transcranial direct current stimulation augments resolution of auditory perceptual-attentional conflicts Journal Article

NeuroImage, 199 , pp. 217-227, 2019.

BibTeX

Amr Osman; Simon Hanisch; Thorsten Strufe

SeCoNetBench: A modular framework for secure container networking benchmarks Inproceedings

Proceedings of the European Workshop on Security and Privacy in Edge Computing (EuroS&P), 2019.

BibTeX

Christel Baier; Nathalie Bertrand; Jakob Piribauer; Ocan Sankur

Long-run satisfaction of path properties Inproceedings

Proceedings of the ACM/IEEE Symposium on Logic in Computer Science (LICS), 2019.

BibTeX

Christel Baier; František Blahoudek; Alexandre Duret-Lutz; Joachim Klein; David Müller; Jan Strejček

Generic emptiness check for fun and profit Incollection

Yu-Fang Chen; Chih-Hong Cheng; Javier Esparza (Ed.): Automated Technology for Verification and Analysis, 11781 , pp. 445-461, Springer, 2019.

BibTeX

Patrik J Braun; Ádám Budai; János Levendovszky; Márton Sipos; Péter Ekler; Frank H P Fitzek

Mobile peer-to-peer assisted coded streaming Journal Article

IEEE Access, 7 , pp. 159332-159346, 2019.

BibTeX

Wolfgang Büschel; Annett Mitschick; Thomas Meyer; Raimund Dachselt

Investigating smartphone-based pan and zoom in 3D data spaces in augmented reality Inproceedings

Proceedings of the International Conference on Human–Computer Interaction with Mobile Devices and Services (MobileHCI), 2019.

BibTeX

Martin Byrenheid; Stefanie Roos; Thorsten Strufe

Attack-resistant spanning tree construction in route-restricted overlay networks Inproceedings

Proceedings of the IEEE International Symposium on Reliable Distributed Systems (SRDS), 2019.

BibTeX

Tung V Doan; Giang T Nguyen; Hani Salah; Sreekrishna Pandi; Michael Jarschel; Rastin Pries; Frank H P Fitzek

Containers vs. virtual machines: Choosing the right virtualization technology for mobile edge clouds Inproceedings

Proceedings of the IEEE 5G World Forum (5GWF), 2019.

BibTeX

Clemens Dubslaff

Compositional feature-oriented systems Incollection

Peter Csaba Ølveczky; Gwen Salaün (Ed.): Software Engineering and Formal Methods, 11724 , pp. 162-180, Springer, 2019.

BibTeX

Clemens Dubslaff; Kai Ding; Andrey Morozov; Christel Baier; Klaus Janschek

Breaking the limits of redundancy systems analysis Inproceedings

Proceedings of the European Safety and Reliability Conference (ESREL), 2019.

BibTeX

Clemens Dubslaff; Patrick Koopmann; Anni-Yasmin Turhan

Ontology-mediated probabilistic model checking Incollection

Wolfgang Ahrendt; Silvia Lizeth Tapia Tarifa (Ed.): Integrated Formal Methods, 11918 , pp. 194-211, Springer, 2019.

BibTeX

Isabel Funke; Sebastian Bodenstedt; Florian Oehme; Felix von Bechtolsheim; Jürgen Weitz; Stefanie Speidel

Using 3D convolutional neural networks to learn spatiotemporal features for automatic surgical gesture recognition in video Incollection

Dinggang Shen; Tianming Liu; Terry M Peters; Lawrence H Staib; Caroline Essert; Sean Zhou; Pew-Thian Yap; Ali Khan (Ed.): Medical Image Computing and Computer Assisted Intervention – MICCAI 2019, 11768 , pp. 467-475, Springer, 2019.

BibTeX

Arturo A González; Andrés Mauricio Villamil Sanchez; Norman Franchi; Gerhard P Fettweis

String stable CACC under LTE-V2V mode3: Scheduling periods and transmission delays Inproceedings

Proceedings of the IEEE 5G World Forum (5GWF), 2019.

BibTeX

Dominik Grzelak; Uwe Aßmann

Bigraphical meta-modeling of fog computing-based systems Inproceedings

Proceedings of the International Conference on Discrete Models of Complex Systems (SOLSTICE), 2019.

BibTeX

Danica Hilliard; Susanne Passow; Franka Thurm; Nicolas W Schuck; Alexander Garthe; Gerd Kempermann; Shu-Chen Li

Noisy galvanic vestibular stimulation modulates spatial memory in young healthy adults Journal Article

Scientific Reports, 9 , pp. 9310:1-11, 2019.

BibTeX

Sarah Irum; Roberto Torre; Hani Salah; Giang T Nguyen; Gerrit Schulte; Frank H P Fitzek

Network-coded cooperative communication in virtualized mobile small cells Inproceedings

Proceedings of the IEEE 5G World Forum (5GWF) – SECRET Workshop, 2019.

BibTeX

Simon Jantsch; David Müller; Christel Baier; Joachim Klein

From LTL to unambiguous Büchi automata via disambiguation of alternating automata Incollection

Maurice H ter Beek; Annabelle McIver; José N Oliveira (Ed.): Formal Methods – The Next 30 Years, 11800 , pp. 262-279, Springer, 2019.

BibTeX

Konstantin Klamka; Patrick Reipschläger; Raimund Dachselt

CHARM: Cord-based haptic augmented reality manipulation Incollection

Jessie Y C Chen; Gino Fragomeni (Ed.): Virtual, Augmented and Mixed Reality – Multimodal Interaction, 11574 , pp. 96-114, Springer, 2019.

BibTeX

Pin-Hsun Lin; Christiane Kuhn; Thorsten Strufe; Eduard A Jorswieck

Physical layer privacy in broadcast channels Inproceedings

Proceedings of the IEEE International Workshop on Information Forensics and Security (WIFS), 2019.

BibTeX

Lisa-Marie Lüneburg; Emese Papp; Jens Krzywinski

5G Sports – Tragbare Technologiedemonstratoren im Bereich 5G Inproceedings

Proceedings of the Konferenz Entwerfen Entwickeln Erleben (EEE), 2019.

BibTeX

Mahshid Mehrabi; Hani Salah; Frank H P Fitzek

A survey on mobility management for MEC-enabled systems Inproceedings

Proceedings of the IEEE 5G World Forum (5GWF) – SECRET Workshop, 2019.

BibTeX

Mahshid Mehrabi; Dongho You; Vincent Latzko; Hani Salah; Martin Reisslein; Frank H P Fitzek

Device-enhanced MEC: Multi-access edge computing (MEC) aided by end device computation and caching: A survey Journal Article

IEEE Access, 7 , pp. 166079-166108, 2019.

BibTeX

Johannes Mey; René Schöne; Uwe Aßmann; Niklas Fors; Görel Hedin

Model refactoring with relational Reference Attribute Grammars Inproceedings

Proceedings of the International Conference on integrated Formal Methods (iFM); Refactoring Tutorials, 2019.

BibTeX

76 entries « 1 of 2 »
Past Activities

Innovation Forum for Automation

5G macht Schule

January 14

1. MINT-Day at Ehrenfried-Walther-von-Tschirnhaus-Gymnasium Dresden

UNI LIVE Hochschulinformationstag

New Year Reception at the Institute of computer science at the Friedrich Schiller University Jena

Guest Lecture at the Institute of Technical Informatics

Colloquium on Department of Computer Science at Kiel University

Technical Tutorial – IEEE Global Communications Conference, Waikoloa, Hawaii, USA

Technical Tutorial – IEEE Global Communications Conference, Waikoloa, Hawaii

Talk at University of California, Irvine

Industry Workshop Future Networks toward 6G – IEEE Global Communications Conference

Industry Workshop Future Networks toward 6G – IEEE Global Communications Conference, Waikoloa, Hawaii

Schwarzmarkt für Nützliches Wissen und Nichtwissen in Dresden

AACHEN-DRESDEN-DENKENDORF International Textile Conference, Dresden

intap Career Café

AI for 5G & Beyond Day, The influence of machine intelligence on future networks, Berlin, Germany

Talk at Image-Guided Interventions (IGIC) Conference, Mannheim, Germany

Workshop at Technische Universität Dresden

Round Table for Future Networkings, Seoul, Republic of Korea

Yonsei Summit for AI & 5/6G, Seoul, Republic of Korea

Yonsei University, Seoul, Republic of Korea