updates

dynaroars · Nov 26, 2024 · 3886de3 · 3886de3
1 parent 38755a3
commit 3886de3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/index.html b/index.html
@@ -357,7 +357,7 @@ <h4><a href="https://scholar.google.com/citations?user=1Ntl0BYAAAAJ&hl=en&authus
   <ol>
     <li><em>Hai Duong</em>, Dong Xu, ThanhVu Nguyen, Matthew Dwyer.
       <a href="pubs/duong2024harnessing.pdf">Harnessing Neuron Stability to Improve DNN Verification</a>,
-      <b>Foundations of Software Engineering (FSE)</b>. 20 pages (to appear), 2024</li>
+      <b>Foundations of Software Engineering (FSE)</b>. 859--881, 2024</li>
 
     <li><em>Didier Ishimwe</em>. Inferring Complexity Bounds from Recurrence Relations. Foundations of Software Engineering (Student Research Competition). 2023</li>