Erfolge
Check CeTI’s multifaceted Impacts
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.

Zusammenarbeit innerhalb von CeTI

Auszeichnungen

Veröffentlichungen
All publications involve at least one PI, include proper acknowledgements, and originate from the time since the beginning of CeTI Phase I.
2019
Artikel
Progressive multicore RLNC decoding with online DAG scheduling Artikel
In: IEEE Access, Bd. 7, S. 161184–161200, 2019.
Configuration of inter-process communication with probabilistic model checking Artikel
In: International Journal on Software Tools for Technology Transfer, Bd. 21, Nr. 6, S. 651–666, 2019.
In: NeuroImage, Bd. 199, S. 217–227, 2019.
Mobile peer-to-peer assisted coded streaming Artikel
In: IEEE Access, Bd. 7, S. 159332–159346, 2019.
Advanced adaptive decoder using Fulcrum network codes Artikel
In: IEEE Access, S. 141648–141661, 2019.
Printed flexible microelectrode for application of nanosecond pulsed electric fields on cells Artikel
In: Materials, Bd. 12, Nr. 17, S. 2713:1–13, 2019.
In: Sovremennye tehnologii v medicine, Bd. 11, Nr. 4, S. 7–16, 2019.
Noisy galvanic vestibular stimulation modulates spatial memory in young healthy adults Artikel
In: Scientific Reports, Bd. 9, S. 9310:1–11, 2019.
Framework for adaptive controller design over wireless delay-prone communication channels Artikel
In: IEEE Access, Bd. 7, S. 49726–49737, 2019.
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.
Buchabschnitte
Ontology-mediated probabilistic model checking Best Paper Buchabschnitt
In: Ahrendt, Wolfgang; Tarifa, Silvia L. Tapia (Hrsg.): Integrated Formal Methods, Bd. 11918, S. 194–211, Springer, 2019, (Best Paper Award).
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.
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.
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.
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.
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.
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).
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.
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.
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.
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.
Proceedings Artikel
Physical layer privacy in broadcast channels Proceedings Article
In: Proceedings of the IEEE International Workshop on Information Forensics and Security (WIFS), 2019.
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.
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.
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.
Blind synchronization of channel impulse responses for channel reciprocity-based key generation Proceedings Article
In: Proceedings of the IEEE Local Computer Networks (LCN), 2019.
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.
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.
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.
Comparing and evaluating application-specific boot times of virtualized instances Proceedings Article
In: Proceedings of the IEEE 5G World Forum (5GWF), 2019.
On dependability metrics for wireless industrial communications – Applied to IEEE 802.11ax Proceedings Article
In: Proceedings of the IEEE 5G World Forum (5GWF), 2019.
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.
BodyHub: A reconfigurable wearable system for clothing Proceedings Article
In: Proceedings of the ACM Symposium on User Interface Software and Technology (UIST-Adjunct), 2019.
Observer-based packet drop mitigation for string stable CACC Proceedings Article
In: Proceedings of the International Conference on Control and Robot Technology (ICCRT), 2019.
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).
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.
A survey on mobility management for MEC-enabled systems Proceedings Article
In: Proceedings of the IEEE 5G World Forum (5GWF), SECRET Workshop, 2019.
Network-coded cooperative communication in virtualized mobile small cells Proceedings Article
In: Proceedings of the IEEE 5G World Forum (5GWF), SECRET Workshop, 2019.
Breaking the limits of redundancy systems analysis Proceedings Article
In: Proceedings of the European Safety and Reliability Conference (ESREL), 2019.
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.
Bigraphical meta-modeling of fog computing-based systems Proceedings Article
In: Proceedings of the International Conference on Discrete Models of Complex Systems (SOLSTICE), 2019.
Long-run satisfaction of path properties Proceedings Article
In: Proceedings of the ACM/IEEE Symposium on Logic in Computer Science (LICS), 2019.
Function integration – Innovative knitted fabrics for life 4.0 Proceedings Article
In: Proceedings of the World Textile Conference (AUTEX), 2019.
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.
Sandnet: Towards high quality of deception in container-based microservice architectures Proceedings Article
In: Proceedings of the IEEE International Conference on Communications (ICC), 2019.
5G Sports – Tragbare Technologiedemonstratoren im Bereich 5G Proceedings Article
In: Proceedings of the Konferenz Entwerfen Entwickeln Erleben (EEE), 2019.
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.