Assume-Guarantee Abstraction Refinement Meets Hybrid Systems. - Sergiy Bogomolov; Goran Frehse; Marius Greitschus; Radu Grosu; Corina S. Pasareanu; Andreas Podelski; Thomas Strump (Haifa Verification Conference, 2014)

Eliminating spurious transitions in reachability with support functions. - Goran Frehse; Sergiy Bogomolov; Marius Greitschus; Thomas Strump; Andreas Podelski (HSCC, 2015)