# Natasha Sharygina

According to our database

Collaborative distances:

^{1}, Natasha Sharygina authored at least 108 papers between 2001 and 2020.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### Homepages:

#### On csauthors.net:

## Bibliography

2020

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020

2019

Formal Methods Syst. Des., 2019

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2019

2018

Proceedings of the Handbook of Model Checking., 2018

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2018

Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

2017

Int. J. Softw. Tools Technol. Transf., 2017

Fundam. Inform., 2017

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28, 2017

Proceedings of the Hardware and Software: Verification and Testing, 2017

Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

Duality-based interpolation for quantifier-free equalities and uninterpreted functions.

Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

2016

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2016, 2016

Proceedings of the Fundamental Approaches to Software Engineering, 2016

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

Proceedings of the Automated Technology for Verification and Analysis, 2016

2015

J. Autom. Reasoning, 2015

Proceedings of the Verified Software: Theories, Tools, and Experiments, 2015

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2015, 2015

Proceedings of the Mathematical and Engineering Methods in Computer Science, 2015

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

Proceedings of the Frontiers of Combining Systems - 10th International Symposium, 2015

Proceedings of the Fundamental Approaches to Software Engineering, 2015

Proceedings of the Validation of Evolving Software, 2015

Proceedings of the Validation of Evolving Software, 2015

Proceedings of the Validation of Evolving Software, 2015

Proceedings of the Validation of Evolving Software, 2015

Proceedings of the Validation of Evolving Software, 2015

Proceedings of the Validation of Evolving Software, 2015

Proceedings of the Validation of Evolving Software, 2015

2014

Formal Methods Syst. Des., 2014

Formal Methods Syst. Des., 2014

Proceedings of the Proceedings First Workshop on Logics and Model-checking for Self-* Systems, 2014

Proceedings of the 2014 International Symposium on Model Checking of Software, 2014

Towards Completeness in Bounded Model Checking Through Automatic Recursion Depth Detection.

Proceedings of the Formal Methods: Foundations and Applications - 17th Brazilian Symposium, 2014

Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

Proceedings of the International Symposium on Software Testing and Analysis, 2014

Proceedings of the Formal Methods in Computer-Aided Design, 2014

Proceedings of the Automated Technology for Verification and Analysis, 2014

2013

Formal Methods Syst. Des., 2013

CoRR, 2013

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Proceedings of the Advances in Artificial Intelligence and Its Applications, 2013

PeRIPLO: A Framework for Producing Effective Interpolants in SAT-Based Software Verification.

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

Proceedings of the LPAR 2013, 2013

Proceedings of the Frontiers of Combining Systems, 2013

Interpolation-based model checking for efficient incremental analysis of software.

Proceedings of the 16th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2013

Proceedings of the 17th European Conference on Software Maintenance and Reengineering, 2013

Proceedings of the Automated Technology for Verification and Analysis, 2013

2012

Int. J. Softw. Tools Technol. Transf., 2012

CoRR, 2012

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012

Proceedings of the Formal Methods in Computer-Aided Design, 2012

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

Proceedings of the 10th International Workshop on Satisfiability Modulo Theories, 2012

Proceedings of the Automated Technology for Verification and Analysis, 2012

2011

A model checking-based approach for security policy verification of mobile systems.

Formal Asp. Comput., 2011

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

Proceedings of the Hardware and Software: Verification and Testing, 2011

Proceedings of the Hardware and Software: Verification and Testing, 2011

2010

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

Proceedings of the 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), 2010

Proceedings of the 2010 International Conference on Computer-Aided Design, 2010

Proceedings of the Hardware and Software: Verification and Testing, 2010

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

Proceedings of the Second International Workshop on Invariant Generation, 2010

2009

An abstraction refinement approach combining precise and approximated techniques for efficient program verification: abstract for the invited talk.

Proceedings of the SAVCBS'09, 2009

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Proceedings of the ASE 2009, 2009

Proceedings of the 2009 International Conference on Computer-Aided Design, 2009

2008

Word-Level Predicate-Abstraction and Refinement Techniques for Verifying RTL Verilog.

IEEE Trans. on CAD of Integrated Circuits and Systems, 2008

Formal Methods Syst. Des., 2008

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

Proceedings of the Automated Technology for Verification and Analysis, 2008

2007

Theor. Comput. Sci., 2007

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

Proceedings of the Test and Analysis of Web Services, 2007

Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

Interactive presentation: Image computation and predicate refinement for RTL verilog using word level proofs.

Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

2006

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

Proceedings of the Formal Methods in Computer-Aided Design, 6th International Conference, 2006

2005

Formal Asp. Comput., 2005

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

Proceedings of the Model Checking Software, 2005

Proceedings of the 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 2005

Proceedings of the Integrated Formal Methods, 5th International Conference, 2005

Proceedings of the Formal Methods for Components and Objects, 4th International Symposium, 2005

Proceedings of the FM 2005: Formal Methods, 2005

Proceedings of the 42nd Design Automation Conference, 2005

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2004

Formal Methods Syst. Des., 2004

Formal Methods Syst. Des., 2004

Formal Methods Syst. Des., 2004

Proceedings of the 2nd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2004), 2004

Proceedings of the Leveraging Applications of Formal Methods, 2004

Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

2003

Proceedings of the Fundamental Approaches to Software Engineering, 2003

2001

Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001

A Formal Object-Oriented Analysis for Software Reliability: Design for Verification.

Proceedings of the Fundamental Approaches to Software Engineering, 2001