Publications
Function Summaries in Software Upgrade Checking,
, Haifa Verification Conference (HVC), Haifa Verification Conference (HVC), (2011)
Interpolation-based Function Summaries in Bounded Model Checking,
, Haifa Verification Conference (HVC), Haifa, Israel, (2011)
FunFrog: Bounded Model Checking with Interpolation-based Function Summarization,
, Tenth International Symposium on Automated Technology for Verification and Analysis (ATVA), Thiruvananthapuram, India, (2012)
Incremental Upgrade Checking by Means of Interpolation-based Function Summaries,
, Twelfth International Conference on Formal Methods in Computer-Aided Design (FMCAD), Cambridge, UK, (2012)
Leveraging Interpolant Strength in Model Checking,
, 24th International Conference on Computer Aided Verification (CAV), Berkeley, California, USA, (2012)
eVolCheck: Incremental Upgrade Checker for C,
, 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), (2013)
PINCETTE - Validating Changes and Upgrades in Networked Software,
, 17th European Conference on Software Maintenance and Reengineering, (2013)