diff --git a/index.html b/index.html index 03f0979..043aa23 100644 --- a/index.html +++ b/index.html @@ -357,7 +357,7 @@

Harnessing Neuron Stability to Improve DNN Verification, - Foundations of Software Engineering (FSE). 20 pages (to appear), 2024 + Foundations of Software Engineering (FSE). 859--881, 2024
  • Didier Ishimwe. Inferring Complexity Bounds from Recurrence Relations. Foundations of Software Engineering (Student Research Competition). 2023