@article{15123, author = {{Bolenz, Lukas and Toye, Dominique and Kenig, Eugeny}}, journal = {{Chemical Engineering Transactions}}, pages = {{913--918}}, title = {{{Liquid Flow Morphology of Viscous Systems in Structured Packings: Investigations by X-ray Tomography}}}, doi = {{10.3303/CET1974153}}, volume = {{74}}, year = {{2019}}, } @inproceedings{15125, author = {{Bolenz, Lukas and Toye, Dominique and Kenig, Eugeny}}, location = {{Potsdam}}, title = {{{Tomographische Untersuchung der Fluiddynamik viskoser Systeme in Packungskolonnen}}}, year = {{2019}}, } @inproceedings{15126, author = {{Bolenz, Lukas and Toye, Dominique and Kenig, Eugeny}}, location = {{Liège}}, title = {{{Experimental and theoretical investigation of fluid dynamics in structured packings}}}, year = {{2019}}, } @inproceedings{15128, author = {{Bolenz, Lukas and Toye, Dominique and Kenig, Eugeny}}, location = {{Bologna}}, title = {{{Liquid Flow Morphology of Viscous Systems in Structured Packings: Investigations by X-ray Tomography}}}, year = {{2019}}, } @inproceedings{15145, author = {{Salten, Alexander Heinrich Johannes and Maćkowiak, Jan F. and Maćkowiak, Jerzy and Kenig, Eugeny}}, location = {{Potsdam}}, publisher = {{Jahrestreffen der ProcessNet-Fachgruppen Fluidverfahrenstechnik und Membrantechnik}}, title = {{{Modellierung des Stofftransports in Füllkörperkolonnen mit dem Ansatz der hydrodynamischen Analogien}}}, year = {{2019}}, } @article{15148, author = {{Rieks, Sebastian and Wende, Marc and Preußer, Niklas and Gambaryan-Roisman, Tatiana and Kenig, Eugeny}}, issn = {{0263-8762}}, journal = {{Chemical Engineering Research and Design}}, pages = {{615--623}}, title = {{{A hydrodynamic analogy based modelling approach for zero-gravity distillation with metal foams}}}, doi = {{10.1016/j.cherd.2019.05.022}}, volume = {{147}}, year = {{2019}}, } @inproceedings{15149, author = {{Wende, Marc and Kenig, Eugeny}}, booktitle = {{ Jahrestreffen der ProcessNet-Fachgruppe Wärme- und Stoffübertragung}}, location = {{Essen}}, title = {{{Modellierungsansatz zur Simulation von Gravidestillation mit Metallschäumen}}}, year = {{2019}}, } @inproceedings{15154, author = {{Wende, Marc and Staggenborg, Christoph and Kenig, Eugeny}}, booktitle = {{Workshop Wärmeübertragung mit Phasenwechsel in fluiden Systemen: Ein Update}}, location = {{Paderborn}}, title = {{{Simulation von Gravidestillationsprozessen mit Metallschäumen}}}, year = {{2019}}, } @inproceedings{15164, author = {{Feldmann, Nadine and Jurgelucks, Benjamin and Claes, Leander and Henning, Bernd}}, booktitle = {{2019 International Congress on Ultrasonics}}, title = {{{A sensitivity-based optimisation procedure for the characterisation of piezoelectric discs}}}, doi = {{10.1121/2.0001070}}, year = {{2019}}, } @article{15173, author = {{Jenert, Tobias and Brahm, Taiga and Naeve-Stoß, Nicole}}, journal = {{bwpat}}, title = {{{Fachbezogene Reflexion in der beruflichen Lehrer*innenbildung}}}, volume = {{37}}, year = {{2019}}, } @article{15174, author = {{Jenert, Tobias and Brahm , Taiga}}, journal = {{Journal of Management Education }}, number = {{4}}, pages = {{446--453}}, title = {{{Untangling Faculty Misinformation From an Educational Perspective: Rejoinder to ''The Menace of Misinformation: Faculty Misstatements in Management Education and Their Consequences''}}}, volume = {{43}}, year = {{2019}}, } @book{15175, editor = {{Jenert, Tobias and Reinmann, Gabi and Schmohl, Tobias}}, publisher = {{Springer VS}}, title = {{{Theorie und Praxis der Hochschulbildungsforschung}}}, year = {{2019}}, } @inproceedings{15182, author = {{Dunst, Alexander and Hartel, Rita}}, booktitle = {{DHd Konferenz 2019, multimedial und multimodal}}, title = {{{Multimodale Stilometrie: Herausforderungen und Potenzial kombinatorischer Bild- und Textanalysen am Beispiel Comics}}}, year = {{2019}}, } @inproceedings{15186, author = {{Dunst, Alexander and Hartel, Rita}}, booktitle = {{Digital Humanities, DH 2019}}, title = {{{Quantifying Complexity in Multimodal Media: AlanMoore and the “Density” of the Graphic Novel}}}, year = {{2019}}, } @techreport{15202, abstract = {{In this paper, we analyze the two-dimensional Nash bargaining solution (NBS) deploying a standard labor market negotiations model (see McDonald and Solow, 1981; Creedy and McDonald, 1991). We show that the two-dimensional bargaining problem can be decomposed into two one-dimensional problems such that the (Cartesian) product of the solutions of these problems replicates the solution of the two-dimensional problem, if the NBS is applied. However, this decomposition fails for any solution concept that does not satisfy the axiom of Independence of Irrelevant Alternatives (IIA axiom). Our decomposition result has significant implications for actual negotiations, as it allows for the decomposition of a multi-issue bargaining problem into a set of simpler problems, in particular a set of single-issue bargaining problems. In this way, the decomposition may help facilitate negotiations in labor markets and also in other environments.}}, author = {{Haake, Claus-Jochen and Upmann, Thorsten and Duman, Papatya}}, keywords = {{Labor market negotiations, Efficient bargains, Nash bargaining solution, Sequential bargaining, Restricted bargaining games}}, publisher = {{CIE Working Paper Series, Paderborn University}}, title = {{{The Decomposability of the Nash Bargaining Solution in Labor Markets}}}, volume = {{128}}, year = {{2019}}, } @techreport{15204, abstract = {{We criticize some conceptual weaknesses in the recent literature on coalitional TUgames and propose, based on our critics, a new definition of dual TU-games that coincides with the one in the literature on the class of super-additive games. We justify our new definition in four alternative ways: 1. Via an adequate definition of ecient payo vectors. 2. Via a modification of the Bondareva-Shapley duality. 3. Via an explicit consideration of \coalition building". 4. Via associating general TU-games to coalition-production economies. Rather than imputations, we base our analysis on a modification of aspirations.}}, author = {{Aslan, Fatma and Duman, Papatya and Trockel, Walter}}, keywords = {{TU-games, duality, core, c-Core, cohesive games, complete game efficiency}}, publisher = {{CIE Working Paper Series, Paderborn University}}, title = {{{Duality for General TU-games Redefined}}}, volume = {{121}}, year = {{2019}}, } @proceedings{15235, editor = {{Stein, Benno and Wachsmuth, Henning}}, publisher = {{Association for Computational Linguistics}}, title = {{{Proceedings of the 6th Workshop on Argument Mining}}}, year = {{2019}}, } @inproceedings{15244, author = {{Hagedorn, Oliver Ernst Caspar and Pielsticker, Daniel and Hemsel, Tobias and Sextro, Walter}}, booktitle = {{2. VDI-Fachtagung Schwingungen 2019}}, isbn = {{978-3-18-092366-6}}, publisher = {{VDI Verlag GmbH · Düsseldorf 2019}}, title = {{{Messung hochfrequenter In-Plane-Schwingungen mittels Laservibrometrie in räumlich eingeschränkten Umgebungen}}}, year = {{2019}}, } @inproceedings{15247, author = {{Grabo, Matti and Weber, Daniel and Paul, Andreas and Klaus, Tobias and Bermpohl, Wolfgang and Krauter, Stefan and Kenig, Eugeny}}, location = {{Nordhausen}}, title = {{{Entwicklung eines thermischen 1D-Simulationsmodells zur Bestimmung der Temperaturverteilung in Solarmodulen}}}, year = {{2019}}, } @inproceedings{15248, author = {{Grabo, Matti and Weber, Daniel and Paul, Andreas and Klaus, Tobias and Bermpohl, Wolfgang and Kenig, Eugeny}}, location = {{Frankfurt am Main}}, title = {{{Numerische Untersuchung der Temperaturverteilung in PCM-integrierten Solarmodulen}}}, year = {{2019}}, } @inproceedings{15261, author = {{Lugovtsova, Yevgeniya and Johannesmann, Sarah and Henning, Bernd and Prager, Jens}}, booktitle = {{2019 International Congress on Ultrasonics}}, location = {{Bruges}}, publisher = {{Acoustical Society of America}}, title = {{{Analysis of Lamb wave mode repulsion and its implications to the characterisation of adhesive bonding strength}}}, doi = {{10.1121/2.0001074}}, year = {{2019}}, } @book{15265, editor = {{Linssen, Oliver and Mikusz, Martin and Volland, Alexander and Yigitbas, Enes and Engstler, Martin and Fazal-Baqaie, Masud and Kuhrmann, Marco}}, isbn = {{978-3-88579-692-3}}, title = {{{Projektmanagement und Vorgehensmodelle 2019. Neue Vorgehensmodelle in Projekten – Führung, Kulturen und Infrastrukturen im Wandel.}}}, volume = {{Volume P-298}}, year = {{2019}}, } @article{15268, author = {{Szierbowski-Seibel, Klaas and Wach, Bernhard A. and Kabst, Rüdiger}}, issn = {{1541-6518}}, journal = {{Organization Management Journal}}, pages = {{262--277}}, title = {{{The Collaboration of Human Resource Management and Line Management–An International Comparison}}}, doi = {{10.1080/15416518.2019.1679076}}, year = {{2019}}, } @article{15269, abstract = {{ Purpose The purpose of this paper is to investigate the impact of national culture on organizations’ use of selection practices, specifically to investigate the impact of in-group collectivism, uncertainty avoidance and power distance on interview panels, one-on-one interviews, applications forms, references, ability, technical and psychometric tests. Design/methodology/approach This study uses survey data from the 2008–2010 CRANET database. It uses OLS regression analysis to test the impact of national culture on organizations’ use of selection practices. Findings In-group collectivism increases the use of panel interviews and technical tests, and decreases the use of one-on-one interviews and application forms. Uncertainty avoidance increases the use of panel interviews and technical tests, and a decrease in one-on-one interviews, applications ability, and psychometric tests. Power distance leads to an increase in one-on-one interviews, applications and ability tests, and a decrease in panel interviews, psychometric tests and references. Originality/value This paper investigates the use of the impact of national culture on selection practices. Specifically, it looks at the use of a large number of selection practices panel interviews, one-on-one interviews, applications and references, and several different tests, ability, technical and psychometric. }}, author = {{Prince, Nicholas Ryan and Kabst, Rüdiger}}, issn = {{0142-5455}}, journal = {{Employee Relations: The International Journal}}, pages = {{1145--1161}}, title = {{{Impact of national culture on organizations’ use of selection practices}}}, doi = {{10.1108/er-10-2018-0284}}, year = {{2019}}, } @misc{15946, author = {{Mehta, Jinay}}, title = {{{Multithreaded Software/Hardware Programming with ReconOS/freeRTOS on a Recon􏰃gurable System-on-Chip}}}, year = {{2019}}, } @article{15950, author = {{Akbulut Irmak, Emine Fulya and Tröster, Thomas}}, issn = {{2452-3216}}, journal = {{Procedia Structural Integrity}}, pages = {{190--197}}, title = {{{Fracture prediction of additively manufactured AlSi10Mg materials}}}, doi = {{10.1016/j.prostr.2019.12.101}}, year = {{2019}}, } @inproceedings{15976, author = {{Akbulut Irmak, Emine Fulya and Hanses, Julius and Schweizer, Swetlana and Tröster, Thomas}}, location = {{Koblenz}}, title = {{{Modeling the Energy Absorption Characteristics of Wood Crash Elements}}}, year = {{2019}}, } @techreport{16029, author = {{Marten, Thorsten and Tröster, Thomas}}, publisher = {{Forschungsvereinigung Stahlanwendung e.V. im Stahl Zentrum, P920, Verlag und Vertriebsgesellschaft mbH}}, title = {{{Einsatz neuartiger Stähle und Generierung gradierter Leichtbaustrukturen im Presshärteprozess}}}, year = {{2019}}, } @inproceedings{16030, author = {{Triebus, Marcel and Bienia, S. and Marten, Thorsten and Tröster, Thomas and Dröder, K.}}, isbn = {{978-3-95735-104-3}}, location = {{Lulea, Sweden}}, publisher = {{Verlag Wissenschaftliche Scripten}}, title = {{{Press Hardening Integrated Structuring for Hybrid Components}}}, year = {{2019}}, } @inproceedings{16076, author = {{Hetkämper, Tim and Claes, Leander and Henning, Bernd}}, booktitle = {{2019 International Congress on Ultrasonics}}, location = {{Bruges}}, title = {{{Evolutionary algorithm for the design of passive electric matching networks for ultrasonic transducers}}}, doi = {{10.1121/2.0001110}}, year = {{2019}}, } @article{16113, author = {{Tiedau, Johannes and Bartley, Tim and Harder, Georg and Lita, Adriana E. and Nam, Sae Woo and Gerrits, Thomas and Silberhorn, Christine}}, issn = {{2469-9926}}, journal = {{Physical Review A}}, title = {{{Scalability of parametric down-conversion for generating higher-order Fock states}}}, doi = {{10.1103/physreva.100.041802}}, year = {{2019}}, } @inproceedings{16215, author = {{Derrick, John and Doherty, Simon and Dongol, Brijesh and Schellhorn, Gerhard and Wehrheim, Heike}}, booktitle = {{Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings}}, editor = {{H. ter Beek, Maurice and McIver, Annabelle and N. Oliveira, Jos{\'{e}}}}, pages = {{179--195}}, publisher = {{Springer}}, title = {{{Verifying Correctness of Persistent Concurrent Data Structures}}}, doi = {{10.1007/978-3-030-30942-8\_12}}, volume = {{11800}}, year = {{2019}}, } @article{16216, author = {{Russo, Alessandra and Schürr, Andy and Wehrheim, Heike}}, journal = {{Formal Asp. Comput.}}, number = {{5}}, pages = {{457--458}}, title = {{{Editorial}}}, doi = {{10.1007/s00165-019-00495-y}}, volume = {{31}}, year = {{2019}}, } @article{16217, author = {{Fränzle, Martin and Kapur, Deepak and Wehrheim, Heike and Zhan, Naijun}}, journal = {{Formal Asp. Comput.}}, number = {{1}}, pages = {{1}}, title = {{{Editorial}}}, doi = {{10.1007/s00165-018-00477-6}}, volume = {{31}}, year = {{2019}}, } @inproceedings{16223, abstract = {{Multigrid methods are fast and scalable numerical solvers for partial differential equations (PDEs) that possess a large design space for implementing their algorithmic components. Code generation approaches allow formulating multigrid methods on a higher level of abstraction that can then be used to derive a problem- and hardware-specific solutions. Since these problems have a considerable implementation variability, it is crucial to investigate a general mapping of core components in multigrid methods to the target software. With SYCL there exists a high-level C++ abstraction layer that is capable of targeting a multitude of architectures. We contribute a general way to map multigrid components to SYCL functionality and provide a performance evaluation for specific algorithmic component.}}, author = {{Groth, Stefan and Schmitt, Christian and Teich, Jürgen and Hannig, Frank}}, booktitle = {{Proceedings of the 22nd International Workshop on Software and Compilers for Embedded Systems - SCOPES '19}}, isbn = {{9781450367622}}, title = {{{SYCL Code Generation for Multigrid Methods}}}, doi = {{10.1145/3323439.3323984}}, year = {{2019}}, } @inbook{16251, author = {{Müller, Oliver}}, booktitle = {{The Art of Structuring}}, isbn = {{9783030062330}}, title = {{{Structuring Unstructured Data—Or: How Machine Learning Can Make You a Wine Sommelier}}}, doi = {{10.1007/978-3-030-06234-7_29}}, year = {{2019}}, } @inproceedings{16271, author = {{Claes, Leander and Johannesmann, Sarah and Baumhögger, Elmar and Henning, Bernd}}, booktitle = {{2019 International Congress on Ultrasonics}}, title = {{{Quantification of frequency-dependent absorption phenomena}}}, doi = {{10.1121/2.0001043}}, year = {{2019}}, } @article{16275, author = {{Franke-Wiekhorst, Antonia and Günther, Christine and Brünger, Karen and Magenheim, Johannes and Romeike, Ralf}}, journal = {{GdSU-Journal,(9)}}, pages = {{10--21}}, title = {{{„Der Informatikkreis “: Kinder von drei bis zehn Jahren beim Forschen in Informatik begleiten - ein methodisch-didaktisches Material}}}, year = {{2019}}, } @article{16305, author = {{Linnemann, Matthias and Nikolaychuk, Pavel Anatolyevich and Muñoz-Muñoz, Y. Mauricio and Baumhögger, Elmar and Vrabec, Jadran}}, issn = {{0021-9568}}, journal = {{Journal of Chemical & Engineering Data}}, pages = {{1180--1188}}, title = {{{Henry’s Law Constant of Noble Gases in Water, Methanol, Ethanol, and Isopropanol by Experiment and Molecular Simulation}}}, doi = {{10.1021/acs.jced.9b00565}}, year = {{2019}}, } @article{16314, author = {{Preiß, Sebastian and Päpcke, Ayla and Burkhardt, Lukas and Großmann, Luca and Lochbrunner, Stefan and Bauer, Matthias and Opatz, Till and Heinze, Katja}}, issn = {{0947-6539}}, journal = {{Chemistry – A European Journal}}, pages = {{5940--5949}}, title = {{{Gold(II) Porphyrins in Photoinduced Electron Transfer Reactions}}}, doi = {{10.1002/chem.201900050}}, year = {{2019}}, } @article{16320, author = {{Müller, Patrick and Neuba, Adam and Flörke, Ulrich and Henkel, Gerald and Kühne, Thomas D. and Bauer, Matthias}}, issn = {{1089-5639}}, journal = {{The Journal of Physical Chemistry A}}, pages = {{3575--3581}}, title = {{{Experimental and Theoretical High Energy Resolution Hard X-ray Absorption and Emission Spectroscopy on Biomimetic Cu2S2 Complexes}}}, doi = {{10.1021/acs.jpca.9b00463}}, year = {{2019}}, } @phdthesis{16325, author = {{Burkhardt, Lukas}}, title = {{{ Probing Iron-Ligand interactions by combining modern high-resolution hard X-ray spectroscopy and density functional theory : a powerful methodology in cases where conventional methods fail / vorgelegt von Lukas Burkhardt ; [Prof. Dr. Matthias Bauer (Erstgutachter), Prof. Dr. Thomas Kühne (Zweitgutachter), Jun. Prof. Dr. Stephan Hohloch (Drittprüfer)]}}}, doi = {{10.17619/UNIPB/1-745}}, year = {{2019}}, } @phdthesis{16327, author = {{Müller, Patrick}}, title = {{{ Experimental and theoretical (high energy resolution) X-ray absorption and emission spectroscopy / vorgelegt von Patrick Müller ; [Promotionskommission: Prof. Dr.-Ing. Hans-Joachim Warnecke, Vorsitz; Prof. Dr. Matthias Bauer, Erstgutachter; Prof. Dr. Thomas D. Kühne, Zweitgutachter; Prof. Dr. Wolf Gero Schmidt]}}}, doi = {{10.17619/UNIPB/1-705}}, year = {{2019}}, } @article{16337, author = {{Brandt, Sascha and Jähn, Claudius and Fischer, Matthias and Meyer auf der Heide, Friedhelm}}, issn = {{0167-7055}}, journal = {{Computer Graphics Forum}}, location = {{Seoul, South Korea}}, number = {{7}}, pages = {{413--424}}, title = {{{Visibility‐Aware Progressive Farthest Point Sampling on the GPU}}}, doi = {{10.1111/cgf.13848}}, volume = {{38}}, year = {{2019}}, } @unpublished{16341, abstract = {{We present a technique for rendering highly complex 3D scenes in real-time by generating uniformly distributed points on the scene's visible surfaces. The technique is applicable to a wide range of scene types, like scenes directly based on complex and detailed CAD data consisting of billions of polygons (in contrast to scenes handcrafted solely for visualization). This allows to visualize such scenes smoothly even in VR on a HMD with good image quality, while maintaining the necessary frame-rates. In contrast to other point based rendering methods, we place points in an approximated blue noise distribution only on visible surfaces and store them in a highly GPU efficient data structure, allowing to progressively refine the number of rendered points to maximize the image quality for a given target frame rate. Our evaluation shows that scenes consisting of a high amount of polygons can be rendered with interactive frame rates with good visual quality on standard hardware.}}, author = {{Brandt, Sascha and Jähn, Claudius and Fischer, Matthias and Meyer auf der Heide, Friedhelm}}, booktitle = {{arXiv:1904.08225}}, title = {{{Rendering of Complex Heterogenous Scenes using Progressive Blue Surfels}}}, year = {{2019}}, } @inbook{16361, abstract = {{Sinnvolle und gebrauchstaugliche digitale Assistenzsysteme, die Beschäftigte bei ihren alltäglichen Aufgaben unterstützen, stellen eine Herausforderung für viele Organisationen hinsichtlich der individuellen und organisationalen Akzeptanz einschließlich der Gebrauchstauglichkeit (Usability), dem Benutzererlebnis (User Experience, UX) und „Arbeit 4.0“-Aspekten dar. Vorhandene Methoden des Software Engineering sind nicht geeignet, Beschäftigte angemessen in die Gestaltung und Entwicklung zu integrieren und Lösungskonzepte solcher Systeme auf Augenhöhe zu betrachten. In diesem Beitrag wird eine leichtgewichtige Canvas-Methode vorgestellt, die sich mit diesen Herausforderungen befasst. Sie umfasst die menschliche, die geschäftliche sowie die technologische Perspektive in einem gemeinsamen Kommunikationsinstrument, dem „Digital Assistance System Canvas“. Erste Evaluationen zeigen, dass die Teilnehmenden das Canvas-Konzept schätzen und die Methode vielseitig in verschiedenen Szenarien einsetzbar ist. Vielfältige Fragen in den Canvas-Bausteinen bereichern die gemeinsame Diskussion über neue Systeme und die Verbesserung bzw. Sicherstellung der Akzeptanz sowie die Denkweise in frühen Phasen des Design- und Entwicklungsprozesses.}}, author = {{Fischer, Holger Gerhard and Rittmeier, Florian and Strothmann, Thim Frederik and Schwenniger, Nina}}, booktitle = {{Arbeit 4.0 im Mittelstand}}, editor = {{Bosse, Christian K. and Zink, Klaus J.}}, isbn = {{9783662594735}}, publisher = {{Springer Gabler}}, title = {{{Partizipation von Beschäftigten in der Gestaltung einer digitalisierten Arbeitswelt 4.0 mittels einer Canvas-Methode}}}, doi = {{10.1007/978-3-662-59474-2_11}}, year = {{2019}}, } @inproceedings{16375, author = {{Heinovski, Julian and Stratmann, Lukas and Buse, Dominik S. and Klingler, Florian and Franke, Mario and Oczko, Marie-Christin H. and Sommer, Christoph and Scharlau, Ingrid and Dressler, Falko}}, booktitle = {{2019 IEEE 20th International Symposium on "A World of Wireless, Mobile and Multimedia Networks" (WoWMoM)}}, isbn = {{9781728102702}}, title = {{{Modeling Cycling Behavior to Improve Bicyclists' Safety at Intersections - A Networking Perspective}}}, doi = {{10.1109/wowmom.2019.8793008}}, year = {{2019}}, } @inproceedings{16376, author = {{Klingler, Florian and Dressler, Falko}}, booktitle = {{IEEE INFOCOM 2019 - IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS)}}, isbn = {{9781728118789}}, title = {{{Poster Abstract: Jamming WLAN Data Frames and Acknowledgments using Commodity Hardware}}}, doi = {{10.1109/infcomw.2019.8845228}}, year = {{2019}}, } @inbook{16377, author = {{Reinold, Peter and Meyer, Norbert and Buse, Dominik and Klingler, Florian and Sommer, Christoph and Dressler, Falko and Eisenbarth, Markus and Andert, Jakob}}, booktitle = {{Proceedings}}, isbn = {{9783658252939}}, issn = {{2198-7432}}, title = {{{Verkehrssimulation im Hardware-in-the-Loop-Steuergerätetest}}}, doi = {{10.1007/978-3-658-25294-6_15}}, year = {{2019}}, } @inbook{13872, author = {{Beyer, Dirk and Jakobs, Marie-Christine}}, booktitle = {{Fundamental Approaches to Software Engineering}}, isbn = {{9783030167219}}, issn = {{0302-9743}}, title = {{{CoVeriTest: Cooperative Verifier-Based Testing}}}, doi = {{10.1007/978-3-030-16722-6_23}}, year = {{2019}}, }