Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite. - Stefan Henkler; Joel Greenyer; Martin Hirsch 001; Wilhelm Schäfer; Kahtan Alhawash; Tobias Eckardt; Christian Heinzemann; Renate Löffler; Andreas Seibel; Holger Giese (ICSE, 2009)

Modellbasiertes Testen auf Basis des fundamentalen Testprozesses. - Tobias Eckardt; Michael Spijkerman (Softwaretechnik-Trends, 2009)

Component Behavior Synthesis for Critical Systems, . - Tobias Eckardt; Stefan Henkler (ISARCS, 2010)

Reachability Analysis on Timed Graph Transformation Systems. - Christian Heinzemann; Julian Suck; Tobias Eckardt (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Component Behavior Synthesis for Critical Systems. - Stefan Henkler; Tobias Eckardt (MBEES, 2012)

Modeling and verifying dynamic communication structures based on graph transformations. - Tobias Eckardt; Christian Heinzemann; Stefan Henkler; Martin Hirsch 001; Claudia Priesterjahn; Wilhelm Schäfer (Comput. Sci. Res. Dev., 2013)