There is a lot of activity inside and around CeTI that serves to demonstrate and communicate the CeTI concepts, and to establish the excellent research cluster that CeTI stands for.

Contributions to public events are just one part of the activities; but there is a lot 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 stands 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.

0
Journals & Magazines
0
Incollections
0
Inproceeedings
0
Invited Talks
0
Awards
Publications
256 Einträge « 5 of 6 »

2020

Inproceedings

201.

Patrick Reipschläger; Severin Engert; Raimund Dachselt

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

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

Links | BibTeX

202.

Clemens Dubslaff; Andrey Morozov; Christel Baier; Klaus Janschek

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

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

BibTeX

203.

Andreas Noll; Basak Güleçyüz; Alexander Hofmann; Eckehard Steinbach

A rate-scalable perceptual wavelet-based vibrotactile codec Inproceedings

In: Proceedings of the IEEE Haptics Symposium, 2020.

Links | BibTeX

204.

Basak Güleçyüz; Xiao Xu; Andreas Noll; Eckehard Steinbach

On the quality-of-learning for haptic teleoperation-based skill transfer over the Tactile Internet Inproceedings

In: Proceedings of the IEEE Global Communications Conference (Globecom), 2020.

Links | BibTeX

PhD Theses

205.

Raja Palavesam

Reliability analysis of foil substrate based integration of silicon chips PhD Thesis

Technische Universität Dresden, Germany, 2020.

BibTeX

206.

Martin Schubert

Beiträge zur additiven Herstellung biokompatibler flexibler und dehnbarer Elektronik PhD Thesis

Technische Universität Dresden, Germany, 2020.

BibTeX

2019

Journal Articles

207.

Rebekka S Schubert; Maarten L Jung; Jens R Helmert; Boris M Velichkovsky; Sebastian Pannasch

Size matters: How reaching and vergence movements are influenced by the familiar size of stereoscopically presented objects Journal Article

In: PLoS ONE, 14 (11), pp. e0225311:1-29, 2019.

Links | BibTeX

208.

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

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

Links | BibTeX

209.

Simon Wunderlich; Frank H P Fitzek; Martin Reisslein

Progressive multicore RLNC decoding with online DAG scheduling Journal Article

In: IEEE Access, 7 , pp. 161184-161200, 2019.

Links | BibTeX

210.

Linda Herrmann; Martin Küttler; Tobias Stumpf; Christel Baier; Hermann Härtig; Sascha Klüppelholz

Configuration of inter-process communication with probabilistic model checking Journal Article

In: International Journal on Software Tools for Technology Transfer, 21 (6), pp. 651–666, 2019.

Links | BibTeX

211.

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

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

Links | BibTeX

212.

Vu Nguyen; Juan A Cabrera Guerrero; Dongho You; Hani Salah; Giang T Nguyen; Frank H P Fitzek

Advanced adaptive decoder using Fulcrum network codes Journal Article

In: IEEE Access, pp. 141648-141661, 2019.

Links | BibTeX

213.

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

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

Links | BibTeX

214.

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

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

Links | BibTeX

215.

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

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

BibTeX

216.

Zuo Xiang; Frank Gabriel; Elena Urbano Pérez; Giang T Nguyen; Martin Reisslein; Frank H P Fitzek

Reducing latency in virtual machines: Enabling Tactile Internet for human-machine co-working Journal Article

In: IEEE Journal on Selected Areas in Communications, 37 (5), pp. 1098-1116, 2019.

Links | BibTeX

217.

Lucas Scheuvens; Meryem Şimşek; André Noll Barreto; Norman Franchi; Gerhard P Fettweis

Framework for adaptive controller design over wireless delay-prone communication channels Journal Article

In: IEEE Access, 7 , pp. 49726-49737, 2019.

Links | BibTeX

218.

Martin Schubert; Jens Rasche; Mika-Matti Laurila; Tiina Vuorinen; Matti Mäntysalo; Karlheinz Bock

Printed flexible microelectrode for application of nanosecond pulsed electric fields on cells Journal Article

In: Materials, 12 (17), pp. 2713:1-13, 2019.

Links | BibTeX

Incollections

219.

Clemens Dubslaff; Patrick Koopmann; Anni-Yasmin Turhan

Ontology-mediated probabilistic model checking Incollection

In: Ahrendt, Wolfgang; Tarifa, Silvia L Tapia (Ed.): Integrated Formal Methods, 11918 , pp. 194–211, Springer, 2019, (Best Paper Award).

Links | BibTeX

220.

Muhammad Usama Sardar; Clemens Dubslaff; Sascha Klüppelholz; Christel Baier; Akash Kumar

Performance evaluation of thermal-constrained scheduling strategies in multi-core systems Incollection

In: Gribaudo, Marco; Iacono, Mauro; Phung-Duc, Tuan; Razumchik, Rostislav (Ed.): Computer Performance Engineering, 12039 , pp. 133–147, Springer, 2019.

BibTeX

221.

Konstantin Klamka; Patrick Reipschläger; Raimund Dachselt

CHARM: Cord-based haptic augmented reality manipulation Incollection

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

Links | BibTeX

222.

Jakob Piribauer; Christel Baier

Partial and conditional expectations in Markov decision processes with integer weights Incollection

In: Bojańczyk, Mikołaj; Simpson, Alex (Ed.): Foundations of Software Science and Computation Structures, 11425 , pp. 436–452, Springer, 2019.

