Publications

Export 88 results:
Author [ Title(Desc)] Type Year
Filters: Aliaksei-tsitovich-2011-scalable-abstractions-efficient-security-checks 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
Modeling for Verification, Seshia, Sanjit A., Sharygina Natasha, and Tripakis Stavros , Handbook of Model Checking, (2018)
N
A new Acceleration-based Combination Framework for Array Properties, Alberti, Francesco, Ghilardi Silvio, and Sharygina Natasha , FROCOS 2015, (2015)
O
The OpenSMT Solver, Bruttomesso, R., Pek E., Sharygina Natasha, and Tsitovich A. , International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Volume 6015, Paphos, Cyprus, p.150-153, (2010)
OpenSMT2: An SMT Solver for Multi-Core and Cloud Computing, Hyvärinen, Antti E. J., Marescotti Matteo, Alt Leonardo, and Sharygina Natasha , (2016)
P
Parallelization and modelling techniques for scalable SMT-based verification, Marescotti, Matteo , Faculty of Informatics, 01.12.2020, Volume PhD, (2020)
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)
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)
Picky CDCL: SMT-solving With Flexible Literal Selection, Britikov, Konstantin I., Hyvärinen Antti E. J., and Sharygina Natasha , VSTTE, (2023)
PINCETTE - Validating Changes and Upgrades in Networked Software, Chockler, H., Denaro G., Ling M., Fedyukovich Grigory, Hyvärinen Antti E. J., Mariani L., Muhammad A., Oriol M., Rajan A., Sery O., et al. , 17th European Conference on Software Maintenance and Reengineering, (2013)
A Proof-Sensitive Approach for Small Propositional Interpolants, Alt, Leonardo, Fedyukovich Grigory, Hyvärinen Antti E. J., and Sharygina Natasha , VSTTE 2015, (2015)
Property Directed Equivalence via Abstract Simulation, Fedyukovich, Grigory, Gurfinkel A., and Sharygina Natasha , CAV 2016, (2016)
PVAIR: Partial Variable Assignment InterpolatoR, Jančík, Pavel, Alt Leonardo, Fedyukovich Grigory, Hyvärinen Antti E. J., Kofron Jan, and Sharygina Natasha , FASE2016, (2016)
R
Reachability Analysis for Multiloop Programs Using Transition Power Abstraction, Britikov, Konstantin, Blicha Martin, Sharygina Natasha, and Fedyukovich Grigory , FM 24, 09/2024, (2024)
Resolution Proof Transformation for Compression and Interpolation, Rollini, S.F., Bruttomesso R., Sharygina Natasha, and Tsitovich A. , CoRR, Volume July 2013, (2013)
S
SAFARI: SMT-based Abstraction For Arrays with Interpolants, Alberti, Francesco, Bruttomesso R., Ghilardi S., Ranise S., and Sharygina Natasha , 24th International Conference on Computer Aided Verification (CAV), Berkeley, California, USA, (2012)
Scalable Abstractions for Efficient Security Checks, Tsitovich, Aliaksei , Lugano, p.164, (2011)
A Scalable Decision Procedure for Fixed-Width Bit-Vectors, Bruttomesso, R., and Sharygina Natasha , International Conference of Computer Aided Design (ICCAD), San Jose (CA), (2009)
Search-Space Partitioning for Parallelizing SMT Solvers, Hyvärinen, Antti E. J., Marescotti Matteo, and Sharygina Natasha , SAT 2015, (2015)
Search-Space Partitioning for Parallelizing SMT Solvers, Marescotti, Matteo, Hyvärinen Antti E. J., and Sharygina Natasha , MEMICS2015, (2015)
An SMT-based verification framework for software systems handling arrays, Alberti, Francesco , Faculty of Informatics of the Università della Svizzera Italiana, 02/2015, Volume PhD, Lugano, p.188, (2015)
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)
SMT‑based verification of program changes through summary repair, Asadi, Sepideh, Blicha Martin, Hyvärinen Antti E. J., Fedyukovich Grigory, and Sharygina Natasha , Formal Methods in System Design, 05/2023, (2023)
SolCMC: Solidity Compiler’s Model Checker, Alt, Leonardo, Blicha Martin, Hyvärinen Antti E. J., and Sharygina Natasha , CAV, Haifa, Isreal, (2022)
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)
SolTG: A CHC-based Solidity Test Case Generator, Britikov, Konstantin, Zlatkin Ilia, Fedyukovich Grigory, Alt Leonardo, and Sharygina Natasha , Computer Aided Verification, (2024)

Pages