Search for persons
X
?
Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis ,
2
Testing Dafny (experience paper):
, In:
?
Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation ,
3
Bit-Precise Reasoning via Int-Blasting:
, In:
?
Theory and Applications of Satisfiability Testing – SAT 2021; Lecture Notes in Computer Science ,
5
Smt-Switch: A Solver-Agnostic C++ API for SMT Solving:
, In:
?
Frontiers of Combining Systems; Lecture Notes in Computer Science ,
6
Optimization Modulo Non-linear Arithmetic via Incremental L..:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
8
Implicit Semi-Algebraic Abstraction for Polynomial Dynamica..:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
9
Pono: A Flexible and Extensible SMT-Based Model Checker:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
10
Counterexample-Guided Prophecy for Model Checking Modulo th..:
, In:
?
2020 Formal Methods in Computer Aided Design (FMCAD) ,
11
Parallelization Techniques for Verifying Neural Networks:
, In:
?
2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC) ,
12