Information Flow Analysis for Go
E. Bodden, K. I Pun, M. Steffen, V. Stolz, A.-K. Wickert, in: 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, 2016, pp. 431–445.
LibreCat: /record/20556
DOI: 10.1007/978-3-319-47166-2_30

Crowd-Driven Competitive Intelligence: Understanding the Relationship between Local Market Structure and Online Rating Distributions
P. Herrmann, D. Gutt, M. Rahman, in: NBER Summer Institute on the Economics of Information Technology and Digitization, 2016.
LibreCat: /record/206

Scalling of visually presented augmented feedback affects automatization in motor skill learning
D. Krause, C. Zobe, K. Blischke, J. Baumeister, (2016).
LibreCat: /record/20649

Mental rotation of tactical instruction display affects processing demands and execution accuracy of playing patterns in basketball
T. Koopmann, D. Krause, Y. Steggemann-Weinrich, J. Baumeister, (2016).
LibreCat: /record/20651

Positionsspezifischer Zusammenhang von Ausdauerleistungsfähigkeit und Laufleistung im Profifußball
D. Büchel, R. Grundmann, T. Koers, R. Jakobsmeyer, J. Baumeister, 67 (2016) 183.
LibreCat: /record/20653

Einfluss der Mehrbelastung Fußball-WM 2014 auf die Ausfalltage von Spielern der Fußball-Bundesliga
R. Grundmann, D. Büchel, T. Koers, R. Jakobsmeyer, J. Baumeister, 67 (2016) 187.
LibreCat: /record/20654

Evaluation eines Trainingsprogramms zur Steigerung der körperlichen Fitness von Büroangestellten
N. Rudolf, M. Krome, J. Baumeister, C. Reinsberger, 67 (2016) 186.
LibreCat: /record/20656

Asymmetric Cortical Activity between limbs during Joint Loading
Y. An, A. DiTrani , A. Struminger, J. Baumeister, C. Swanik, 48 (2016) 973.
LibreCat: /record/20657

Neuromechanical links between cortical activity and knee stiffness during joint loading
Y. An, A. DiTrani, A. Struminger, T. Lehmann, J. Baumeister, C. Swanik, 51 (2016) 290.
LibreCat: /record/20658

Cost-efficient Scheduling on Machines from the Cloud
A. Mäcker, M. Malatyali, F. Meyer auf der Heide, S. Riechers, in: Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA), 2016, pp. 578--592.
LibreCat: /record/207
DOI: 10.1007/978-3-319-48749-6_42

Don't let data Go astray---A Context-Sensitive Taint Analysis for Concurrent Programs in Go
E. Bodden, M. Eichberg, K. I Pun, M. Steffen, V. Stolz, A.-K. Wickert, in: Nordic Workshop on Programming Theory (NWPT’16), 2016.
LibreCat: /record/20716

Just-in-Time Static Analysis
L. Nguyen Quang Do, K. Ali, B. Livshits, E. Bodden, J. Smith, E. Murphy-Hill, Just-in-Time Static Analysis, 2016.
LibreCat: /record/20717
DOI: http://dx.doi.org/10.7939/DVN/10859

Harvester - Vollautomatische Extraktion von Laufzeitwerten aus obfuskierten Android-Applikationen
S. Rasthofer, S. Arzt, E. Bodden, M. Miltenberger, Datenschutz Und Datensicherheit (2016) 718–722.
LibreCat: /record/20718
DOI: https://www.springerprofessional.de/en/datenschutz-und-datensicherheit-dud-11-2016/10866536

An In-Depth Study of More Than Ten Years of Java Exploitation
P. Holzinger, S. Triller, A. Bartel, E. Bodden, in: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016, pp. 779–790.
LibreCat: /record/20719
DOI: http://doi.acm.org/10.1145/2976749.2978361

