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.
2292 Publications
2018 | Conference Paper | LibreCat-ID: 20548
Bodden E. 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). ISSTA ’18. ACM; 2018:85-93. doi:10.1145/3236454.3236500
LibreCat
| DOI
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 20549
Geismann J, Gerking C, Bodden E. Towards Ensuring Security by Design in Cyber-Physical Systems Engineering Processes. In: International Conference on Software and System Processes (ICSSP). ; 2018.
LibreCat
| Files available
2018 | Book Chapter | LibreCat-ID: 2055
Krimphove D, Niehaus S. Maschinelle Entscheidungsfindung: Der Einsatz der Fuzzy-Logik in der Rechtswissenschaft. In: Breidenbach S, Glatz F, eds. Rechtshandbuch Legal Tech . München: C.H. Beck; 2018:249 – 262.
LibreCat
2018 | Conference Paper | LibreCat-ID: 20550
Bodden E. Self-adaptive Static Analysis. In: Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results. ICSE-NIER ’18. ACM; 2018:45-48. doi: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. VISUFLOW, a Debugging Environment for Static Analyses. In: International Conference for Software Engineering (ICSE), Tool Demonstrations Track. ; 2018.
LibreCat
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 20623
Aßmuth V, Teutenberg D, Meschut G, Stepanov S, Ihde Jörg , Mayer B. 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. ; 2018:91-93.
LibreCat
2018 | Conference Abstract | LibreCat-ID: 20662
Lehmann T, Paschen L, Baumeister J. Comparison of postural stability in the ACL deficient and reconstructed leg: a Meta analysis. 2018;69(5):173.
LibreCat
2018 | Conference Abstract | LibreCat-ID: 20663
An Y, DiTrani Lobacz A, Baumeister J, Swanik C. Negative emotional stimuli increase neurocognitive processing in the brain. 2018;53(6S):113.
LibreCat
2018 | Conference Abstract | LibreCat-ID: 20666
Lehmann T, Büchel D, Cockcroft J, Louw Q, Baumeister J. 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
Büchel D, Lehmann T, Cockcroft J, Louw Q, Baumeister J. 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 | Dissertation | LibreCat-ID: 20779
Fockel M. Safety Requirements Engineering for Early SIL Tailoring. Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn; 2018. doi:10.17619/UNIPB/1-490
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 20780
Fockel M, Merschjohann S, Fazal-Baqaie M. Threat Analysis in Practice - Systematically Deriving Security Requirements. In: 19th International Conference on Product-Focused Software Process Improvement (PROFES 2018). LNCS 11271. Springer Nature Switzerland AG; 2018. doi:10.1007/978-3-030-03673-7_25
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 20781
Gerking C, Schubert D. Towards Preserving Information Flow Security on Architectural Composition of Cyber-Physical Systems. In: European Conference on Software Architecture (ECSA 2018). Lecture Notes in Computer Science. Springer; 2018:147-155. doi:10.1007/978-3-030-00761-4_10
LibreCat
| DOI
2018 | Book Chapter | LibreCat-ID: 20782
Koch T, Holtmann J, Lindemann T. Model-Driven STEP Application Protocol Extensions Combined with Feature Modeling Considering Geometrical Information. In: Pires LF, Hammoudi S, Selic B, eds. Revised Selected Papers of the 5th International Conference on Model-Driven Engineering and Software Development. Vol 880. Communications in Computer and Information Science. Springer International Publishing; 2018:173-197. doi:10.1007/978-3-319-94764-8_8
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 20783
Koch T. 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
Geismann J. Traceable Threat Modeling for Safety-critical Systems. In: IEEE International Conference on Software Architecture Companion (ICSA-C 2018) . IEEE; 2018:41-42. doi: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. Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-core Systems. In: Pires LF, Hammoudi S, Selic B, eds. Model-Driven Engineering and Software Development. Vol 1. Springer International Publishing; 2018:72-93. doi:10.1007/978-3-319-94764-8_4
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 20786
Fockel M, Holtmann J, Koch T, Schmelter D. 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
Wohlers B, Dziwok S, Schmelter D, Lorenz W. Improving Quality Control of Mechatronic Systems Using KPI-Based Statistical Process Control. Advances in Manufacturing, Production Management and Process Control - AHFE 2018. 2018:398-410.
LibreCat
| Download (ext.)
2018 | Journal Article | LibreCat-ID: 20788
Pohlmann U, Hüwe M. Model-driven allocation engineering: specifying and solving constraints based on the example of automotive systems. Automated Software Engineering. 2018. doi:10.1007/s10515-018-0248-3
LibreCat
| DOI