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