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.
1994 Publications
2016 | Conference Paper | LibreCat-ID: 20556
@inproceedings{Bodden_I Pun_Steffen_Stolz_Wickert_2016, title={Information Flow Analysis for Go}, DOI={10.1007/978-3-319-47166-2_30}, booktitle={Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}}, author={Bodden, Eric and I Pun, Ka and Steffen, Martin and Stolz, Volker and Wickert, Anna-Katharina}, year={2016}, pages={431–445} }
LibreCat
| DOI
2016 | Conference Abstract | LibreCat-ID: 206
@inproceedings{Herrmann_Gutt_Rahman_2016, title={Crowd-Driven Competitive Intelligence: Understanding the Relationship between Local Market Structure and Online Rating Distributions}, booktitle={NBER Summer Institute on the Economics of Information Technology and Digitization}, author={Herrmann, Philipp and Gutt, Dominik and Rahman, Mohammad}, year={2016} }
LibreCat
| Files available
2016 | Conference Abstract | LibreCat-ID: 20649
@article{Krause_Zobe_Blischke_Baumeister_2016, series={J Sports Exerc Psychol}, title={Scalling of visually presented augmented feedback affects automatization in motor skill learning}, author={Krause, D and Zobe, C and Blischke, K and Baumeister, Jochen}, year={2016}, collection={J Sports Exerc Psychol} }
LibreCat
2016 | Conference Abstract | LibreCat-ID: 20651
@article{Koopmann_Krause_Steggemann-Weinrich_Baumeister_2016, series={J Sports Exerc Psychol}, title={Mental rotation of tactical instruction display affects processing demands and execution accuracy of playing patterns in basketball}, author={Koopmann, T and Krause, D and Steggemann-Weinrich, Y and Baumeister, Jochen}, year={2016}, collection={J Sports Exerc Psychol} }
LibreCat
2016 | Conference Abstract | LibreCat-ID: 20653
@article{Büchel_Grundmann_Koers_Jakobsmeyer_Baumeister_2016, series={Dt Z Sportmed}, title={Positionsspezifischer Zusammenhang von Ausdauerleistungsfähigkeit und Laufleistung im Profifußball}, volume={67}, number={7+8}, author={Büchel, D and Grundmann, R and Koers, T and Jakobsmeyer, R and Baumeister, Jochen}, year={2016}, pages={183}, collection={Dt Z Sportmed} }
LibreCat
2016 | Conference Abstract | LibreCat-ID: 20654
@article{Grundmann_Büchel_Koers_Jakobsmeyer_Baumeister_2016, series={Dt Z Sportmed}, title={Einfluss der Mehrbelastung Fußball-WM 2014 auf die Ausfalltage von Spielern der Fußball-Bundesliga}, volume={67}, number={7+8}, author={Grundmann, R and Büchel, D and Koers, T and Jakobsmeyer, R and Baumeister, Jochen}, year={2016}, pages={187}, collection={Dt Z Sportmed} }
LibreCat
2016 | Conference Abstract | LibreCat-ID: 20656
@article{Rudolf_Krome_Baumeister_Reinsberger_2016, series={Dt Z Sportmed}, title={Evaluation eines Trainingsprogramms zur Steigerung der körperlichen Fitness von Büroangestellten}, volume={67}, number={7+8}, author={Rudolf, N and Krome, M and Baumeister, Jochen and Reinsberger, C}, year={2016}, pages={186}, collection={Dt Z Sportmed} }
LibreCat
2016 | Conference Abstract | LibreCat-ID: 20657
@article{An_DiTrani _Struminger_Baumeister_Swanik_2016, series={Med Sci Sports Exerx}, title={Asymmetric Cortical Activity between limbs during Joint Loading}, volume={48}, number={5S}, author={An, YW and DiTrani , A and Struminger, AH and Baumeister, Jochen and Swanik, CB}, year={2016}, pages={973}, collection={Med Sci Sports Exerx} }
LibreCat
2016 | Conference Abstract | LibreCat-ID: 20658
@article{An_DiTrani_Struminger_Lehmann_Baumeister_Swanik_2016, series={J Athl Train}, title={Neuromechanical links between cortical activity and knee stiffness during joint loading}, volume={51}, number={6}, author={An, YW and DiTrani, A and Struminger, AH and Lehmann, T and Baumeister, Jochen and Swanik, CB}, year={2016}, pages={290}, collection={J Athl Train} }
LibreCat
2016 | Conference Paper | LibreCat-ID: 207
@inproceedings{Mäcker_Malatyali_Meyer auf der Heide_Riechers_2016, title={Cost-efficient Scheduling on Machines from the Cloud}, DOI={10.1007/978-3-319-48749-6_42}, booktitle={Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA)}, author={Mäcker, Alexander and Malatyali, Manuel and Meyer auf der Heide, Friedhelm and Riechers, Sören}, year={2016}, pages={578--592} }
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 20716
@inproceedings{Bodden_Eichberg_I Pun_Steffen_Stolz_Wickert_2016, title={Don’t let data Go astray---A Context-Sensitive Taint Analysis for Concurrent Programs in Go}, booktitle={Nordic Workshop on Programming Theory (NWPT’16)}, author={Bodden, Eric and Eichberg, Michael and I Pun, Ka and Steffen, Martin and Stolz, Volker and Wickert, Anna-Katharina}, year={2016} }
LibreCat
| Download (ext.)
2016 | Report | LibreCat-ID: 20717
@book{Nguyen Quang Do_Ali_Livshits_Bodden_Smith_Murphy-Hill_2016, title={Just-in-Time Static Analysis}, DOI={http://dx.doi.org/10.7939/DVN/10859}, author={Nguyen Quang Do, Lisa and Ali, Karim and Livshits, Benjamin and Bodden, Eric and Smith, Justin and Murphy-Hill, Emerson}, year={2016} }
LibreCat
| DOI
| Download (ext.)
2016 | Journal Article | LibreCat-ID: 20718
@article{Rasthofer_Arzt_Bodden_Miltenberger_2016, title={Harvester - Vollautomatische Extraktion von Laufzeitwerten aus obfuskierten Android-Applikationen}, DOI={https://www.springerprofessional.de/en/datenschutz-und-datensicherheit-dud-11-2016/10866536}, journal={Datenschutz und Datensicherheit}, author={Rasthofer, Siegfried and Arzt, Steven and Bodden, Eric and Miltenberger, Marc}, year={2016}, pages={718–722} }
LibreCat
| DOI
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20719
@inproceedings{Holzinger_Triller_Bartel_Bodden_2016, series={CCS ’16}, title={An In-Depth Study of More Than Ten Years of Java Exploitation}, DOI={http://doi.acm.org/10.1145/2976749.2978361}, booktitle={Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security}, author={Holzinger, Philipp and Triller, Stefan and Bartel, Alexandre and Bodden, Eric}, year={2016}, pages={779–790}, collection={CCS ’16} }
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 20720
@inproceedings{Follner_Bartel_Peng_Chang_Ispoglou_Payer_Bodden_2016, title={PSHAPE: Automatically Combining Gadgets for Arbitrary Method Execution}, booktitle={International Workshop on Security and Trust Management (STM)}, author={Follner, Andreas and Bartel, Alexandre and Peng, Hui and Chang, Yu-Chen and Ispoglou, Kyriakos and Payer, Mathias and Bodden, Eric}, year={2016}, pages={212–228} }
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20721
@inproceedings{Nguyen Quang Do_Eichberg_Bodden_2016, series={SOAP 2016}, title={Toward an Automated Benchmark Management System}, booktitle={Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis}, author={Nguyen Quang Do, Lisa and Eichberg, Michael and Bodden, Eric}, year={2016}, pages={13–17}, collection={SOAP 2016} }
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20722
@inproceedings{Arzt_Kussmaul_Bodden_2016, series={SOAP 2016}, title={Towards Cross-Platform Cross-Language Analysis with Soot}, booktitle={Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis}, author={Arzt, Steven and Kussmaul, Tobias and Bodden, Eric}, year={2016}, pages={1–6}, collection={SOAP 2016} }
LibreCat
| Download (ext.)
2016 | Journal Article | LibreCat-ID: 20724
@article{Follner_Bodden_2016, title={ROPocop — Dynamic mitigation of code-reuse attacks}, volume={29}, DOI={http://dx.doi.org/10.1016/j.jisa.2016.01.002}, journal={Journal of Information Security and Applications }, author={Follner, Andreas and Bodden, Eric}, year={2016}, pages={16–26} }
LibreCat
| DOI
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20725
@inproceedings{Follner_Bartel_Bodden_2016, title={Analyzing the Gadgets - Towards a Metric to Measure Gadget Quality}, booktitle={International Symposium on Engineering Secure Software and Systems (ESSoS)}, author={Follner, Andreas and Bartel, Alexandre and Bodden, Eric}, year={2016} }
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20726
@inproceedings{Falzon_Bodden_2016, place={Berlin, Heidelberg}, title={Towards a Comprehensive Model of Isolation for Mitigating Illicit Channels}, DOI={10.1007/978-3-662-49635-0_7}, booktitle={Principles of Security and Trust: 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2--8, 2016, Proceedings}, publisher={Springer Berlin Heidelberg}, author={Falzon, Kevin and Bodden, Eric}, editor={Piessens, Frank and Vigan’o, Luca}, year={2016}, pages={116–138} }
LibreCat
| DOI
| Download (ext.)