Publications

Export 88 results:
Author Title Type [ Year(Asc)]
Filters: Simone-fulvio-rollini-ondrej-sery-natasha-sharygina-2012-leveraging-interpolant-strength-model-checking is   [Clear All Filters]
2010
An Efficient and Flexible Approach to Resolution Proof Reduction, Rollini, S.F., Bruttomesso R., and Sharygina Natasha , Haifa Verification Conference (HVC), Haifa, Israel, (2010)
Flexible Interpolation with Local Proof Transformations, Bruttomesso, R., Rollini S.F., Sharygina Natasha, and Tsitovich A. , International Conference of Computer Aided Design (ICCAD), San Jose, USA, (2010)
A Flexible Schema for Generating Explanations in Lazy Theory Propagation, Bruttomesso, R., Pek E., and Sharygina Natasha , International Conference on Formal Methods and Models for Codesign (MEMOCODE), Grenoble, France, (2010)
A Model Checking-based Approach for Security Policy Verification of Mobile Systems, Braghin, C., Sharygina Natasha, and Barone Adesi Katerina , Formal Aspects of Computing Journal, (2010)
The OpenSMT Solver, Bruttomesso, R., Pek E., Sharygina Natasha, and Tsitovich A. , International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Volume 6015, Paphos, Cyprus, p.150-153, (2010)
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)
2009
An Extension of the Davis-Putnam Procedure and its Application to Preprocessing in SMT, Bruttomesso, R. , 7th International Workshop on Satisfiability Modulo Theories (SMT), Montreal, Canada, (2009)
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)
A Scalable Decision Procedure for Fixed-Width Bit-Vectors, Bruttomesso, R., and Sharygina Natasha , International Conference of Computer Aided Design (ICCAD), San Jose (CA), (2009)
The Synergy of Precise and Fast Abstractions for Program Verification, Sharygina, Natasha, Tonetta S., and Tsitovich A. , 24th Annual ACM Symposium on Applied Computing (SAC), Honolulu, USA, (2009)
2008
Detection of Security Vulnerabilities Using Guided Model Checking, Tsitovich, A. , 24th International Conference on Logic Programming (ICLP), Udine, Italy, (2008)
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)

Pages