Solutions to the Families to Persons Case

Case resources:

The following 6 solutions were submitted:

Tool Authors Artefacts Opponents
NMF Georg Hinkel PDF Description
No SHARE demo
SCM
Kevin Lano and Shekoufeh Kolahdouz Rahimi
Tassilo Horn
UML-RSDS Kevin Lano and Shekoufeh Kolahdouz Rahimi PDF Description
No SHARE demo
SCM
Albert Zündorf and Alexander Weidt
Simon-Lennert Räsch et al.
SDMLib Albert Zündorf and Alexander Weidt PDF Description
No SHARE demo
SCM
Tassilo Horn
Leila Samimi-Dehkordi et al.
FunnyQT Tassilo Horn PDF Description
SHARE Demo
SCM
Kevin Lano and Shekoufeh Kolahdouz Rahimi
Simon-Lennert Räsch et al.
EVL+Strace Leila Samimi-Dehkordi et al. PDF Description
No SHARE demo
SCM
Georg Hinkel
Albert Zündorf and Alexander Weidt
Yage Simon-Lennert Räsch et al. PDF Description
No SHARE demo
SCM
Georg Hinkel
Leila Samimi-Dehkordi et al.