PSHAPE: Automatically Combining Gadgets for Arbitrary Method Execution
A. Follner, A. Bartel, H. Peng, Y.-C. Chang, K. Ispoglou, M. Payer, E. Bodden, in: International Workshop on Security and Trust Management (STM), 2016, pp. 212–228.
LibreCat: /record/20720

Toward an Automated Benchmark Management System
L. Nguyen Quang Do, M. Eichberg, E. Bodden, in: Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 2016, pp. 13–17.
LibreCat: /record/20721

Towards Cross-Platform Cross-Language Analysis with Soot
S. Arzt, T. Kussmaul, E. Bodden, in: Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 2016, pp. 1–6.
LibreCat: /record/20722

ROPocop — Dynamic mitigation of code-reuse attacks
A. Follner, E. Bodden, Journal of Information Security and Applications  29 (2016) 16–26.
LibreCat: /record/20724
DOI: http://dx.doi.org/10.1016/j.jisa.2016.01.002

Analyzing the Gadgets - Towards a Metric to Measure Gadget Quality
A. Follner, A. Bartel, E. Bodden, in: International Symposium on Engineering Secure Software and Systems (ESSoS), 2016.
LibreCat: /record/20725

Towards a Comprehensive Model of Isolation for Mitigating Illicit Channels
K. Falzon, E. Bodden, in: F. Piessens, L. Vigan’o (Eds.), 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, Springer Berlin Heidelberg, Berlin, Heidelberg, 2016, pp. 116–138.
LibreCat: /record/20726
DOI: 10.1007/978-3-662-49635-0_7

Harvesting Runtime Values in Android Applications That Feature Anti-Analysis Techniques
S. Rasthofer, S. Arzt, M. Miltenberger, E. Bodden, in: Network and Distributed System Security Symposium (NDSS), 2016.
LibreCat: /record/20727

Jumping Through Hoops: Why do Java Developers Struggle With Cryptography APIs?
S. Nadi, S. Krüger, M. Mezini, E. Bodden, in: International Conference for Software Engineering (ICSE), 2016, pp. 935–946.
LibreCat: /record/20728

StubDroid: Automatic Inference of Precise Data-flow Summaries for the Android Framework
S. Arzt, E. Bodden, in: International Conference for Software Engineering (ICSE), 2016.
LibreCat: /record/20729

Investigating Users' Reaction to Fine-Grained Data Requests: A Market Experiment
N. Eling, S. Rasthofer, M. Kolhagen, E. Bodden, P. Buxmann, in: 2016 49th Hawaii International Conference on System Sciences (HICSS), 2016, pp. 3666–3675.
LibreCat: /record/20730
DOI: 10.1109/HICSS.2016.458

Construction of Fully CCA-Secure Predicate Encryptions from Pair Encoding Schemes
J. Blömer, G. Liske, in: Proceedings of the CT-RSA 2016, 2016, pp. 431–447.
LibreCat: /record/208
DOI: 10.1007/978-3-319-29485-8_25

The MechatronicUML Design Method: Process and Language for Platform-Independent Modeling
S. Dziwok, U. Pohlmann, G. Piskachev, D. Schubert, S. Thiele, C. Gerking, The MechatronicUML Design Method: Process and Language for Platform-Independent Modeling, Zukunftsmeile 1, 33102 Paderborn, Germany, 2016.
LibreCat: /record/20822

The MechatronicUML Requirements Engineering Method: Process and Language
J. Holtmann, M. Fockel, T. Koch, D. Schmelter, C. Brenner, R. Bernijazov, M. Sander, The MechatronicUML Requirements Engineering Method: Process and Language, 2016.
LibreCat: /record/20823
DOI: 10.13140/RG.2.2.33223.29606

Das Erwachen der Macht – Automatische Softwareverteilung
U. Pohlmann, J. Holtmann, M. Meyer, in: Tagungsband Embedded Software Engineering Kongress 2016, 2016, pp. 587–592.
LibreCat: /record/20824

