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
@inproceedings{Holtmann_Steghofer_Rath_Schmelter_2020, title={Cutting through the Jungle: Disambiguating Model-based Traceability Terminology}, DOI={10.1109/re48521.2020.00014}, booktitle={2020 IEEE 28th International Requirements Engineering Conference (RE)}, publisher={IEEE}, author={Holtmann, Jörg and Steghofer, Jan-Philipp and Rath, Michael and Schmelter, David}, year={2020} }
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 20518
@inproceedings{Koch_Dziwok_Holtmann_Bodden_2020, title={Scenario-based Specification of Security Protocols and Transformation to Security Model Checkers}, DOI={10.1145/3365438.3410946}, booktitle={ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20)}, publisher={ACM}, author={Koch, Thorsten and Dziwok, Stefan and Holtmann, Jörg and Bodden, Eric}, year={2020} }
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 22969
@inproceedings{Schütz_Rüting_Henke_Trächtler_2020, title={Echtzeitfähige Planung optimierter Trajektorien für sensorgeführte, kinematisch redundante Mechanismen auf einer Industriesteuerung}, booktitle={Entwurf komplexer Automatisierungssysteme (EKA)}, author={Schütz, Stefan and Rüting, Arne Thorsten and Henke, Christian and Trächtler, Ansgar}, year={2020} }
LibreCat
2020 | Conference Paper | LibreCat-ID: 23375
@inproceedings{Hermerschmidt_Straub_Piskachev_2020, title={Language-agnostic Injection Detection}, DOI={10.1109/spw50608.2020.00060}, booktitle={2020 IEEE Security and Privacy Workshops (SPW)}, author={Hermerschmidt, Lars and Straub, Andreas and Piskachev, Goran}, year={2020} }
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 23376
@inproceedings{Piskachev_Nguyen Quang Do_Johnson_Bodden_2020, title={SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods}, DOI={10.1109/ase.2019.00110}, booktitle={2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE)}, author={Piskachev, Goran and Nguyen Quang Do, Lisa and Johnson, Oshando and Bodden, Eric}, year={2020} }
LibreCat
| DOI
2020 | Book Chapter | LibreCat-ID: 23377
@inbook{Piskachev_Petrasch_Späth_Bodden_2020, place={Cham}, title={AuthCheck: Program-State Analysis for Access-Control Vulnerabilities}, DOI={10.1007/978-3-030-54997-8_34}, booktitle={Lecture Notes in Computer Science}, author={Piskachev, Goran and Petrasch, Tobias and Späth, Johannes and Bodden, Eric}, year={2020} }
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 21931
@inproceedings{Koch_Meyer_Fazal-Baqaie_Runschke_2020, series={Lecture Notes in Informatics (LNI)}, title={Softwareentwicklung wie am Fliessband}, DOI={10.18420/SE2020\_58}, booktitle={Software Engineering 2020 (SE 2020)}, publisher={Gesellschaft für Informatik e.V.}, author={Koch, Thorsten and Meyer, Matthias and Fazal-Baqaie, Masud and Runschke, Hubert}, editor={Felderer, Michael and Hasselbring, Wilhelm and Rabiser, Rick and Jung, ReinerEditors}, year={2020}, collection={Lecture Notes in Informatics (LNI)} }
LibreCat
| DOI
2020 | Dissertation | LibreCat-ID: 42068 | 
@book{Gense_2020, title={Mechatronischer Entwurf eines geregelten Federungssystems für mittelschwere gepanzerte Kettenfahrzeuge}, author={Gense, Alexander}, year={2020} }
LibreCat
| Download (ext.)
2020 | Dissertation | LibreCat-ID: 42067 |
@book{Bertelsmeier_2020, title={Produkttolerante Automation zellenbasierter Fertigungssysteme}, author={Bertelsmeier, Fabian}, year={2020} }
LibreCat
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 22965
@inproceedings{Rozo Vasquez_Arian_Riepold_Homberg_Trächtler_Walther_2020, title={Microstructural investigation on phase transformation during flow forming of the metastable austenite AISI 304 }, booktitle={ 54. Metallographie-Tagung}, author={Rozo Vasquez, Julian and Arian, Bahman and Riepold, Markus and Homberg, Werner and Trächtler, Ansgar and Walther, Frank}, year={2020}, pages={75–81} }
LibreCat