Publications

Export 86 results:
[ Author(Asc)] Title Type Year
Filters: Tsitovich-sharygina-wintersteiger-kroening--2011-loop-summarization-and-termination-analysis.html is   [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 
T
Detection of Security Vulnerabilities Using Guided Model Checking, Tsitovich, A. , 24th International Conference on Logic Programming (ICLP), Udine, Italy, (2008)
Scalable Abstractions for Efficient Security Checks, Tsitovich, Aliaksei , Lugano, p.164, (2011)
Loop Summarization and Termination Analysis, Tsitovich, Aliaksei, Sharygina Natasha, Wintersteiger Christoph M., and Kroening Daniel , International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Volume 6605, Saarbrü Germany, p.81-95, (2011)
S
An abstraction refinement approach combining precise and approximated techniques, Sharygina, Natasha, Tonetta Stefano, and Tsitovich Aliaksei , International Journal on Software Tools for Technology Transfer (STTT), Volume 14, (2012)
An abstraction refinement approach combining precise and approximated techniques, Sharygina, Natasha, Tonetta S., and Tsitovich A. , International Journal on Software Tools for Technology Transfer (STTT), Volume 14, p.1-14, (2012)
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)
Modeling for Verification, Seshia, Sanjit A., Sharygina Natasha, and Tripakis Stavros , Handbook of Model Checking, (2018)
Incremental Upgrade Checking by Means of Interpolation-based Function Summaries, Sery, O., Fedyukovich Grigory, and Sharygina Natasha , Twelfth International Conference on Formal Methods in Computer-Aided Design (FMCAD), Cambridge, UK, (2012)
FunFrog: Bounded Model Checking with Interpolation-based Function Summarization, Sery, O., Fedyukovich Grigory, and Sharygina Natasha , Tenth International Symposium on Automated Technology for Verification and Analysis (ATVA), Thiruvananthapuram, India, (2012)
Interpolation-based Function Summaries in Bounded Model Checking, Sery, O., Fedyukovich Grigory, and Sharygina Natasha , Haifa Verification Conference (HVC), Haifa, Israel, (2011)
O
Symbolic Model Checking for TLA+ Made Faster, Otoni, Rodrigo, Konnov Igor, Kukovec Jure, Eugster Patrick, and Sharygina Natasha , TACAS - 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Paris, (2023)
A Solicitous Approach to Smart Contract Verification, Otoni, Rodrigo, Marescotti Matteo, Alt Leonardo, Eugster Patrick, Hyvärinen Antti E. J., and Sharygina Natasha , ACM Transactions on Privacy and Security, (2022)
CHC Model Validation with Proof Guarantees, Otoni, Rodrigo, Blicha Martin, Eugster Patrick, and Sharygina Natasha , 18th International Conference on integrated Formal Methods (iFM23), (2023)
Theory-Specific Proof Steps Witnessing Correctness of SMT Executions, Otoni, Rodrigo, Blicha Martin, Eugster Patrick, Hyvärinen Antti E. J., and Sharygina Natasha , DAC 2021 - 58th Design Automation Conference, 11/2021, San Francisco, CA, USA, (2021)
M
Clause Sharing and Partitioning for Cloud-Based SMT Solving, Marescotti, Matteo, Hyvärinen Antti E. J., and Sharygina Natasha , ATVA 2016, (2016)
SMTS: Distributed, Visualized Constraint Solving, Marescotti, Matteo, Hyvärinen Antti E. J., and Sharygina Natasha , {LPAR-22.} 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018, (2018)
Search-Space Partitioning for Parallelizing SMT Solvers, Marescotti, Matteo, Hyvärinen Antti E. J., and Sharygina Natasha , MEMICS2015, (2015)
Combining parallel techniques for Cloud-Based SMT Solving, Marescotti, Matteo , PhD@iFM 2016, (2016)
Computing Exact Worst-Case Gas Consumption for Smart Contracts, Marescotti, Matteo, Blicha Martin, Hyvärinen Antti E. J., Asadi Sepideh, and Sharygina Natasha , International Symposium on Leveraging Applications of Formal Methods ISoLA 2018: Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice , Cyprus, (2018)
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)

Pages