| * | 2009 |
|---|
| 4 | EE | Marco Bakera,
Sven Jörges,
Tiziana Margaria:
Test your Strategy: Graphical Construction of Strategies for Connect-Four.
ICECCS 2009: 172-181 |
| 2008 |
|---|
| 3 | EE | Sven Jörges,
Tiziana Margaria,
Bernhard Steffen:
Genesys: service-oriented construction of property conform code generators.
ISSE 4(4): 361-384 (2008) |
| 2006 |
|---|
| 2 | EE | Bernhard Steffen,
Tiziana Margaria,
Ralf Nagel,
Sven Jörges,
Christian Kubczak:
Model-Driven Development with the jABC.
Haifa Verification Conference 2006: 92-108 |
| 1 | EE | Sven Jörges,
Tiziana Margaria,
Bernhard Steffen:
FormulaBuilder: a tool for graph-based modelling and generation of formulae.
ICSE 2006: 815-818 |
