Author of the publication

Safety Performance of Neural Networks in the Presence of Covariate Shift.

, , and . VSTTE, volume 14095 of Lecture Notes in Computer Science, page 20-30. Springer, (2023)

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

Evidential and Continuous Integration of Software Verification Tools., and . FM, volume 10951 of Lecture Notes in Computer Science, page 679-685. Springer, (2018)Monadic Second-Order Logics with Cardinalities., and . ICALP, volume 2719 of Lecture Notes in Computer Science, page 681-696. Springer, (2003)Combining Shostak Theories., and . RTA, volume 2378 of Lecture Notes in Computer Science, page 1-18. Springer, (2002)A Technique for Invariant Generation., , , and . TACAS, volume 2031 of Lecture Notes in Computer Science, page 113-127. Springer, (2001)Proving Secrecy is Easy Enough., , and . CSFW, page 97-108. IEEE Computer Society, (2001)Safety Performance of Neural Networks in the Presence of Covariate Shift., , and . VSTTE, volume 14095 of Lecture Notes in Computer Science, page 20-30. Springer, (2023)Distributed MILS (D-MILS) Specification, Analysis, Deployment, and Assurance of Distributed Critical Systems., and . MILS@HiPEAC, Zenodo, (2015)Modular Verification of SRT Division., , and . CAV, volume 1102 of Lecture Notes in Computer Science, page 123-134. Springer, (1996)An Efficient Decision Procedure for the Theory of Fixed-Sized Bit-Vectors., , and . CAV, volume 1254 of Lecture Notes in Computer Science, page 60-71. Springer, (1997)Hardware Verification Using PVS., , and . Formal Hardware Verification, volume 1287 of Lecture Notes in Computer Science, page 156-205. Springer, (1997)