Index of /publications

 Name                                                                                                                     Last modified      Size  Description
 Parent Directory                                                                                                                              -   
 aliaksei-tsitovich-2011-scalable-abstractions-efficient-security-checks.html                                             23-Apr-2013 09:39  9.5K  
 automated-verification-security-policies-mobile-code.html                                                                23-Apr-2013 09:39   11K  
 braghin-sharygina-barone-adesi-2010-model-checking-based-approach-security-policy-verification.html                     23-Apr-2013 09:39   11K  
 bruttomesso-pek-sharygina-2010-flexible-schema-generating-explanations-lazy-theory-propagation.html                      23-Apr-2013 09:39  9.9K  
 bruttomesso-rollini-sharygina-tsitovich-2010-flexible-interpolation-with-local-proof-transformations.html                23-Apr-2013 09:39   11K  
 export/                                                                                                                  04-Oct-2012 17:25    -   
 f-alberti-r-bruttomesso-s-ghilardi-s-ranise-n-sharygina-2012-lazy-abstraction-interpolants-arrays.html                   23-Apr-2013 09:39   11K  
 francesco-alberti-roberto-bruttomesso-silvio-ghilardi-silvio-ranise-natasha-sharygina-2012-safari-smt-based-abstrac.html 23-Apr-2013 09:39   10K  
 grigory-fedyukovich-ondrej-sery-natasha-sharygina-2011-function-summaries-software-upgrade-checking.html                 23-Apr-2013 09:39  9.8K  
 grigory-fedyukovich-ondrej-sey-natasha-sharygina-2013-evolcheck-incremental-upgrade-checker-for-c.html                   23-Apr-2013 09:39   10K  
 himanshu-jain-daniel-kroening-natasha-sharygina-edmund-m-clarke-2008-word-level-predicate-abstraction-and-refinemen.html 23-Apr-2013 09:39   11K  
 interactive-presentation-image-computation-and-predicate-refinement-rtl-verilog-using-w.html                             23-Apr-2013 09:39  9.8K  
 keyword/                                                                                                                 04-Oct-2012 17:24    -   
 kroening-sharygina-tonetta-tsitovich-wintersteiger-2008-loop-summarization-using-abstract-transformers.html              23-Apr-2013 09:39   11K  
 ksttw2009-loopfrog-static-analyzer-for-ansi-c-programs.html                                                              23-Apr-2013 09:39   11K  
 model-checking-abstraction-web-services.html                                                                             23-Apr-2013 09:39  9.4K  
 nicolas-blanc-daniel-kroening-natasha-sharygina-2008-scoot-tool-analysis-systemc-models.html                             23-Apr-2013 09:39   10K  
 ondrej-sery-grigory-fedyukovich-natasha-sharygina-2011-interpolation-based-function-summaries-bounded-model-checkin.html 23-Apr-2013 09:39   11K  
 roberto-bruttomesso-2009-extension-davis-putnam-procedure-and-its-application-preprocessing-smt.html                     23-Apr-2013 09:39  9.8K  
 roberto-bruttomesso-edgar-pek-natasha-sharygina-aliaksei-tsitovich-2010-opensmt-solver.html                              23-Apr-2013 09:39   10K  
 roberto-bruttomesso-natasha-sharygina-2009-scalable-decision-procedure-fixed-width-bit-vectors.html                      23-Apr-2013 09:39  9.6K  
 rss.xml                                                                                                                  23-Apr-2013 09:39  5.4K  
 sagar-chaki-edmund-m-clarke-natasha-sharygina-nishant-sinha-2008-verification-evolving-software-component-substitut.html 23-Apr-2013 09:39   11K  
 sharygina-tonetta-tsitovich-2009-synergy.html                                                                            23-Apr-2013 09:39   11K  
 sharygina-tonetta-tsitovich-2011-abstraction-refinement-approach-combining-precise-and-approximated-techniques.html      23-Apr-2013 09:39   12K  
 simone-fulvio-rollini-ondrej-sery-natasha-sharygina-2012-leveraging-interpolant-strength-model-checking.html             23-Apr-2013 09:39   11K  
 simone-fulvio-rollini-roberto-bruttomesso-natasha-sharygina-2010-efficient-and-flexible-approach-resolution-proof-r.html 23-Apr-2013 09:39   11K  
 termination-analysis-compositional-transition-invariants-Kroening-Sharygina-Tsitovich-Wintersteiger.html                 23-Apr-2013 09:39   11K  
 tsitovich-aliaksei-2008-detection-security-vulnerabilities-using-guided-model-checking.html                              23-Apr-2013 09:39   10K  
 tsitovich-sharygina-wintersteiger-kroening--2011-loop-summarization-and-termination-analysis.html                        23-Apr-2013 09:39   11K  
 vcegar-verilog-counterexample-guided-abstraction-refinement.html                                                         23-Apr-2013 09:39   11K