Publikationen

Patrick Lübbecke; Nijat Mehdiyev; Peter Fettke

Substitution of hazardous chemical substances using Deep Learning and t-SNE

In: Proceedings der Internationalen Tagung Wirtschaftsinformatik. Internationale Tagung Wirtschaftsinformatik (WI-2019), Human Practice. Digital …

Vladimir Herdt; Hoang M. Le; Daniel Große; Rolf Drechsler

Combining Sequentialization-based Verification of Multi-Threaded C Programs with Symbolic Partial Order Reduction

In: International Journal on Software Tools for Technology Transfer (STTT), 2019.

Frank Sill Torres; Hussam Amrouch; Jörg Henkel; Rolf Drechsler

Impact of NBTI on Increasing the Susceptibility of FinFET to Radiation

In: IEEE International Reliability Physics Symposium (IRPS 2019). IRPS (IEEE International Reliability Physics Symposium) (IRPS-2019), March 31 - …

Mazyar Seraj; Cornelia Große; Serge Autexier; Rolf Drechsler

Look What I Can Do: Acquisition of Programming Skills in the Context of Living Labs

In: 41st ACM/IEEE International Conference on Software Engineering (ICSE’19). International Conference on Software Engineering Advances (ICSEA-41), …

Saman Fröhlich; Daniel Große; Rolf Drechsler

Approximate Hardware Generation Using Formal Techniques

In: Sherief Reda; Muhammad Shafique. Approximate Circuits: Methodologies and CAD. Pages 155-174, Approximate Circuits: Methodologies and CAD, 2019.

Adrian Bartnik; Bonaventura Del Monte; Tilmann Rabl; Volker Markl

On-the-fly Reconfiguration of Query Plans for Stateful Stream Processing Engines

In: Datenbanksysteme für Business, Technologie und Web (BTW 2019). GI-Fachtagungen (BTW), Fachtagung für Datenbanksysteme für Business, Technologie …

Patrick Helber; Benjamin Bischke; Andreas Dengel; Damian Borth

Eurosat: A novel dataset and deep learning benchmark for land use and land cover classification

In: IEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing, IEEE, 2019.

Bradley Gram-Hansen; Patrick Helber; Indhu Varatharajan; Faiza Azam; Alejandro Coca-Castro; Veronika Kopackova; Piotr Bilinski

Mapping Informal Settlements in Developing Countries using Machine Learning and Low Resolution Multi-spectral Data

In: AAAI/ACM Conference on Artificial Intelligence, Ethics, and Society. AAAI/ACM Conference on Artificial Intelligence, Ethics, and Society …

Sebastian Huhn; Stephan Eggersglüß; Rolf Drechsler

Enhanced Embedded Test Compression Technique For Processing Incompressible Test Patterns

In: 31.GI/GMM/ITG Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ 2019). GI/GMM/ITG Workshop Testmethoden und Zuverlässigkeit von …

Tim G. J. Rudner; Marc Rußwurm; Jakub Fil; Ramona Pelich; Benjamin Bischke; Veronika Kopackova; Piotr Bilinski

Multi3-Net: Segmenting Flooded Buildings via Fusion of Multiresolution, Multisensor, and Multitemporal Satellite Imagery

In: Proceedings of the Thirty-Third AAAI. AAAI Conference on Artificial Intelligence (AAAI-2019), January 27 - February 1, Honolulu, Hawaii, USA, …