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 « 14 of 16 »

2020

Journal Articles

651.

Christoph Koch; Shu-Chen Li; Thad A. Polk; Nicolas W. Schuck

Effects of aging on encoding of walking direction in the human brain Journal Article

In: Neuropsychologia, vol. 141, pp. 107379:1–13, 2020.

Links | BibTeX

652.

Xin An; Jens Wagner; Frank Ellinger

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.

Links | BibTeX

653.

Johannes Mey; René Schöne; Görel Hedin; Emma Söderberg; Thomas Kühn; Niklas Fors; Jesper Öqvist; Uwe Aßmann

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).

Links | BibTeX

654.

Tim Buszard; Luca Oppici; Hans Westerbeek; Damian Farrow

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.

Links | BibTeX

655.

Annika Dix; Shu-Chen Li

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.

Links | BibTeX

656.

Johannes Mey; Thomas Kühn; René Schöne; Uwe Aßmann

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).

Links | BibTeX

657.

Justus Rischke; Peter Sossalla; Hani Salah; Frank H. P. Fitzek; Martin Reisslein

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.

Links | BibTeX

Books

658.

Frank H. P. Fitzek; Fabrizio Granelli; Patrick Seeling (Ed.)

Computing in Communication Networks – From Theory to Practice Book

Academic Press, 2020.

Links | BibTeX

Book Sections

659.

Christel Baier; Florian Funke; Simon Jantsch; Toghrul Karimov; Engel Lefaucheux; Joël Ouaknine; Amaury Pouly; David Purser; Markus A. Whiteland

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.

Links | BibTeX

660.

Christel Baier; Clemens Dubslaff; Holger Hermanns; Michaela Klauck; Sascha Klüppelholz; Maximilian A. Köhl

Components in probabilistic systems: Suitable by construction Book Section

In: Margaria, Tiziana; Steffen, Bernhard (Ed.): Proceedings of the International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), vol. 12476, pp. 240–261, Springer, 2020.

Links | BibTeX

661.

Simon Jantsch; Florian Funke; Christel Baier

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.

Links | BibTeX

662.

Dominik Rivoir; Sebastian Bodenstedt; Isabel Funke; Felix von Bechtolsheim; Marius Distler; Jürgen Weitz; Stefanie Speidel

Rethinking anticipation tasks: Uncertainty-aware anticipation of sparse surgical instrument usage for context-aware assistance Book Section

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.

Links | BibTeX

663.

Timo P. Gros; David Groß; Stefan Gumhold; Jörg Hoffmann; Michaela Klauck; Marcel Steinmetz

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.

Links | BibTeX

664.

Stephan C. Escher; Patrick Teufert; Thorsten Strufe

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.

Links | BibTeX

665.

Thomas Hulin; Michael Rothammer; Isabel Tannert; Suraj S. Giri; Benedikt Pleintinger; Harsimran Singh; Bernhard M. Weber; Christian Ott

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.

Links | BibTeX

666.

Mandy Korzetz; Romina Kühn; Lukas Büschel; Franz-Wilhelm Schumann; Uwe Aßmann; Thomas Schlegel

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.

Links | BibTeX

667.

Romina Kühn; Mandy Korzetz; Felix Kallenbach; Karl Kegel; Uwe Aßmann; Thomas Schlegel

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.

Links | BibTeX

668.

Florian Funke; Simon Jantsch; Christel Baier

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.

Links | BibTeX

669.

Gökhan Akgün; Lester Kalms; Diana Göhringer

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.

Links | BibTeX

670.

Gökhan Akgün; Habib ul Hasan Khan; Marawan Hebaish; Mahmoud Elshimy; Mohamed A. Abd El Ghany; Diana Göhringer

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.

Links | BibTeX

671.

Mandy Korzetz; Romina Kühn; Uwe Aßmann; Thomas Schlegel

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.

BibTeX

672.

Romina Kühn; Mandy Korzetz; Dominik Grzelak; Uwe Aßmann; Thomas Schlegel

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.

Links | BibTeX

673.

Jakob Piribauer; Christel Baier

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.

Links | BibTeX

674.

Clemens Dubslaff; Andrey Morozov; Christel Baier; Klaus Janschek

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.

Links | BibTeX

Proceedings Articles

675.

Andrés M. Villamil Sánchez; Arturo A. González Rodríguez; Norman Franchi; Gerhard P. Fettweis

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.

Links | BibTeX

676.

Basak Güleçyüz; Xiao Xu; Andreas Noll; Eckehard Steinbach

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.

Links | BibTeX

677.

Huanzhuo Wu; Jia He; Máté Tömösközi; Frank H. P. Fitzek

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.

Links | BibTeX

678.

Huanzhuo Wu; Yunbin Shen; Jiajing Zhang; Hani Salah; Ievgenii A. Tsokalo; Frank H. P. Fitzek

Adaptive extraction-based independent component analysis for time-sensitive applications Proceedings Article

