The Transformation of the Mortgage Credit Directive in German Law
D. Krimphove, C. Lüke, in: M. Anderson, E. Arroyo Amayuelas (Eds.), The Impact of the Mortgage Credit Directive in Europe, Europa Law Publishing , Groningen, 2017, pp. 205 – 233.
LibreCat: /record/2054

Industrial Security by Design
C. Gerking, E. Bodden, W. Schäfer, in: G.W. Maier, G. Engels, E. Steffen (Eds.), Handbuch Gestaltung Digitaler Und Vernetzter Arbeitswelten, Springer Berlin Heidelberg, Berlin, Heidelberg, 2017, pp. 1–24.
LibreCat: /record/20552
DOI: 10.1007/978-3-662-52903-4_8-1

Time for Addressing Software Security Issues: Prediction Models and Impacting Factors
L. Ben Othmane, G. Chehrazi, E. Bodden, P. Tsalovski, A.D. Brucker, Data Science and Engineering 2 (2017) 107–124.
LibreCat: /record/20553
DOI: https://doi.org/10.1007/s41019-016-0019-8

Self-adaptive static analysis
E. Bodden, Self-Adaptive Static Analysis, 2017.
LibreCat: /record/20554

CrySL: Validating Correct Usage of Cryptographic APIs
S. Krüger, J. Späth, K. Ali, E. Bodden, M. Mezini, CrySL: Validating Correct Usage of Cryptographic APIs, 2017.
LibreCat: /record/20555

Tracking Load-time Configuration Options
M. Lillack, C. Kästner, E. Bodden, IEEE Transactions on Software Engineering PP (2017) 1–1.
LibreCat: /record/20557
DOI: 10.1109/TSE.2017.2756048

CogniCrypt: Supporting Developers in using Cryptography
S. Krüger, S. Nadi, M. Reif, K. Ali, M. Mezini, E. Bodden, F. Göpfert, F. Günther, C. Weinert, D. Demmler, R. Kamath, in: International Conference on Automated Software Engineering (ASE 2017), Tool Demo Track, 2017.
LibreCat: /record/20558

Just-in-time Static Analysis
L.N.Q. Do, K. Ali, B. Livshits, E. Bodden, J. Smith, E. Murphy-Hill, in: Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, ACM, New York, NY, USA, 2017, pp. 307–317.
LibreCat: /record/20559
DOI: 10.1145/3092703.3092705

Altered brain activity during joint loading after anterior cruciate ligament reconstruction
Y. An, A. DiTrani Lobacz, T. Lehmann, J. Baumeister, C. Swanik, 49 (2017) 360.
LibreCat: /record/20659

Altered cortical activation patterns following anterior cruciate ligament reconstruction during joint loading
Y. An, A. DiTrani Lobacz, T. Lehmann, J. Baumeister, C. Swanik, 52 (2017) 136.
LibreCat: /record/20660

Balance exergames increase cortical activity in frontal areas of the brain
P. Anders, T. Lehmann, H. Müller, I. Molde, K. Gronvik, N. SkaeretMaroni, B. Vereijken, J. Baumeister, 57 (2017) 351.
LibreCat: /record/20661

Cheetah: Just-in-Time Taint Analysis for Android Apps
L. Nguyen Quang Do, K. Ali, B. Livshits, E. Bodden, J. Smith, E. Murphy-Hill, in: International Conference for Software Engineering (ICSE), Tool Demonstrations Track, 2017.
LibreCat: /record/20715

Systemmodelle als Schlüssel zu durchgängigen XIL-Testszenarien
J. Schmitz, M. Fockel, in:  Tag Des Systems Engineering 2017, Gesellschaft f\'22ur Systems Engineering e.V., 2017.
LibreCat: /record/20791

How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach
S. Schivo, B.M. Yildiz., E. Ruijters, C. Gerking, R. Kumar, S. Dziwok, A. Rensink, M. Stoelinga, in: K.G. Larsen, O. Sokolsky, J. Wang (Eds.), Dependable Software Engineering, 3rd International Symposium (SETTA 2017), Springer, Changsha, 2017, pp. 319–336.
LibreCat: /record/20792
DOI: 10.1007/978-3-319-69483-2_19

Model-based Requirement Pattern Catalog
M. Fockel, J. Holtmann, T. Koch, D. Schmelter, Model-Based Requirement Pattern Catalog, Paderborn, Germany, 2017.
LibreCat: /record/20793

Specification and Verification for Real-Time Coordination Protocols of Cyber-physical Systems
S. Dziwok, Specification and Verification for Real-Time Coordination Protocols of Cyber-Physical Systems, Paderborn University, 2017.
LibreCat: /record/20794

Toward Learning Realizable Scenario-based, Formal Requirements Specifications
D. Schmelter, J. Greenyer, J. Holtmann, in: 4th International Workshop on Artificial Intelligence for Requirements Engineering (AIRE), IEEE, Lisbon, Portugal, 2017.
LibreCat: /record/20795
DOI: 10.1109/REW.2017.14