Anwendung von Methoden der Produktentstehung auf Basis des Systemmodells mechatronischer Systeme
M. Greinert, C. Tschirner, J. Holtmann, in: Tag Des Systems Engineering 2016, Gesellschaft f\'22ur Systems Engineering e.V., 2016, pp. 77–86.
LibreCat: /record/20825
DOI: 10.3139/9783446451414.008

Towards Feature-based Product Line Engineering of Technical Systems
T. Koch, J. Holtmann, D. Schubert, T. Lindemann, in: A. Trächtler, B. Denkena, K.-D. Thoben (Eds.), 3rd International Conference on System-Integrated Intelligence: New Challenges for Product and Production Engineering (SysInt 2016), Elsevier, 2016, pp. 447–454.
LibreCat: /record/20826
DOI: 10.1016/j.protcy.2016.08.057

ASIL Tailoring on Functional Safety Requirements
M. Fockel, in: 5th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR), Springer International Publishing Switzerland, Trondheim, Norway, 2016, pp. 298–310.
LibreCat: /record/20827

Requirements Engineering - Zusatzaufgabe oder Kernkompetenz?
J. Holtmann, M. Fockel, T. Koch, D. Schmelter, OBJEKTspektrum (2016).
LibreCat: /record/20828

Integrated and iterative systems engineering and software requirements engineering for technical systems
J. Holtmann, R. Bernijazov, M. Meyer, D. Schmelter, C. Tschirner, Journal of Software Evolution and Process (2016).
LibreCat: /record/20829
DOI: 10.1002/smr.1780

Towards Safe Execution of Reconfigurations in Cyber-Physical Systems
D. Schubert, C. Heinzemann, C. Gerking, in: Proceedings of the 19th International ACM Sigsoft Symposium on Component-Based Software Engineering, ACM, 2016.
LibreCat: /record/20830

Loan Pricing: Do Borrowers Benefit from Cost-Efficient Banking?
S. Sievers, T. Schlüter, R. Busch, T. Hartmann-Wendels,  Credit and Capital Markets – Kredit Und Kapital (VHB-JOURQUAL 3 Ranking C) 49 (2016) 93–125.
LibreCat: /record/20867
DOI: 10.3790/ccm.49.1.93

Congestion Games with Mixed Objectives
M. Feldotto, L. Leder, A. Skopalik, in: Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA), 2016, pp. 655--669.
LibreCat: /record/209
DOI: 10.1007/978-3-319-48749-6_47
arXiv: 1607.05143

Money Talks (Even) in the Sharing Economy: Empirical Evidence for Price Effects in Online Ratings as Quality Signals
D. Gutt, D. Kundisch, in: Proceedings of the 37th International Conference on Information Systems (ICIS), Dublin, Ireland, 2016.
LibreCat: /record/180

Kommunikationskulturen in digitalen Welten. Konzepte und Strategien der Medienpädagogik und Medienbildung
M. Brüggemann, T. Knaus, D.M. Meister, Kommunikationskulturen in Digitalen Welten. Konzepte Und Strategien Der Medienpädagogik Und Medienbildung, kopaed, München, 2016.
LibreCat: /record/18011

Mediengestütztes Lernen in der Pflege - zwischen Traditionen und Innovationen
A.M. Kamin, A.-D. Greiner, D.M. Meister, I. Darmann-Finck, Mediengestütztes Lernen in der Pflege - zwischen Traditionen und Innovationen, INVIA Verlag, Paderborn, 2016.
LibreCat: /record/18015

Nibbler: Implementing a Turing machine to simulate the Busy Beaver problem
S. Heuchler, Nibbler: Implementing a Turing Machine to Simulate the Busy Beaver Problem, 2016.
LibreCat: /record/18025

