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