Refining Model Checking by Abstract Interpretation
Automated Software Engineering
Compactly Representing First-Order Structures for Static Analysis
SAS '02 Proceedings of the 9th International Symposium on Static Analysis
SAS '99 Proceedings of the 6th International Symposium on Static Analysis
Modular Static Program Analysis
CC '02 Proceedings of the 11th International Conference on Compiler Construction
Infinitary relations and their representation
Science of Computer Programming - Special issue on static analysis (SAS'99)
Class-level modular analysis for object oriented languages
SAS'03 Proceedings of the 10th international conference on Static analysis
A scalable segmented decision tree abstract domain
Time for verification
Widening ROBDDs with prime implicants
TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Theories, solvers and static analysis by abstract interpretation
Journal of the ACM (JACM)
Hi-index | 0.00 |