Karsten Stahl

Orcid: 0000-0001-7177-5207

According to our database1, Karsten Stahl authored at least 13 papers between 1999 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Enhanced prediction of thermomechanical systems using machine learning, PCA, and finite element simulation.
Adv. Model. Simul. Eng. Sci., December, 2024

SysML' - incorporating component properties in early design phases of automated production systems.
Autom., January, 2024

2023
Determination of the Characteristics of Gears of Robot-Like Systems by Analytical Description of their Structure.
IROS, 2023

Formalizing Selected Mechatronic Component's Constraints in SysML Models.
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.
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.
Proceedings of the 2020 IEEE International Conference on Systems, Man, and Cybernetics, 2020

2003
Exploring the limits of parameterized system verification.
PhD thesis, 2003

2002
Parameterized Verification of a Cache Coherence Protocol: Safety and Liveness.
Proceedings of the Verification, 2002

2001
Verification of Parameterized Protocols.
J. Univers. Comput. Sci., 2001

Networks of Processes with Parameterized State Space.
Proceedings of the Verification of Parameterized Systems, 2001

2000
Abstracting WS1S Systems to Verify Parameterized Networks.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

Verifying Universal Properties of Parameterized Networks.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2000

1999
Divide, Abstract, and Model-Check.
Proceedings of the Theoretical and Practical Aspects of SPIN Model Checking, 1999


  Loading...