Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
32125 Publications
2019 | Journal Article | LibreCat-ID: 20533
@article{Krüger_Späth_Ali_Bodden_Mezini_2019, title={CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs}, DOI={10.1109/TSE.2019.2948910}, journal={IEEE Transactions on Software Engineering}, author={Krüger, Stefan and Späth, Johannes and Ali, Karim and Bodden, Eric and Mezini, Mira}, year={2019}, pages={1–1} }
LibreCat
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20534
@inproceedings{Piskachev_Nguyen Quang Do_Bodden_2019, title={Codebase-Adaptive Detection of Security-Relevant Methods}, booktitle={ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)}, author={Piskachev, Goran and Nguyen Quang Do, Lisa and Bodden, Eric}, year={2019} }
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20535
@inproceedings{Luo_Dolby_Bodden_2019, title={MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors}, booktitle={European Conference on Object-Oriented Programming (ECOOP)}, author={Luo, Linghui and Dolby, Julian and Bodden, Eric}, year={2019} }
LibreCat
| Download (ext.)
2019 | Dissertation | LibreCat-ID: 20536
@book{Späth_2019, title={Synchronized Pushdown Systems for Pointer and Data-Flow Analysis}, publisher={Universität Paderborn}, author={Späth, Johannes}, year={2019} }
LibreCat
| Download (ext.)
2019 | Report | LibreCat-ID: 20537
@book{Piskachev_Nguyen_Bodden_2019, title={Codebase-Adaptive Detection of Security-Relevant Methods}, author={Piskachev, Goran and Nguyen, Lisa and Bodden, Eric}, year={2019} }
LibreCat
2019 | Conference Paper | LibreCat-ID: 20538
@inproceedings{Albert Gorski Iii_Andow_Nadkarni_Manandhar_Enck_Bodden_Bartel_2019, title={ACMiner: Extraction and Analysis of Authorization Checks in Android’s Middleware}, booktitle={ACM Conference on Data and Application Security and Privacy (CODASPY 2019)}, author={Albert Gorski Iii, Sigmund and Andow, Benjamin and Nadkarni, Adwait and Manandhar, Sunil and Enck, William and Bodden, Eric and Bartel, Alexandre}, year={2019} }
LibreCat
| Download (ext.)
2019 | Journal Article | LibreCat-ID: 20539
@article{Späth_Ali_Bodden_2019, title={Context-, Flow-, and Field-sensitive Data-flow Analysis Using Synchronized Pushdown Systems}, volume={3}, DOI={10.1145/3290361}, number={POPL}, journal={Proceedings of the ACM SIGPLAN Symposium on Principles of Programming Languages}, publisher={ACM}, author={Späth, Johannes and Ali, Karim and Bodden, Eric}, year={2019}, pages={48:1-48:29} }
LibreCat
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20626
@inproceedings{Aßmuth_Teutenberg_Meschut_2019, title={Analyse und Vorhersage rezeptur- und zeitabhängiger Enthaftungserscheinungen geklebter SMC-Bauteile}, booktitle={19. Kolloquium Gemeinsame Forschung in der Klebtechnik}, author={Aßmuth, Verena and Teutenberg, Dominik and Meschut, Gerson}, editor={DECHEMA Gesellschaft für Chemische Technik und Biotechnologie e.V.Editor}, year={2019}, pages={18–20} }
LibreCat
2019 | Conference Paper | LibreCat-ID: 20632
@inproceedings{Aßmuth_Teutenberg_Meschut_2019, title={Analysis of formulation- and aging-dependent failure phenomena of bonded Sheet Molding Compounds (SMC)}, author={Aßmuth, Verena and Teutenberg, Dominik and Meschut, Gerson}, editor={42nd Annual Meeting The Adhesion SocietyEditor}, year={2019} }
LibreCat
2019 | Conference Abstract | LibreCat-ID: 20664
@inproceedings{Vogt_Neuhaus_Baumeister_2019, title={Effects of different visual conditions on standing balance in a virtual reality scene: a pilot study}, booktitle={Sportmotorik 2019. Adaptation, Lernen und virtuelle Welten}, author={Vogt, S and Neuhaus, D and Baumeister, Jochen}, year={2019} }
LibreCat
2019 | Conference Abstract | LibreCat-ID: 20665
@inproceedings{Neuhaus_Vogt_Boschmann_Dosen_Baumeister_2019, title={Effects of an augmented reality training using a myoelectric hand prosthesis: a pilot study}, booktitle={Sportmotorik 2019. Adaptation, Lernen und virtuelle Welten}, author={Neuhaus, D and Vogt, S and Boschmann, A and Dosen, S and Baumeister, Jochen}, year={2019} }
LibreCat
2019 | Conference Abstract | LibreCat-ID: 20668
@inproceedings{Bonnette_Diekfuss_Barber Foss_DiCesare_Riley_Riehm_Moore_Grooms_Myer_Baumeister_2019, title={A preliminary prospective Analysis of electrocortical signatures underlying ACL injury}, 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}, year={2019} }
LibreCat
2019 | Conference Abstract | LibreCat-ID: 20669
@inproceedings{Claussen_Baumeister_Braaten_Ettema_2019, series={Ger J Exerc Sport Res}, title={Muscle activity patterns in imitation ski jumps}, volume={49}, number={S5}, booktitle={Book of abstracts - German Exercise Science and Training conference}, author={Claussen, L and Baumeister, Jochen and Braaten, S and Ettema, G}, year={2019}, collection={Ger J Exerc Sport Res} }
LibreCat
2019 | Conference Abstract | LibreCat-ID: 20670
@inproceedings{Büchel_Lehmann_Baumeister_2019, series={Ger J Exerc Sport Res}, title={Effect of age on reactive multidirectional speed in highly trained youth soccer players}, volume={49}, number={S9}, booktitle={Book of abstracts - German Exercise Science and Training conference}, author={Büchel, D and Lehmann, T and Baumeister, Jochen}, year={2019}, collection={Ger J Exerc Sport Res} }
LibreCat
2019 | Conference Abstract | LibreCat-ID: 20671
@inproceedings{Büchel_Döring_Berkel_Baumeister_2019, series={Ger J Exerc Sport Res}, title={Sports-specific differences in reactive multidirectional speed in tema sports athletes using the Speedcourt}, volume={49}, number={S9}, booktitle={Book of abstracts - German Exercise Science and Training conference}, author={Büchel, D and Döring, M and Berkel, F and Baumeister, Jochen}, year={2019}, collection={Ger J Exerc Sport Res} }
LibreCat
2019 | Book | LibreCat-ID: 20677
@book{Bobbert_2019, title={Untersuchungen zu kontinuums- und bruchmechanischen Methoden für die Prognose des Crashverhaltens toleranzbehafteter Strukturklebverbindungen}, author={Bobbert, Mathias}, year={2019} }
LibreCat
2019 | Journal Article | LibreCat-ID: 20688
@article{Hüther_Robinson_Sievers_Hartmann-Wendels_2019, title={Paying for Performance in Private Equity: Evidence from Venture Capital Partnerships}, volume={66}, DOI={10.1287/mnsc.2018.3274}, number={4}, journal={Management Science (VHB-JOURQUAL 3 Ranking A+)}, author={Hüther, Niklas and Robinson, David T. and Sievers, Sönke and Hartmann-Wendels, Thomas}, year={2019}, pages={1756–1782} }
LibreCat
| Files available
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20757
@inproceedings{Fazal-Baqaie_Strüwer_Schmelter_Dziwok_2019, title={Coaching on the Job bei Unternehmen des Maschinen- und Anlagenbaus - Wissenslücken schließen zur Weiterpflege modernisierter IT-Anwendungen}, booktitle={Projektmanagement und Vorgehensmodelle 2019 (PVM 2019)}, publisher={Lecture Notes in Informatics (LNI)}, author={Fazal-Baqaie, Masud and Strüwer, Jan-Niclas and Schmelter, David and Dziwok, Stefan}, editor={Mikusz, Martin}, year={2019} }
LibreCat
2019 | Dissertation | LibreCat-ID: 20758
@book{Holtmann_2019, title={Improvement of Software Requirements Quality based on Systems Engineering}, publisher={Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn}, author={Holtmann, Jörg}, year={2019} }
LibreCat
2019 | Conference Paper | LibreCat-ID: 20759
@inproceedings{Gerking_Schubert_2019, title={Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures}, booktitle={International Conference on Software Architecture (ICSA 2019)}, author={Gerking, Christopher and Schubert, David}, year={2019} }
LibreCat