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: /record/2054

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: /record/20552
DOI: 10.1007/978-3-662-52903-4_8-1

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: /record/20553
DOI: https://doi.org/10.1007/s41019-016-0019-8

Bodden, E. (2017). Self-adaptive static analysis.
LibreCat: /record/20554

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

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: /record/20557
DOI: 10.1109/TSE.2017.2756048

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: /record/20558

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: /record/20559
DOI: 10.1145/3092703.3092705

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

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: /record/20660

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: /record/20661

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: /record/20715

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

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: /record/20792
DOI: 10.1007/978-3-319-69483-2_19

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

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

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: /record/20795
DOI: 10.1109/REW.2017.14

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: /record/20796

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: /record/20797

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: /record/20798