 | 2010 |
| 3 |  | Tobias Eckardt,
Stefan Henkler:
Component Behavior Synthesis for Critical Systems, .
ISARCS 2010: 52-71 |
| 2 |  | Christian Heinzemann,
Julian Suck,
Tobias Eckardt:
Reachability Analysis on Timed Graph Transformation Systems.
ECEASST 32: (2010) |
| 2009 |
| 1 |  | Stefan Henkler,
Joel Greenyer,
Martin Hirsch,
Wilhelm Schäfer,
Kahtan Alhawash,
Tobias Eckardt,
Christian Heinzemann,
Renate Loffler,
Andreas Seibel,
Holger Giese:
Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite.
ICSE 2009: 615-618 |