Karsten Stahl

ORCID

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 6

Top Venues

SMC

IECON

Adv. Model. Simul. Eng. Sci.

IROS

University of Kiel, Germany (PHD)

Education History

University of Kiel, Germany

PHD

Publications

Thomas Schneider, Alexandre Beiderwellen Bedrikow, Karsten Stahl
Enhanced prediction of thermomechanical systems using machine learning, PCA, and finite element simulation. Adv. Model. Simul. Eng. Sci. 11 (1) (2024)
Birgit Vogel-Heuser, Mingxi Zhang, Bjarne Lahrsen, Stefan Landler, Michael Otto, Karsten Stahl, Markus Zimmermann
SysML' - incorporating component properties in early design phases of automated production systems. Autom. 72 (1) (2024)
Bernhard Rupprecht, Stefan Sendlbeck, Birgit Vogel-Heuser, Ralf Brederlow, Erich Knoll, Karsten Stahl
Analysis of Acceleration Data Using Low-Power Embedded Devices to Detect Gear Faults. CASE (2023)
Birgit Vogel-Heuser, Dominik Hujo, Marcus Volpert, Stefan Landler, Michael Otto, Karsten Stahl, Markus Zimmermann
Formalizing Selected Mechatronic Component's Constraints in SysML Models. IECON (2023)
Stefan Landler, Raúl Molina Blanco, Michael Otto, Birgit Vogel-Heuser, Markus Zimmermann, Karsten Stahl
Determination of the Characteristics of Gears of Robot-Like Systems by Analytical Description of their Structure. IROS (2023)
Birgit Vogel-Heuser, Markus Zimmermann, Karsten Stahl, Kathrin Land, Felix Ocker, Sebastian Rötzer, Stefan Landler, Michael Otto
Current Challenges in the Design of Drives for Robot-Like Systems. SMC (2020)
Kai Baukus, Yassine Lakhnech, Karsten Stahl
Parameterized Verification of a Cache Coherence Protocol: Safety and Liveness. VMCAI (2002)
Kai Baukus, Yassine Lakhnech, Karsten Stahl
Verification of Parameterized Protocols. J. Univers. Comput. Sci. 7 (2) (2001)
Kai Baukus, Karsten Stahl, Saddek Bensalem, Yassine Lakhnech
Networks of Processes with Parameterized State Space. Electron. Notes Theor. Comput. Sci. 50 (4) (2001)
Kai Baukus, Yassine Lakhnech, Karsten Stahl
Verifying Universal Properties of Parameterized Networks. FTRTFT (2000)
Kai Baukus, Saddek Bensalem, Yassine Lakhnech, Karsten Stahl
Abstracting WS1S Systems to Verify Parameterized Networks. TACAS (2000)
Karsten Stahl, Kai Baukus, Yassine Lakhnech, Martin Steffen
Divide, Abstract, and Model-Check. SPIN (1999)

Karsten Stahl.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Karsten Stahl