Publications

Export 86 results:
[ Author(Asc)] Title Type Year
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 
M
Accurate Smart Contract Verification through Direct Modelling, Marescotti, Matteo, Otoni Rodrigo, Alt Leonardo, Eugster Patrick, Hyvärinen Antti E. J., and Sharygina Natasha , ISoLA 2020 - 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, (2020)
K
Loop summarization using state and transition invariants, Kroening, D., Sharygina Natasha, Tonetta S., Tsitovich A., and Wintersteiger C.M. , Formal Methods in System Design, Volume 42, (2013)
Termination Analysis with Compositional Transition Invariants, Kroening, D., Sharygina Natasha, Tsitovich A., and Wintersteiger C.M. , International Conference on Computer-Aided Verification (CAV), Edinburgh, UK, (2010)
Loopfrog: A Static Analyzer for ANSI-C Programs, Kroening, D., Sharygina Natasha, Tonetta S., Tsitovich A., and Wintersteiger C.M. , The 24th IEEE/ACM International Conference on Automated Software Engineering, Auckland, New Zealand, (2009)
Loop Summarization using Abstract Transformers, Kroening, D., Sharygina Natasha, Tonetta S., Tsitovich A., and Wintersteiger C.M. , 6th International Symposium on Automated Technology for Verification and Analysis (ATVA), Seoul, South Korea, (2008)
A Parametric Interpolation Framework for First-Order Theories, Kovacs, L., Rollini S.F., and Sharygina Natasha , 12th Mexican International Conference on Artificial Intelligence (MICAI), (2013)
G
Interpolation Properties and SAT-based Model Checking, Gurfinkel, A., Rollini S. F., and Sharygina Natasha , 11th International Symposium on Automated Technology for Verification and Analysis (ATVA), (2013)
F
Symbolic Detection of Assertion Dependencies for Bounded Model Checking, Fedyukovich, Grigory, A. D'Iddio Callia, Hyvärinen Antti E. J., and Sharygina Natasha , 18th International Conference on Fundamental Approaches to Software Engineering (FASE), (2015)
Towards completeness in Bounded Model Checking through Automatic Recursion Depth Detection, Fedyukovich, Grigory, and Sharygina Natasha , Brazilian Symposium on Formal Methods (SBMF), Maceio, Brazil., (2014)
Function Summaries in Software Upgrade Checking, Fedyukovich, Grigory, Sery O., and Sharygina Natasha , Haifa Verification Conference (HVC), Haifa Verification Conference (HVC), (2011)
Incremental Verification of Compiler Optimizations, Fedyukovich, Grigory, Gurfinkel A., and Sharygina Natasha , NASA Formal Methods (NFM), Houston, Texas, USA, (2014)
Interpolation-based model checking for efficient incremental analysis of software, Fedyukovich, Grigory, Hyvärinen Antti E. J., and Sharygina Natasha , IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems, (2013)
Automated Discovery of Simulation Between Programs, Fedyukovich, Grigory, Gurfinkel A., and Sharygina Natasha , LPAR, (2015)
Property Directed Equivalence via Abstract Simulation, Fedyukovich, Grigory, Gurfinkel A., and Sharygina Natasha , CAV 2016, (2016)
eVolCheck: Incremental Upgrade Checker for C, Fedyukovich, Grigory, Sery O., and Sharygina Natasha , 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), (2013)

Pages