Sophie Therese Radschek

Publication Activity (10 Years)

Years Active: 2017-2018
Publications (10 Years): 3

Top Topics

Concurrent Systems

Multi Agent Planning

Computational Model

Theoretical Framework

Top Venues

Publications

Nahla A. El-Araby, eva Kühn, Anita Messinger, Sophie Therese Radschek
Towards a Hybrid Verification Approach. STAF Workshops (2018)
eva Kühn, Sophie Therese Radschek, Nahla A. El-Araby
Distributed Coordination Runtime Assertions for the Peer Model. COORDINATION (2018)
eva Kühn, Sophie Therese Radschek
An Initial User Study Comparing the Readability of a Graphical Coordination Model with Event-B Notation. SEFM Workshops (2017)