BibTeX

223.

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

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

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

BibTeX

224.

Clemens Dubslaff

Compositional feature-oriented systems Incollection

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

BibTeX

225.

Dominik Rivoir; Sebastian Bodenstedt; Felix von Bechtolsheim; Marius Distler; Jürgen Weitz; Stefanie Speidel

Unsupervised temporal video segmentation as an auxiliary task for predicting the remaining surgery duration Incollection

In: Zhou, Luping; Sarikaya, Duygu; Kia, Seyed M; Speidel, Stefanie; Malpani, Anand; Hashimoto, Daniel; Habes, Mohamad; Löfstedt, Tommy; Ritter, Kerstin; Wang, Hongzhi (Ed.): OR 2.0 Context-Aware Operating Theaters and Machine Learning in Clinical Neuroimaging, 11796 , pp. 29–37, Springer, 2019, (Best Paper Award).

Links | BibTeX

226.

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

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

Links | BibTeX

227.

Micha Pfeiffer; Isabel Funke; Maria R Robu; Sebastian Bodenstedt; Leon Strenger; Sandy Engelhardt; Tobias Roß; Matthew J Clarkson; Kurinchi Gurusamy; Brian R Davidson; Lena Maier-Hein; Carina Riediger; Thilo Welsch; Jürgen Weitz; Stefanie Speidel

Generating large labeled data sets for laparoscopic image processing tasks using unpaired image-to-image translation Incollection

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

Links | BibTeX

228.

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

Generic emptiness check for fun and profit Incollection

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

Links | BibTeX

Inproceedings

229.

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

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

BibTeX

230.

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

Physical layer privacy in broadcast channels Inproceedings

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

BibTeX

231.

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

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

Links | BibTeX

232.

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

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

Links | BibTeX

233.

Robert-Steve Schmoll; Tobias Fischer; Hani Salah; Frank H P Fitzek

Comparing and evaluating application-specific boot times of virtualized instances Inproceedings

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

Links | BibTeX

234.

Andreas Traßl; Lucas Scheuvens; Tom Hößler; Norman Franchi; Gerhard P Fettweis

On dependability metrics for wireless industrial communications – Applied to IEEE 802.11ax Inproceedings

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

Links | BibTeX

235.

Lucas Scheuvens; Tom Hößler; André Noll Barreto; Gerhard P Fettweis

Wireless control communications co-design via application-adaptive resource management Inproceedings

In: Proceedings of the IEEE 5G World Forum (5GWF), 2019, (Best Paper Award).

Links | BibTeX

236.

Arturo A González Rodríguez; Andrés M Villamil Sánchez; Norman Franchi; Gerhard P Fettweis

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

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

Links | BibTeX

237.

Paul Walther; Elke Franz; Thorsten Strufe

Blind synchronization of channel impulse responses for channel reciprocity-based key generation Inproceedings

In: Proceedings of the IEEE Local Computer Networks (LCN), 2019.

Links | BibTeX

238.

Martin Byrenheid; Stefanie Roos; Thorsten Strufe

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

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

BibTeX

239.

Andreas Peetz; Konstantin Klamka; Raimund Dachselt

BodyHub: A reconfigurable wearable system for clothing Inproceedings

In: Proceedings of the ACM Symposium on User Interface Software and Technology (UIST), 2019.

Links | BibTeX

240.

Roberto Torre; Hani Salah; Giang T Nguyen; Frank H P Fitzek

Evaluating the latency overhead of network-coded cooperative networks for different cloud sizes Inproceedings

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

Links | BibTeX

241.

Mahshid Mehrabi; Hani Salah; Frank H P Fitzek

A survey on mobility management for MEC-enabled systems Inproceedings

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

Links | BibTeX

242.

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

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

Links | BibTeX

243.

Andreas Traßl; Tom Hößler; Lucas Scheuvens; Norman Franchi; Gerhard P Fettweis

Deriving an empirical channel model for wireless industrial indoor communications Inproceedings

In: Proceedings of the IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC), 2019.

BibTeX

244.

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

Breaking the limits of redundancy systems analysis Inproceedings

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

BibTeX

245.

Dominik Grzelak; Uwe Aßmann

Bigraphical meta-modeling of fog computing-based systems Inproceedings

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

BibTeX

246.

Amr Osman; Simon Hanisch; Thorsten Strufe

SeCoNetBench: A modular framework for secure container networking benchmarks Inproceedings

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

Links | BibTeX

247.

Christel Baier; Nathalie Bertrand; Jakob Piribauer; Ocan Sankur

Long-run satisfaction of path properties Inproceedings

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

Links | BibTeX

248.

Andrés M Villamil Sánchez; Arturo A González Rodríguez; Norman Franchi; Gerhard P Fettweis

Observer-based packet drop mitigation for string stable CACC Inproceedings

In: Proceedings of the International Conference on Control and Robot Technology (ICCRT), 2019.

Links | BibTeX

249.

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

Model refactoring with relational Reference Attribute Grammars Inproceedings

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

BibTeX

250.

Tobias Reiher; Alexander Senier; Jerónimo Castrillón Mazo; Thorsten Strufe

RecordFlux: Formal message specification and generation of verifiable binary parsers Inproceedings

In: Proceedings of the Proceedings of the International Conference on Formal Aspects of Component Software (FACS), 2019.

BibTeX

256 Einträge « 5 of 6 »