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: 20518
T. Koch, S. Dziwok, J. Holtmann, and E. Bodden, “Scenario-based Specification of Security Protocols and Transformation to Security Model Checkers,” 2020, doi: 10.1145/3365438.3410946.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 22969
S. Schütz, A. T. Rüting, C. Henke, and A. Trächtler, “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: 23376
G. Piskachev, L. Nguyen Quang Do, O. Johnson, and E. Bodden, “SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods,” 2020, doi: 10.1109/ase.2019.00110.
LibreCat
| DOI
2020 | Dissertation | LibreCat-ID: 42068 | 
A. Gense, Mechatronischer Entwurf eines geregelten Federungssystems für mittelschwere gepanzerte Kettenfahrzeuge. 2020.
LibreCat
| Download (ext.)
2020 | Dissertation | LibreCat-ID: 42067 |
F. Bertelsmeier, Produkttolerante Automation zellenbasierter Fertigungssysteme. 2020.
LibreCat
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 22965
J. Rozo Vasquez, B. Arian, M. Riepold, W. Homberg, A. Trächtler, and F. Walther, “Microstructural investigation on phase transformation during flow forming of the metastable austenite AISI 304 ,” in 54. Metallographie-Tagung, 2020, pp. 75–81.
LibreCat