Publications
Export 8 results:
Author [ Title![(Asc)](https://verify2022.inf.usi.ch/sites/all/modules/biblio/misc/arrow-asc.png)
Filters: First Letter Of Last Name is C [Clear All Filters]
Using Cross-Entropy for Satisfiability,
, ACM Symposium on Applied Computing (SAC), (2013)
Theory Refinement for Program Verification,
, SAT 2017, Melbourne, Australia, (2017)
PINCETTE - Validating Changes and Upgrades in Networked Software,
, 17th European Conference on Software Maintenance and Reengineering, (2013)
Lookahead-Based SMT Solving,
, LPAR-22, November 2018, Awassa, Ethiopia, (2018)
Lattice-based SMT for program verification,
, International Conference on Formal Methods and Models for System Design, (MEMOCODE), (2019)
Lattice-Based Refinement in Bounded Model Checking,
, VSTTE, 07/2018, (2018)
HiFrog: SMT-based Function Summarization for Software Verification,
, 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Uppsala, (2017)
Function Summarization Modulo Theories,
, 22nd International Conference on Logic for Programming Artificial Intelligence and Reasoning, LPAR, Ethiopia, (2018)