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.
1989 Publications
2016 | Conference Paper | LibreCat-ID: 20556
Bodden E, I Pun K, Steffen M, Stolz V, Wickert A-K. Information Flow Analysis for Go. 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:431-445. doi:10.1007/978-3-319-47166-2_30
LibreCat
| DOI
2016 | Conference Abstract | LibreCat-ID: 206
Herrmann P, Gutt D, Rahman M. Crowd-Driven Competitive Intelligence: Understanding the Relationship between Local Market Structure and Online Rating Distributions. In: NBER Summer Institute on the Economics of Information Technology and Digitization. ; 2016.
LibreCat
| Files available
2016 | Conference Abstract | LibreCat-ID: 20649
Krause D, Zobe C, Blischke K, Baumeister J. Scalling of visually presented augmented feedback affects automatization in motor skill learning. 2016.
LibreCat
2016 | Conference Abstract | LibreCat-ID: 20651
Koopmann T, Krause D, Steggemann-Weinrich Y, Baumeister J. Mental rotation of tactical instruction display affects processing demands and execution accuracy of playing patterns in basketball. 2016.
LibreCat
2016 | Conference Abstract | LibreCat-ID: 20653
Büchel D, Grundmann R, Koers T, Jakobsmeyer R, Baumeister J. Positionsspezifischer Zusammenhang von Ausdauerleistungsfähigkeit und Laufleistung im Profifußball. 2016;67(7+8):183.
LibreCat
2016 | Conference Abstract | LibreCat-ID: 20654
Grundmann R, Büchel D, Koers T, Jakobsmeyer R, Baumeister J. Einfluss der Mehrbelastung Fußball-WM 2014 auf die Ausfalltage von Spielern der Fußball-Bundesliga. 2016;67(7+8):187.
LibreCat
2016 | Conference Abstract | LibreCat-ID: 20656
Rudolf N, Krome M, Baumeister J, Reinsberger C. Evaluation eines Trainingsprogramms zur Steigerung der körperlichen Fitness von Büroangestellten. 2016;67(7+8):186.
LibreCat
2016 | Conference Abstract | LibreCat-ID: 20657
An Y, DiTrani A, Struminger A, Baumeister J, Swanik C. Asymmetric Cortical Activity between limbs during Joint Loading. 2016;48(5S):973.
LibreCat
2016 | Conference Abstract | LibreCat-ID: 20658
An Y, DiTrani A, Struminger A, Lehmann T, Baumeister J, Swanik C. Neuromechanical links between cortical activity and knee stiffness during joint loading. 2016;51(6):290.
LibreCat
2016 | Conference Paper | LibreCat-ID: 207
Mäcker A, Malatyali M, Meyer auf der Heide F, Riechers S. Cost-efficient Scheduling on Machines from the Cloud. In: Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA). ; 2016:578--592. doi:10.1007/978-3-319-48749-6_42
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 20716
Bodden E, Eichberg M, I Pun K, Steffen M, Stolz V, Wickert A-K. Don’t let data Go astray---A Context-Sensitive Taint Analysis for Concurrent Programs in Go. In: Nordic Workshop on Programming Theory (NWPT’16). ; 2016.
LibreCat
| Download (ext.)
2016 | Report | LibreCat-ID: 20717
Nguyen Quang Do L, Ali K, Livshits B, Bodden E, Smith J, Murphy-Hill E. Just-in-Time Static Analysis.; 2016. doi:http://dx.doi.org/10.7939/DVN/10859
LibreCat
| DOI
| Download (ext.)
2016 | Journal Article | LibreCat-ID: 20718
Rasthofer S, Arzt S, Bodden E, Miltenberger M. Harvester - Vollautomatische Extraktion von Laufzeitwerten aus obfuskierten Android-Applikationen. Datenschutz und Datensicherheit. Published online 2016:718-722. doi:https://www.springerprofessional.de/en/datenschutz-und-datensicherheit-dud-11-2016/10866536
LibreCat
| DOI
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20719
Holzinger P, Triller S, Bartel A, Bodden E. An In-Depth Study of More Than Ten Years of Java Exploitation. In: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security. CCS ’16. ; 2016:779-790. doi:http://doi.acm.org/10.1145/2976749.2978361
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 20720
Follner A, Bartel A, Peng H, et al. PSHAPE: Automatically Combining Gadgets for Arbitrary Method Execution. In: International Workshop on Security and Trust Management (STM). ; 2016:212-228.
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20721
Nguyen Quang Do L, Eichberg M, Bodden E. Toward an Automated Benchmark Management System. In: Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis. SOAP 2016. ; 2016:13-17.
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20722
Arzt S, Kussmaul T, Bodden E. Towards Cross-Platform Cross-Language Analysis with Soot. In: Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis. SOAP 2016. ; 2016:1-6.
LibreCat
| Download (ext.)
2016 | Journal Article | LibreCat-ID: 20724
Follner A, Bodden E. ROPocop — Dynamic mitigation of code-reuse attacks. Journal of Information Security and Applications . 2016;29:16-26. doi:http://dx.doi.org/10.1016/j.jisa.2016.01.002
LibreCat
| DOI
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20725
Follner A, Bartel A, Bodden E. Analyzing the Gadgets - Towards a Metric to Measure Gadget Quality. In: International Symposium on Engineering Secure Software and Systems (ESSoS). ; 2016.
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20726
Falzon K, Bodden E. Towards a Comprehensive Model of Isolation for Mitigating Illicit Channels. In: Piessens F, Vigan’o L, 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; 2016:116-138. doi:10.1007/978-3-662-49635-0_7
LibreCat
| DOI
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20727
Rasthofer S, Arzt S, Miltenberger M, Bodden E. Harvesting Runtime Values in Android Applications That Feature Anti-Analysis Techniques. In: Network and Distributed System Security Symposium (NDSS). ; 2016.
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20728
Nadi S, Krüger S, Mezini M, Bodden E. Jumping Through Hoops: Why do Java Developers Struggle With Cryptography APIs? In: International Conference for Software Engineering (ICSE). ; 2016:935-946.
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20729
Arzt S, Bodden E. StubDroid: Automatic Inference of Precise Data-flow Summaries for the Android Framework. In: International Conference for Software Engineering (ICSE). ; 2016.
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20730
Eling N, Rasthofer S, Kolhagen M, Bodden E, Buxmann P. Investigating Users’ Reaction to Fine-Grained Data Requests: A Market Experiment. In: 2016 49th Hawaii International Conference on System Sciences (HICSS). ; 2016:3666-3675. doi:10.1109/HICSS.2016.458
LibreCat
| DOI
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 208
Blömer J, Liske G. Construction of Fully CCA-Secure Predicate Encryptions from Pair Encoding Schemes. In: Proceedings of the CT-RSA 2016. LNCS. ; 2016:431-447. doi:10.1007/978-3-319-29485-8_25
LibreCat
| Files available
| DOI
2016 | Report | LibreCat-ID: 20822
Dziwok S, Pohlmann U, Piskachev G, Schubert D, Thiele S, Gerking C. The MechatronicUML Design Method: Process and Language for Platform-Independent Modeling.; 2016.
LibreCat
2016 | Report | LibreCat-ID: 20823
Holtmann J, Fockel M, Koch T, et al. The MechatronicUML Requirements Engineering Method: Process and Language.; 2016. doi:10.13140/RG.2.2.33223.29606
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 20824
Pohlmann U, Holtmann J, Meyer M. Das Erwachen der Macht – Automatische Softwareverteilung. In: Tagungsband Embedded Software Engineering Kongress 2016. ; 2016:587-592.
LibreCat
2016 | Conference Paper | LibreCat-ID: 20825
Greinert M, Tschirner C, Holtmann J. Anwendung von Methoden der Produktentstehung auf Basis des Systemmodells mechatronischer Systeme. In: Tag Des Systems Engineering 2016. Gesellschaft f{\"u}r Systems Engineering e.V.; 2016:77-86. doi:10.3139/9783446451414.008
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 20826
Koch T, Holtmann J, Schubert D, Lindemann T. Towards Feature-based Product Line Engineering of Technical Systems. In: Trächtler A, Denkena B, Thoben K-D, eds. 3rd International Conference on System-Integrated Intelligence: New Challenges for Product and Production Engineering (SysInt 2016). Elsevier; 2016:447-454. doi:10.1016/j.protcy.2016.08.057
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 20827
Fockel M. ASIL Tailoring on Functional Safety Requirements. In: 5th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR). Vol 9923. Lecture Notes in Computer Science (LNCS). Trondheim, Norway: Springer International Publishing Switzerland; 2016:298–310.
LibreCat
2016 | Journal Article | LibreCat-ID: 20828
Holtmann J, Fockel M, Koch T, Schmelter D. Requirements Engineering - Zusatzaufgabe oder Kernkompetenz? OBJEKTspektrum. 2016;(RE/2016).
LibreCat
| Download (ext.)
2016 | Journal Article | LibreCat-ID: 20829
Holtmann J, Bernijazov R, Meyer M, Schmelter D, Tschirner C. Integrated and iterative systems engineering and software requirements engineering for technical systems. Journal of Software Evolution and Process. 2016. doi:10.1002/smr.1780
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 20830
Schubert D, Heinzemann C, Gerking C. Towards Safe Execution of Reconfigurations in Cyber-Physical Systems. In: Proceedings of the 19th International ACM Sigsoft Symposium on Component-Based Software Engineering. ACM; 2016.
LibreCat
2016 | Journal Article | LibreCat-ID: 20867
Sievers S, Schlüter T, Busch R, Hartmann-Wendels T. Loan Pricing: Do Borrowers Benefit from Cost-Efficient Banking? Credit and Capital Markets – Kredit und Kapital (VHB-JOURQUAL 3 Ranking C). 2016;49(1):93-125. doi:10.3790/ccm.49.1.93
LibreCat
| DOI
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 209
Feldotto M, Leder L, Skopalik A. Congestion Games with Mixed Objectives. In: Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA). LNCS. ; 2016:655--669. doi:10.1007/978-3-319-48749-6_47
LibreCat
| Files available
| DOI
| arXiv
2016 | Conference Paper | LibreCat-ID: 180
Gutt D, Kundisch D. Money Talks (Even) in the Sharing Economy: Empirical Evidence for Price Effects in Online Ratings as Quality Signals. In: Proceedings of the 37th International Conference on Information Systems (ICIS), Dublin, Ireland. ; 2016.
LibreCat
| Files available
2016 | Book | LibreCat-ID: 18011
Brüggemann M, Knaus T, Meister DM. Kommunikationskulturen in Digitalen Welten. Konzepte Und Strategien Der Medienpädagogik Und Medienbildung. München: kopaed; 2016.
LibreCat
2016 | Book | LibreCat-ID: 18015
Kamin AM, Greiner A-D, Meister DM, Darmann-Finck I. Mediengestütztes Lernen in der Pflege - zwischen Traditionen und Innovationen. Paderborn: INVIA Verlag; 2016.
LibreCat
2016 | Bachelorsthesis | LibreCat-ID: 18025
Heuchler S. Nibbler: Implementing a Turing Machine to Simulate the Busy Beaver Problem.; 2016.
LibreCat
2016 | Book Chapter | LibreCat-ID: 18052
Brüggemann M, Knaus T, Meister DM. Kommunikationskulturen in digitalen Welten. Konzepte und Strategien der Medienpädagogik und Medienbildung. (Vorwort) . In: Brüggemann M, Knaus T, Meister DM, eds. Kommunikationskulturen in digitalen Welten. Konzepte und Strategien der Medienpädagogik und Medienbildung. München: kopaed; 2016.
LibreCat
2016 | Book Chapter | LibreCat-ID: 18053
Friedrichs-Liesenkötter H, Meister DM. Qualifizierung von Erzieherinnen und Erziehern zur frühkindlichen Medienbildung in Kindertagesstätten. In: Lauffer J, Renate R, eds. Krippe, Kita, Kinderzimmer – Medienpädagogik von Anfang an – Medienpädagogische Konzepte und Perspektiven. München: kopaed; 2016:54-60.
LibreCat
2016 | Book Chapter | LibreCat-ID: 18054
Kamin A-M, Meister DM. Increasing Educational Opportunities through Digital Participation. In: Antona M, Stephanidis C, 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:82-92.
LibreCat
2016 | Book Chapter | LibreCat-ID: 18055
Kamin A-M, Greiner A-D, Darmann-Finck I, Meister DM. MeCoPflege im Detail – Qualifizierung. Lernplattform. Medienpoints. In: Kamin A-M, Greiner A-D, Meister DM, Darmann-Finck I, eds. Mediengestütztes Lernen in der Pflege – zwischen Traditionen und Innovationen. Paderborn: IN VIA Verlag; 2016:105-130.
LibreCat
2016 | Book Chapter | LibreCat-ID: 18056
Kamin A-M, Greiner A-D, Meister DM, Darmann-Finck I. Mediengestütztes Lernen in der Pflege - zwischen Traditionen und Innovationen. Einführende Gedanken. In: Kamin A-M, Greiner A-D, Meister DM, Darmann-Finck I, eds. Mediengestütztes Lernen in der Pflege - zwischen Traditionen und Innovationen. Paderborn: IN VIA Verlag; 2016:5-15.
LibreCat
2016 | Book Chapter | LibreCat-ID: 18057
Kamin A-M, Meister DM. Digital unterstütztes Lernen in der beruflichen Bildung - Potenziale und Bedarfe bei den Pflege und Gesundheitsberufen. In: Kamin A-M, Greiner A-D, Meister DM, Darmann-Finck I, eds. Mediengestütztes Lernen in der Pflege - zwischen Traditionen und Innovationen. Paderborn: INVIA Verlag; 2016:57-83.
LibreCat
2016 | Book Chapter | LibreCat-ID: 18058
Beckmann A, Meister DM. Usability-Aspekte von virtuellen Lernplattformen am Beispiel von MeCoPdlege. In: Kamin A-M, Greiner A-D, Meister DM, Darmann-Finck I, eds. Mediengestütztes Lernen in der Pflege - zwischen Traditionen und Innovationen. Paderborn: INVIA Verlag; 2016:131-151.
LibreCat
2016 | Mastersthesis | LibreCat-ID: 181
Stanco S. Modellierung von domänenspezifischen Ontologien im Anwendungsfall funktionaler Softwareanforderungen. Universität Paderborn; 2016.
LibreCat
2016 | Mastersthesis | LibreCat-ID: 182
Kesmen B. Marktmissbrauch in der Internetökonomie - Eine wettbewerbspolitische Analyse. Universität Paderborn; 2016.
LibreCat
2016 | Bachelorsthesis | LibreCat-ID: 183
Jubrail A. Literaturüberblick zur Varianz in Kundenbewertungen auf Online Plattformen. Universität Paderborn; 2016.
LibreCat