Author of the publication

SyReNN: A Tool for Analyzing Deep Neural Networks.

, and . TACAS (2), volume 12652 of Lecture Notes in Computer Science, page 281-302. Springer, (2021)

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 Method for Symbolic Computation of Abstract Operations., and . CAV, volume 7358 of Lecture Notes in Computer Science, page 174-192. Springer, (2012)Path-based function embedding and its application to error-handling specification mining., , and . ESEC/SIGSOFT FSE, page 423-433. ACM, (2018)Provable repair of deep neural networks., and . PLDI, page 588-603. ACM, (2021)Path-based function embeddings., , and . ICSE (Companion Volume), page 430-431. ACM, (2018)OpenNWA: A Nested-Word Automaton Library., , and . CAV, volume 7358 of Lecture Notes in Computer Science, page 665-671. Springer, (2012)The YogiProject: Software Property Checking via Static Analysis and Testing., , , and . TACAS, volume 5505 of Lecture Notes in Computer Science, page 178-181. Springer, (2009)Bilateral Algorithms for Symbolic Abstraction., , and . SAS, volume 7460 of Lecture Notes in Computer Science, page 111-128. Springer, (2012)A Generalization of Stålmarck's Method., and . SAS, volume 7460 of Lecture Notes in Computer Science, page 334-351. Springer, (2012)Property-Directed Shape Analysis., , , , and . CAV, volume 8559 of Lecture Notes in Computer Science, page 35-51. Springer, (2014)Instrumentation and sampling strategies for cooperative concurrency bug isolation., , , and . OOPSLA, page 241-255. ACM, (2010)