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.
183 Publications
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
2019 | Journal Article | LibreCat-ID: 22975
@article{Gräler_Wallow_Henke_Trächtler_2019, title={Assisted setup of forming processes: architecture for the integration of non-adjustable disturbances}, volume={81}, journal={Procedia CIRP}, author={Gräler, Manuel and Wallow, Astrid and Henke, Christian and Trächtler, Ansgar}, year={2019}, pages={1348–1353} }
LibreCat
2019 | Conference Paper | LibreCat-ID: 22976
@inproceedings{Michael_Henke_Trächtler_2019, series={The 13th Annual IEEE International Systems Conference}, title={Decentralized Energy Management for Smart Home System of Systems}, volume={13}, booktitle={Syscon 2019 - The 13th Annual IEEE International Systems Conference}, publisher={IEEE SYSCON}, author={Michael, Jan and Henke, Christian and Trächtler, Ansgar}, year={2019}, pages={524–531}, collection={The 13th Annual IEEE International Systems Conference} }
LibreCat
2019 | Conference Paper | LibreCat-ID: 22977
@inproceedings{Schütz_Rüting_Henke_Trächtler_2019, place={Paderborn}, series={Proceeding of the 13. VDI Mechatronik}, title={Regelung kollaborativer Robotersysteme zur benutzerfreundlichen, flexiblen Fertigung kleiner Losgrößen am Beispiel eines halbautomatischen Schweißvorgangs}, volume={13}, booktitle={Fachtagung Mechatronik 2019}, publisher={VDI Mechatronik}, author={Schütz, Stefan and Rüting, Arne Thorsten and Henke, Christian and Trächtler, Ansgar}, year={2019}, pages={43–48}, collection={Proceeding of the 13. VDI Mechatronik} }
LibreCat