Publications

For filtering options click here.
(2024). Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis. In SAC 2024.

PDF Cite DOI

(2021). Geometric Path Enumeration for Equivalence Verification of Neural Networks. In ICTAI 2021.

PDF Cite Code Experiments DOI / IEEE Xplore