Publications

Export 8 results:
[ Author(Asc)] Title Type Year
Filters: First Letter Of Last Name is B  [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 
B
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 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)
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)
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)
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)
Automated Verification of Security Policies in Mobile Code., Braghin, C., Sharygina Natasha, and Barone Adesi Katerina , Integrated Formal Methods (IFM), (2007)
A Model Checking-based Approach for Security Policy Veri?cation of Mobile Systems, Braghin, C., Sharygina Natasha, and Barone Adesi Katerina , Formal Aspects of Computing Journal, (2010)
Decomposing Farkas Interpolants, Blicha, Martin, Hyvärinen Antti E. J., Kofron Jan, and Sharygina Natasha , TACAS, (2019)