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.
184 Publications
2020 | Conference Paper | LibreCat-ID: 20516
Cutting through the Jungle: Disambiguating Model-based Traceability Terminology
J. Holtmann, J.-P. Steghofer, M. Rath, D. Schmelter, in: 2020 IEEE 28th International Requirements Engineering Conference (RE), IEEE, 2020.
LibreCat
| DOI
J. Holtmann, J.-P. Steghofer, M. Rath, D. Schmelter, in: 2020 IEEE 28th International Requirements Engineering Conference (RE), IEEE, 2020.
2020 | Conference Paper | LibreCat-ID: 20518
Scenario-based Specification of Security Protocols and Transformation to Security Model Checkers
T. Koch, S. Dziwok, J. Holtmann, E. Bodden, in: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20), ACM, 2020.
LibreCat
| DOI
T. Koch, S. Dziwok, J. Holtmann, E. Bodden, in: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20), ACM, 2020.
2020 | Conference Paper | LibreCat-ID: 22969
Echtzeitfähige Planung optimierter Trajektorien für sensorgeführte, kinematisch redundante Mechanismen auf einer Industriesteuerung
S. Schütz, A.T. Rüting, C. Henke, A. Trächtler, in: Entwurf Komplexer Automatisierungssysteme (EKA), 2020.
LibreCat
S. Schütz, A.T. Rüting, C. Henke, A. Trächtler, in: Entwurf Komplexer Automatisierungssysteme (EKA), 2020.
2020 | Conference Paper | LibreCat-ID: 23375
Language-agnostic Injection Detection
L. Hermerschmidt, A. Straub, G. Piskachev, in: 2020 IEEE Security and Privacy Workshops (SPW), 2020.
LibreCat
| DOI
L. Hermerschmidt, A. Straub, G. Piskachev, in: 2020 IEEE Security and Privacy Workshops (SPW), 2020.
2020 | Conference Paper | LibreCat-ID: 23376
SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods
G. Piskachev, L. Nguyen Quang Do, O. Johnson, E. Bodden, in: 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2020.
LibreCat
| DOI
G. Piskachev, L. Nguyen Quang Do, O. Johnson, E. Bodden, in: 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2020.
2020 | Book Chapter | LibreCat-ID: 23377
AuthCheck: Program-State Analysis for Access-Control Vulnerabilities
G. Piskachev, T. Petrasch, J. Späth, E. Bodden, in: Lecture Notes in Computer Science, Cham, 2020.
LibreCat
| DOI
G. Piskachev, T. Petrasch, J. Späth, E. Bodden, in: Lecture Notes in Computer Science, Cham, 2020.
2020 | Conference Paper | LibreCat-ID: 21931
Softwareentwicklung wie am Fliessband
T. Koch, M. Meyer, M. Fazal-Baqaie, H. Runschke, in: M. Felderer, W. Hasselbring, R. Rabiser, R. Jung (Eds.), Software Engineering 2020 (SE 2020), Gesellschaft für Informatik e.V., 2020.
LibreCat
| DOI
T. Koch, M. Meyer, M. Fazal-Baqaie, H. Runschke, in: M. Felderer, W. Hasselbring, R. Rabiser, R. Jung (Eds.), Software Engineering 2020 (SE 2020), Gesellschaft für Informatik e.V., 2020.
2020 | Dissertation | LibreCat-ID: 42068 | 
Mechatronischer Entwurf eines geregelten Federungssystems für mittelschwere gepanzerte Kettenfahrzeuge
A. Gense, Mechatronischer Entwurf eines geregelten Federungssystems für mittelschwere gepanzerte Kettenfahrzeuge, 2020.
LibreCat
| Download (ext.)
A. Gense, Mechatronischer Entwurf eines geregelten Federungssystems für mittelschwere gepanzerte Kettenfahrzeuge, 2020.
2020 | Dissertation | LibreCat-ID: 42067 |
Produkttolerante Automation zellenbasierter Fertigungssysteme
F. Bertelsmeier, Produkttolerante Automation zellenbasierter Fertigungssysteme, 2020.
LibreCat
| Download (ext.)
F. Bertelsmeier, Produkttolerante Automation zellenbasierter Fertigungssysteme, 2020.
2020 | Conference Paper | LibreCat-ID: 22965
Microstructural investigation on phase transformation during flow forming of the metastable austenite AISI 304
J. Rozo Vasquez, B. Arian, M. Riepold, W. Homberg, A. Trächtler, F. Walther, in: 54. Metallographie-Tagung, 2020, pp. 75–81.
LibreCat
J. Rozo Vasquez, B. Arian, M. Riepold, W. Homberg, A. Trächtler, F. Walther, in: 54. Metallographie-Tagung, 2020, pp. 75–81.