Theory Refinement for Program Verification,
, SAT 2017, Melbourne, Australia, (2017)
Towards completeness in Bounded Model Checking through Automatic Recursion Depth Detection,
, Brazilian Symposium on Formal Methods (SBMF), Maceio, Brazil., (2014)
Termination Analysis with Compositional Transition Invariants,
, International Conference on Computer-Aided Verification (CAV), Edinburgh, UK, (2010)