Torsten Robschink

Publication Activity (10 Years)

Years Active: 1999-2006
Publications (10 Years): 0

University of Passau (PHD)

Education History

University of Passau

PHD

Publications

Gregor Snelting, Torsten Robschink, Jens Krinke
Efficient path conditions in dependence graphs for software safety analysis. ACM Trans. Softw. Eng. Methodol. 15 (4) (2006)
Torsten Robschink, Gregor Snelting
Efficient path conditions in dependence graphs. ICSE (2002)
Jens Krinke, Torsten Robschink, Gregor Snelting
Software-Sicherheitsprüfung mit VALSOFT. Inform. Forsch. Entwickl. 14 (2) (1999)