-
1
Talos: no more ransomware victims with formal methods
Veröffentlicht in International journal of information security
VolltextArtikel -
2
-
3
-
4
Evaluating performances of pair designing in industry
Veröffentlicht in The Journal of systems and software
VolltextArtikel -
5
-
6
-
7
-
8
-
9
-
10
-
11
An extensible system for source code analysis
Veröffentlicht in IEEE transactions on software engineering
VolltextArtikel -
12
Identifying objects in legacy systems using design metrics
Veröffentlicht in The Journal of systems and software
VolltextArtikel -
13
A logic-based approach to reverse engineering tools production
Veröffentlicht in IEEE transactions on software engineering
VolltextArtikel -
14
-
15
-
16
-
17
-
18
-
19
-
20