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

Witness Runs for Counter Machines., , and . FroCos, volume 8152 of Lecture Notes in Computer Science, page 120-150. Springer, (2013)Towards Proving the Adversarial Robustness of Deep Neural Networks., , , , and . FVAV@iFM, volume 257 of EPTCS, page 19-26. (2017)Solving Quantified Verification Conditions Using Satisfiability Modulo Theories., , and . CADE, volume 4603 of Lecture Notes in Computer Science, page 167-182. Springer, (2007)A Framework for Cooperating Decision Procedures., , and . CADE, volume 1831 of Lecture Notes in Computer Science, page 79-98. Springer, (2000)Satisfiability Modulo Theories., and . Handbook of Model Checking, Springer, (2018)Fine Grained SMT Proofs for the Theory of Fixed-Width Bit-Vectors., , , , and . LPAR, volume 9450 of Lecture Notes in Computer Science, page 340-355. Springer, (2015)Pono: A Flexible and Extensible SMT-Based Model Checker., , , , , , , and . CAV (2), volume 12760 of Lecture Notes in Computer Science, page 461-474. Springer, (2021)A DPLL(T) Theory Solver for a Theory of Strings and Regular Expressions., , , , and . CAV, volume 8559 of Lecture Notes in Computer Science, page 646-662. Springer, (2014)Even Faster Conflicts and Lazier Reductions for String Solvers., , , , and . CAV (2), volume 13372 of Lecture Notes in Computer Science, page 205-226. Springer, (2022)Satisfiability Modulo Finite Fields., , , and . CAV (2), volume 13965 of Lecture Notes in Computer Science, page 163-186. Springer, (2023)