Publications
An abstraction refinement approach combining precise and approximated techniques,
, International Journal on Software Tools for Technology Transfer (STTT), Volume 14, p.1-14, (2012)
Loop Summarization using Abstract Transformers,
, 6th International Symposium on Automated Technology for Verification and Analysis (ATVA), Seoul, South Korea, (2008)
Loop summarization using state and transition invariants,
, Formal Methods in System Design, Volume 42, (2013)
Loopfrog: A Static Analyzer for ANSI-C Programs,
, The 24th IEEE/ACM International Conference on Automated Software Engineering, Auckland, New Zealand, (2009)
The Synergy of Precise and Fast Abstractions for Program Verification,
, 24th Annual ACM Symposium on Applied Computing (SAC), Honolulu, USA, (2009)