Publications

Export 2 results:
Author [ Title(Asc)] Type Year
Filters: First Letter Of Title is F and Author is Sery, O.  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
F
FunFrog: Bounded Model Checking with Interpolation-based Function Summarization, Sery, O., Fedyukovich Grigory, and Sharygina Natasha , Tenth International Symposium on Automated Technology for Verification and Analysis (ATVA), Thiruvananthapuram, India, (2012)
Function Summaries in Software Upgrade Checking, Fedyukovich, Grigory, Sery O., and Sharygina Natasha , Haifa Verification Conference (HVC), Haifa Verification Conference (HVC), (2011)