Sophie Therese Radschek

According to our database, Sophie Therese Radschek authored at least 3 papers between 2017 and 2018.

Collaborative distances:

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

2018

Towards a Hybrid Verification Approach.

Nahla A. El-Araby, Eva Kühn, Anita Messinger, Sophie Therese Radschek

Proceedings of the Software Technologies: Applications and Foundations, 2018

Distributed Coordination Runtime Assertions for the Peer Model.

Eva Kühn, Sophie Therese Radschek, Nahla A. El-Araby

Proceedings of the Coordination Models and Languages, 2018

2017

An Initial User Study Comparing the Readability of a Graphical Coordination Model with Event-B Notation.

Eva Kühn, Sophie Therese Radschek

Proceedings of the Software Engineering and Formal Methods, 2017