Personensuche
X
?
Static Analysis; Lecture Notes in Computer Science ,
3
Domain Precision in Galois Connection-Less Abstract Interpr..:
, In:
?
Programming Languages and Systems; Lecture Notes in Computer Science ,
4
Decoupling the Ascending and Descending Phases in Abstract ..:
, In:
?
Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing ,
5
Verifying opacity by abstract interpretation:
, In:
?
Static Analysis; Lecture Notes in Computer Science ,
6
Property-Driven Code Obfuscations Reinterpreting Jones-Opti..:
, In:
?
Proceedings of the 35th Annual ACM Symposium on Applied Computing ,
11
A sound abstract interpreter for dynamic code:
, In:
?
Static Analysis; Lecture Notes in Computer Science ,
14
On Multi-language Abstraction: Towards a Static Analysis of..:
, In:
?
Lecture Notes in Computer Science; Formal Methods. FM 2019 International Workshops ,
15