?
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering ,
1
Deeper Notions of Correctness in Image-Based DNNs: Lifting ..:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
3
DNNV: A Framework for Deep Neural Network Verification:
, In:
?
Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering ,
4
Distribution models for falsification and verification of D..:
, In:
?
Proceedings of the 43rd International Conference on Software Engineering: Companion Proceedings ,
5
Artifact : reducing DNN properties to enable falsificati..:
, In:
?
Proceedings of the 43rd International Conference on Software Engineering ,
6
Reducing DNN Properties to Enable Falsification with Advers..:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
7
Systematic Generation of Diverse Benchmarks for DNN Verific..:
, In:
?
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings ,
8
Toward the development of richer properties for recommender..:
, In:
?
Proceedings of the 39th International Conference on Software Engineering: New Ideas and Emerging Results Track ,
9