| 1 | -- | 40 | Luca Di Stefano 0001, Frédéric Lang. Compositional verification of priority systems using sharp bisimulation |
| 41 | -- | 78 | Benedikt Bollig, Mathieu Lehaut, Nathalie Sznajder. Round- and context-bounded control of dynamic pushdown systems |
| 79 | -- | 118 | Muhammad Osama 0003, Anton Wijs, Armin Biere. Certified SAT solving with GPU accelerated inprocessing |
| 119 | -- | 140 | Cliff B. Jones, Alan Burns 0001. Extending rely-guarantee thinking to handle real-time scheduling |
| 141 | -- | 180 | Saumya Shankar, Ankit Pradhan, Srinivas Pinisetty, Antoine Rollet, Yliès Falcone. Bounded-memory runtime enforcement with probabilistic and performance analysis |
| 181 | -- | 259 | Sebastian Junges, Erika Ábrahám, Christian Hensel, Nils Jansen 0001, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk 0001. Parameter synthesis for Markov models: covering the parameter space |
| 260 | -- | 284 | Akshay Mambakam, José-Ignacio Requeno Jarabo, Alexey Bakhirkin, Nicolas Basset, Thao Dang 0001. Mining of extended signal temporal logic specifications with ParetoLib 2.0 |
| 285 | -- | 325 | Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar. Dynamic dependability analysis of shuffle-exchange networks |