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: 20516
Holtmann, J., Steghofer, J.-P., Rath, M., & Schmelter, D. (2020). Cutting through the Jungle: Disambiguating Model-based Traceability Terminology. In 2020 IEEE 28th International Requirements Engineering Conference (RE). IEEE. https://doi.org/10.1109/re48521.2020.00014
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 20518
Koch, T., Dziwok, S., Holtmann, J., & Bodden, E. (2020). Scenario-based Specification of Security Protocols and Transformation to Security Model Checkers. ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20). https://doi.org/10.1145/3365438.3410946
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 22969
Schütz, S., Rüting, A. T., Henke, C., & Trächtler, A. (2020). Echtzeitfähige Planung optimierter Trajektorien für sensorgeführte, kinematisch redundante Mechanismen auf einer Industriesteuerung. In Entwurf komplexer Automatisierungssysteme (EKA).
LibreCat
2020 | Conference Paper | LibreCat-ID: 23375
Hermerschmidt, L., Straub, A., & Piskachev, G. (2020). Language-agnostic Injection Detection. In 2020 IEEE Security and Privacy Workshops (SPW). https://doi.org/10.1109/spw50608.2020.00060
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 23376
Piskachev, G., Nguyen Quang Do, L., Johnson, O., & Bodden, E. (2020). SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods. 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE). https://doi.org/10.1109/ase.2019.00110
LibreCat
| DOI
2020 | Book Chapter | LibreCat-ID: 23377
Piskachev, G., Petrasch, T., Späth, J., & Bodden, E. (2020). AuthCheck: Program-State Analysis for Access-Control Vulnerabilities. In Lecture Notes in Computer Science. https://doi.org/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. (2020). Softwareentwicklung wie am Fliessband. In M. Felderer, W. Hasselbring, R. Rabiser, & R. Jung (Eds.), Software Engineering 2020 (SE 2020). Gesellschaft für Informatik e.V. https://doi.org/10.18420/SE2020\_58
LibreCat
| DOI
2020 | Dissertation | LibreCat-ID: 42068 | 
Gense, A. (2020). Mechatronischer Entwurf eines geregelten Federungssystems für mittelschwere gepanzerte Kettenfahrzeuge.
LibreCat
| Download (ext.)
2020 | Dissertation | LibreCat-ID: 42067 |
Bertelsmeier, F. (2020). Produkttolerante Automation zellenbasierter Fertigungssysteme.
LibreCat
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 22965
Rozo Vasquez, J., Arian, B., Riepold, M., Homberg, W., Trächtler, A., & Walther, F. (2020). Microstructural investigation on phase transformation during flow forming of the metastable austenite AISI 304 . 54. Metallographie-Tagung, 75–81.
LibreCat
2019 | Conference Paper | LibreCat-ID: 20347
Pasic, F., Wohlers, B., Dziwok, S., Becker, M., & Heinrich, M. (2019). A KPI-based Condition Monitoring System for the Beer Brewing Process. 2019 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 1469–1472.
LibreCat
2019 | Conference Paper | LibreCat-ID: 20528
Piskachev, G., Petrasch, T., Späth, J., & Bodden, E. (2019). AuthCheck: Program-state Analysis for Access-control Vulnerabilities. 10th Workshop on Tools for Automatic Program Analysis (TAPAS).
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20757
Fazal-Baqaie, M., Strüwer, J.-N., Schmelter, D., & Dziwok, S. (2019). Coaching on the Job bei Unternehmen des Maschinen- und Anlagenbaus - Wissenslücken schließen zur Weiterpflege modernisierter IT-Anwendungen. In M. Mikusz (Ed.), Projektmanagement und Vorgehensmodelle 2019 (PVM 2019). Lecture Notes in Informatics (LNI).
LibreCat
2019 | Dissertation | LibreCat-ID: 20758
Holtmann, J. (2019). Improvement of Software Requirements Quality based on Systems Engineering. Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn.
LibreCat
2019 | Conference Paper | LibreCat-ID: 20759
Gerking, C., & Schubert, D. (2019). Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures. International Conference on Software Architecture (ICSA 2019).
LibreCat
2019 | Book Chapter | LibreCat-ID: 20760
Schubert, D., Eikerling, H., & Holtmann, J. (2019). 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.
LibreCat
2019 | Journal Article | LibreCat-ID: 20761
Wohlers, B., Dziwok, S., Pasic, F., Lipsmeier, A., & Becker, M. (2019). Monitoring and Control of Production Processes based on Key Performance Indicators for Mechatronic Systems. International Journal of Production Economics.
LibreCat
2019 | Conference Paper | LibreCat-ID: 22805
Fockel, M., Merschjohann, S., Fazal-Baqaie, M., Förder, T., Hausmann, S., & Waldeck, B. (2019). Designing and Integrating IEC 62443 Compliant Threat Analysis. In European System, Software & Service Process Improvement & Innovation Conference (EuroSPI 2019) (Vol. 1060). Edinburgh, UK. https://doi.org/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. (2019). Assisted setup of forming processes: architecture for the integration of non-adjustable disturbances. Procedia CIRP, 81, 1348–1353.
LibreCat
2019 | Conference Paper | LibreCat-ID: 22976
Michael, J., Henke, C., & Trächtler, A. (2019). Decentralized Energy Management for Smart Home System of Systems. In Syscon 2019 - The 13th Annual IEEE International Systems Conference (Vol. 13, pp. 524–531). IEEE SYSCON.
LibreCat