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, Eric. “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), 85–93. ISSTA ’18. New York, NY, USA: ACM, 2018. https://doi.org/10.1145/3236454.3236500.
LibreCat
| DOI
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 20549
Geismann, Johannes, Christopher Gerking, and Eric Bodden. “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, Dieter, and Sabastian Niehaus. “Maschinelle Entscheidungsfindung: Der Einsatz Der Fuzzy-Logik in Der Rechtswissenschaft.” In Rechtshandbuch Legal Tech , edited by Stephan Breidenbach and Florian Glatz, 249 – 262. München: C.H. Beck, 2018.
LibreCat
2018 | Conference Paper | LibreCat-ID: 20550
Bodden, Eric. “Self-Adaptive Static Analysis.” In Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results, 45–48. ICSE-NIER ’18. New York, NY, USA: ACM, 2018. https://doi.org/10.1145/3183399.3183401.
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 20551
Nguyen Quang Do, Lisa, Stefan Krüger, Patrick Hill, Karim Ali, and Eric Bodden. “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, Verena, Dominik Teutenberg, Gerson Meschut, Sergey Stepanov, Jörg Ihde, and Bernd Mayer. “Offenzeit plasmaaktivierter Polymeroberflächen für robuste klebtechnische Prozesse (OffPlas).” In 18. Kolloquium Gemeinsame Forschung in der Klebtechnik, edited by DECHEMA Gesellschaft für Chemische Technik und Biotechnologie e.V., 91–93, 2018.
LibreCat
2018 | Conference Abstract | LibreCat-ID: 20662
Lehmann, T, Linda Paschen, and Jochen Baumeister. “Comparison of Postural Stability in the ACL Deficient and Reconstructed Leg: A Meta Analysis.” Dt Z Sportmed, 2018.
LibreCat
2018 | Conference Abstract | LibreCat-ID: 20663
An, YW, A DiTrani Lobacz, Jochen Baumeister, and CB Swanik. “Negative Emotional Stimuli Increase Neurocognitive Processing in the Brain.” J Athl Train, 2018.
LibreCat
2018 | Conference Abstract | LibreCat-ID: 20666
Lehmann, T, D Büchel, J Cockcroft, QA Louw, and Jochen 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
Büchel, D, T Lehmann, J Cockcroft, QA Louw, and Jochen 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 | Dissertation | LibreCat-ID: 20779
Fockel, Markus. Safety Requirements Engineering for Early SIL Tailoring. Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn, 2018. https://doi.org/10.17619/UNIPB/1-490.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 20780
Fockel, Markus, Sven Merschjohann, and Masud Fazal-Baqaie. “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. https://doi.org/10.1007/978-3-030-03673-7_25.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 20781
Gerking, Christopher, and David Schubert. “Towards Preserving Information Flow Security on Architectural Composition of Cyber-Physical Systems.” In European Conference on Software Architecture (ECSA 2018), 147–55. Lecture Notes in Computer Science. Springer, 2018. https://doi.org/10.1007/978-3-030-00761-4_10.
LibreCat
| DOI
2018 | Book Chapter | LibreCat-ID: 20782
Koch, Thorsten, Jörg Holtmann, and Timo 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, edited by Luís Ferreira Pires, Slimane Hammoudi, and Bran Selic, 880:173–97. Communications in Computer and Information Science. Springer International Publishing, 2018. https://doi.org/10.1007/978-3-319-94764-8_8.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 20783
Koch, Thorsten. “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, Johannes. “Traceable Threat Modeling for Safety-Critical Systems.” In IEEE International Conference on Software Architecture Companion (ICSA-C 2018) , 41–42. IEEE, 2018. https://doi.org/10.1109/ICSA-C.2018.00017.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 20785
Geismann, Johannes, Robert Höttger, Lukas Krawczyk, Uwe Pohlmann, and David Schmelter. “Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-Core Systems.” In Model-Driven Engineering and Software Development, edited by Luís Ferreira Pires, Slimane Hammoudi, and Bran Selic, 1:72–93. Cham: Springer International Publishing, 2018. https://doi.org/10.1007/978-3-319-94764-8_4.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 20786
Fockel, Markus, Jörg Holtmann, Thorsten Koch, and David 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
Wohlers, Benedict, Stefan Dziwok, David Schmelter, and Wadim Lorenz. “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, Uwe, and Marcus Hüwe. “Model-Driven Allocation Engineering: Specifying and Solving Constraints Based on the Example of Automotive Systems.” Automated Software Engineering, 2018. https://doi.org/10.1007/s10515-018-0248-3.
LibreCat
| DOI