1
0
0
(1 - 20 von 20
)
dblp: Torsten Robschink
dblp.uni-trier.de
List of computer science publications by Torsten Robschink
Activities - IPD Snelting - KITIPD Snelting
pp.info.uni-karlsruhe.de
Dr. Jens Krinke (2003; jetzt: King's College London); Dr. Torsten Robschink (2005; jetzt: SD&M); Dr. Mirko Streckenbach (2005; jetzt: SD&M) ...
dblp: BibTeX records: Torsten Robschink
dblp.uni-trier.de
List of computer science publications by BibTeX records: Torsten Robschink
Workshop Software-Reengineering, Bad Honnef, Mai 1999
userpages.uni-koblenz.de
Jens Krinke, Torsten Robschink (Universität Passau) Kombination von Slicing mit Constraint-Solving für Software Reengineering; Birgit Demuth (TU Dresden)
Conference Papers: Kombination von Slicing und Constraint-Solving für...
pp.info.uni-karlsruhe.de
[krinke99wsr], Jens Krinke, Torsten Robschink, Kombination von Slicing und Constraint-Solving für Software-Reengineering, Workshop Software Reengineering ...
Pfadbedingungen in Abhängigkeitsgraphen und ihre ...DBLP
dblp.uni-trier.de
Torsten Robschink: Pfadbedingungen in Abhängigkeitsgraphen und ihre Anwendung in der Softwaresicherheitstechnik. University of Passau, text to speech.
Conference Papers: Software-Sicherheitsprüfung mit VALSOFT
pp.info.uni-karlsruhe.de
[krinke98st], Jens Krinke, Gregor Snelting, Torsten Robschink, Software-Sicherheitsprüfung mit VALSOFT, Softwaretechnik 98,
Kombination von Slicing mit Constraint-Solving f¨ur Software ...userpages.uni-koblenz.de › ~ist › RWS99 › beitraege › KrinkeRobschick
userpages.uni-koblenz.de
Torsten Robschink. ∗. Zusammenfassung. Um sicherheitsrelevante Software zu überprüfen, reichen herkömmliche. Softwareanalyse-Verfahren nicht aus.
Fachgruppe der GI
www-ps.informatik.uni-kiel.de
... Sicherheitsmodellen: Torsten Robschink, Jens Krinke (Univ. Passau): Redundanzarme Generierung von Pfadbedingungen in der Software- Sicherheitstechnik ...
Göttinger Universitätskatalog (GUK) - results/shortlist
opac.sub.uni-goettingen.de
Online Ressourcen (ohne Zeitschr.) 2. Pfadbedingungen in Abhängigkeitsgraphen und ihre Anwendung in der Softwaresicherheitstechnik / Torsten Robschink.
Mitarbeiter
pp.info.uni-karlsruhe.de
Torsten Robschink · Dr. rer. nat. Mirko Streckenbach · Dr. rer. nat. Maximilian Störzer · Prof. Dr.-Ing. Christian Hammer · Dr.-Ing. Daniel Wasserrab, >>Bitte hier ...
Es fehlt: schuld
コンパイラ・インフラストラクチャを用いた 静的プログラム ...J-Stage
www.jstage.jst.go.jp
von 溝渕裕司 · · Zitiert von: 5 — http://www.coins-project.org/. [7] Torsten Robschink and Gregor Snelting. Efficient path conditions in dependence graphs. In Proceed- ings of the 24th ...
Buffer Overflows und L¨osungen dazuUniversität des Saarlandes
www.st.cs.uni-saarland.de
— [31] SNELTING, GREGOR, TORSTEN ROBSCHINK und JENS KRINKE: Efficient Path. Conditions in Dependence Graphs for Software Safety Analysis.
VALSOFT/Joana
pp.info.uni-karlsruhe.de
Dr.-Ing. Christian Hammer · Prof. Dr. Jens Krinke · Dr.-Ing. Dennis Giffhorn · Dr.-Ing. Jürgen Graf · Dr. rer. nat. Andreas Lochbihler · Dr. rer. nat. Torsten Robschink.
Torsten RobschinkDBLP
dblp.org
— Torsten Robschink: Pfadbedingungen in Abhängigkeitsgraphen und ihre Anwendung in der Softwaresicherheitstechnik.
dblp: Efficient path conditions in dependence graphs for software...
dblp.org
Bibliographic details on Efficient path conditions in dependence graphs for software safety analysis.
Verwandte Suchanfragen zu Torsten Robschink
Kerstin Reese Ulrike Heuer Gregor Snelting | Jürgen Graf Christian Hammer |
Personen Vorname "Torsten" (21504) Name "Robschink" (4) |
sortiert nach Relevanz / Datum