@inproceedings{205, author = {{Herrmann, Philipp and Gutt, Dominik and Rahman, Mohammad}}, booktitle = {{INFORMS Annual Meeting}}, location = {{Nashville, USA}}, title = {{{Crowd-Driven Competitive Intelligence: Understanding the Relationship between Local Market Structure and Online Rating Distributions}}}, year = {{2016}}, } @inproceedings{20556, author = {{Bodden, Eric and I Pun, Ka and Steffen, Martin and Stolz, Volker and Wickert, Anna-Katharina}}, 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}}}, pages = {{431--445}}, title = {{{Information Flow Analysis for Go}}}, doi = {{10.1007/978-3-319-47166-2_30}}, year = {{2016}}, } @inproceedings{206, author = {{Herrmann, Philipp and Gutt, Dominik and Rahman, Mohammad}}, booktitle = {{NBER Summer Institute on the Economics of Information Technology and Digitization}}, location = {{Cambridge, MA, USA}}, title = {{{Crowd-Driven Competitive Intelligence: Understanding the Relationship between Local Market Structure and Online Rating Distributions}}}, year = {{2016}}, } @inproceedings{20649, author = {{Krause, D and Zobe, C and Blischke, K and Baumeister, Jochen}}, title = {{{Scalling of visually presented augmented feedback affects automatization in motor skill learning}}}, year = {{2016}}, } @inproceedings{20651, author = {{Koopmann, T and Krause, D and Steggemann-Weinrich, Y and Baumeister, Jochen}}, title = {{{Mental rotation of tactical instruction display affects processing demands and execution accuracy of playing patterns in basketball}}}, year = {{2016}}, } @inproceedings{20653, author = {{Büchel, D and Grundmann, R and Koers, T and Jakobsmeyer, R and Baumeister, Jochen}}, number = {{7+8}}, pages = {{183}}, title = {{{Positionsspezifischer Zusammenhang von Ausdauerleistungsfähigkeit und Laufleistung im Profifußball}}}, volume = {{67}}, year = {{2016}}, } @inproceedings{20654, author = {{Grundmann, R and Büchel, D and Koers, T and Jakobsmeyer, R and Baumeister, Jochen}}, number = {{7+8}}, pages = {{187}}, title = {{{Einfluss der Mehrbelastung Fußball-WM 2014 auf die Ausfalltage von Spielern der Fußball-Bundesliga}}}, volume = {{67}}, year = {{2016}}, } @inproceedings{20656, author = {{Rudolf, N and Krome, M and Baumeister, Jochen and Reinsberger, C}}, number = {{7+8}}, pages = {{186}}, title = {{{Evaluation eines Trainingsprogramms zur Steigerung der körperlichen Fitness von Büroangestellten}}}, volume = {{67}}, year = {{2016}}, } @inproceedings{20657, author = {{An, YW and DiTrani , A and Struminger, AH and Baumeister, Jochen and Swanik, CB}}, number = {{5S}}, pages = {{973}}, title = {{{Asymmetric Cortical Activity between limbs during Joint Loading}}}, volume = {{48}}, year = {{2016}}, } @inproceedings{20658, author = {{An, YW and DiTrani, A and Struminger, AH and Lehmann, T and Baumeister, Jochen and Swanik, CB}}, number = {{6}}, pages = {{290}}, title = {{{Neuromechanical links between cortical activity and knee stiffness during joint loading}}}, volume = {{51}}, year = {{2016}}, } @inproceedings{207, abstract = {{We consider a scheduling problem where machines need to be rented from the cloud in order to process jobs. There are two types of machines available which can be rented for machine-type dependent prices and for arbitrary durations. However, a machine-type dependent setup time is required before a machine is available for processing. Jobs arrive online over time, have machine-type dependent sizes and have individual deadlines. The objective is to rent machines and schedule jobs so as to meet all deadlines while minimizing the rental cost. Since we observe the slack of jobs to have a fundamental influence on the competitiveness, we study the model when instances are parameterized by their (minimum) slack. An instance is called to have a slack of $\beta$ if, for all jobs, the difference between the job's release time and the latest point in time at which it needs to be started is at least $\beta$. While for $\beta series = {LNCS}}}, author = {{Mäcker, Alexander and Malatyali, Manuel and Meyer auf der Heide, Friedhelm and Riechers, Sören}}, booktitle = {{Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA)}}, pages = {{578----592}}, title = {{{Cost-efficient Scheduling on Machines from the Cloud}}}, doi = {{10.1007/978-3-319-48749-6_42}}, year = {{2016}}, } @inproceedings{20716, author = {{Bodden, Eric and Eichberg, Michael and I Pun, Ka and Steffen, Martin and Stolz, Volker and Wickert, Anna-Katharina}}, booktitle = {{Nordic Workshop on Programming Theory (NWPT'16)}}, title = {{{Don't let data Go astray---A Context-Sensitive Taint Analysis for Concurrent Programs in Go}}}, year = {{2016}}, } @techreport{20717, author = {{Nguyen Quang Do, Lisa and Ali, Karim and Livshits, Benjamin and Bodden, Eric and Smith, Justin and Murphy-Hill, Emerson}}, keywords = {{ATTRACT, ITSECWEBSITE}}, title = {{{Just-in-Time Static Analysis}}}, doi = {{http://dx.doi.org/10.7939/DVN/10859}}, year = {{2016}}, } @article{20718, author = {{Rasthofer, Siegfried and Arzt, Steven and Bodden, Eric and Miltenberger, Marc}}, journal = {{Datenschutz und Datensicherheit}}, keywords = {{ATTRACT, ITSECWEBSITE}}, pages = {{718--722}}, title = {{{Harvester - Vollautomatische Extraktion von Laufzeitwerten aus obfuskierten Android-Applikationen}}}, doi = {{https://www.springerprofessional.de/en/datenschutz-und-datensicherheit-dud-11-2016/10866536}}, year = {{2016}}, } @inproceedings{20719, author = {{Holzinger, Philipp and Triller, Stefan and Bartel, Alexandre and Bodden, Eric}}, booktitle = {{Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security}}, isbn = {{978-1-4503-4139-4}}, keywords = {{ATTRACT, access control, exploits, java security, security analysis, ITSECWEBSITE}}, pages = {{779--790}}, title = {{{An In-Depth Study of More Than Ten Years of Java Exploitation}}}, doi = {{http://doi.acm.org/10.1145/2976749.2978361}}, year = {{2016}}, } @inproceedings{20720, author = {{Follner, Andreas and Bartel, Alexandre and Peng, Hui and Chang, Yu-Chen and Ispoglou, Kyriakos and Payer, Mathias and Bodden, Eric}}, booktitle = {{International Workshop on Security and Trust Management (STM)}}, pages = {{212--228}}, title = {{{PSHAPE: Automatically Combining Gadgets for Arbitrary Method Execution}}}, year = {{2016}}, } @inproceedings{20721, author = {{Nguyen Quang Do, Lisa and Eichberg, Michael and Bodden, Eric}}, booktitle = {{Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis}}, keywords = {{ATTRACT}}, pages = {{13--17}}, title = {{{Toward an Automated Benchmark Management System}}}, year = {{2016}}, } @inproceedings{20722, author = {{Arzt, Steven and Kussmaul, Tobias and Bodden, Eric}}, booktitle = {{Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis}}, pages = {{1--6}}, title = {{{Towards Cross-Platform Cross-Language Analysis with Soot}}}, year = {{2016}}, } @article{20724, author = {{Follner, Andreas and Bodden, Eric}}, issn = {{2214-2126}}, journal = {{Journal of Information Security and Applications }}, pages = {{16--26}}, title = {{{ROPocop — Dynamic mitigation of code-reuse attacks}}}, doi = {{http://dx.doi.org/10.1016/j.jisa.2016.01.002}}, volume = {{29}}, year = {{2016}}, } @inproceedings{20725, author = {{Follner, Andreas and Bartel, Alexandre and Bodden, Eric}}, booktitle = {{International Symposium on Engineering Secure Software and Systems (ESSoS)}}, title = {{{Analyzing the Gadgets - Towards a Metric to Measure Gadget Quality}}}, year = {{2016}}, }