| 1 | -- | 21 | Klaus Havelund, Doron Peled, Dogan Ulus. First-order temporal logic monitoring with BDDs |
| 22 | -- | 54 | Daniela Kaufmann, Armin Biere, Manuel Kauers. Incremental column-wise verification of arithmetic circuits using computer algebra |
| 55 | -- | 89 | Arnaud Sangnier, Nathalie Sznajder, Maria Potop-Butucaru, Sébastien Tixeuil. Parameterized verification of algorithms for oblivious robots on a ring |
| 90 | -- | 126 | Umang Mathur 0001, Matthew S. Bauer, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan 0001. Exact quantitative probabilistic model checking through rational search |
| 127 | -- | 153 | William T. Hallahan, Ennan Zhai, Ruzica Piskac. Automated repair by example for firewalls |
| 154 | -- | 177 | Grigory Fedyukovich, Samuel J. Kaufman, Rastislav Bodík. Learning inductive invariants by sampling from frequency distributions |