Karsten Stahl - RankMe

18 papers A 3B 2C 2Journal 5Unranked 5

Year	Rank	Type	Title / Venue / Authors
2024	—	`conf`	A Microcontroller Operating Strategy for (Micro-)Pitting and Temperature Increase Detection in Sensor-Integrating Gears Evaluated with Pre-recorded Sensor Data. IEEM Bernhard Rupprecht, Birgit Vogel-Heuser, Dominik Hujo, Alejandra Vicaria, Erich Knoll, Karsten Stahl, Matthias Ochs, Ralf Brederlow
2024	J	`jnl`	Enhanced prediction of thermomechanical systems using machine learning, PCA, and finite element simulation. Adv. Model. Simul. Eng. Sci. Thomas Schneider, Alexandre Beiderwellen Bedrikow, Karsten Stahl
2024	J	`jnl`	High-ratio planetary gearbox with EC gearing for robot applications. Int. J. Intell. Robotics Appl. Stefan Landler, Michael Otto, Birgit Vogel-Heuser, Markus Zimmermann, Karsten Stahl
2024	J	`jnl`	Influences of different parameters on selected properties of gears for robot-like systems. Frontiers Robotics AI Florian Oberneder, Stefan Landler, Michael Otto, Birgit Vogel-Heuser, Markus Zimmermann, Karsten Stahl
2024	A	`conf`	Static Modeling of the Stiffness and Contact Forces of Rolling Element Eccentric Drives for Use in Robotic Drive Systems. IROS Simon Fritsch, Stefan Landler, Michael Otto, Birgit Vogel-Heuser, Markus Zimmermann, Karsten Stahl
2024	J	`jnl`	SysML' - incorporating component properties in early design phases of automated production systems. Autom. Birgit Vogel-Heuser, Mingxi Zhang, Bjarne Lahrsen, Stefan Landler, Michael Otto, Karsten Stahl, Markus Zimmermann
2023	—	`conf`	Analysis of Acceleration Data Using Low-Power Embedded Devices to Detect Gear Faults. CASE Bernhard Rupprecht, Stefan Sendlbeck, Birgit Vogel-Heuser, Ralf Brederlow, Erich Knoll, Karsten Stahl
2023	C	`conf`	Compatibility Assessment for Interfaces in Drivetrains of Robot-Like Systems. ISM Marcus Volpert, Birgit Vogel-Heuser, Dominik Hujo, Karsten Stahl, Markus Zimmermann
2023	A	`conf`	Determination of the Characteristics of Gears of Robot-Like Systems by Analytical Description of their Structure. IROS Stefan Landler, Raúl Molina Blanco, Michael Otto, Birgit Vogel-Heuser, Markus Zimmermann, Karsten Stahl
2023	C	`conf`	Formalizing Selected Mechatronic Component's Constraints in SysML Models. IECON Birgit Vogel-Heuser, Dominik Hujo, Marcus Volpert, Stefan Landler, Michael Otto, Karsten Stahl, Markus Zimmermann
2020	B	`conf`	Current Challenges in the Design of Drives for Robot-Like Systems. SMC Birgit Vogel-Heuser, Markus Zimmermann, Karsten Stahl, Kathrin Land, Felix Ocker, Sebastian Rötzer, Stefan Landler, Michael Otto
2003	—	`—`	Exploring the limits of parameterized system verification. Karsten Stahl
2002	B	`conf`	Parameterized Verification of a Cache Coherence Protocol: Safety and Liveness. VMCAI Kai Baukus, Yassine Lakhnech, Karsten Stahl
2001	—	`conf`	Networks of Processes with Parameterized State Space. VEPAS Kai Baukus, Karsten Stahl, Saddek Bensalem, Yassine Lakhnech
2001	J	`jnl`	Verification of Parameterized Protocols. J. Univers. Comput. Sci. Kai Baukus, Yassine Lakhnech, Karsten Stahl
2000	A	`conf`	Abstracting WS1S Systems to Verify Parameterized Networks. TACAS Kai Baukus, Saddek Bensalem, Yassine Lakhnech, Karsten Stahl
2000	—	`conf`	Verifying Universal Properties of Parameterized Networks. FTRTFT Kai Baukus, Yassine Lakhnech, Karsten Stahl
1999	—	`conf`	Divide, Abstract, and Model-Check. SPIN Karsten Stahl, Kai Baukus, Yassine Lakhnech, Martin Steffen