Karsten Stahl

According to our database, Karsten Stahl authored at least 12 papers between 1999 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

SysML' - incorporating component properties in early design phases of automated production systems.

Birgit Vogel-Heuser, Mingxi Zhang, Bjarne Lahrsen, Stefan Landler, Michael Otto, Karsten Stahl, Markus Zimmermann

Autom., January, 2024

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, Birgit Vogel-Heuser, Markus Zimmermann, Karsten Stahl

IROS, 2023

Formalizing Selected Mechatronic Component's Constraints in SysML Models.

Birgit Vogel-Heuser, Dominik Hujo, Marcus Volpert, Stefan Landler, Michael Otto, Karsten Stahl, Markus Zimmermann

Proceedings of the 49th Annual Conference of the IEEE Industrial Electronics Society, 2023

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

Proceedings of the 19th IEEE International Conference on Automation Science and Engineering, 2023

2020

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

Proceedings of the 2020 IEEE International Conference on Systems, Man, and Cybernetics, 2020

2003

Exploring the limits of parameterized system verification.

Karsten Stahl

PhD thesis, 2003

2002

Parameterized Verification of a Cache Coherence Protocol: Safety and Liveness.

Kai Baukus, Yassine Lakhnech, Karsten Stahl

Proceedings of the Verification, 2002

2001

Verification of Parameterized Protocols.

Kai Baukus, Yassine Lakhnech, Karsten Stahl

J. Univers. Comput. Sci., 2001

Networks of Processes with Parameterized State Space.

Kai Baukus, Karsten Stahl, Saddek Bensalem, Yassine Lakhnech

Proceedings of the Verification of Parameterized Systems, 2001

2000

Abstracting WS1S Systems to Verify Parameterized Networks.

Kai Baukus, Saddek Bensalem, Yassine Lakhnech, Karsten Stahl

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

Verifying Universal Properties of Parameterized Networks.

Kai Baukus, Yassine Lakhnech, Karsten Stahl

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2000

1999

Divide, Abstract, and Model-Check.

Karsten Stahl, Kai Baukus, Yassine Lakhnech, Martin Steffen

Proceedings of the Theoretical and Practical Aspects of SPIN Model Checking, 1999