Tobias Eckardt

According to our database, Tobias Eckardt authored at least 6 papers between 2009 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Modeling and verifying dynamic communication structures based on graph transformations.

Tobias Eckardt, Christian Heinzemann, Stefan Henkler, Martin Hirsch, Claudia Priesterjahn, Wilhelm Schäfer

Comput. Sci. Res. Dev., 2013

2012

Component Behavior Synthesis for Critical Systems.

Stefan Henkler, Tobias Eckardt

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, 2012

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^,.

Tobias Eckardt, Stefan Henkler

Proceedings of the Architecting Critical Systems, First International Symposium, 2010

2009

Modellbasiertes Testen auf Basis des fundamentalen Testprozesses.

Tobias Eckardt, Michael Spijkerman

Softwaretechnik-Trends, 2009

Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite.

Stefan Henkler, Joel Greenyer, Martin Hirsch, Wilhelm Schäfer, Kahtan Alhawash, Tobias Eckardt, Christian Heinzemann, Renate Löffler, Andreas Seibel, Holger Giese

Proceedings of the 31st International Conference on Software Engineering, 2009