Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Generalization of Shostak's Method for Combining Decision Procedures., , and . FroCoS, volume 2309 of Lecture Notes in Computer Science, page 132-146. Springer, (2002)cascade: C Assertion Checker and Deductive Engine., and . CAV, volume 4144 of Lecture Notes in Computer Science, page 166-169. Springer, (2006)Automatic Generation of Invariants in Processor Verification., , and . FMCAD, volume 1166 of Lecture Notes in Computer Science, page 377-388. Springer, (1996)Solving quantified verification conditions using satisfiability modulo theories., , and . Ann. Math. Artif. Intell., 55 (1-2): 101-122 (2009)Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors., , , and . SAS, volume 5079 of Lecture Notes in Computer Science, page 62-77. Springer, (2008)Reports of the AAAI 2019 Spring Symposium Series., , , , , , , , , and 10 other author(s). AI Mag., 40 (3): 59-66 (2019)Marabou 2.0: A Versatile Formal Analyzer of Neural Networks., , , , , , , , , and 7 other author(s). CoRR, (2024)AHA: An Agile Approach to the Design of Coarse-Grained Reconfigurable Accelerators and Compilers., , , , , , , , , and 23 other author(s). ACM Trans. Embed. Comput. Syst., 22 (2): 35:1-35:34 (March 2023)VeriX: Towards Verified Explainability of Deep Neural Networks., , and . CoRR, (2022)Parallelization Techniques for Verifying Neural Networks., , , , , , , , , and . CoRR, (2020)