Publications
Export 88 results:
[ Author![(Desc)](https://verify2022.inf.usi.ch/sites/all/modules/biblio/misc/arrow-desc.png)
Filters: Simone-fulvio-rollini-ondrej-sery-natasha-sharygina-2012-leveraging-interpolant-strength-model-checking is [Clear All Filters]
Theory Refinement for Program Verification,
, SAT 2017, Melbourne, Australia, (2017)
Lookahead in Partitioning SMT,
, Formal Methods in Computer-Aided Design - FMCAD 2021, Online Conference, (2021)
Flexible Interpolation for Efficient Model Checking,
, MEMICS 2016, (2016)
On Interpolants and Variable Assignments,
, Formal Methods in Computer-Aided Design (FMCAD), Lausanne, Switzerland, (2014)
Exploiting partial variable assignment in interpolation-based model checking.,
, Formal Methods in System Design, (2019)
PVAIR: Partial Variable Assignment InterpolatoR,
, FASE2016, (2016)
A Parametric Interpolation Framework for First-Order Theories,
, 12th Mexican International Conference on Artificial Intelligence (MICAI), (2013)
Loopfrog: A Static Analyzer for ANSI-C Programs,
, The 24th IEEE/ACM International Conference on Automated Software Engineering, Auckland, New Zealand, (2009)
Loop Summarization using Abstract Transformers,
, 6th International Symposium on Automated Technology for Verification and Analysis (ATVA), Seoul, South Korea, (2008)
Loop summarization using state and transition invariants,
, Formal Methods in System Design, Volume 42, (2013)
Termination Analysis with Compositional Transition Invariants,
, International Conference on Computer-Aided Verification (CAV), Edinburgh, UK, (2010)
VERIGE: Verification with Invariant Generation Engine,
, SPIN, (2014)
Combining parallel techniques for Cloud-Based SMT Solving,
, PhD@iFM 2016, (2016)
Computing Exact Worst-Case Gas Consumption for Smart Contracts,
, 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,
, ISoLA 2020 - 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, (2020)
Parallelization and modelling techniques for scalable SMT-based verification,
, Faculty of Informatics, 01.12.2020, Volume PhD, (2020)
Clause Sharing and Partitioning for Cloud-Based SMT Solving,
, ATVA 2016, (2016)
SMTS: Distributed, Visualized Constraint Solving,
, {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,
, MEMICS2015, (2015)
CHC Model Validation with Proof Guarantees,
, 18th International Conference on integrated Formal Methods (iFM23), (2023)
Theory-Specific Proof Steps Witnessing Correctness of SMT Executions,
, DAC 2021 - 58th Design Automation Conference, 11/2021, San Francisco, CA, USA, (2021)
Symbolic Model Checking for TLA+ Made Faster,
, TACAS - 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Paris, (2023)
A Solicitous Approach to Smart Contract Verification,
, ACM Transactions on Privacy and Security, (2022)
Verification-Aided Regression Testing,
, ISSTA, 06/2014, (2014)
An Efficient and Flexible Approach to Resolution Proof Reduction,
, Haifa Verification Conference (HVC), Haifa, Israel, (2010)