Signe Geisler

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

Collaborative distances:

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

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

2018

Stepwise Development and Model Checking of a Distributed Interlocking System - Using RAISE.

Signe Geisler, Anne E. Haxthausen

Proceedings of the Formal Methods - 22nd International Symposium, 2018