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.
2200 Publications
2017 | Book Chapter | LibreCat-ID: 2054
Krimphove D, Lüke C. The Transformation of the Mortgage Credit Directive in German Law. In: Anderson M, Arroyo Amayuelas E, eds. The Impact of the Mortgage Credit Directive in Europe. Groningen: Europa Law Publishing ; 2017:205 – 233.
LibreCat
2017 | Book Chapter | LibreCat-ID: 20552
Gerking C, Bodden E, Schäfer W. Industrial Security by Design. In: Maier GW, Engels G, Steffen E, eds. Handbuch Gestaltung Digitaler Und Vernetzter Arbeitswelten. Springer Berlin Heidelberg; 2017:1-24. doi:10.1007/978-3-662-52903-4_8-1
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 20553
Ben Othmane L, Chehrazi G, Bodden E, Tsalovski P, Brucker AD. Time for Addressing Software Security Issues: Prediction Models and Impacting Factors. Data Science and Engineering. 2017;2(2):107-124. doi:https://doi.org/10.1007/s41019-016-0019-8
LibreCat
| Files available
| DOI
2017 | Report | LibreCat-ID: 20554
Bodden E. Self-Adaptive Static Analysis.; 2017.
LibreCat
| Download (ext.)
2017 | Report | LibreCat-ID: 20555
Krüger S, Späth J, Ali K, Bodden E, Mezini M. CrySL: Validating Correct Usage of Cryptographic APIs.; 2017.
LibreCat
| Download (ext.)
2017 | Journal Article | LibreCat-ID: 20557
Lillack M, Kästner C, Bodden E. Tracking Load-time Configuration Options. IEEE Transactions on Software Engineering. 2017;PP(99):1-1. doi:10.1109/TSE.2017.2756048
LibreCat
| DOI
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 20558
Krüger S, Nadi S, Reif M, et al. CogniCrypt: Supporting Developers in using Cryptography. In: International Conference on Automated Software Engineering (ASE 2017), Tool Demo Track. ; 2017.
LibreCat
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 20559
Do LNQ, Ali K, Livshits B, Bodden E, Smith J, Murphy-Hill E. Just-in-time Static Analysis. In: Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis. ISSTA 2017. ACM; 2017:307-317. doi:10.1145/3092703.3092705
LibreCat
| DOI
| Download (ext.)
2017 | Conference Abstract | LibreCat-ID: 20659
An Y, DiTrani Lobacz A, Lehmann T, Baumeister J, Swanik C. Altered brain activity during joint loading after anterior cruciate ligament reconstruction. 2017;49(5S):360.
LibreCat
2017 | Conference Abstract | LibreCat-ID: 20660
An Y, DiTrani Lobacz A, Lehmann T, Baumeister J, Swanik C. Altered cortical activation patterns following anterior cruciate ligament reconstruction during joint loading. 2017;52(6):136.
LibreCat
2017 | Conference Abstract | LibreCat-ID: 20661
Anders P, Lehmann T, Müller H, et al. Balance exergames increase cortical activity in frontal areas of the brain. 2017;57(1):351.
LibreCat
2017 | Conference Paper | LibreCat-ID: 20715
Nguyen Quang Do L, Ali K, Livshits B, Bodden E, Smith J, Murphy-Hill E. Cheetah: Just-in-Time Taint Analysis for Android Apps. In: International Conference for Software Engineering (ICSE), Tool Demonstrations Track. ; 2017.
LibreCat
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 20791
Schmitz J, Fockel M. Systemmodelle als Schlüssel zu durchgängigen XIL-Testszenarien. In: Tag Des Systems Engineering 2017. Gesellschaft f{\"u}r Systems Engineering e.V.; 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 20792
Schivo S, Yildiz. BM, Ruijters E, et al. How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach. In: Larsen KG, Sokolsky O, Wang J, eds. Dependable Software Engineering, 3rd International Symposium (SETTA 2017). Lecture Notes in Computer Science. Springer; 2017:319-336. doi:10.1007/978-3-319-69483-2_19
LibreCat
| DOI
2017 | Report | LibreCat-ID: 20793
Fockel M, Holtmann J, Koch T, Schmelter D. Model-Based Requirement Pattern Catalog. Paderborn, Germany; 2017.
LibreCat
2017 | Dissertation | LibreCat-ID: 20794
Dziwok S. Specification and Verification for Real-Time Coordination Protocols of Cyber-Physical Systems. Paderborn University; 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 20795
Schmelter D, Greenyer J, Holtmann J. Toward Learning Realizable Scenario-based, Formal Requirements Specifications. In: 4th International Workshop on Artificial Intelligence for Requirements Engineering (AIRE). Lisbon, Portugal: IEEE; 2017. doi:10.1109/REW.2017.14
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 20796
Wohlers B, Dziwok S, Bremer C, Schmelter D, Lorenz W. Improving the Product Control of Mechatronic Systems Using Key Performance Indicators. In: Proceedings of the 24th International Conference on Production Research (ICPR). DEStech Publications, Inc.; 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 20797
Gerking C, Schubert D, Budde I. Reducing the Verbosity of Imperative Model Refinements by using General-Purpose Language Facilities. In: Guerra E, van den Brand M, eds. Theory and Practice of Model Transformation, 10th International Conference (ICMT 2017). Lecture Notes in Computer Science. Springer; 2017:19-34.
LibreCat
| Download (ext.)
2017 | Preprint | LibreCat-ID: 20798
Ghassemi F, Meyer M, Pohlmann U, Priesterjahn C. Verteilte statische Analyse zur Identifikation von kritischen Datenflüssen für vernetzte Automatisierungs- und Produktionssysteme. 2017.
LibreCat
2017 | Report | LibreCat-ID: 20799
Hüwe M, Pohlmann U. Formal Definition and Proofs for the MechatronicUML Allocation Specification Language. Zukunftsmeile 1, 33102 Paderborn, Germany; 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 20801
Koch T, Holtmann J, Lindemann T. Flexible Specification of STEP Application Protocol Extensions and Automatic Derivation of Tool Capabilities. In: Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development. ; 2017. doi:10.5220/0006137400530064
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 20802
Holtmann J, Bernijazov R, Meyer M, Schmelter D, Tschirner C. Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems (Précis). In: Jürjens J, Schneider K, eds. Proceedings of the Software Engineering 2017. Vol P-267. Lecture Notes in Informatics (LNI). Gesellschaft fuer Informatik; 2017:109-110.
LibreCat
2017 | Conference Paper | LibreCat-ID: 20803
Pohlmann U, Hüwe M. Model-Driven Allocation Engineering – Abridged Version. In: Jürjens J, Schneider K, eds. GI-Edition, Lecture Notes in Informatics, Software Engineering 2017, Proceedings. ; 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 20804
Geismann J, Pohlmann U, Schmelter D. Towards an Automated Synthesis of a Real-time Scheduling for Cyber-physical Multi-core Systems. In: Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development. ; 2017.
LibreCat
2017 | Dissertation | LibreCat-ID: 20805
Becker M. Engineering Self-Adaptive Systems with Simulation-Based Performance Prediction. Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik; 2017.
LibreCat
2017 | Working Paper | LibreCat-ID: 20868
Sievers S, Klobucnik J, Miersch D. Predicting Early Warning Signals of Financial Distress: Theory and Empirical Evidence.; 2017. doi:10.2139/ssrn.2237757
LibreCat
| DOI
| Download (ext.)
2017 | Book | LibreCat-ID: 18010
Meister DM, Oevel G. E-Assessments in Der Hochschulpraxis. Empfehlungen Zur Verankerung von E-Assessments in NRW. Paderborn; 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 18026
Burkhardt M. Untersuchungen Zum Cone-Hashing. Universität Paderborn; 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 18027
Banh NC. An Asynchronous Adaption of a Churn-Resistant Overlay Network. Universität Paderborn; 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 18028
Schenk A. Monotone Suchbarkeit in Mehrdimensionalen Verteilten Datenstrukturen. Universität Paderborn; 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 18029
Beckendorf B. Visualisierung Zu Algorithmen Verteilter Netzwerksysteme. Universität Paderborn; 2017.
LibreCat
2017 | Book Chapter | LibreCat-ID: 18044
Meise B, Meister DM. Aufwachsen und lernen mit Medien. In: Rheinländer M, Weber B, eds. Digitale Medien im Musikunterricht. Bestandsaufnahme Reflexion Perspektiven. Kongress „Musikunterricht und Multimedia“ an der Niedersächsischen Landesmusikakademie Wolfenbüttel 20.-21. Mai 2016. Handorf: Lugert Verlag GmbH & Co. KG; 2017:9-26.
LibreCat
2017 | Journal Article | LibreCat-ID: 18045
Meise B, Meister DM. Digitale Transformationen. Zum Einfluss der Digitalisierung auf die musikwissenschaftliche Editionsarbeit. medien + erziehung (merz). 2017;61 Jg., 6:42-51.
LibreCat
2017 | Book Chapter | LibreCat-ID: 18046
Meister DM. Medienarbeit mit Gelüchteten. In: Eder S, Mikat C, Tillmann A, eds. Software takes command. Herausforderungen der “Datafizierung” für die Medienpädagogik in Theorie und Praxis. Vol 53. Schriften zur Medienpädagogik . München: kopaed; 2017:219-229.
LibreCat
2017 | Journal Article | LibreCat-ID: 18047
Knaus T, Meister DM, Tulodziecki G. "Futurelab Medienpädagogik: Qualitätsentwicklung - Professionalisierung - Standards. Thesenpapier zum Forum Kommunikationskultur der GMK. MedienPädagogik, (24 Oktober). 2017:1-23. doi:doi:10.21240/mpaed/00/2017.10.24.X
LibreCat
| DOI
2017 | Book Chapter | LibreCat-ID: 18048
Meister DM. Medienpädagogik: Herausforderungen der Digitalisierung. In: Kulturelle Bildung digital - Vermittlungsformen, ästhetische Praxis und Aus- und Weiterbildung, Dossier 6. Dossier 6. ; 2017.
LibreCat
2017 | Book Chapter | LibreCat-ID: 18049
Kamin A-M, Meister DM. Berufliche Bildung. In: Schorb B, Hartung-Griemberg A, Dallmann C, eds. Grundbegriffe Medienpädagogik. München: kopaed; 2017:37-41.
LibreCat
2017 | Book Chapter | LibreCat-ID: 18050
von Gross F, Meister DM, Sander U. Medienpädagogik. In: Bering K, Niehoff R, Pauls K, eds. Lexikon der Kunstpädagogik. Oberhausen: ATHENA-Verlag; 2017:340-343.
LibreCat
2017 | Book Chapter | LibreCat-ID: 18051
Kamin A-M, Meister DM. Digital unterstütztes Lernen in Pflegeberufen unter entgrenzten Bedingungen – Ein gestaltungs- und entwicklungsorientiertes Forschungsprojekt. In: Mayrberger K, Fromme J, Grell P, Hug T, eds. Digital und vernetzt: Lernen heute. Gestaltung von Lernumgebungen mit digitalen Medien unter entgrenzten Bedingungen. Wiesbaden: Springer VS; 2017:213-229.
LibreCat
2017 | Journal Article | LibreCat-ID: 1812
Koutsopoulos A, Scheideler C, Strothmann TF. Towards a universal approach for the finite departure problem in overlay networks. Inf Comput. 2017:408--424. doi:10.1016/j.ic.2016.12.006
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 1813
P. Fekete S, W. Richa A, Römer K, Scheideler C. Algorithmic Foundations of Programmable Matter Dagstuhl Seminar 16271. SIGACT News. 2017;(2):87--94. doi:10.1145/3106700.3106713
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 1814
Derakhshandeh Z, Gmyr R, W. Richa A, Scheideler C, Strothmann TF. Universal coating for programmable matter. Theor Comput Sci. 2017:56--68. doi:10.1016/j.tcs.2016.02.039
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 1815
J. Daymude J, Gmyr R, W. Richa A, Scheideler C, Strothmann TF. Improved Leader Election for Self-organizing Programmable Matter. In: Algorithms for Sensor Systems - 13th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2017, Vienna, Austria, September 7-8, 2017, Revised Selected Papers. ; 2017:127--140. doi:10.1007/978-3-319-72751-6_10
LibreCat
| DOI
2017 | Conference (Editor) | LibreCat-ID: 1820
Scheideler C, Taghi Hajiaghayi M, eds. Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2017, Washington DC, USA, July 24-26, 2017.; 2017. doi:10.1145/3087556
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 22110
Taube A. Mechanische und mikrostrukturellen Eigenschaften additiv hergestellter Gitterstrukturen . In: Hannover Messe Industrie, 2017, Hannover. ; 2017.
LibreCat
2017 | Book | LibreCat-ID: 22112
Brüggemann JP, Risse L, Riemer A, Reschetnik W, Kullmer G, Richard HA. Entwicklung von Fahrradtretkurbelsystemen Mittels Additiver Fertigung.; 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 22119
Bauer B, Reschetnik W, Kullmer G, Richard HA. Methods for crack length measurement for the determination of fracture mechanical parameters of additive manufactured plastics. In: 14th International Conference on Fracture. Vol 14. ; 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 22127
Bauer B, Reschetnik W, Kullmer G, Richard HA. Risslängenmessung in additiv gefertigten Kunststoffproben auf Basis von Steifigkeitsänderungen infolge Ermüdungswachstum. In: DVM - Tagung - Additiv Gefertigte Bauteile Und Strukturen. ; 2017:77-88.
LibreCat
2017 | Conference Paper | LibreCat-ID: 22131
Reschetnik W, Brüggemann JP, Kullmer G, Richard HA. Bruchmechanische Charakterisierung von laserstrahlgeschmolzenen Werkstoffen. In: DVM - Tagung - Additiv Gefertigte Bauteile Und Strukturen, Deutscher Verband Für Materialforschung Und -Prüfung e.V. ; 2017:147-156.
LibreCat