Publications

Export 68 results:
[ Author(Desc)] 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 
M
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)
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)
S
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)
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)
T
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)
Detection of Security Vulnerabilities Using Guided Model Checking, Tsitovich, A. , 24th International Conference on Logic Programming (ICLP), Udine, Italy, (2008)

Pages