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

786 Einträge « 16 of 16 »

2019

Book Sections

751.

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

752.

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

753.

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

754.

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

755.

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

756.

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

757.

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

758.

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

759.

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

760.

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

761.

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

762.

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

763.

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

764.

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

765.

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

766.

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

767.

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

768.

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

769.

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

770.

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

771.

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

772.

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

773.

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

774.

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

775.

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

776.

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

777.

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

778.

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

779.

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

780.

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

781.

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

782.

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

783.

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

784.

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

785.

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

786.

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

786 Einträge « 16 of 16 »