Achievements
Check CeTI’s multifaceted Impacts
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.
Collaboration within CeTI
Awards
Publications
2019
Journal Articles
Device-enhanced MEC: Multi-access edge computing (MEC) aided by end device computation and caching: A survey Journal Article
In: IEEE Access, vol. 7, pp. 166079–166108, 2019.
Progressive multicore RLNC decoding with online DAG scheduling Journal Article
In: IEEE Access, vol. 7, pp. 161184–161200, 2019.
Configuration of inter-process communication with probabilistic model checking Journal Article
In: International Journal on Software Tools for Technology Transfer, vol. 21, no. 6, pp. 651–666, 2019.
Lateral prefrontal anodal transcranial direct current stimulation augments resolution of auditory perceptual-attentional conflicts Journal Article
In: NeuroImage, vol. 199, pp. 217–227, 2019.
Mobile peer-to-peer assisted coded streaming Journal Article
In: IEEE Access, vol. 7, pp. 159332–159346, 2019.
Advanced adaptive decoder using Fulcrum network codes Journal Article
In: IEEE Access, pp. 141648–141661, 2019.
Printed flexible microelectrode for application of nanosecond pulsed electric fields on cells Journal Article
In: Materials, vol. 12, no. 17, pp. 2713:1–13, 2019.
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, vol. 11, no. 4, pp. 7–16, 2019.
Noisy galvanic vestibular stimulation modulates spatial memory in young healthy adults Journal Article
In: Scientific Reports, vol. 9, pp. 9310:1–11, 2019.
Framework for adaptive controller design over wireless delay-prone communication channels Journal Article
In: IEEE Access, vol. 7, pp. 49726–49737, 2019.
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.
Book Sections
Ontology-mediated probabilistic model checking Best Paper Book Section
In: Ahrendt, Wolfgang; Tarifa, Silvia L. Tapia (Ed.): Integrated Formal Methods, vol. 11918, pp. 194–211, Springer, 2019, (Best Paper Award).
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.
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.
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.
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.
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.
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).
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.
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.
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.
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.
Proceedings Articles
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), 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.