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
Book Chapters
0
Awards

Awards

Publications

740 Einträge « 15 of 15 »

2019

Journal Articles

701.

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, vol. 9, pp. 9310:1–11, 2019.

Links | BibTeX

702.

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, vol. 7, pp. 49726–49737, 2019.

Links | BibTeX

703.

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, vol. 37, no. 5, pp. 1098–1116, 2019.

Links | BibTeX

Book Sections

704.

Clemens Dubslaff; Patrick Koopmann; Anni-Yasmin Turhan

Ontology-mediated probabilistic model checking Book Section

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

Links | BibTeX

705.

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

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

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

Links | BibTeX

706.

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

RecordFlux: Formal message specification and generation of verifiable binary parsers Book Section

In: Arbab, Farhad; Jongmans, Sung-Shik (Ed.): Formal Aspects of Component Software, vol. 12018, pp. 170–190, Springer, 2019.

Links | BibTeX

707.

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

Generic emptiness check for fun and profit Book Section

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

Links | BibTeX

708.

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

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

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

Links | BibTeX

709.

Konstantin Klamka; Patrick Reipschläger; Raimund Dachselt

CHARM: Cord-based haptic augmented reality manipulation Book Section

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

Links | BibTeX

710.

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 Book Section

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

Links | BibTeX

711.

Jakob Piribauer; Christel Baier

Partial and conditional expectations in Markov decision processes with integer weights Book Section

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

BibTeX

712.

Clemens Dubslaff

Compositional feature-oriented systems Book Section

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

Links | BibTeX

713.

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 Book Section

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, vol. 11768, pp. 467–475, Springer, 2019.

Links | BibTeX

714.

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 Book Section

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, vol. 11768, pp. 119–127, Springer, 2019.

Links | BibTeX

Proceedings Articles

715.

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

Physical layer privacy in broadcast channels Proceedings Article

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

Links | BibTeX

716.

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 Proceedings Article

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

Links | BibTeX

717.

Florian Wieczorek; Hans Winger; Carmen Sachse; Quentin Bollengier; Wolfgang Trümper; Andreas Nocke; Chokri Cherif

Knitted products for Human-in-the-Loop applications (Poster P85) Proceedings Article

In: Proceedings of the Aachen-Dresden-Denkendorf International Textile Conference (ADD-ITC), 2019.

BibTeX

718.

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 Proceedings Article

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

Links | BibTeX

719.

Paul Walther; Elke Franz; Thorsten Strufe

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

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

Links | BibTeX

720.

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

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

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

Links | BibTeX

721.

Martin Byrenheid; Stefanie Roos; Thorsten Strufe

Attack-resistant spanning tree construction in route-restricted overlay networks Proceedings Article

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

Links | BibTeX

722.

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 Proceedings Article

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

Links | BibTeX

723.

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

Comparing and evaluating application-specific boot times of virtualized instances Proceedings Article

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

Links | BibTeX

724.

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 Proceedings Article

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

Links | BibTeX

725.

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 Proceedings Article

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

Links | BibTeX

726.

Andreas Peetz; Konstantin Klamka; Raimund Dachselt

BodyHub: A reconfigurable wearable system for clothing Proceedings Article

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

Links | BibTeX

727.

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 Proceedings Article

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

Links | BibTeX

728.

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

Wireless control communications co-design via application-adaptive resource management Proceedings Article

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

Links | BibTeX

729.

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

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

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

Links | BibTeX

730.

Mahshid Mehrabi; Hani Salah; Frank H. P. Fitzek

A survey on mobility management for MEC-enabled systems Proceedings Article

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

Links | BibTeX

731.

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

Network-coded cooperative communication in virtualized mobile small cells Proceedings Article

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

Links | BibTeX

732.

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

Breaking the limits of redundancy systems analysis Proceedings Article

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

Links | BibTeX

733.

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

Deriving an empirical channel model for wireless industrial indoor communications Proceedings Article

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

Links | BibTeX

734.

Dominik Grzelak; Uwe Aßmann

Bigraphical meta-modeling of fog computing-based systems Proceedings Article

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

BibTeX

735.

Christel Baier; Nathalie Bertrand; Jakob Piribauer; Ocan Sankur

Long-run satisfaction of path properties Proceedings Article

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

Links | BibTeX

736.

Florian Wieczorek; Hans Winger; Carmen Sachse; Wolfgang Trümper; Andreas Nocke; Chokri Cherif

Function integration – Innovative knitted fabrics for life 4.0 Proceedings Article

In: Proceedings of the World Textile Conference (AUTEX), 2019.

Links | BibTeX

737.

Amr Osman; Simon Hanisch; Thorsten Strufe

SeCoNetBench: A modular framework for secure container networking benchmarks Proceedings Article

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

Links | BibTeX

738.

Amr Osman; Pascal Brückner; Hani Salah; Frank H. P. Fitzek; Thorsten Strufe; Mathias Fischer

Sandnet: Towards high quality of deception in container-based microservice architectures Proceedings Article

In: Proceedings of the IEEE International Conference on Communications (ICC), 2019.

Links | BibTeX

739.

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

5G Sports – Tragbare Technologiedemonstratoren im Bereich 5G Proceedings Article

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

BibTeX

740.

Ariel Podlubne; Diana Göhringer

FPGA-ROS: Methodology to augment the robot operating system with FPGA designs Proceedings Article

In: Proceedings of the International Conference on Reconfigurable Computing and FPGAs (ReConFig), 2019.

Links | BibTeX

740 Einträge « 15 of 15 »