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örg, et al. “Cutting through the Jungle: Disambiguating Model-Based Traceability Terminology.” 2020 IEEE 28th International Requirements Engineering Conference (RE), IEEE, 2020, doi:10.1109/re48521.2020.00014.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 20518
Koch, Thorsten, et al. “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), ACM, 2020, doi:10.1145/3365438.3410946.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 22969
Schütz, Stefan, et al. “Echtzeitfähige Planung Optimierter Trajektorien Für Sensorgeführte, Kinematisch Redundante Mechanismen Auf Einer Industriesteuerung.” Entwurf Komplexer Automatisierungssysteme (EKA), 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 23375
Hermerschmidt, Lars, et al. “Language-Agnostic Injection Detection.” 2020 IEEE Security and Privacy Workshops (SPW), 2020, doi:10.1109/spw50608.2020.00060.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 23376
Piskachev, Goran, et al. “SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods.” 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, Goran, et al. “AuthCheck: Program-State Analysis for Access-Control Vulnerabilities.” Lecture Notes in Computer Science, 2020, doi:10.1007/978-3-030-54997-8_34.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 21931
Koch, Thorsten, et al. “Softwareentwicklung Wie Am Fliessband.” Software Engineering 2020 (SE 2020), edited by Michael Felderer et al., Gesellschaft für Informatik e.V., 2020, doi:10.18420/SE2020\_58.
LibreCat
| DOI
2020 | Dissertation | LibreCat-ID: 42068 | 
Gense, Alexander. Mechatronischer Entwurf eines geregelten Federungssystems für mittelschwere gepanzerte Kettenfahrzeuge. 2020.
LibreCat
| Download (ext.)
2020 | Dissertation | LibreCat-ID: 42067 |
Bertelsmeier, Fabian. Produkttolerante Automation zellenbasierter Fertigungssysteme. 2020.
LibreCat
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 22965
Rozo Vasquez, Julian, et al. “Microstructural Investigation on Phase Transformation during Flow Forming of the Metastable Austenite AISI 304 .” 54. Metallographie-Tagung, 2020, pp. 75–81.
LibreCat
2019 | Conference Paper | LibreCat-ID: 20347
Pasic, Faruk, et al. “A KPI-Based Condition Monitoring System for the Beer Brewing Process.” 2019 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2019, pp. 1469–72.
LibreCat
2019 | Conference Paper | LibreCat-ID: 20528
Piskachev, Goran, et al. “AuthCheck: Program-State Analysis for Access-Control Vulnerabilities.” 10th Workshop on Tools for Automatic Program Analysis (TAPAS), 2019.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20757
Fazal-Baqaie, Masud, et al. “Coaching on the Job Bei Unternehmen Des Maschinen- Und Anlagenbaus - Wissenslücken Schließen Zur Weiterpflege Modernisierter IT-Anwendungen.” Projektmanagement Und Vorgehensmodelle 2019 (PVM 2019), edited by Martin Mikusz, Lecture Notes in Informatics (LNI), 2019.
LibreCat
2019 | Dissertation | LibreCat-ID: 20758
Holtmann, Jörg. 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, Christopher, and David Schubert. “Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures.” International Conference on Software Architecture (ICSA 2019), 2019.
LibreCat
2019 | Book Chapter | LibreCat-ID: 20760
Schubert, David, et al. “Application-Aware Intrusion Detection: A Systematic Literature Review and Implications for Automotive Systems.” 17th Escar Europe : Embedded Security in Cars, Ruhr-University Bochum, University Library, 2019.
LibreCat
2019 | Journal Article | LibreCat-ID: 20761
Wohlers, Benedict, et al. “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, Markus, et al. “Designing and Integrating IEC 62443 Compliant Threat Analysis.” European System, Software & Service Process Improvement & Innovation Conference (EuroSPI 2019), vol. 1060, 2019, doi:10.1007/978-3-030-28005-5_5.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 22975
Gräler, Manuel, et al. “Assisted Setup of Forming Processes: Architecture for the Integration of Non-Adjustable Disturbances.” Procedia CIRP, vol. 81, 2019, pp. 1348–1353.
LibreCat
2019 | Conference Paper | LibreCat-ID: 22976
Michael, Jan, et al. “Decentralized Energy Management for Smart Home System of Systems.” Syscon 2019 - The 13th Annual IEEE International Systems Conference, vol. 13, IEEE SYSCON, 2019, pp. 524–31.
LibreCat