|
|
|
Contact |
|
Publications
2006
-
Efficient Path Conditions in Dependence Graphs for Software Safety
Analysis
ACM Transactions on Software Engineering and Methodology October 2006, pp. 410--457 : G. Snelting, T. Robschink, J. Krinke
2005
-
Pfadbedingungen in Abhängigkeitsgraphen und ihre Anwendung in der
Softwaresicherheitstechnik
January 2005 : T. Robschink
2002
-
Efficient Path Conditions in Dependence Graphs
24th International Conference of Software Engineering (ICSE) May 2002, pp. 19--25 : T. Robschink, G. Snelting
1999
-
Software-Sicherheitsprüfung mit VALSOFT
Informatik - Forschung und Entwicklung June 1999, pp. 62--73 : J. Krinke, T. Robschink, G. Snelting -
Heuristische Graphzerlegung für redundanzarme Pfadbedingungen in
ValSoft
Gemeinsamer Workshop der GI-Fachgruppen "Alternative Konzepte für Sprachen und Rechner " und "German ENCRESS" May 1999 : T. Robschink, J. Krinke -
Kombination von Slicing und Constraint-Solving für Software-Reengineering
Workshop Software Reengineering. Fachberichte Informatik 1999, pp. 133--140 : J. Krinke, T. Robschink
1998
-
Software-Sicherheitsprüfung mit VALSOFT
Softwaretechnik 98 1998 : J. Krinke, G. Snelting, T. Robschink