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.
208 Publications
2021 | Conference Paper | LibreCat-ID: 30297
Rozo Vasquez J, Arian B, Riepold M, Walther F, Homberg W, Trächtler A. Magnetic Barkhausen noise analysis for microstructural effects separation during flow forming of metastable austenite 304L. In: Proceedings of the 11th International Workshop NDT in Progress. ; 2021.
LibreCat
2021 | Conference Paper | LibreCat-ID: 23465 | 
Arian B, Homberg W, Riepold M, Trächtler A, Rozo Vasquez J, Walther F. Forming of metastable austenitic stainless steel tubes with axially graded martensite content by flow-forming. In: ULiège Library; 2021.
LibreCat
| Download (ext.)
2021 | Conference Paper | LibreCat-ID: 33975
Lenz C, Henke C, Trächtler A. Anomaly detection in hot forming processes using hybrid modeling. In: 2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA). IEEE; 2021. doi:10.1109/etfa45728.2021.9613629
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 27130
Poddubnyi VI, Trächtler A, Warkentin A, Henke C. Mechanical and mathematical model of a caterpillar drive with a triangular contour for solving problems of vertical dynamics of a tracked vehicle. Vestnik Mashinostroeniya. Published online 2020:26-29. doi:10.36652/0042-4633-2020-12-26-29
LibreCat
| DOI
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
2019 | Conference Paper | LibreCat-ID: 20347
Pasic F, Wohlers B, Dziwok S, Becker M, Heinrich M. A KPI-based Condition Monitoring System for the Beer Brewing Process. In: 2019 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA). ; 2019:1469-1472.
LibreCat
2019 | Conference Paper | LibreCat-ID: 20528
Piskachev G, Petrasch T, Späth J, Bodden E. AuthCheck: Program-state Analysis for Access-control Vulnerabilities. In: 10th Workshop on Tools for Automatic Program Analysis (TAPAS). ; 2019.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20757
Fazal-Baqaie M, Strüwer J-N, Schmelter D, Dziwok S. Coaching on the Job bei Unternehmen des Maschinen- und Anlagenbaus - Wissenslücken schließen zur Weiterpflege modernisierter IT-Anwendungen. In: Mikusz M, ed. Projektmanagement Und Vorgehensmodelle 2019 (PVM 2019). Lecture Notes in Informatics (LNI); 2019.
LibreCat
2019 | Dissertation | LibreCat-ID: 20758
Holtmann J. Improvement of Software Requirements Quality Based on Systems Engineering. Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn; 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 20759
Gerking C, Schubert D. Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures. In: International Conference on Software Architecture (ICSA 2019). ; 2019.
LibreCat
2019 | Book Chapter | LibreCat-ID: 20760
Schubert D, Eikerling H, Holtmann J. Application-aware Intrusion Detection: A Systematic Literature Review and Implications for Automotive Systems. In: 17th Escar Europe : Embedded Security in Cars. Ruhr-University Bochum, University Library; 2019.
LibreCat