Signe Geisler

According to our database, Signe Geisler authored at least 2 papers between 2020 and 2021.

Collaborative distances:

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

2021

Stepwise development and model checking of a distributed interlocking system using RAISE.

Signe Geisler, Anne Elisabeth Haxthausen

Formal Aspects Comput., 2021

2020

Model Checking a Distributed Interlocking System Using k-induction with RT-Tester.

Signe Geisler, Anne E. Haxthausen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020