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.
183 Publications
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
2019 | Journal Article | LibreCat-ID: 22975
Gräler M, Wallow A, Henke C, Trächtler A. Assisted setup of forming processes: architecture for the integration of non-adjustable disturbances. Procedia CIRP. 2019;81:1348–1353.
LibreCat
2019 | Conference Paper | LibreCat-ID: 22976
Michael J, Henke C, Trächtler A. Decentralized Energy Management for Smart Home System of Systems. In: Syscon 2019 - The 13th Annual IEEE International Systems Conference. Vol 13. The 13th Annual IEEE International Systems Conference. IEEE SYSCON; 2019:524-531.
LibreCat
2019 | Conference Paper | LibreCat-ID: 22977
Schütz S, Rüting AT, Henke C, Trächtler A. Regelung kollaborativer Robotersysteme zur benutzerfreundlichen, flexiblen Fertigung kleiner Losgrößen am Beispiel eines halbautomatischen Schweißvorgangs. In: Fachtagung Mechatronik 2019. Vol 13. Proceeding of the 13. VDI Mechatronik. Paderborn: VDI Mechatronik; 2019:43-48.
LibreCat