Divide, Abstract, and Model-Check. - Karsten Stahl; Kai Baukus; Yassine Lakhnech; Martin Steffen (SPIN, 1999)

Verifying Universal Properties of Parameterized Networks. - Kai Baukus; Yassine Lakhnech; Karsten Stahl (FTRTFT, 2000)

Abstracting WS1S Systems to Verify Parameterized Networks. - Kai Baukus; Saddek Bensalem; Yassine Lakhnech; Karsten Stahl (TACAS, 2000)

Networks of Processes with Parameterized State Space. - Kai Baukus; Karsten Stahl; Saddek Bensalem; Yassine Lakhnech (VEPAS, 2001)

Verification of Parameterized Protocols. - Kai Baukus; Yassine Lakhnech; Karsten Stahl (J. Univers. Comput. Sci., 2001)

Parameterized Verification of a Cache Coherence Protocol: Safety and Liveness. - Kai Baukus; Yassine Lakhnech; Karsten Stahl (VMCAI, 2002)

Exploring the limits of parameterized system verification. - Karsten Stahl (2003)

Current Challenges in the Design of Drives for Robot-Like Systems. - Birgit Vogel-Heuser; Markus Zimmermann; Karsten Stahl; Kathrin Land; Felix Ocker; Sebastian Rötzer; Stefan Landler; Michael Otto 001 (SMC, 2020)

Analysis of Acceleration Data Using Low-Power Embedded Devices to Detect Gear Faults. - Bernhard Rupprecht; Stefan Sendlbeck; Birgit Vogel-Heuser; Ralf Brederlow; Erich Knoll; Karsten Stahl (CASE, 2023)

Formalizing Selected Mechatronic Component's Constraints in SysML Models. - Birgit Vogel-Heuser; Dominik Hujo; Marcus Volpert; Stefan Landler; Michael Otto 001; Karsten Stahl; Markus Zimmermann (IECON, 2023)

Determination of the Characteristics of Gears of Robot-Like Systems by Analytical Description of their Structure. - Stefan Landler; Raúl Molina Blanco; Michael Otto 001; Birgit Vogel-Heuser; Markus Zimmermann; Karsten Stahl (IROS, 2023)

Compatibility Assessment for Interfaces in Drivetrains of Robot-Like Systems. - Marcus Volpert; Birgit Vogel-Heuser; Dominik Hujo; Karsten Stahl; Markus Zimmermann (ISM, 2023)

A Microcontroller Operating Strategy for (Micro-)Pitting and Temperature Increase Detection in Sensor-Integrating Gears Evaluated with Pre-recorded Sensor Data. - Bernhard Rupprecht; Birgit Vogel-Heuser; Dominik Hujo; Alejandra Vicaria; Erich Knoll; Karsten Stahl; Matthias Ochs; Ralf Brederlow (IEEM, 2024)

Static Modeling of the Stiffness and Contact Forces of Rolling Element Eccentric Drives for Use in Robotic Drive Systems. - Simon Fritsch; Stefan Landler; Michael Otto 001; Birgit Vogel-Heuser; Markus Zimmermann; Karsten Stahl (IROS, 2024)

Influences of different parameters on selected properties of gears for robot-like systems. - Florian Oberneder; Stefan Landler; Michael Otto 001; Birgit Vogel-Heuser; Markus Zimmermann; Karsten Stahl (Frontiers Robotics AI, 2024)

SysML' - incorporating component properties in early design phases of automated production systems. - Birgit Vogel-Heuser; Mingxi Zhang 003; Bjarne Lahrsen; Stefan Landler; Michael Otto 001; Karsten Stahl; Markus Zimmermann (Autom., 2024)

Enhanced prediction of thermomechanical systems using machine learning, PCA, and finite element simulation. - Thomas Schneider; Alexandre Beiderwellen Bedrikow; Karsten Stahl (Adv. Model. Simul. Eng. Sci., 2024)

High-ratio planetary gearbox with EC gearing for robot applications. - Stefan Landler; Michael Otto 001; Birgit Vogel-Heuser; Markus Zimmermann; Karsten Stahl (Int. J. Intell. Robotics Appl., 2024)