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.
2296 Publications
2018 | Conference Paper | LibreCat-ID: 20548
Bodden, E. (2018). The Secret Sauce in Efficient and Precise Static Analysis: The Beauty of Distributive, Summary-based Static Analyses (and How to Master Them). ACM SIGPLAN International Workshop on the State Of the Art in Java Program Analysis (SOAP 2018), 85–93. https://doi.org/10.1145/3236454.3236500
LibreCat
| DOI
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 20549
Geismann, J., Gerking, C., & Bodden, E. (2018). Towards Ensuring Security by Design in Cyber-Physical Systems Engineering Processes. International Conference on Software and System Processes (ICSSP).
LibreCat
| Files available
2018 | Book Chapter | LibreCat-ID: 2055
Krimphove, D., & Niehaus, S. (2018). Maschinelle Entscheidungsfindung: Der Einsatz der Fuzzy-Logik in der Rechtswissenschaft. In S. Breidenbach & F. Glatz (Eds.), Rechtshandbuch Legal Tech (pp. 249 – 262). München: C.H. Beck.
LibreCat
2018 | Conference Paper | LibreCat-ID: 20550
Bodden, E. (2018). Self-adaptive Static Analysis. Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results, 45–48. https://doi.org/10.1145/3183399.3183401
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 20551
Nguyen Quang Do, L., Krüger, S., Hill, P., Ali, K., & Bodden, E. (2018). VISUFLOW, a Debugging Environment for Static Analyses. International Conference for Software Engineering (ICSE), Tool Demonstrations Track.
LibreCat
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 20623
Aßmuth, V., Teutenberg, D., Meschut, G., Stepanov, S., Ihde, Jörg , & Mayer, B. (2018). Offenzeit plasmaaktivierter Polymeroberflächen für robuste klebtechnische Prozesse (OffPlas). In DECHEMA Gesellschaft für Chemische Technik und Biotechnologie e.V. (Ed.), 18. Kolloquium Gemeinsame Forschung in der Klebtechnik (pp. 91–93). Köln.
LibreCat
2018 | Conference Abstract | LibreCat-ID: 20662
Lehmann, T., Paschen, L., & Baumeister, J. (2018). Comparison of postural stability in the ACL deficient and reconstructed leg: a Meta analysis (Vol. 69, Issue 5, p. 173).
LibreCat
2018 | Conference Abstract | LibreCat-ID: 20663
An, Y., DiTrani Lobacz, A., Baumeister, J., & Swanik, C. (2018). Negative emotional stimuli increase neurocognitive processing in the brain.
LibreCat
2018 | Conference Abstract | LibreCat-ID: 20666
Lehmann, T., Büchel, D., Cockcroft, J., Louw, Q., & Baumeister, J. (2018). Exploring Functional Brain Connectivity of Postural Control in Upright Stance. In Proceedings of the 3rd International Mobile Brain/Body Imaging Conference.
LibreCat
2018 | Conference Abstract | LibreCat-ID: 20667
Büchel, D., Lehmann, T., Cockcroft, J., Louw, Q., & Baumeister, J. (2018). Effect of a cognitive dual-task on electrocortical activation during single leg stance. In Proceedings of the 3rd International Mobile Brain/Body Imaging Conference.
LibreCat
2018 | Dissertation | LibreCat-ID: 20779
Fockel, M. (2018). Safety Requirements Engineering for Early SIL Tailoring. Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn. https://doi.org/10.17619/UNIPB/1-490
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 20780
Fockel, M., Merschjohann, S., & Fazal-Baqaie, M. (2018). Threat Analysis in Practice - Systematically Deriving Security Requirements. In 19th International Conference on Product-Focused Software Process Improvement (PROFES 2018). Springer Nature Switzerland AG. https://doi.org/10.1007/978-3-030-03673-7_25
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 20781
Gerking, C., & Schubert, D. (2018). Towards Preserving Information Flow Security on Architectural Composition of Cyber-Physical Systems. European Conference on Software Architecture (ECSA 2018), 11048, 147–155. https://doi.org/10.1007/978-3-030-00761-4_10
LibreCat
| DOI
2018 | Book Chapter | LibreCat-ID: 20782
Koch, T., Holtmann, J., & Lindemann, T. (2018). Model-Driven STEP Application Protocol Extensions Combined with Feature Modeling Considering Geometrical Information. In L. F. Pires, S. Hammoudi, & B. Selic (Eds.), Revised Selected Papers of the 5th International Conference on Model-Driven Engineering and Software Development (Vol. 880, pp. 173–197). Springer International Publishing. https://doi.org/10.1007/978-3-319-94764-8_8
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 20783
Koch, T. (2018). Towards Scenario-based Security Requirements Engineering for Cyber-Physical Systems. In International Workshop on Security for and by Model-Driven Engineering (SecureMDE 2018).
LibreCat
2018 | Conference Paper | LibreCat-ID: 20784
Geismann, J. (2018). Traceable Threat Modeling for Safety-critical Systems. IEEE International Conference on Software Architecture Companion (ICSA-C 2018) , 41–42. https://doi.org/10.1109/ICSA-C.2018.00017
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 20785
Geismann, J., Höttger, R., Krawczyk, L., Pohlmann, U., & Schmelter, D. (2018). Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-core Systems. In L. F. Pires, S. Hammoudi, & B. Selic (Eds.), Model-Driven Engineering and Software Development (Vol. 1, pp. 72–93). Springer International Publishing. https://doi.org/10.1007/978-3-319-94764-8_4
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 20786
Fockel, M., Holtmann, J., Koch, T., & Schmelter, D. (2018). Formal, Model- and Scenario-based Requirement Patterns. In 6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2018).
LibreCat
2018 | Journal Article | LibreCat-ID: 20787
Wohlers, B., Dziwok, S., Schmelter, D., & Lorenz, W. (2018). Improving Quality Control of Mechatronic Systems Using KPI-Based Statistical Process Control. Advances in Manufacturing, Production Management and Process Control - AHFE 2018, 398–410.
LibreCat
| Download (ext.)
2018 | Journal Article | LibreCat-ID: 20788
Pohlmann, U., & Hüwe, M. (2018). Model-driven allocation engineering: specifying and solving constraints based on the example of automotive systems. Automated Software Engineering. https://doi.org/10.1007/s10515-018-0248-3
LibreCat
| DOI