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