TY - JOUR AU - Gmyr, Robert AU - Hinnenthal, Kristian AU - Kostitsyna, Irina AU - Kuhn, Fabian AU - Rudolph, Dorian AU - Scheideler, Christian AU - Strothmann, Thim ID - 17808 IS - 2 JF - Nat. Comput. TI - Forming tile shapes with simple robots VL - 19 ER - TY - JOUR AU - Hielscher, Christian AU - Grenz, Julian AU - Camberg, Alan Adam AU - Wingenbach, Nils ID - 17812 JF - ATZ - Automobiltechnische Zeitschrift SN - 0001-2785 TI - Ansatz zur effizienteren Auslegung von Hybridbauteilen ER - TY - JOUR AU - Hielscher, Christian AU - Grenz, Julian AU - Camberg, Alan Adam AU - Wingenbach, Nils ID - 17813 JF - ATZ worldwide SN - 2192-9076 TI - Approach to More Efficient Design of Hybrid Components ER - TY - GEN AB - Software verification has recently made enormous progress due to the development of novel verification methods and the speed-up of supporting technologies like SMT solving. To keep software verification tools up to date with these advances, tool developers keep on integrating newly designed methods into their tools, almost exclusively by re-implementing the method within their own framework. While this allows for a conceptual re-use of methods, it requires novel implementations for every new technique. In this paper, we employ cooperative verification in order to avoid reimplementation and enable usage of novel tools as black-box components in verification. Specifically, cooperation is employed for the core ingredient of software verification which is invariant generation. Finding an adequate loop invariant is key to the success of a verification run. Our framework named CoVerCIG allows a master verification tool to delegate the task of invariant generation to one or several specialized helper invariant generators. Their results are then utilized within the verification run of the master verifier, allowing in particular for crosschecking the validity of the invariant. We experimentally evaluate our framework on an instance with two masters and three different invariant generators using a number of benchmarks from SV-COMP 2020. The experiments show that the use of CoVerCIG can increase the number of correctly verified tasks without increasing the used resources AU - Haltermann, Jan Frederik AU - Wehrheim, Heike ID - 17825 T2 - arXiv:2008.04551 TI - Cooperative Verification via Collective Invariant Generation ER - TY - GEN ED - Werneck Richa, Andrea ED - Scheideler, Christian ID - 17836 SN - 978-3-030-54920-6 TI - Structural Information and Communication Complexity - 27th International Colloquium, SIROCCO 2020, Paderborn, Germany, June 29 - July 1, 2020, Proceedings VL - 12156 ER - TY - GEN ED - Scheideler, Christian ED - Spear, Michael ID - 17839 SN - 978-1-4503-6935-0 TI - SPAA '20: 32nd ACM Symposium on Parallelism in Algorithms and Architectures, Virtual Event, USA, July 15-17, 2020 ER - TY - CONF AU - Kersting, Joschka AU - Bäumer, Frederik Simon ID - 18686 KW - Software Requirements KW - Natural Language Processing KW - Transfer Learning KW - On-The-Fly Computing T2 - PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON APPLIED COMPUTING 2020 TI - SEMANTIC TAGGING OF REQUIREMENT DESCRIPTIONS: A TRANSFORMER-BASED APPROACH ER - TY - CHAP AU - Seng, Eva- Maria AU - Göttmann, Frank ID - 18776 T2 - Innovation in der Bauwirtschaft – Innovation in the building industry. Wesersandstein vom 16. bis 19. Jahrhundert – Weser Sandstone form the 16th to the 19th Century TI - Einleitung – Introduction ER - TY - CHAP AU - Seng, Eva- Maria AU - Silvestri, Marco ED - Chave, Isabelle ID - 18779 T2 - LE CHANTIER CATHÉDRAL EN EUROPE diffusion et sauvegarde des savoirs, savoir-faire et matériaux du Moyen Âge à nos jours TI - Die Wiedereinrichtung der Bauhütten in Europa im 19. und 20. Jahrhundert ER - TY - CHAP AU - Seng, Eva- Maria ED - Bengel, Sabine ID - 18784 T2 - Europäische Bauhütten – Immaterielles Kulturerbe der Menschheit TI - Kandidatur zum Bauhüttenwesen Die internationale für das immaterielle Kulturerbe der UNESCO ER - TY - CHAP AU - Nickchen, Tobias AU - Engels, Gregor AU - Lohn, Johannes ID - 18789 SN - 9783030543334 T2 - Industrializing Additive Manufacturing TI - Opportunities of 3D Machine Learning for Manufacturability Analysis and Component Recognition in the Additive Manufacturing Process Chain ER - TY - CHAP AU - Seng, Eva- Maria AU - Hilbert, Michael ED - Bengel, Sabine ID - 18815 T2 - Europäische Bauhütten – Immaterielles Kulturerbe der Menschheit TI - Die Ulmer Münsterbauhütte ER - TY - JOUR AU - Seng, Eva- Maria ID - 18844 JF - Vortrag am 17.09.2016 auf dem 34. Weltkongreß für Kunstgeschichte (CIHA) in Beijing TI - Pall Mall. From the sportsground to the urban pleasure ground VL - (im Druck) ER - TY - JOUR AB -

The impact of the recombination mechanisms in luminescent materials is discussed with regard to luminescence based gas-sensing applications and the use of semiconducting materials, as an alternative to organic–metal complexes, is outlined.

AU - Poeplau, Michael AU - Ester, Stephan AU - Henning, Bernd AU - Wagner, Thorsten ID - 18850 JF - Physical Chemistry Chemical Physics SN - 1463-9076 TI - Recombination mechanisms of luminescence type gas sensors ER - TY - CONF AU - Reinhold, Jannik AU - Frank, Maximilian AU - Koldewey, Christian AU - Dumitrescu, Roman AU - Buss, Eugen ID - 18876 T2 - Proceedings of the ISPIM Connects Bangkok – Partnering for an Innovative Community TI - In-depth Analysis of the Effects of Smart Services on Value Creation ER - TY - JOUR AU - Hasso, Tim AU - Pelster, Matthias AU - Breitmayer, Bastian ID - 19043 JF - Journal of Behavioral and Experimental Finance SN - 2214-6350 TI - Terror attacks and individual investor behavior: Evidence from the 2015–2017 European terror attacks VL - 28 ER - TY - BOOK ED - Eke, Norbert Otto ID - 19051 TI - Vormärz-Handbuch ER - TY - CHAP AU - Eke, Norbert Otto ED - Borgards, Roland ED - Dedner, Burghard ID - 19093 T2 - Georg Büchner und die Romantik TI - „Romantik“ und „Vormärz“. Ein Streitfall ER - TY - CHAP AU - Eke, Norbert Otto ED - Stillmark, Hans-Christian ID - 19094 T2 - Peter Weiss erinnernd – Ansichten und Einsichten TI - Ethische Erinnerungskultur. Peter Weiss‘ Memorial des ‚ganzen‘ Widerstands ER - TY - CHAP AU - Eke, Norbert Otto ED - Eke, Norbert Otto ID - 19095 T2 - Vormärz-Handbuch TI - Vormärz – Prolegomenon einer Epochendarstellung ER -