Es gibt viele Aktivitäten in und um CeTI, die dazu dienen, die CeTI-Konzepte zu demonstrieren und kommunizieren, sowie den exzellenten Forschungscluster zu etablieren.

Beiträge zu öffentlichen Veranstaltungen sind nur ein Teil der Aktivitäten; aber auch innerhalb und zwischen den Forschern und Lehrstühlen gibt es eine Menge Aktivitäten.

Es gibt viele Aktivitäten in und um CeTI, die dazu dienen, die CeTI-Konzepte zu demonstrieren, zu kommunizieren und außerdem den exzellenten Forschungscluster zu etablieren.

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
Artikel
0
Incollections
0
Inproceeedings
0
Book Chapters
0
Auszeichnungen

Auszeichnungen

Veröffentlichungen

740 Einträge « 15 von 15 »

2019

Artikel

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 Artikel

In: Scientific Reports, Bd. 9, S. 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 Artikel

In: IEEE Access, Bd. 7, S. 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 Artikel

In: IEEE Journal on Selected Areas in Communications, Bd. 37, Nr. 5, S. 1098–1116, 2019.

Links | BibTeX

Buchabschnitte

704.

Clemens Dubslaff; Patrick Koopmann; Anni-Yasmin Turhan

Ontology-mediated probabilistic model checking Buchabschnitt

In: Ahrendt, Wolfgang; Tarifa, Silvia L. Tapia (Hrsg.): Integrated Formal Methods, Bd. 11918, S. 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 Buchabschnitt

In: Gribaudo, Marco; Iacono, Mauro; Phung-Duc, Tuan; Razumchik, Rostislav (Hrsg.): Computer Performance Engineering, Bd. 12039, S. 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 Buchabschnitt

In: Arbab, Farhad; Jongmans, Sung-Shik (Hrsg.): Formal Aspects of Component Software, Bd. 12018, S. 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 Buchabschnitt

In: Chen, Yu-Fang; Cheng, Chih-Hong; Esparza, Javier (Hrsg.): Automated Technology for Verification and Analysis, Bd. 11781, S. 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 Buchabschnitt

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

Links | BibTeX

709.

Konstantin Klamka; Patrick Reipschläger; Raimund Dachselt

CHARM: Cord-based haptic augmented reality manipulation Buchabschnitt

In: Chen, Jessie Y. C.; Fragomeni, Gino (Hrsg.): Virtual, Augmented and Mixed Reality – Multimodal Interaction, Bd. 11574, S. 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 Buchabschnitt

In: Zhou, Luping; Sarikaya, Duygu; Kia, Seyed M.; Speidel, Stefanie; Malpani, Anand; Hashimoto, Daniel A.; Habes, Mohamad; Löfstedt, Tommy; Ritter, Kerstin; Wang, Hongzhi (Hrsg.): OR 2.0 Context-Aware Operating Theaters and Machine Learning in Clinical Neuroimaging, Bd. 11796, S. 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 Buchabschnitt

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

BibTeX

712.

Clemens Dubslaff

Compositional feature-oriented systems Buchabschnitt

In: Ølveczky, Peter C.; Salaün, Gwen (Hrsg.): Software Engineering and Formal Methods, Bd. 11724, S. 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 Buchabschnitt

In: Shen, Dinggang; Liu, Tianming; Peters, Terry M.; Staib, Lawrence H.; Essert, Caroline; Zhou, Sean; Yap, Pew-Thian; Khan, Ali (Hrsg.): Medical Image Computing and Computer Assisted Intervention – MICCAI 2019, Bd. 11768, S. 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 Buchabschnitt

In: Shen, Dinggang; Liu, Tianming; Peters, Terry M.; Staib, Lawrence H.; Essert, Caroline; Zhou, Sean; Yap, Pew-Thian; Khan, Ali (Hrsg.): Medical Image Computing and Computer Assisted Intervention – MICCAI 2019, Bd. 11768, S. 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 von 15 »