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
All publications involve at least one PI, include proper acknowledgements, and originate from the time since the beginning of CeTI Phase I.
2020
Journal Articles
An efficient ultrawideband pulse transmitter with automatic on-off functionality for primary radar systems Journal Article
In: IEEE Microwave and Wireless Components Letters, vol. 30, no. 4, pp. 449–452, 2020.
Relational reference attribute grammars: Improving continuous model validation Journal Article
In: Journal of Computer Languages, vol. 57, pp. 100940:1–21, 2020, (including a software artefact, available at zenodo.org/record/3666664).
Implementation of a modified sport programme to increase participation: Key stakeholder perspectives Journal Article
In: Journal of Sports Sciences, vol. 38, no. 8, pp. 945–952, 2020.
Incentive motivation improves numerosity discrimination: Insights from pupillometry combined with drift-diffusion modelling Journal Article
In: Scientific Reports, vol. 10, pp. 2608:1–11, 2020.
Reusing static analysis across different domain-specific languages using reference attribute grammars Journal Article
In: The Art, Science, and Engineering of Programming, vol. 4, no. 3, pp. 15:1–36, 2020, (including a software artefact, available at zenodo.org/record/3659198).
QR-SDN: Towards reinforcement learning states, actions, and rewards for direct flow routing in software-defined networks Journal Article
In: IEEE Access, vol. 8, pp. 174773–174791, 2020.
Books
Computing in Communication Networks – From Theory to Practice Book
Academic Press, 2020.
Book Sections
Reachability in dynamical systems with rounding Book Section
In: Proceedings of the IARCS Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTC), vol. 182, pp. 36:1–17, Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, 2020.
Components in probabilistic systems: Suitable by construction Book Section
In: Margaria, Tiziana; Steffen, Bernhard (Ed.): Leveraging Applications of Formal Methods, Verification and Validation – Verification Principles, vol. 12476, pp. 240–261, Springer, 2020.
Minimal witnesses for probabilistic timed automata Book Section
In: Hung, Dang Van; Sokolsky, Oleg (Ed.): Proceedings of the International Symposium on Automated Technology for Verification and Analysis (ATVA), vol. 12302, pp. 501–517, Springer, 2020.
In: Martel, Anne L.; Abolmaesumi, Purang; Stoyanov, Danail; Mateus, Diana; Zuluaga, Maria A.; Zhou, Kevin S.; Racoceanu, Daniel; Joskowicz, Leo (Ed.): Medical Image Computing and Computer Assisted Intervention – MICCAI 2020, vol. 12263, pp. 752–762, Springer, 2020.
TraceVis: Towards visualization for deep statistical model checking Book Section
In: Margaria, Tiziana; Steffen, Bernhard (Ed.): Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends, vol. 12479, pp. 27–46, Springer, 2020.
You’ve got nothing on me! Privacy friendly face recognition reloaded Book Section
In: Boureanu, Ioana; Drăgan, Constantin Cătălin; Manulis, Mark; Giannetsos, Thanassis; Dadoyan, Christoforos; Gouvas, Panagiotis; Hallman, Roger A.; Li, Shujun; Chang, Victor; Pallas, Frank; Pohle, Jörg; Sasse, Angela (Ed.): Computer Security, vol. 12580, pp. 231–242, Springer, 2020.
FingerTac – A wearable tactile thimble for mobile haptic augmented reality applications Book Section
In: Chen, Jessie Y. C.; Fragomeni, Gino (Ed.): Virtual, Augmented and Mixed Reality – Design and Interaction, vol. 12190, pp. 286–298, Springer, 2020.
Introducing mobile device-based interactions to users: An investigation of onboarding tutorials Book Section
In: Kurosu, Masaaki (Ed.): Human–Computer Interaction – Multimodal and Natural Interaction, vol. 12182, pp. 428–442, Springer, 2020.
Investigating mobile device-based interaction techniques for collocated merging Book Section
In: Zaphiris, Panayiotis; Ioannou, Andri (Ed.): Learning and Collaboration Technologies – Designing, Developing and Deploying Learning Experiences, vol. 12205, pp. 92–108, Springer, 2020.
Farkas certificates and minimal witnesses for probabilistic reachability constraints Book Section
In: Biere, Armin; Parke, David (Ed.): Tools and Algorithms for the Construction and Analysis of Systems, vol. 12078, pp. 324–345, Springer, 2020.
Resource efficient dynamic voltage and frequency scaling on Xilinx FPGAs Book Section
In: Rincón, Fernando; Barba, Jesús; So, Hayden K. H.; Diniz, Pedro; Caba, Julián (Ed.): Applied Reconfigurable Computing – Architectures, Tools, and Application, vol. 12083, pp. 178–192, Springer, 2020.
SysIDLib: A high-level synthesis FPGA library for online system identification Book Section
In: Rincón, Fernando; Barba, Jesús; So, Hayden K. H.; Diniz, Pedro; Caba, Julián (Ed.): Applied Reconfigurable Computing – Architectures, Tools, and Application, vol. 12083, pp. 97–107, Springer, 2020.
A design kit for mobile device-based interaction techniques Book Section
In: Stephanidis, Constantine; Antona, Margherita (Ed.): HCI International 2020 – Posters, vol. 1224, pp. 52–59, Springer, 2020.
Towards interaction design for mobile devices in collocated mixed-focus collaboration Book Section
In: Stephanidis, Constantine; Antona, Margherita (Ed.): HCI International 2020 – Posters, vol. 1224, pp. 35–43, Springer, 2020.
On Skolem-hardness and saturation points in Markov decision processes Book Section
In: Czumaj, Artur; Dawar, Anuj; Merelli, Emanuela (Ed.): 47th International Colloquium on Automata, Languages, and Programming, vol. 168, pp. 138:1–17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020.
Iterative variable reordering: Taming huge system families Book Section
In: Fehnker, Ansgar; Garavel, Hubert (Ed.): Proceedings of the Workshop on Models for Formal Analysis of Real Systems (MARS), vol. 316, pp. 121–133, Open Publishing Association, 2020.
Proceedings Articles
Feedforward filter design for CACC with N-vehicle look ahead: A frequency domain approach for further optimization of radio resource usage Proceedings Article
In: Proceedings of the IEEE Vehicular Technology Conference (VTC-Fall), 2020.
On the quality-of-learning for haptic teleoperation-based skill transfer over the Tactile Internet Proceedings Article
In: Proceedings of the IEEE Global Communications Conference (Globecom), 2020.
Y-Net: A dual path model for high accuracy blind source separation Proceedings Article
In: Proceedings of the IEEE Global Communications Conference (Globecom), Workshop on Future of Wireless Access for Industrial IoT (FIIoT), 2020.
Adaptive extraction-based independent component analysis for time-sensitive applications Proceedings Article
In: Proceedings of the IEEE Global Communications Conference (Globecom), 2020.
Exploring the benefits of memory-limited Fulcrum recoding for heterogeneous nodes Proceedings Article
In: Proceedings of the IEEE Global Communications Conference (Globecom), 2020.
Binary indicated numbers with bit-level integrated scalability support (BINBLISS) Proceedings Article
In: Proceedings of the IEEE Global Communications Conference (Globecom), 2020.
Energy-aware cooperative offloading framework for inter-dependent and delay-sensitive tasks Proceedings Article
In: Proceedings of the IEEE Global Communications Conference (Globecom), 2020.
FAST: Flexible and low-latency state transfer in mobile edge computing Proceedings Article
In: Proceedings of the IEEE Global Communications Conference (Globecom), 2020.
Journey to MARS: Interplanetary coding for relieving CDNs Proceedings Article
In: Proceedings of the IEEE Global Communications Conference (Globecom), 2020.
A random linear network coded HARQ solution for lossy and high-jitter wireless networks Proceedings Article
In: Proceedings of the IEEE Global Communications Conference (Globecom), 2020.
Efficient confidentiality for network coded distributed storage Proceedings Article
In: Proceedings of the IEEE Global Communications Conference (Globecom), 2020.
Secure and reliable data transmission in SDN-based backend networks of Industrial IoT Proceedings Article
In: Proceedings of the IEEE Conference on Local Computer Networks (LCN), 2020.
Multi-level structure vs. end-to-end-learning in high-performance tactile robotic manipulation Proceedings Article
In: Proceedings of the Conference on Robot Learning (CoRL), 2020.
ProMACs: Progressive and resynchronizing MACs for continuous efficient authentication of message streams Proceedings Article
In: Proceedings of the ACM SIGSAC Conference on Computer and Communications Security (CCS), 2020.
SoK on performance bounds in anonymous communication Proceedings Article
In: Proceedings of the International Workshop on Privacy in the Electronic Society (WPES), 2020.
Reduction methods on probabilistic control-flow programs for reliability analysis Proceedings Article
In: Proceedings of the European Safety and Reliability Conference (ESREL) and Probabilistic Safety Assessment and Management Conference (PSAM), 2020.
Reproducing fine textures on touch displays using band-limited white noise vibrations Proceedings Article
In: Proceedings of the International Conference on Advanced Cognitive Technologies and Applications (COGNITIVE), 2020.
GPU-based raycasting of Hermite spline tubes Proceedings Article
In: Proceedings of the IEEE Visualization Conference (VIS), 2020.
From features to roles Proceedings Article
In: Proceedings of the International Systems and Software Product Line Conference (SPLC), 2020.
Runtime modeling and analysis of IoT systems Proceedings Article
In: Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), 2020.
A model-driven approach for cobotic cells based on Petri nets Proceedings Article
In: Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), 2020.
Connecting conceptual models using relational reference attribute grammars Proceedings Article
In: Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), 2020.
Event-based neural network for ECG classification with delta encoding and early stopping Proceedings Article
In: Proceedings of the International Conference on Event-Based Control, Communication, and Signal Processing (EBCCSP), 2020.
SWITSS: Computing small witnessing subsystems Proceedings Article
In: Proceedings of the Conference on Formal Methods in Computer-Aided Design (FMCAD), 2020.
Give inconsistency a chance: Semantics for ontology-mediated verification Proceedings Article
In: Proceedings of the International Workshop on Description Logics (DL), 2020.
CoFind: A browser plugin for investigating co-located collaborative web search Proceedings Article
In: Proceedings of the Conference Mensch und Computer (MuC), 2020, (Honorable Mention Award).
Stability and transient dynamics of PLLs in theory and experiments Proceedings Article
In: Proceedings of the European Conference on Circuit Theory and Design (ECCTD), 2020.