Torsten Robschink

According to our database, Torsten Robschink authored at least 4 papers between 1999 and 2006.

Collaborative distances:

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

2006

Efficient path conditions in dependence graphs for software safety analysis.

Gregor Snelting, Torsten Robschink, Jens Krinke

ACM Trans. Softw. Eng. Methodol., 2006

2005

Pfadbedingungen in Abhängigkeitsgraphen und ihre Anwendung in der Softwaresicherheitstechnik.

Torsten Robschink

PhD thesis, 2005

2002

Efficient path conditions in dependence graphs.

Torsten Robschink, Gregor Snelting

Proceedings of the 24th International Conference on Software Engineering, 2002

1999

Software-Sicherheitsprüfung mit VALSOFT.

Jens Krinke, Torsten Robschink, Gregor Snelting

Inform. Forsch. Entwickl., 1999