NSV/FoMLAS@CAV

Publications

2022

Remi Desmartin, Grant O. Passmore, Ekaterina Komendentskaya
Neural Networks in Imandra: Matrix Representation as a Verification Choice. NSV/FoMLAS@CAV (2022)
Saddek Bensalem, Chih-Hong Cheng, Xiaowei Huang, Panagiotis Katsaros, Adam Molin, Dejan Nickovic, Doron Peled
Formal Specification for Learning-Enabled Autonomous Systems. NSV/FoMLAS@CAV (2022)
Gokul Hariharan, Brian Kempa, Tichakorn Wongpiromsarn, Phillip H. Jones, Kristin Y. Rozier
MLTL Multi-type (MLTLM): A Logic for Reasoning About Signals of Different Types. NSV/FoMLAS@CAV (2022)
Ariel E. Kellison, Andrew W. Appel
Verified Numerical Methods for Ordinary Differential Equations. NSV/FoMLAS@CAV (2022)
João Batista Pereira Matos Jr., Iury Bessa, Edoardo Manino, Xidan Song, Lucas C. Cordeiro
CEG4N: Counter-Example Guided Neural Network Quantization Refinement. NSV/FoMLAS@CAV (2022)
Natalia Slusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert J. Stewart
Differentiable Logics for Neural Network Training and Verification. NSV/FoMLAS@CAV (2022)
Youcheng Sun, Muhammad Usman, Divya Gopinath, Corina S. Pasareanu
VPN: Verification of Poisoning in Neural Networks. NSV/FoMLAS@CAV (2022)
Klas Leino, Aymeric Fromherz, Ravi Mangal, Matt Fredrikson, Bryan Parno, Corina S. Pasareanu
Self-correcting Neural Networks for Safe Classification. NSV/FoMLAS@CAV (2022)
Idan Refaeli, Guy Katz
Minimal Multi-Layer Modifications of Deep Neural Networks. NSV/FoMLAS@CAV (2022)
Quentin Ferro, Stef Graillat, Thibault Hilaire, Fabienne Jézéquel, Basile Lewandowski
Neural Network Precision Tuning Using Stochastic Arithmetic. NSV/FoMLAS@CAV (2022)
Ravi Mangal, Corina S. Pasareanu
A Cascade of Checkers for Run-time Certification of Local Robustness. NSV/FoMLAS@CAV (2022)

volume 13466, 2022

Software Verification and Formal Methods for ML-Enabled Autonomous Systems - 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings NSV/FoMLAS@CAV 13466 (2022)