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

Query-guided maximum satisfiability., , , and . POPL, page 109-122. ACM, (2016)Scaling Relational Inference Using Proofs and Refutations., , , , and . AAAI, page 3278-3286. AAAI Press, (2016)Concept-based Analysis of Neural Networks via Vision-Language Models., , , , , , and . CoRR, (2024)Closed-Loop Analysis of Vision-Based Autonomous Systems: A Case Study., , , , , , and . CAV (1), volume 13964 of Lecture Notes in Computer Science, page 289-303. Springer, (2023)A user-guided approach to program analysis., , , and . ESEC/SIGSOFT FSE, page 462-473. ACM, (2015)A Correspondence between Two Approaches to Interprocedural Analysis in the Presence of Join., , and . ESOP, volume 8410 of Lecture Notes in Computer Science, page 513-533. Springer, (2014)Feature-Guided Analysis of Neural Networks., , , , , and . FASE, volume 13991 of Lecture Notes in Computer Science, page 133-142. Springer, (2023)Robustness of neural networks: a probabilistic and practical approach., , and . ICSE (NIER), page 93-96. IEEE / ACM, (2019)Assumption Generation for Learning-Enabled Autonomous Systems., , , and . RV, volume 14245 of Lecture Notes in Computer Science, page 3-22. Springer, (2023)Discrete-Event Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components., , , , , and . CoRR, (2022)