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, Jan-Philipp Steghofer, Michael Rath, and David Schmelter. “Cutting through the Jungle: Disambiguating Model-Based Traceability Terminology.” In 2020 IEEE 28th International Requirements Engineering Conference (RE). IEEE, 2020. https://doi.org/10.1109/re48521.2020.00014.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 20518
Koch, Thorsten, Stefan Dziwok, Jörg Holtmann, and Eric Bodden. “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. https://doi.org/10.1145/3365438.3410946.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 22969
Schütz, Stefan, Arne Thorsten Rüting, Christian Henke, and Ansgar Trächtler. “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, Lars, Andreas Straub, and Goran Piskachev. “Language-Agnostic Injection Detection.” In 2020 IEEE Security and Privacy Workshops (SPW), 2020. https://doi.org/10.1109/spw50608.2020.00060.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 23376
Piskachev, Goran, Lisa Nguyen Quang Do, Oshando Johnson, and Eric Bodden. “SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods.” In 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2020. https://doi.org/10.1109/ase.2019.00110.
LibreCat
| DOI
2020 | Book Chapter | LibreCat-ID: 23377
Piskachev, Goran, Tobias Petrasch, Johannes Späth, and Eric Bodden. “AuthCheck: Program-State Analysis for Access-Control Vulnerabilities.” In Lecture Notes in Computer Science. Cham, 2020. https://doi.org/10.1007/978-3-030-54997-8_34.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 21931
Koch, Thorsten, Matthias Meyer, Masud Fazal-Baqaie, and Hubert Runschke. “Softwareentwicklung Wie Am Fliessband.” In Software Engineering 2020 (SE 2020), edited by Michael Felderer, Wilhelm Hasselbring, Rick Rabiser, and Reiner Jung. Lecture Notes in Informatics (LNI). Gesellschaft für Informatik e.V., 2020. https://doi.org/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, Bahman Arian, Markus Riepold, Werner Homberg, Ansgar Trächtler, and Frank Walther. “Microstructural Investigation on Phase Transformation during Flow Forming of the Metastable Austenite AISI 304 .” In 54. Metallographie-Tagung, 75–81, 2020.
LibreCat