Improving the Product Control of Mechatronic Systems Using Key Performance Indicators
B. Wohlers, S. Dziwok, C. Bremer, D. Schmelter, W. Lorenz, in: Proceedings of the 24th International Conference on Production Research (ICPR), DEStech Publications, Inc., 2017.
LibreCat: /record/20796

Reducing the Verbosity of Imperative Model Refinements by using General-Purpose Language Facilities
C. Gerking, D. Schubert, I. Budde, in: E. Guerra, M. van den Brand (Eds.), Theory and Practice of Model Transformation, 10th International Conference (ICMT 2017), Springer, Marburg, 2017, pp. 19–34.
LibreCat: /record/20797

Verteilte statische Analyse zur Identifikation von kritischen Datenflüssen für vernetzte Automatisierungs- und Produktionssysteme
F. Ghassemi, M. Meyer, U. Pohlmann, C. Priesterjahn, (2017).
LibreCat: /record/20798

Formal Definition and Proofs for the MechatronicUML Allocation Specification Language
M. Hüwe, U. Pohlmann, Formal Definition and Proofs for the MechatronicUML Allocation Specification Language, Zukunftsmeile 1, 33102 Paderborn, Germany, 2017.
LibreCat: /record/20799

Flexible Specification of STEP Application Protocol Extensions and Automatic Derivation of Tool Capabilities
T. Koch, J. Holtmann, T. Lindemann, in: Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017.
LibreCat: /record/20801
DOI: 10.5220/0006137400530064

Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems (Précis)
J. Holtmann, R. Bernijazov, M. Meyer, D. Schmelter, C. Tschirner, in: J. Jürjens, K. Schneider (Eds.), Proceedings of the Software Engineering 2017, Gesellschaft fuer Informatik, 2017, pp. 109–110.
LibreCat: /record/20802

Model-Driven Allocation Engineering – Abridged Version
U. Pohlmann, M. Hüwe, in: J. Jürjens, K. Schneider (Eds.), GI-Edition, Lecture Notes in Informatics, Software Engineering 2017, Proceedings, 2017.
LibreCat: /record/20803

Towards an Automated Synthesis of a Real-time Scheduling for Cyber-physical Multi-core Systems
J. Geismann, U. Pohlmann, D. Schmelter, in: Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017.
LibreCat: /record/20804

Engineering Self-Adaptive Systems with Simulation-Based Performance Prediction
M. Becker, Engineering Self-Adaptive Systems with Simulation-Based Performance Prediction, Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik, 2017.
LibreCat: /record/20805

Predicting Early Warning Signals of Financial Distress: Theory and Empirical Evidence
S. Sievers, J. Klobucnik, D. Miersch, Predicting Early Warning Signals of Financial Distress: Theory and Empirical Evidence, 2017.
LibreCat: /record/20868
DOI: 10.2139/ssrn.2237757

E-Assessments in der Hochschulpraxis. Empfehlungen zur Verankerung von E-Assessments in NRW
D.M. Meister, G. Oevel, E-Assessments in Der Hochschulpraxis. Empfehlungen Zur Verankerung von E-Assessments in NRW, Paderborn, 2017.
LibreCat: /record/18010

Untersuchungen zum Cone-Hashing
M. Burkhardt, Untersuchungen Zum Cone-Hashing, Universität Paderborn, 2017.
LibreCat: /record/18026

An Asynchronous Adaption of a Churn-resistant Overlay Network
N.C. Banh, An Asynchronous Adaption of a Churn-Resistant Overlay Network, Universität Paderborn, 2017.
LibreCat: /record/18027

Monotone Suchbarkeit in mehrdimensionalen verteilten Datenstrukturen
A. Schenk, Monotone Suchbarkeit in Mehrdimensionalen Verteilten Datenstrukturen, Universität Paderborn, 2017.
LibreCat: /record/18028

Visualisierung zu Algorithmen verteilter Netzwerksysteme
B. Beckendorf, Visualisierung Zu Algorithmen Verteilter Netzwerksysteme, Universität Paderborn, 2017.
LibreCat: /record/18029

Aufwachsen und lernen mit Medien
B. Meise, D.M. Meister, in: M. Rheinländer, B. Weber (Eds.), Digitale Medien im Musikunterricht. Bestandsaufnahme Reflexion Perspektiven. Kongress eMusikunterricht und Multimedia“an der Niedersächsischen Landesmusikakademie Wolfenbüttel 20.-21. Mai 2016, Lugert Verlag GmbH &; Co. KG, Handorf, 2017, pp. 9326.
LibreCat: /record/18044

Digitale Transformationen. Zum Einfluss der Digitalisierung auf die musikwissenschaftliche Editionsarbeit
B. Meise, D.M. Meister, medien + erziehung (merz) 61 Jg., 6 (2017) 42–51.
LibreCat: /record/18045

