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.
186 Publications
2021 | Journal Article | LibreCat-ID: 23469 | 
Riepold M, Arian B, Vasquez JR, Homberg W, Walther F, Trächtler A. Model approaches for closed-loop property control for flow forming. Advances in Industrial and Manufacturing Engineering. Published online 2021. doi:10.1016/j.aime.2021.100057
LibreCat
| DOI
| Download (ext.)
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
2019 | Journal Article | LibreCat-ID: 20761
Wohlers B, Dziwok S, Pasic F, Lipsmeier A, Becker M. Monitoring and Control of Production Processes based on Key Performance Indicators for Mechatronic Systems. International Journal of Production Economics. 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 22805
Fockel M, Merschjohann S, Fazal-Baqaie M, Förder T, Hausmann S, Waldeck B. Designing and Integrating IEC 62443 Compliant Threat Analysis. In: European System, Software & Service Process Improvement & Innovation Conference (EuroSPI 2019). Vol 1060. Communications in Computer and Information Science. ; 2019. doi:10.1007/978-3-030-28005-5_5
LibreCat
| DOI