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