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
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.
2019 | Conference Paper | LibreCat-ID: 20347
A KPI-based Condition Monitoring System for the Beer Brewing Process
F. Pasic, B. Wohlers, S. Dziwok, M. Becker, M. Heinrich, in: 2019 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2019, pp. 1469–1472.
LibreCat
F. Pasic, B. Wohlers, S. Dziwok, M. Becker, M. Heinrich, in: 2019 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2019, pp. 1469–1472.
2019 | Conference Paper | LibreCat-ID: 20528
AuthCheck: Program-state Analysis for Access-control Vulnerabilities
G. Piskachev, T. Petrasch, J. Späth, E. Bodden, in: 10th Workshop on Tools for Automatic Program Analysis (TAPAS), 2019.
LibreCat
| Download (ext.)
G. Piskachev, T. Petrasch, J. Späth, E. Bodden, in: 10th Workshop on Tools for Automatic Program Analysis (TAPAS), 2019.
2019 | Conference Paper | LibreCat-ID: 20757
Coaching on the Job bei Unternehmen des Maschinen- und Anlagenbaus - Wissenslücken schließen zur Weiterpflege modernisierter IT-Anwendungen
M. Fazal-Baqaie, J.-N. Strüwer, D. Schmelter, S. Dziwok, in: M. Mikusz (Ed.), Projektmanagement Und Vorgehensmodelle 2019 (PVM 2019), Lecture Notes in Informatics (LNI), 2019.
LibreCat
M. Fazal-Baqaie, J.-N. Strüwer, D. Schmelter, S. Dziwok, in: M. Mikusz (Ed.), Projektmanagement Und Vorgehensmodelle 2019 (PVM 2019), Lecture Notes in Informatics (LNI), 2019.
2019 | Dissertation | LibreCat-ID: 20758
Improvement of Software Requirements Quality based on Systems Engineering
J. Holtmann, Improvement of Software Requirements Quality Based on Systems Engineering, Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn, 2019.
LibreCat
J. Holtmann, Improvement of Software Requirements Quality Based on Systems Engineering, Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn, 2019.
2019 | Conference Paper | LibreCat-ID: 20759
Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures
C. Gerking, D. Schubert, in: International Conference on Software Architecture (ICSA 2019), 2019.
LibreCat
C. Gerking, D. Schubert, in: International Conference on Software Architecture (ICSA 2019), 2019.
2019 | Book Chapter | LibreCat-ID: 20760
Application-aware Intrusion Detection: A Systematic Literature Review and Implications for Automotive Systems
D. Schubert, H. Eikerling, J. Holtmann, in: 17th Escar Europe : Embedded Security in Cars, Ruhr-University Bochum, University Library, 2019.
LibreCat
D. Schubert, H. Eikerling, J. Holtmann, in: 17th Escar Europe : Embedded Security in Cars, Ruhr-University Bochum, University Library, 2019.
2019 | Journal Article | LibreCat-ID: 20761
Monitoring and Control of Production Processes based on Key Performance Indicators for Mechatronic Systems
B. Wohlers, S. Dziwok, F. Pasic, A. Lipsmeier, M. Becker, International Journal of Production Economics (2019).
LibreCat
B. Wohlers, S. Dziwok, F. Pasic, A. Lipsmeier, M. Becker, International Journal of Production Economics (2019).
2019 | Conference Paper | LibreCat-ID: 22805
Designing and Integrating IEC 62443 Compliant Threat Analysis
M. Fockel, S. Merschjohann, M. Fazal-Baqaie, T. Förder, S. Hausmann, B. Waldeck, in: European System, Software & Service Process Improvement & Innovation Conference (EuroSPI 2019), 2019.
LibreCat
| DOI
M. Fockel, S. Merschjohann, M. Fazal-Baqaie, T. Förder, S. Hausmann, B. Waldeck, in: European System, Software & Service Process Improvement & Innovation Conference (EuroSPI 2019), 2019.
2019 | Journal Article | LibreCat-ID: 22975
Assisted setup of forming processes: architecture for the integration of non-adjustable disturbances
M. Gräler, A. Wallow, C. Henke, A. Trächtler, Procedia CIRP 81 (2019) 1348–1353.
LibreCat
M. Gräler, A. Wallow, C. Henke, A. Trächtler, Procedia CIRP 81 (2019) 1348–1353.
2019 | Conference Paper | LibreCat-ID: 22976
Decentralized Energy Management for Smart Home System of Systems
J. Michael, C. Henke, A. Trächtler, in: Syscon 2019 - The 13th Annual IEEE International Systems Conference, IEEE SYSCON, 2019, pp. 524–531.
LibreCat
J. Michael, C. Henke, A. Trächtler, in: Syscon 2019 - The 13th Annual IEEE International Systems Conference, IEEE SYSCON, 2019, pp. 524–531.
2019 | Conference Paper | LibreCat-ID: 22977
Regelung kollaborativer Robotersysteme zur benutzerfreundlichen, flexiblen Fertigung kleiner Losgrößen am Beispiel eines halbautomatischen Schweißvorgangs
S. Schütz, A.T. Rüting, C. Henke, A. Trächtler, in: Fachtagung Mechatronik 2019, VDI Mechatronik, Paderborn, 2019, pp. 43–48.
LibreCat
S. Schütz, A.T. Rüting, C. Henke, A. Trächtler, in: Fachtagung Mechatronik 2019, VDI Mechatronik, Paderborn, 2019, pp. 43–48.