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.
2180 Publications
2019 | Conference Paper | LibreCat-ID: 20527
@inproceedings{Hazhirpasand_Ghafari_Krüger_Bodden_Nierstrasz_2019, title={The Impact of Developer Experience in Using Java Cryptography}, DOI={10.1109/ESEM.2019.8870184}, booktitle={2019 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM)}, author={Hazhirpasand, Mohammadreza and Ghafari, Mohammad and Krüger, Stefan and Bodden, Eric and Nierstrasz, Oskar}, year={2019}, pages={1–6} }
LibreCat
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20528
@inproceedings{Piskachev_Petrasch_Späth_Bodden_2019, title={AuthCheck: Program-state Analysis for Access-control Vulnerabilities}, booktitle={10th Workshop on Tools for Automatic Program Analysis (TAPAS)}, author={Piskachev, Goran and Petrasch, Tobias and Späth, Johannes and Bodden, Eric}, year={2019} }
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20529
@inproceedings{Nachtigall_Nguyen Quang Do_Bodden_2019, title={Explaining Static Analysis -- A Perspective}, booktitle={1st International Workshop on Explainable Software (EXPLAIN) at ASE}, author={Nachtigall, Marcus and Nguyen Quang Do, Lisa and Bodden, Eric}, year={2019} }
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20531
@inproceedings{Luo_Bodden_Späth_2019, title={A Qualitative Analysis of Android Taint-Analysis Results}, booktitle={IEEE/ACM International Conference on Automated Software Engineering (ASE 2019)}, author={Luo, Linghui and Bodden, Eric and Späth, Johannes}, year={2019} }
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20532
@inproceedings{Piskachev_Nguyen Quang Do_Johnson_Bodden_2019, title={SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods}, booktitle={IEEE/ACM International Conference on Automated Software Engineering (ASE 2019), Tool Demo Track}, author={Piskachev, Goran and Nguyen Quang Do, Lisa and Johnson, Oshando and Bodden, Eric}, year={2019} }
LibreCat
| Download (ext.)
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