| 97 | -- | 139 | Pavol Cerný, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach. From non-preemptive to preemptive scheduling using synchronization synthesis |
| 140 | -- | 167 | Antoine Durand-Gasselin, Javier Esparza, Pierre Ganty, Rupak Majumdar. Model checking parameterized asynchronous shared-memory systems |
| 168 | -- | 206 | Jyotirmoy V. Deshmukh, Rupak Majumdar, Vinayak S. Prabhu. Quantifying conformance using the Skorokhod metric |
| 207 | -- | 248 | Mickael Randour, Jean-François Raskin, Ocan Sankur. Percentile queries in multi-dimensional Markov decision processes |
| 249 | -- | 288 | Yunhui Zheng, Vijay Ganesh, Sanu Subramanian, Omer Tripp, Murphy Berzish, Julian Dolby, Xiangyu Zhang. Z3str2: an efficient solver for strings, regular expressions, and length constraints |
| 289 | -- | 316 | Yulia Demyanova, Thomas Pani, Helmut Veith, Florian Zuleger. Empirical software metrics for benchmarking of verification tools |
| 317 | -- | 352 | Supratik Chakraborty, Zurab Khasidashvili, Carl-Johan H. Seger, Rajkumar Gajavelly, Tanmay Haldankar, Dinesh Chhatani, Rakesh Mistry. Symbolic trajectory evaluation for word-level verification: theory and implementation |