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
2021 | Conference Paper | LibreCat-ID: 22961
Kraftsensitive Kalibriermethode für Industrieroboter
S. Schütz, N. Elsner, C. Henke, A. Trächtler, in: Fachtagung VDI MECHATRONIK 2021, 2021.
LibreCat
S. Schütz, N. Elsner, C. Henke, A. Trächtler, in: Fachtagung VDI MECHATRONIK 2021, 2021.
2021 | Journal Article | LibreCat-ID: 22962
Echtzeitfähige Planung optimierter Trajektorien für sensorgeführte, kinematisch redundante Robotersysteme auf einer Industriesteuerung
S. Schütz, A.T. Rüting, C. Henke, A. Trächtler, At-Automatisierungstechnik 69 (2021) 231–241.
LibreCat
S. Schütz, A.T. Rüting, C. Henke, A. Trächtler, At-Automatisierungstechnik 69 (2021) 231–241.
2021 | Conference Paper | LibreCat-ID: 23374
Qualitative and Quantitative Analysis of Callgraph Algorithms for Python
S. Kummita, G. Piskachev, J. Spath, E. Bodden, in: 2021 International Conference on Code Quality (ICCQ), 2021.
LibreCat
| DOI
S. Kummita, G. Piskachev, J. Spath, E. Bodden, in: 2021 International Conference on Code Quality (ICCQ), 2021.
2021 | Conference Paper | LibreCat-ID: 29715
The MobSTr Dataset – An Exemplar for Traceability and Model-based Safety Assessment
J.-P. Steghofer, B. Koopmann, J. Steffen Becker, I. Stierand, M. Zeller, M. Bonner, D. Schmelter, S. Maro, in: 2021 IEEE 29th International Requirements Engineering Conference (RE), IEEE, 2021.
LibreCat
| DOI
J.-P. Steghofer, B. Koopmann, J. Steffen Becker, I. Stierand, M. Zeller, M. Bonner, D. Schmelter, S. Maro, in: 2021 IEEE 29th International Requirements Engineering Conference (RE), IEEE, 2021.
2021 | Conference Paper | LibreCat-ID: 26407
SecuCheck: Engineering configurable taint analysis for software developers
G. Piskachev, R. Krishnamurthy, E. Bodden, in: 2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM), 2021.
LibreCat
G. Piskachev, R. Krishnamurthy, E. Bodden, in: 2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM), 2021.
2021 | Conference Paper | LibreCat-ID: 30297
Magnetic Barkhausen noise analysis for microstructural effects separation during flow forming of metastable austenite 304L.
J. Rozo Vasquez, B. Arian, M. Riepold, F. Walther, W. Homberg, A. Trächtler, in: Proceedings of the 11th International Workshop NDT in Progress, 2021.
LibreCat
J. Rozo Vasquez, B. Arian, M. Riepold, F. Walther, W. Homberg, A. Trächtler, in: Proceedings of the 11th International Workshop NDT in Progress, 2021.
2021 | Conference Paper | LibreCat-ID: 23465 | 
Forming of metastable austenitic stainless steel tubes with axially graded martensite content by flow-forming
B. Arian, W. Homberg, M. Riepold, A. Trächtler, J. Rozo Vasquez, F. Walther, in: ULiège Library, Liège, 2021.
LibreCat
| Download (ext.)
B. Arian, W. Homberg, M. Riepold, A. Trächtler, J. Rozo Vasquez, F. Walther, in: ULiège Library, Liège, 2021.
2021 | Conference Paper | LibreCat-ID: 33975
Anomaly detection in hot forming processes using hybrid modeling
C. Lenz, C. Henke, A. Trächtler, in: 2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), IEEE, 2021.
LibreCat
| DOI
C. Lenz, C. Henke, A. Trächtler, in: 2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), IEEE, 2021.
2021 | Journal Article | LibreCat-ID: 23469 |
Model approaches for closed-loop property control for flow forming
M. Riepold, B. Arian, J.R. Vasquez, W. Homberg, F. Walther, A. Trächtler, Advances in Industrial and Manufacturing Engineering (2021).
LibreCat
| DOI
| Download (ext.)
M. Riepold, B. Arian, J.R. Vasquez, W. Homberg, F. Walther, A. Trächtler, Advances in Industrial and Manufacturing Engineering (2021).
2020 | Journal Article | LibreCat-ID: 27130
Mechanical and mathematical model of a caterpillar drive with a triangular contour for solving problems of vertical dynamics of a tracked vehicle
V.I. Poddubnyi, A. Trächtler, A. Warkentin, C. Henke, Vestnik Mashinostroeniya (2020) 26–29.
LibreCat
| DOI
V.I. Poddubnyi, A. Trächtler, A. Warkentin, C. Henke, Vestnik Mashinostroeniya (2020) 26–29.
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.