| 167 | -- | 168 | Aaron Dutle, César A. Muñoz, Anthony Narkawicz. Selected extended papers of NFM 2018 |
| 169 | -- | 190 | Giovanna Broccia, Paolo Milazzo, Peter Csaba Ölveczky. Formal modeling and analysis of safety-critical human multitasking |
| 191 | -- | 206 | Flavio M. de Paula, Arvind Haran, Brad Bingham. Rewriting toward trace coverage analysis of symmetric systems |
| 207 | -- | 233 | Marcus Gerhold, Arnd Hartmanns, Mariëlle Stoelinga. Model-based testing of stochastically timed systems |
| 235 | -- | 251 | Alfons Laarman. Optimal compression of combinatorial state spaces |
| 253 | -- | 265 | Hendrik Maarand, Tarmo Uustalu. Certified normalization of generalized traces |
| 267 | -- | 287 | Jeroen Meijer, Jaco van de Pol. Sound black-box checking in the LearnLib |
| 289 | -- | 306 | Radha Nakade, Eric Mercer, Peter Aldous, Kyle Storey, Benjamin Ogles, Joshua Hooker, Sheridan Jacob Powell, Jay McCarthy. Model-checking task-parallel programs for data-race |
| 307 | -- | 323 | Massimo Narizzano, Luca Pulina, Armando Tacchella, Simone Vuotto. Property specification patterns at work: verification and inconsistency explanation |
| 325 | -- | 342 | Guowei Yang, Rui Qiu, Sarfraz Khurshid, Corina S. Pasareanu, Junye Wen. A synergistic approach to improving symbolic execution using test ranges |
| 343 | -- | 354 | Sunanda Mondal, Mili Ghosh, Kakali Datta, Debarka Mukhopadhyay, Paramartha Dutta. A QCA design and energy analysis of binary semaphore with a comprehensive case study |
| 355 | -- | 361 | Parinita Dutta, Rajeev Chatterjee, Jyotsna Kumar Mandal. An approach for deployment of BRS in software-defined network |