1 citations · 1 across the 3 of their papers we have counts for
3 papers
BAM: Box Abstraction Monitors for Real-time OoD Detection in Object Detection
Changshun Wu, Weicheng He, Chih-Hong Cheng +2
Out-of-distribution (OoD) detection techniques for deep neural networks (DNNs) become crucial thanks to their filtering of abnormal inputs, especially when DNNs are used in safety-…
Synthesizing invariants by solving solvable loops
Steven de Oliveira, Saddek Bensalem, Virgile Prevosto
When proving invariance properties of a program, we face two problems. The first problem is related to the necessity of proving tautologies of considered assertion language, wherea…
Polynomial invariants by linear algebra
Steven de Oliveira, Saddek Bensalem, Virgile Prevosto
We present in this paper a new technique for generating polynomial invariants, divided in two independent parts : a procedure that reduces polynomial assignments composed loops ana…