Publications

Export 86 results:
[ Author(Desc)] Title Type Year
Filters: Bruttomesso-rollini-sharygina-tsitovich-2010-flexible-interpolation-with-local-proof-transformations.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 
K
A Parametric Interpolation Framework for First-Order Theories, Kovacs, L., Rollini S.F., and Sharygina Natasha , 12th Mexican International Conference on Artificial Intelligence (MICAI), (2013)
Loopfrog: A Static Analyzer for ANSI-C Programs, Kroening, D., Sharygina Natasha, Tonetta S., Tsitovich A., and Wintersteiger C.M. , The 24th IEEE/ACM International Conference on Automated Software Engineering, Auckland, New Zealand, (2009)
Loop Summarization using Abstract Transformers, Kroening, D., Sharygina Natasha, Tonetta S., Tsitovich A., and Wintersteiger C.M. , 6th International Symposium on Automated Technology for Verification and Analysis (ATVA), Seoul, South Korea, (2008)
Loop summarization using state and transition invariants, Kroening, D., Sharygina Natasha, Tonetta S., Tsitovich A., and Wintersteiger C.M. , Formal Methods in System Design, Volume 42, (2013)
Termination Analysis with Compositional Transition Invariants, Kroening, D., Sharygina Natasha, Tsitovich A., and Wintersteiger C.M. , International Conference on Computer-Aided Verification (CAV), Edinburgh, UK, (2010)
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)
Parallelization and modelling techniques for scalable SMT-based verification, Marescotti, Matteo , Faculty of Informatics, 01.12.2020, Volume PhD, (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)
Search-Space Partitioning for Parallelizing SMT Solvers, Marescotti, Matteo, Hyvärinen Antti E. J., and Sharygina Natasha , MEMICS2015, (2015)
O
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)
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)
R
An Efficient and Flexible Approach to Resolution Proof Reduction, Rollini, S.F., Bruttomesso R., and Sharygina Natasha , Haifa Verification Conference (HVC), Haifa, Israel, (2010)
PeRIPLO: A Framework for Producing Efficient Interpolants for SAT-based Software Verification, Rollini, S.F., Alt Leonardo, Fedyukovich Grigory, Hyvärinen Antti E. J., and Sharygina Natasha , Logic for Programming Artificial Intelligence and Reasoning (LPAR), Stellenbosch, South Africa, (2013)
Leveraging Interpolant Strength in Model Checking, Rollini, S.F., Sery O., and Sharygina Natasha , 24th International Conference on Computer Aided Verification (CAV), Berkeley, California, USA, (2012)

Pages