The Secret Sauce in Efficient and Precise Static Analysis: The Beauty of Distributive, Summary-based Static Analyses (and How to Master Them)
E. Bodden, in: ACM SIGPLAN International Workshop on the State Of the Art in Java Program Analysis (SOAP 2018), ACM, New York, NY, USA, 2018, pp. 85–93.
LibreCat: /record/20548
DOI: 10.1145/3236454.3236500

Towards Ensuring Security by Design in Cyber-Physical Systems Engineering Processes
J. Geismann, C. Gerking, E. Bodden, in: International Conference on Software and System Processes (ICSSP), 2018.
LibreCat: /record/20549

Maschinelle Entscheidungsfindung: Der Einsatz der Fuzzy-Logik in der Rechtswissenschaft
D. Krimphove, S. Niehaus, in: S. Breidenbach, F. Glatz (Eds.), Rechtshandbuch Legal Tech , C.H. Beck, München, 2018, pp. 249 – 262.
LibreCat: /record/2055

Self-adaptive Static Analysis
E. Bodden, in: Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results, ACM, New York, NY, USA, 2018, pp. 45–48.
LibreCat: /record/20550
DOI: 10.1145/3183399.3183401

VISUFLOW, a Debugging Environment for Static Analyses
L. Nguyen Quang Do, S. Krüger, P. Hill, K. Ali, E. Bodden, in: International Conference for Software Engineering (ICSE), Tool Demonstrations Track, 2018.
LibreCat: /record/20551

Offenzeit plasmaaktivierter Polymeroberflächen für robuste klebtechnische Prozesse (OffPlas)
V. Aßmuth, D. Teutenberg, G. Meschut, S. Stepanov,  Jörg  Ihde, B. Mayer, in: DECHEMA Gesellschaft für Chemische Technik und Biotechnologie e.V. (Ed.), 18. Kolloquium Gemeinsame Forschung in der Klebtechnik, 2018, pp. 91–93.
LibreCat: /record/20623

Comparison of postural stability in the ACL deficient and reconstructed leg: a Meta analysis
T. Lehmann, L. Paschen, J. Baumeister, 69 (2018) 173.
LibreCat: /record/20662

Negative emotional stimuli increase neurocognitive processing in the brain
Y. An, A. DiTrani Lobacz, J. Baumeister, C. Swanik, 53 (2018) 113.
LibreCat: /record/20663

Exploring Functional Brain Connectivity of Postural Control in Upright Stance
T. Lehmann, D. Büchel, J. Cockcroft, Q. Louw, J. Baumeister, in: Proceedings of the 3rd International Mobile Brain/Body Imaging Conference, 2018.
LibreCat: /record/20666

Effect of a cognitive dual-task on electrocortical activation during single leg stance
D. Büchel, T. Lehmann, J. Cockcroft, Q. Louw, J. Baumeister, in: Proceedings of the 3rd International Mobile Brain/Body Imaging Conference, 2018.
LibreCat: /record/20667

Safety Requirements Engineering for Early SIL Tailoring
M. Fockel, Safety Requirements Engineering for Early SIL Tailoring, Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn, 2018.
LibreCat: /record/20779
DOI: 10.17619/UNIPB/1-490

Threat Analysis in Practice - Systematically Deriving Security Requirements
M. Fockel, S. Merschjohann, M. Fazal-Baqaie, in: 19th International Conference on Product-Focused Software Process Improvement (PROFES 2018), Springer Nature Switzerland AG, 2018.
LibreCat: /record/20780
DOI: 10.1007/978-3-030-03673-7_25

Towards Preserving Information Flow Security on Architectural Composition of Cyber-Physical Systems
C. Gerking, D. Schubert, in: European Conference on Software Architecture (ECSA 2018), Springer, 2018, pp. 147–155.
LibreCat: /record/20781
DOI: 10.1007/978-3-030-00761-4_10

Model-Driven STEP Application Protocol Extensions Combined with Feature Modeling Considering Geometrical Information
T. Koch, J. Holtmann, T. Lindemann, in: L.F. Pires, S. Hammoudi, B. Selic (Eds.), Revised Selected Papers of the 5th International Conference on Model-Driven Engineering and Software Development, Springer International Publishing, 2018, pp. 173–197.
LibreCat: /record/20782
DOI: 10.1007/978-3-319-94764-8_8

Towards Scenario-based Security Requirements Engineering for Cyber-Physical Systems
T. Koch, in: International Workshop on Security for and by Model-Driven Engineering (SecureMDE 2018), 2018.
LibreCat: /record/20783

Traceable Threat Modeling for Safety-critical Systems
J. Geismann, in: IEEE International Conference on Software Architecture Companion (ICSA-C 2018) , IEEE, 2018, pp. 41–42.
LibreCat: /record/20784
DOI: 10.1109/ICSA-C.2018.00017

Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-core Systems
J. Geismann, R. Höttger, L. Krawczyk, U. Pohlmann, D. Schmelter, in: L.F. Pires, S. Hammoudi, B. Selic (Eds.), Model-Driven Engineering and Software Development, Springer International Publishing, Cham, 2018, pp. 72–93.
LibreCat: /record/20785
DOI: 10.1007/978-3-319-94764-8_4

Formal, Model- and Scenario-based Requirement Patterns
M. Fockel, J. Holtmann, T. Koch, D. Schmelter, in: 6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2018), 2018.
LibreCat: /record/20786

Improving Quality Control of Mechatronic Systems Using KPI-Based Statistical Process Control
B. Wohlers, S. Dziwok, D. Schmelter, W. Lorenz, Advances in Manufacturing, Production Management and Process Control - AHFE 2018 (2018) 398–410.
LibreCat: /record/20787

Model-driven allocation engineering: specifying and solving constraints based on the example of automotive systems
U. Pohlmann, M. Hüwe, Automated Software Engineering (2018).
LibreCat: /record/20788
DOI: 10.1007/s10515-018-0248-3