@phdthesis{20522, author = {{Holzinger, Philipp}}, publisher = {{Universität Paderborn}}, title = {{{A Systematic Analysis and Hardening of the Java Security Architecture}}}, year = {{2019}}, } @phdthesis{20524, author = {{Nguyen Quang Do, Lisa}}, publisher = {{Universität Paderborn}}, title = {{{User-Centered Tool Design for Data-Flow Analysis}}}, year = {{2019}}, } @inproceedings{20525, author = {{Stockmann, Lars and Laux, Sven and Bodden, Eric}}, booktitle = {{2019 IEEE International Conference on Software Architecture Companion (ICSA-C)}}, pages = {{77--84}}, title = {{{Architectural Runtime Verification}}}, doi = {{10.1109/ICSA-C.2019.00021}}, year = {{2019}}, } @inproceedings{20527, author = {{Hazhirpasand, Mohammadreza and Ghafari, Mohammad and Krüger, Stefan and Bodden, Eric and Nierstrasz, Oskar}}, booktitle = {{2019 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM)}}, issn = {{1949-3770}}, pages = {{1--6}}, title = {{{The Impact of Developer Experience in Using Java Cryptography}}}, doi = {{10.1109/ESEM.2019.8870184}}, year = {{2019}}, } @inproceedings{20528, author = {{Piskachev, Goran and Petrasch, Tobias and Späth, Johannes and Bodden, Eric}}, booktitle = {{10th Workshop on Tools for Automatic Program Analysis (TAPAS)}}, title = {{{AuthCheck: Program-state Analysis for Access-control Vulnerabilities}}}, year = {{2019}}, } @inproceedings{20529, author = {{Nachtigall, Marcus and Nguyen Quang Do, Lisa and Bodden, Eric}}, booktitle = {{1st International Workshop on Explainable Software (EXPLAIN) at ASE}}, title = {{{Explaining Static Analysis -- A Perspective}}}, year = {{2019}}, } @inproceedings{20531, author = {{Luo, Linghui and Bodden, Eric and Späth, Johannes}}, booktitle = {{IEEE/ACM International Conference on Automated Software Engineering (ASE 2019)}}, title = {{{A Qualitative Analysis of Android Taint-Analysis Results}}}, year = {{2019}}, } @inproceedings{20532, author = {{Piskachev, Goran and Nguyen Quang Do, Lisa and Johnson, Oshando and Bodden, Eric}}, booktitle = {{IEEE/ACM International Conference on Automated Software Engineering (ASE 2019), Tool Demo Track}}, title = {{{SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods}}}, year = {{2019}}, } @article{20533, author = {{Krüger, Stefan and Späth, Johannes and Ali, Karim and Bodden, Eric and Mezini, Mira}}, issn = {{2326-3881}}, journal = {{IEEE Transactions on Software Engineering}}, keywords = {{Java, Encryption, Static analysis, Tools, Ciphers, Semantics, cryptography, domain-specific language, static analysis}}, pages = {{1--1}}, title = {{{CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs}}}, doi = {{10.1109/TSE.2019.2948910}}, year = {{2019}}, } @inproceedings{20534, author = {{Piskachev, Goran and Nguyen Quang Do, Lisa and Bodden, Eric}}, booktitle = {{ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)}}, title = {{{Codebase-Adaptive Detection of Security-Relevant Methods}}}, year = {{2019}}, } @inproceedings{20535, author = {{Luo, Linghui and Dolby, Julian and Bodden, Eric}}, booktitle = {{European Conference on Object-Oriented Programming (ECOOP)}}, title = {{{MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors}}}, year = {{2019}}, } @phdthesis{20536, author = {{Späth, Johannes}}, publisher = {{Universität Paderborn}}, title = {{{Synchronized Pushdown Systems for Pointer and Data-Flow Analysis}}}, year = {{2019}}, } @techreport{20537, author = {{Piskachev, Goran and Nguyen, Lisa and Bodden, Eric}}, title = {{{Codebase-Adaptive Detection of Security-Relevant Methods}}}, year = {{2019}}, } @inproceedings{20538, author = {{Albert Gorski Iii, Sigmund and Andow, Benjamin and Nadkarni, Adwait and Manandhar, Sunil and Enck, William and Bodden, Eric and Bartel, Alexandre}}, booktitle = {{ACM Conference on Data and Application Security and Privacy (CODASPY 2019)}}, keywords = {{ITSECWEBSITE, CROSSING}}, title = {{{ACMiner: Extraction and Analysis of Authorization Checks in Android's Middleware}}}, year = {{2019}}, } @article{20539, author = {{Späth, Johannes and Ali, Karim and Bodden, Eric}}, issn = {{2475-1421}}, journal = {{Proceedings of the ACM SIGPLAN Symposium on Principles of Programming Languages}}, keywords = {{ATTRACT, ITSECWEBSITE, CROSSING}}, number = {{POPL}}, pages = {{48:1--48:29}}, publisher = {{ACM}}, title = {{{Context-, Flow-, and Field-sensitive Data-flow Analysis Using Synchronized Pushdown Systems}}}, doi = {{10.1145/3290361}}, volume = {{3}}, year = {{2019}}, } @inproceedings{20626, author = {{Aßmuth, Verena and Teutenberg, Dominik and Meschut, Gerson}}, booktitle = {{19. Kolloquium Gemeinsame Forschung in der Klebtechnik}}, location = {{Köln}}, pages = {{18--20}}, title = {{{Analyse und Vorhersage rezeptur- und zeitabhängiger Enthaftungserscheinungen geklebter SMC-Bauteile}}}, year = {{2019}}, } @inproceedings{20632, author = {{Aßmuth, Verena and Teutenberg, Dominik and Meschut, Gerson}}, location = {{Hilton Head, South Carolina}}, title = {{{Analysis of formulation- and aging-dependent failure phenomena of bonded Sheet Molding Compounds (SMC)}}}, year = {{2019}}, } @inproceedings{20664, author = {{Vogt, S and Neuhaus, D and Baumeister, Jochen}}, booktitle = {{Sportmotorik 2019. Adaptation, Lernen und virtuelle Welten}}, title = {{{Effects of different visual conditions on standing balance in a virtual reality scene: a pilot study}}}, year = {{2019}}, } @inproceedings{20665, author = {{Neuhaus, D and Vogt, S and Boschmann, A and Dosen, S and Baumeister, Jochen}}, booktitle = {{Sportmotorik 2019. Adaptation, Lernen und virtuelle Welten}}, title = {{{Effects of an augmented reality training using a myoelectric hand prosthesis: a pilot study}}}, year = {{2019}}, } @inproceedings{20668, author = {{Bonnette, S and Diekfuss, JA and Barber Foss, KD and DiCesare, CA and Riley, MA and Riehm, C and Moore, C and Grooms, DR and Myer, GD and Baumeister, Jochen}}, title = {{{A preliminary prospective Analysis of electrocortical signatures underlying ACL injury}}}, year = {{2019}}, } @inproceedings{20669, author = {{Claussen, L and Baumeister, Jochen and Braaten, S and Ettema, G}}, booktitle = {{Book of abstracts - German Exercise Science and Training conference}}, number = {{S5}}, title = {{{Muscle activity patterns in imitation ski jumps}}}, volume = {{49}}, year = {{2019}}, } @inproceedings{20670, author = {{Büchel, D and Lehmann, T and Baumeister, Jochen}}, booktitle = {{Book of abstracts - German Exercise Science and Training conference}}, number = {{S9}}, title = {{{Effect of age on reactive multidirectional speed in highly trained youth soccer players}}}, volume = {{49}}, year = {{2019}}, } @inproceedings{20671, author = {{Büchel, D and Döring, M and Berkel, F and Baumeister, Jochen}}, booktitle = {{Book of abstracts - German Exercise Science and Training conference}}, number = {{S9}}, title = {{{Sports-specific differences in reactive multidirectional speed in tema sports athletes using the Speedcourt}}}, volume = {{49}}, year = {{2019}}, } @book{20677, author = {{Bobbert, Mathias}}, isbn = {{978-3-8440-6787-3}}, title = {{{Untersuchungen zu kontinuums- und bruchmechanischen Methoden für die Prognose des Crashverhaltens toleranzbehafteter Strukturklebverbindungen}}}, year = {{2019}}, } @article{20688, abstract = {{We offer the first empirical analysis connecting the timing of general partner (GP) compensation to private equity fund performance. Using detailed information on limited partnership agreements between private equity limited and general partners, we find that “GP-friendly” contracts—agreements that pay general partners on a deal-by-deal basis instead of withholding carried interest until a benchmark return has been earned—are associated with higher returns, both gross and net of fees. This is robust to measures of performance persistence, time period effects, and other contract terms and is related to exit-timing incentives. Timing practices balance GP incentives against limited partner downside protection.}}, author = {{Hüther, Niklas and Robinson, David T. and Sievers, Sönke and Hartmann-Wendels, Thomas}}, issn = {{0025-1909}}, journal = {{Management Science (VHB-JOURQUAL 3 Ranking A+)}}, keywords = {{venture capital, compensation, private equity, VC partnership, pay-performance relation}}, number = {{4}}, pages = {{1756--1782}}, title = {{{Paying for Performance in Private Equity: Evidence from Venture Capital Partnerships}}}, doi = {{10.1287/mnsc.2018.3274}}, volume = {{66}}, year = {{2019}}, } @inbook{20692, author = {{Bangel, Martin and Neubauer, Michael and Kuhlmann, Matthias and Rossel, Moritz Sebastian and Klostermann, Heidrun and Rablbauer, Ralf and Weber, Marius}}, booktitle = {{Projektband der BMBF-Förderinitiative Innovative Elektrochemie mit neuen Materialien – InnoEMat}}, pages = {{29--35}}, publisher = {{Wölfer Druck+Media}}, title = {{{ELOBEV - Erforschung von elektrolytischen Beschichtungssystemen für Verbindungselemente aus höchstfesten Werkstoffen}}}, year = {{2019}}, } @inproceedings{20757, author = {{Fazal-Baqaie, Masud and Strüwer, Jan-Niclas and Schmelter, David and Dziwok, Stefan}}, booktitle = {{Projektmanagement und Vorgehensmodelle 2019 (PVM 2019)}}, editor = {{Mikusz, Martin}}, publisher = {{Lecture Notes in Informatics (LNI)}}, title = {{{Coaching on the Job bei Unternehmen des Maschinen- und Anlagenbaus - Wissenslücken schließen zur Weiterpflege modernisierter IT-Anwendungen}}}, year = {{2019}}, } @phdthesis{20758, author = {{Holtmann, Jörg}}, publisher = {{Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn}}, title = {{{Improvement of Software Requirements Quality based on Systems Engineering}}}, year = {{2019}}, } @inproceedings{20759, author = {{Gerking, Christopher and Schubert, David}}, booktitle = {{International Conference on Software Architecture (ICSA 2019)}}, title = {{{Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures}}}, year = {{2019}}, } @inbook{20760, author = {{Schubert, David and Eikerling, Hendrik and Holtmann, Jörg}}, booktitle = {{17th escar Europe : embedded security in cars}}, publisher = {{Ruhr-University Bochum, University Library}}, title = {{{Application-aware Intrusion Detection: A Systematic Literature Review and Implications for Automotive Systems}}}, year = {{2019}}, } @article{20761, abstract = {{The processes for manufacturing and operating modern technical products require expertise in multiple disciplines like mechanical engineer-ing, electrical engineering, and software engineering. Assessing the current condition and quality of these processes and the machines in-volved is challenging due to the inherent complexity of the products and the required expertise in multiple engineering domains. Globaliza-tion and increasing competition make it necessary to reduce production costs while at the same time ensuring high throughput and product quality. Without the ability to precisely assess the condition and quality of production processes and involved machines, taking action to steer these metrics is nearly impossible and results in unnecessary high production costs. In our previous publications, we introduced the concept of Key Performance Indicators (KPIs) for mechatronic systems as a concept to assess the condition and quality of products and production processes in a graspable yet substantial and efficient way. In this paper, we further refine our KPI concepts und evaluate them for two different use cases: we apply our KPI concept to a manufacturing process in the mechatronic system domain and an operation process in the food production domain. We provide detailed insights in how we applied our concepts within these domains and report about lessons learned. In addition, we provide a business case estimation for our soft-ware solution that assesses the KPIs of our food production domain example.}}, author = {{Wohlers, Benedict and Dziwok, Stefan and Pasic, Faruk and Lipsmeier, Andre and Becker, Matthias}}, journal = {{International Journal of Production Economics}}, title = {{{Monitoring and Control of Production Processes based on Key Performance Indicators for Mechatronic Systems}}}, year = {{2019}}, } @inproceedings{20810, author = {{Jean, Frederic and Maslovskaya, Sofya}}, booktitle = {{2018 IEEE Conference on Decision and Control (CDC)}}, isbn = {{9781538613955}}, title = {{{Inverse optimal control problem: the linear-quadratic case}}}, doi = {{10.1109/cdc.2018.8619204}}, year = {{2019}}, } @article{20811, author = {{Jean, Frédéric and Maslovskaya, Sofya and Zelenko, Igor}}, issn = {{0046-5755}}, journal = {{Geometriae Dedicata}}, pages = {{279--319}}, title = {{{On projective and affine equivalence of sub-Riemannian metrics}}}, doi = {{10.1007/s10711-019-00437-1}}, year = {{2019}}, } @inproceedings{20849, author = {{Unruh, Eduard and Hein, David and Meschut, Gerson and Bähr, Philipp and Sommer, Silke}}, booktitle = {{9. Fügetechnisches Gemeinschaftskolloquium}}, title = {{{Charakterisierung und Modellierung von Kerbeffekten durch Mischverbindungen in Karosseriebauteilen aus höchstfesten Stählen}}}, year = {{2019}}, } @inproceedings{20850, author = {{Unruh, Eduard and Hein, David and Meschut, Gerson}}, booktitle = {{9. Fügetechnisches Gemeinschaftskolloquium}}, title = {{{Analytische Auslegung der Schwingfestigkeit geclinchter Verbindungen}}}, year = {{2019}}, } @techreport{20875, author = {{Sievers, Sönke and Kengelbach, Jens and Keienburg, Georg and Bader, Maximilian and Degen, Dominik and Gell, Jeff and Nielsen, Jesper}}, publisher = {{The Boston Consulting Group, Inc., M&A Report}}, title = {{{Downturns Are a Better Time For Deal Hunting}}}, year = {{2019}}, } @article{20890, author = {{Engelkemeier, Katja and Lindner, Jörg K N and Bürger, Julius and Vaupel, Kathrin and Hartmann, Marc and Tiemann, Michael and Hoyer, Kay-Peter and Schaper, Mirko}}, issn = {{0957-4484}}, journal = {{Nanotechnology}}, title = {{{Nano-architectural complexity of zinc oxide nanowall hollow microspheres and their structural properties}}}, doi = {{10.1088/1361-6528/ab55bc}}, year = {{2019}}, } @article{20894, author = {{Meinderink, Dennis and Nolkemper, Karlo J.R. and Bürger, Julius and Orive, Alejandro G. and Lindner, Jörg K.N. and Grundmeier, Guido}}, issn = {{0257-8972}}, journal = {{Surface and Coatings Technology}}, pages = {{112--122}}, title = {{{Spray coating of poly(acrylic acid)/ZnO tetrapod adhesion promoting nanocomposite films for polymer laminates}}}, doi = {{10.1016/j.surfcoat.2019.06.083}}, year = {{2019}}, } @article{20895, author = {{Engelkemeier, Katja and Lindner, Jörg K N and Bürger, Julius and Vaupel, Kathrin and Hartmann, Marc and Tiemann, Michael and Hoyer, Kay-Peter and Schaper, Mirko}}, issn = {{0957-4484}}, journal = {{Nanotechnology}}, title = {{{Nano-architectural complexity of zinc oxide nanowall hollow microspheres and their structural properties}}}, doi = {{10.1088/1361-6528/ab55bc}}, year = {{2019}}, } @book{20919, author = {{Göddecke, Johannes and Meschut, Gerson and Teutenberg, Dominik}}, publisher = {{DECHEMA, Gesellschaft für Chemische Technik und Biotechnologie e.V. }}, title = {{{Konstruktive Gestaltung geklebter FVK-Mischverbindungen unter Berücksichtung von Randeffekten}}}, year = {{2019}}, } @unpublished{18018, abstract = {{A common statistical task lies in showing asymptotic normality of certain statistics. In many of these situations, classical textbook results on weak convergence theory suffice for the problem at hand. However, there are quite some scenarios where stronger results are needed in order to establish an asymptotic normal approximation uniformly over a family of probability measures. In this note we collect some results in this direction. We restrict ourselves to weak convergence in $\mathbb R^d$ with continuous limit measures.}}, author = {{Bengs, Viktor and Holzmann, Hajo}}, booktitle = {{arXiv:1903.09864}}, title = {{{Uniform approximation in classical weak convergence theory}}}, year = {{2019}}, } @inbook{18023, author = {{Graf-Schlattmann, Marcel and Meister, Dorothee M. and Oevel, Gudrun and Wilde, Melanie}}, booktitle = {{Strategies Beyond Borders – Transforming Higher Education in a Digital Age. Book of Abstracts}}, pages = {{12 -- 14}}, title = {{{Success Factors for the Consolidation and Anchoring of Digitalisation Projects}}}, year = {{2019}}, } @inbook{18034, author = {{Graf-Schlattmann, Marcel and Meister, Dorothee M. and Oevel, Gudrun and Wilde, Melanie}}, booktitle = {{Teilhabe in der digitalen Bildungswelt}}, editor = {{Hafer, J. and Mauch, M. and Schumann, M.}}, pages = {{14 -- 26}}, publisher = {{New York: Waxmann S.}}, title = {{{Digitalisierungsstrategien auf dem Prüfstand – eine empirische Untersuchung auf Basis der Grounded-Theory-Methodologie an deutschen Hochschulen}}}, year = {{2019}}, } @book{22113, author = {{Brüggemann, J.P. and Risse, L. and Kullmer, G. and Richard, H.A.}}, booktitle = {{Additive Fertigung von Bauteilen und Strukturen – Neue Erkenntnisse und Praxisbeispiele}}, pages = {{ 1--22}}, title = {{{Entwicklung von Optimierungsstrategien für Strukturbauteile unter Ausnutzung der Potentiale des Laser-Strahlschmelzens}}}, year = {{2019}}, } @book{22115, author = {{Risse, L. and Woodcock, S.C. and Kullmer, G. and Schramm, B. and Richard, H.A.}}, pages = {{35--56}}, title = {{{Einsatz ingenieurmäßiger Methoden zur Lösung chirurgischer Herausforderungen}}}, year = {{2019}}, } @inproceedings{22121, author = {{Risse, L. and Schramm, B.}}, booktitle = {{DVM - Bericht 1685, DVM-Tag 2019 – Bauteil verstehen}}, pages = {{103--120}}, title = {{{Möglichkeiten additiver Fertigungsverfahren im Zuge der Digitalisierung für den Planungsprozess chirurgischer Eingriffe}}}, volume = {{1685}}, year = {{2019}}, } @inproceedings{22123, author = {{Brüggemann, J.P. and Risse, L. and Richard, H.A. and Kullmer, G.}}, booktitle = {{DVM - Bericht 251, Arbeitskreis: Bruchmechanische Werkstoff- und Bauteilbewertung: Beanspruchungsanalyse, Prüfmethoden und Anwendungen, Deutscher Verband für Materialforschung und -prüfung e.V.}}, pages = {{207--218}}, title = {{{Einflussfaktoren auf Bauteilgüte lasergeschmolzener Strukturen}}}, volume = {{251}}, year = {{2019}}, } @inproceedings{22124, author = {{Woodcock, S.C. and Risse, L. and Kullmer, G. and Richard, H.A.}}, booktitle = {{DVM - Bericht 404, Arbeitskreis: Additiv gefertigte Bauteile und Strukturen, Deutscher Verband für Materialforschung und -prüfung e.V.}}, pages = {{151--162}}, title = {{{Bewertung von verschieden gearteten Gitterstrukturen in Bezug auf ihre Einsatzfähigkeit in Bandscheibenimplantaten}}}, volume = {{404}}, year = {{2019}}, } @inproceedings{22137, author = {{Brüggemann, J.P. and Risse, L. and Richard, H.A. and Kullmer, G.}}, booktitle = {{DVM-Bericht 251, Arbeitskreis: Bruchmechanische Werkstoff- und Bauteilbewertung: Beanspruchungsanalyse, Prüfmethoden und Anwendungen, Deutscher Verband für Materialforschung und -prüfung e.V.}}, pages = {{207--218}}, title = {{{Einflussfaktoren auf Bauteilgüte lasergeschmolzener Strukturen}}}, volume = {{251}}, year = {{2019}}, } @inproceedings{22140, author = {{Risse, L. and Woodcock, S.C. and Kullmer, G. and Schramm, B. and Schlenker, F. and Richard, H.A.}}, booktitle = {{DVM-Bericht 404, Arbeitskreis: Additiv gefertigte Bauteile und Strukturen}}, pages = {{139--150}}, title = {{{Potentiale des Einsatzes individueller, additiv gefertigter medizinischer Hilfsmittel}}}, volume = {{404}}, year = {{2019}}, }