TY - CONF AU - Schütz, Stefan AU - Rüting, Arne Thorsten AU - Henke, Christian AU - Trächtler, Ansgar ID - 22977 T2 - Fachtagung Mechatronik 2019 TI - Regelung kollaborativer Robotersysteme zur benutzerfreundlichen, flexiblen Fertigung kleiner Losgrößen am Beispiel eines halbautomatischen Schweißvorgangs VL - 13 ER - TY - JOUR AU - Riepold, Markus AU - Maslo, Semir AU - Han, Ge AU - Henke, Christian AU - Trächtler, Ansgar ID - 22978 JF - Vibroengineering PROCEDIA TI - Open-loop linearization for piezoelectric actuator with inverse hysteresis model VL - 22 ER - TY - JOUR AU - Rüting, Arne Thorsten AU - Henke, Christian AU - Trächtler, Ansgar ID - 22979 IS - 4 JF - at-Automatisierungstechnik TI - Umsetzung einer echtzeitfähigen modellprädiktiven Trajektorienplanung für eine mehrachsige Hybridkinematik auf einer Industriesteuerung VL - 67 ER - TY - CONF AU - Traphöner, Phillip AU - Olma, Simon AU - Kohlstedt, Andreas AU - Fast, Nikolai AU - Jäker, Karl-Peter AU - Trächtler, Ansgar ID - 22980 T2 - 8th IFAC Symposium on Mechatronic Systems TI - Hardware-in-the-Loop Simulation for a Multiaxial Suspension Test Rig with a Nonlinear Spatial Vehicle Dynamics Model ER - TY - CONF AU - Traphöner, Phillip AU - Kohlstedt, Andreas AU - Olma, Simon AU - Jäker, Karl-Peter AU - Trächtler, Ansgar ID - 22981 T2 - 13. VDI/VDE Mechatronik-Tagung TI - Hardware-in-the-Loop-Simulation einer Fahrzeugachse mit aktiver Wankstabilisierung mithilfe eines hydraulischen Hexapoden ER - TY - CHAP AU - Rüddenklau, Nico AU - Biemelt, Patrick AU - Mertin, Sven AU - Gausemeier, Sandra AU - Trächtler, Ansgar ID - 22982 T2 - IARIA SysMea TI - Real-Time Lighting of High-Definition Headlamps for Night Driving Simulation VL - 12 ER - TY - BOOK AU - Kruse, Daniel ID - 22983 TI - Teilautomatisierte Parameteridentifikation für die Validierung von Dynamikmodellen im modellbasierten Entwurf mechatronischer Systeme VL - 388 ER - TY - CONF AU - Piskachev, Goran AU - Do, Lisa Nguyen Quang AU - Bodden, Eric ID - 23378 T2 - Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis TI - Codebase-adaptive detection of security-relevant methods ER - TY - GEN AB - Background - Software companies increasingly rely on static analysis tools to detect potential bugs and security vulnerabilities in their software products. In the past decade, more and more commercial and open-source static analysis tools have been developed and are maintained. Each tool comes with its own reporting format, preventing an easy integration of multiple analysis tools in a single interface, such as the Static Analysis Server Protocol (SASP). In 2017, a collaborative effort in industry, including Microsoft and GrammaTech, has proposed the Static Analysis Results Interchange Format (SARIF) to address this issue. SARIF is a standardized format in which static analysis warnings can be encoded, to allow the import and export of analysis reports between different tools. Purpose - This paper explains the SARIF format through examples and presents a proof of concept of the connector that allows the static analysis tool CogniCrypt to generate and export its results in SARIF format. Design/Approach - We conduct a cross-sectional study between the SARIF format and CogniCrypt's output format before detailing the implementation of the connector. The study aims to find the components of interest in CogniCrypt that the SARIF export module can complete. Originality/Value - The integration of SARIF into CogniCrypt described in this paper can be reused to integrate SARIF into other static analysis tools. Conclusion - After detailing the SARIF format, we present an initial implementation to integrate SARIF into CogniCrypt. After taking advantage of all the features provided by SARIF, CogniCrypt will be able to support SASP. AU - Kummita, Sriteja AU - Piskachev, Goran ID - 23389 KW - Static Analysis KW - Static Analysis Results Interchange Format KW - SARIF KW - Static Analysis Server Protocol KW - SASP TI - Integration of the Static Analysis Results Interchange Format in CogniCrypt ER - TY - CONF AU - Gerking, Christopher AU - Budde, Ingo ID - 23395 T2 - 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) TI - Heuristic Inference of Model Transformation Definitions from Type Mappings ER -