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.

2277 Publications


2018 | Conference Paper | LibreCat-ID: 20547
Gamifying Static Analysis
L. Nguyen Quang Do, E. Bodden, in: Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ACM, New York, NY, USA, 2018, pp. 714–718.
LibreCat | DOI | Download (ext.)
 

2018 | Conference Paper | LibreCat-ID: 20548
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 | DOI | Download (ext.)
 

2018 | Conference Paper | LibreCat-ID: 20549
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 | Files available
 

2018 | Book Chapter | LibreCat-ID: 2055
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
 

2018 | Conference Paper | LibreCat-ID: 20550
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 | Files available | DOI
 

2018 | Conference Paper | LibreCat-ID: 20551
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 | Download (ext.)
 

2018 | Conference Paper | LibreCat-ID: 20623
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
 

2018 | Conference Abstract | LibreCat-ID: 20662 LibreCat
 

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

2018 | Conference Abstract | LibreCat-ID: 20666
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
 

2018 | Conference Abstract | LibreCat-ID: 20667
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
 

2018 | Dissertation | LibreCat-ID: 20779
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 | DOI
 

2018 | Conference Paper | LibreCat-ID: 20780
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 | DOI
 

2018 | Conference Paper | LibreCat-ID: 20781
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 | DOI
 

2018 | Book Chapter | LibreCat-ID: 20782
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 | DOI
 

2018 | Conference Paper | LibreCat-ID: 20783
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
 

2018 | Conference Paper | LibreCat-ID: 20784
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 | DOI
 

2018 | Conference Paper | LibreCat-ID: 20785
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 | DOI
 

2018 | Conference Paper | LibreCat-ID: 20786
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
 

2018 | Journal Article | LibreCat-ID: 20787
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 | Download (ext.)
 

Filters and Search Terms

year=2018

Search

Filter Publications

Display / Sort

Export / Embed