Tobias Eckardt

Publication Activity (10 Years)

Years Active: 2009-2013
Publications (10 Years): 0

Top Topics

Physical Systems

Graph Structures

Dynamic Aspects

Top Venues

Comput. Sci. Res. Dev.

Publications

Tobias Eckardt, Christian Heinzemann, Stefan Henkler, Martin Hirsch, Claudia Priesterjahn, Wilhelm Schäfer
Modeling and verifying dynamic communication structures based on graph transformations. Comput. Sci. Res. Dev. 28 (1) (2013)
Stefan Henkler, Tobias Eckardt
Component Behavior Synthesis for Critical Systems. MBEES (2012)
Tobias Eckardt, Stefan Henkler
. ISARCS (2010)
Christian Heinzemann, Julian Suck, Tobias Eckardt
Reachability Analysis on Timed Graph Transformation Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 32 (2010)
Stefan Henkler, Joel Greenyer, Martin Hirsch, Wilhelm Schäfer, Kahtan Alhawash, Tobias Eckardt, Christian Heinzemann, Renate Löffler, Andreas Seibel, Holger Giese
Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite. ICSE (2009)
Tobias Eckardt, Michael Spijkerman
Modellbasiertes Testen auf Basis des fundamentalen Testprozesses. Softwaretechnik-Trends 29 (4) (2009)