Medienarbeit mit Gelüchteten
D.M. Meister, in: S. Eder, C. Mikat, A. Tillmann (Eds.), Software takes command. Herausforderungen der “Datafizierung” für die Medienpädagogik in Theorie und Praxis, kopaed, München, 2017, pp. 219–229.
LibreCat: /record/18046

"Futurelab Medienpädagogik: Qualitätsentwicklung - Professionalisierung - Standards. Thesenpapier zum Forum Kommunikationskultur der GMK
T. Knaus, D.M. Meister, G. Tulodziecki, MedienPädagogik, (24. Oktober) (2017) 1–23.
LibreCat: /record/18047
DOI: doi:10.21240/mpaed/00/2017.10.24.X

Medienpädagogik: Herausforderungen der Digitalisierung
D.M. Meister, in: Kulturelle Bildung digital - Vermittlungsformen, ästhetische Praxis und Aus- und Weiterbildung, Dossier 6, 2017.
LibreCat: /record/18048

Berufliche Bildung
A.-M. Kamin, D.M. Meister, in: B. Schorb, A. Hartung-Griemberg, C. Dallmann (Eds.), Grundbegriffe Medienpädagogik, kopaed, München, 2017, pp. 37–41.
LibreCat: /record/18049

Medienpädagogik
F. von Gross, D.M. Meister, U. Sander, in: K. Bering, R. Niehoff, K. Pauls (Eds.), Lexikon der Kunstpädagogik, ATHENA-Verlag, Oberhausen, 2017, pp. 340–343.
LibreCat: /record/18050

Digital unterstütztes Lernen in Pflegeberufen unter entgrenzten Bedingungen – Ein gestaltungs- und entwicklungsorientiertes Forschungsprojekt
A.-M. Kamin, D.M. Meister, in: K. Mayrberger, J. Fromme, P. Grell, T. Hug (Eds.), Digital und vernetzt: Lernen heute. Gestaltung von Lernumgebungen mit digitalen Medien unter entgrenzten Bedingungen, Springer VS, Wiesbaden, 2017, pp. 213–229.
LibreCat: /record/18051

Towards a universal approach for the finite departure problem in overlay networks
A. Koutsopoulos, C. Scheideler, T.F. Strothmann, Inf. Comput. (2017) 408--424.
LibreCat: /record/1812
DOI: 10.1016/j.ic.2016.12.006

Algorithmic Foundations of Programmable Matter Dagstuhl Seminar 16271
S. P. Fekete, A. W. Richa, K. Römer, C. Scheideler, SIGACT News (2017) 87--94.
LibreCat: /record/1813
DOI: 10.1145/3106700.3106713

Universal coating for programmable matter
Z. Derakhshandeh, R. Gmyr, A. W. Richa, C. Scheideler, T.F. Strothmann, Theor. Comput. Sci. (2017) 56--68.
LibreCat: /record/1814
DOI: 10.1016/j.tcs.2016.02.039

Improved Leader Election for Self-organizing Programmable Matter
J. J. Daymude, R. Gmyr, A. W. Richa, C. Scheideler, T.F. Strothmann, 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, pp. 127--140.
LibreCat: /record/1815
DOI: 10.1007/978-3-319-72751-6_10

Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2017, Washington DC, USA, July 24-26, 2017
C. Scheideler, M. Taghi Hajiaghayi, eds., Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2017, Washington DC, USA, July 24-26, 2017, 2017.
LibreCat: /record/1820
DOI: 10.1145/3087556

Mechanische und mikrostrukturellen Eigenschaften additiv hergestellter Gitterstrukturen 
A. Taube, in: Hannover Messe Industrie, 2017, Hannover, 2017.
LibreCat: /record/22110

Entwicklung von Fahrradtretkurbelsystemen mittels additiver Fertigung
J.P. Brüggemann, L. Risse, A. Riemer, W. Reschetnik, G. Kullmer, H.A. Richard, Entwicklung von Fahrradtretkurbelsystemen Mittels Additiver Fertigung, 2017.
LibreCat: /record/22112

Methods for crack length measurement for the determination of fracture mechanical parameters of additive manufactured plastics
B. Bauer, W. Reschetnik, G. Kullmer, H.A. Richard, in: 14th International Conference on Fracture, 2017.
LibreCat: /record/22119

Risslängenmessung in additiv gefertigten Kunststoffproben auf Basis von Steifigkeitsänderungen infolge Ermüdungswachstum.
B. Bauer, W. Reschetnik, G. Kullmer, H.A. Richard, in: DVM - Tagung - Additiv Gefertigte Bauteile Und Strukturen, 2017, pp. 77–88.
LibreCat: /record/22127

Bruchmechanische Charakterisierung von laserstrahlgeschmolzenen Werkstoffen
W. Reschetnik, J.P. Brüggemann, G. Kullmer, H.A. Richard, in: DVM - Tagung - Additiv Gefertigte Bauteile Und Strukturen, Deutscher Verband Für Materialforschung Und -Prüfung e.V., 2017, pp. 147–156.
LibreCat: /record/22131