In: Proceedings of the IEEE Global Communications Conference (Globecom), 2020.

Links | BibTeX

679.

Vu Nguyen; Juan A. Cabrera Guerrero; Sreekrishna Pandi; Giang T. Nguyen; Frank H. P. Fitzek

Exploring the benefits of memory-limited Fulcrum recoding for heterogeneous nodes Proceedings Article

In: Proceedings of the IEEE Global Communications Conference (Globecom), 2020.

Links | BibTeX

680.

Patrick Seeling; Frank H. P. Fitzek

Binary indicated numbers with bit-level integrated scalability support (BINBLISS) Proceedings Article

In: Proceedings of the IEEE Global Communications Conference (Globecom), 2020.

Links | BibTeX

681.

Mahshid Mehrabi; Shiwei Shen; Vincent Latzko; Yuanfei Wang; Frank H. P. Fitzek

Energy-aware cooperative offloading framework for inter-dependent and delay-sensitive tasks Proceedings Article

In: Proceedings of the IEEE Global Communications Conference (Globecom), 2020.

Links | BibTeX

682.

Tung V. Doan; Chenglin Ding; Giang T. Nguyen; Dongho You; Frank H. P. Fitzek

FAST: Flexible and low-latency state transfer in mobile edge computing Proceedings Article

In: Proceedings of the IEEE Global Communications Conference (Globecom), 2020.

Links | BibTeX

683.

Sandra Zimmermann; Justus Rischke; Juan A. Cabrera Guerrero; Frank H. P. Fitzek

Journey to MARS: Interplanetary coding for relieving CDNs Proceedings Article

In: Proceedings of the IEEE Global Communications Conference (Globecom), 2020.

Links | BibTeX

684.

Roberto Torre; Clara Costa Sala; Sreekrishna Pandi; Hani Salah; Giang T. Nguyen; Frank H. P. Fitzek

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.

Links | BibTeX

685.

Niklas Förster; Juan A. Cabrera Guerrero; Elke Franz; Stefan Pfennig; Frank H. P. Fitzek

Efficient confidentiality for network coded distributed storage Proceedings Article

In: Proceedings of the IEEE Global Communications Conference (Globecom), 2020.

Links | BibTeX

686.

Florian Voigt; Lars Johannsmeier; Sami Haddadin

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.

Links | BibTeX

687.

Frederik Armknecht; Paul Walther; Gene Tsudik; Martin Beck; Thorsten Strufe

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.

Links | BibTeX

688.

Christiane Kuhn; Friederike Kitzing; Thorsten Strufe

SoK on performance bounds in anonymous communication Proceedings Article

In: Proceedings of the International Workshop on Privacy in the Electronic Society (WPES), 2020.

Links | BibTeX

689.

Clemens Dubslaff; Andrey Morozov; Christel Baier; Klaus Janschek

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.

Links | BibTeX

690.

U. Alican Alma; M. Ercan Altinsoy

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.

Links | BibTeX

691.

Benjamin Russig; Mirco Salm; Stefan Gumhold

GPU-based raycasting of Hermite spline tubes Proceedings Article

In: Proceedings of the IEEE Visualization Conference (VIS), 2020.

Links | BibTeX

692.

Philipp Chrszon; Christel Baier; Clemens Dubslaff; Sascha Klüppelholz

From features to roles Proceedings Article

In: Proceedings of the International Systems and Software Product Line Conference (SPLC), 2020.

Links | BibTeX

693.

Alfred Åkesson; Görel Hedin; Niklas Fors; René Schöne; Johannes Mey

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.

Links | BibTeX

694.

Sebastian Ebert

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.

Links | BibTeX

695.

René Schöne; Johannes Mey; Sebastian Ebert; Uwe Aßmann

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.

Links | BibTeX

696.

Matthias Jobst; Chen Liu; Johannes Partzsch; Yexin Yan; David Kappel; Hector A. Gonzalez Diaz; Yue Ji; Bernhard Vogginger; Christian G. Mayr

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.

Links | BibTeX

697.

Simon Jantsch; Hans Harder; Florian Funke; Christel Baier

SWITSS: Computing small witnessing subsystems Proceedings Article

In: Proceedings of the Conference on Formal Methods in Computer-Aided Design (FMCAD), 2020.

Links | BibTeX

698.

Clemens Dubslaff; Patrick Koopmann; Anni-Yasmin Turhan

Give inconsistency a chance: Semantics for ontology-mediated verification Proceedings Article

In: Proceedings of the International Workshop on Description Logics (DL), 2020.

Links | BibTeX

699.

Robert Fuhrmann; Anke Lehmann; Annett Mitschick; Ricardo Langner; Raimund Dachselt

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).

Links | BibTeX

700.

Rabia F. Riaz; Dimitrios Prousalis; Christian Hoyer; Jens Wagner; Frank Ellinger; Frank Jülicher; Lucas Wetzel

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.

Links | BibTeX

786 Einträge « 14 of 16 »