Kommunikationskulturen in digitalen Welten. Konzepte und Strategien der Medienpädagogik und Medienbildung. (Vorwort) 
M. Brüggemann, T. Knaus, D.M. Meister, in: M. Brüggemann, T. Knaus, D.M. Meister (Eds.), Kommunikationskulturen in digitalen Welten. Konzepte und Strategien der Medienpädagogik und Medienbildung, kopaed, München, 2016.
LibreCat: /record/18052

Qualifizierung von Erzieherinnen und Erziehern zur frühkindlichen Medienbildung in Kindertagesstätten
H. Friedrichs-Liesenkötter, D.M. Meister, in: J. Lauffer, R. Renate (Eds.), Krippe, Kita, Kinderzimmer – Medienpädagogik von Anfang an – Medienpädagogische Konzepte und Perspektiven, kopaed, München, 2016, pp. 54–60.
LibreCat: /record/18053

Increasing Educational Opportunities through Digital Participation
A.-M. Kamin, D.M. Meister, in: M. Antona, C. Stephanidis (Eds.), Universal Access in Human-Computer Interaction: Methods, Techniques, and Best Practices. 10th International Conference, UAHCI 2016 Held as Part of HCI International 2016 Toronto, Canada, Juli 17- 22, 2016, Proceedings, Part III, 2016, pp. 82–92.
LibreCat: /record/18054

MeCoPflege im Detail – Qualifizierung. Lernplattform. Medienpoints
A.-M. Kamin, A.-D. Greiner, I. Darmann-Finck, D.M. Meister, in: A.-M. Kamin, A.-D. Greiner, D.M. Meister, I. Darmann-Finck (Eds.), Mediengestütztes Lernen in der Pflege – zwischen Traditionen und Innovationen, IN VIA Verlag, Paderborn, 2016, pp. 105–130.
LibreCat: /record/18055

Mediengestütztes Lernen in der Pflege - zwischen Traditionen und Innovationen. Einführende Gedanken
A.-M. Kamin, A.-D. Greiner, D.M. Meister, I. Darmann-Finck, in: A.-M. Kamin, A.-D. Greiner, D.M. Meister, I. Darmann-Finck (Eds.), Mediengestütztes Lernen in der Pflege - zwischen Traditionen und Innovationen, IN VIA Verlag, Paderborn, 2016, pp. 5–15.
LibreCat: /record/18056

Digital unterstütztes Lernen in der beruflichen Bildung - Potenziale und Bedarfe bei den Pflege und Gesundheitsberufen
A.-M. Kamin, D.M. Meister, in: A.-M. Kamin, A.-D. Greiner, D.M. Meister, I. Darmann-Finck (Eds.), Mediengestütztes Lernen in der Pflege - zwischen Traditionen und Innovationen, INVIA Verlag, Paderborn, 2016, pp. 57–83.
LibreCat: /record/18057

Usability-Aspekte von virtuellen Lernplattformen am Beispiel von MeCoPdlege
A. Beckmann, D.M. Meister, in: A.-M. Kamin, A.-D. Greiner, D.M. Meister, I. Darmann-Finck (Eds.), Mediengestütztes Lernen in der Pflege - zwischen Traditionen und Innovationen, INVIA Verlag, Paderborn, 2016, pp. 131–151.
LibreCat: /record/18058

Modellierung von domänenspezifischen Ontologien im Anwendungsfall funktionaler Softwareanforderungen
S. Stanco, Modellierung von domänenspezifischen Ontologien im Anwendungsfall funktionaler Softwareanforderungen, Universität Paderborn, 2016.
LibreCat: /record/181

Marktmissbrauch in der Internetökonomie - Eine wettbewerbspolitische Analyse
B. Kesmen, Marktmissbrauch in der Internetökonomie - Eine wettbewerbspolitische Analyse, Universität Paderborn, 2016.
LibreCat: /record/182

Literaturüberblick zur Varianz in Kundenbewertungen auf Online Plattformen
A. Jubrail, Literaturüberblick zur Varianz in Kundenbewertungen auf Online Plattformen, Universität Paderborn, 2016.
LibreCat: /record/183