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.
Awards
Publications
2019
Inproceedings
Network-coded cooperative communication in virtualized mobile small cells Inproceedings
In: Proceedings of the IEEE 5G World Forum (5GWF), SECRET Workshop, 2019.
Deriving an empirical channel model for wireless industrial indoor communications Inproceedings
In: Proceedings of the IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC), 2019.
Breaking the limits of redundancy systems analysis Inproceedings
In: Proceedings of the European Safety and Reliability Conference (ESREL), 2019.
Bigraphical meta-modeling of fog computing-based systems Inproceedings
In: Proceedings of the International Conference on Discrete Models of Complex Systems (SOLSTICE), 2019.
SeCoNetBench: A modular framework for secure container networking benchmarks Inproceedings
In: Proceedings of the European Workshop on Security and Privacy in Edge Computing (EuroS&P), 2019.
Long-run satisfaction of path properties Inproceedings
In: Proceedings of the ACM/IEEE Symposium on Logic in Computer Science (LICS), 2019.
Model refactoring with relational Reference Attribute Grammars Inproceedings
In: Proceedings of the International Conference on integrated Formal Methods (iFM), Refactoring Tutorials, 2019.
RecordFlux: Formal message specification and generation of verifiable binary parsers Inproceedings
In: Proceedings of the Proceedings of the International Conference on Formal Aspects of Component Software (FACS), 2019.
Knitted products for Human-in-the-Loop applications (Poster P85) Inproceedings
In: Proceedings of the Aachen-Dresden-Denkendorf International Textile Conference, 2019.
Function integration – Innovative knitted fabrics for life 4.0 Inproceedings
In: Proceedings of the World Textile Conference (AUTEX), 2019.
Investigating smartphone-based pan and zoom in 3D data spaces in augmented reality Inproceedings
In: Proceedings of the International Conference on Human-Computer Interaction with Mobile Devices and Services (MobileHCI), 2019.
Sandnet: Towards high quality of deception in container-based microservice architectures Inproceedings
In: Proceedings of the IEEE International Conference on Communications (ICC), 2019.
5G Sports – Tragbare Technologiedemonstratoren im Bereich 5G Inproceedings
In: Proceedings of the Konferenz Entwerfen Entwickeln Erleben (EEE), 2019.
FPGA-ROS: Methodology to augment the robot operating system with FPGA designs Inproceedings
In: Proceedings of the International Conference on Reconfigurable Computing and FPGAs (ReConFig), 2019.