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.
186 Publications
2021 | Journal Article | LibreCat-ID: 23469 | 
@article{Riepold_Arian_Vasquez_Homberg_Walther_Trächtler_2021, title={Model approaches for closed-loop property control for flow forming}, DOI={10.1016/j.aime.2021.100057}, number={100057}, journal={Advances in Industrial and Manufacturing Engineering}, author={Riepold, Markus and Arian, Bahman and Vasquez, Julian Rozo and Homberg, Werner and Walther, Frank and Trächtler, Ansgar}, year={2021} }
LibreCat
| DOI
| Download (ext.)
2020 | Journal Article | LibreCat-ID: 27130
@article{Poddubnyi_Trächtler_Warkentin_Henke_2020, title={Mechanical and mathematical model of a caterpillar drive with a triangular contour for solving problems of vertical dynamics of a tracked vehicle}, DOI={10.36652/0042-4633-2020-12-26-29}, journal={Vestnik Mashinostroeniya}, author={Poddubnyi, Vladimir I. and Trächtler, Ansgar and Warkentin, Andreas and Henke, Christian}, year={2020}, pages={26–29} }
LibreCat
| DOI
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
2019 | Conference Paper | LibreCat-ID: 20347
@inproceedings{Pasic_Wohlers_Dziwok_Becker_Heinrich_2019, title={A KPI-based Condition Monitoring System for the Beer Brewing Process}, booktitle={2019 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)}, author={Pasic, Faruk and Wohlers, Benedict and Dziwok, Stefan and Becker, Matthias and Heinrich, Matthias}, year={2019}, pages={1469–1472} }
LibreCat
2019 | Conference Paper | LibreCat-ID: 20528
@inproceedings{Piskachev_Petrasch_Späth_Bodden_2019, title={AuthCheck: Program-state Analysis for Access-control Vulnerabilities}, booktitle={10th Workshop on Tools for Automatic Program Analysis (TAPAS)}, author={Piskachev, Goran and Petrasch, Tobias and Späth, Johannes and Bodden, Eric}, year={2019} }
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20757
@inproceedings{Fazal-Baqaie_Strüwer_Schmelter_Dziwok_2019, title={Coaching on the Job bei Unternehmen des Maschinen- und Anlagenbaus - Wissenslücken schließen zur Weiterpflege modernisierter IT-Anwendungen}, booktitle={Projektmanagement und Vorgehensmodelle 2019 (PVM 2019)}, publisher={Lecture Notes in Informatics (LNI)}, author={Fazal-Baqaie, Masud and Strüwer, Jan-Niclas and Schmelter, David and Dziwok, Stefan}, editor={Mikusz, Martin}, year={2019} }
LibreCat
2019 | Dissertation | LibreCat-ID: 20758
@book{Holtmann_2019, title={Improvement of Software Requirements Quality based on Systems Engineering}, publisher={Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn}, author={Holtmann, Jörg}, year={2019} }
LibreCat
2019 | Conference Paper | LibreCat-ID: 20759
@inproceedings{Gerking_Schubert_2019, title={Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures}, booktitle={International Conference on Software Architecture (ICSA 2019)}, author={Gerking, Christopher and Schubert, David}, year={2019} }
LibreCat
2019 | Book Chapter | LibreCat-ID: 20760
@inbook{Schubert_Eikerling_Holtmann_2019, title={Application-aware Intrusion Detection: A Systematic Literature Review and Implications for Automotive Systems}, booktitle={17th escar Europe : embedded security in cars}, publisher={Ruhr-University Bochum, University Library}, author={Schubert, David and Eikerling, Hendrik and Holtmann, Jörg}, year={2019} }
LibreCat
2019 | Journal Article | LibreCat-ID: 20761
@article{Wohlers_Dziwok_Pasic_Lipsmeier_Becker_2019, title={Monitoring and Control of Production Processes based on Key Performance Indicators for Mechatronic Systems}, journal={International Journal of Production Economics}, author={Wohlers, Benedict and Dziwok, Stefan and Pasic, Faruk and Lipsmeier, Andre and Becker, Matthias}, year={2019} }
LibreCat
2019 | Conference Paper | LibreCat-ID: 22805
@inproceedings{Fockel_Merschjohann_Fazal-Baqaie_Förder_Hausmann_Waldeck_2019, series={Communications in Computer and Information Science}, title={Designing and Integrating IEC 62443 Compliant Threat Analysis}, volume={1060}, DOI={10.1007/978-3-030-28005-5_5}, booktitle={European System, Software & Service Process Improvement & Innovation Conference (EuroSPI 2019)}, author={Fockel, Markus and Merschjohann, Sven and Fazal-Baqaie, Masud and Förder, Torsten and Hausmann, Stefan and Waldeck, Boris}, year={2019}, collection={Communications in Computer and Information Science} }
LibreCat
| DOI