| 1 | -- | 2 | César A. Muñoz, Sanjai Rayadurgam, Oksana Tkachuk. Selected Extended Papers of NFM 2016: Preface |
| 3 | -- | 21 | Julian Brunner, Peter Lammich. Formal Verification of an Executable LTL Model Checker with Partial Order Reduction |
| 23 | -- | 42 | Shaobo He, Shuvendu K. Lahiri, Zvonimir Rakamaric. Verifying Relative Safety, Accuracy, and Termination for Program Approximations |
| 43 | -- | 62 | Susmit Jha, Vasumathi Raman, Dorsa Sadigh, Sanjit A. Seshia. Safe Autonomy Under Perception Uncertainty Using Chance-Constrained Temporal Logic |
| 63 | -- | 84 | Josh Newell, Linna Pang, David Tremaine, Alan Wassyng, Mark Lawford. Translation of IEC 61131-3 Function Block Diagrams to PVS for Formal Verification with Real-Time Nuclear Application |
| 85 | -- | 105 | Muhammad Usama Sardar, Nida Afaq, Osman Hasan, Khaza Anuarul Hoque. Towards Probabilistic Formal Analysis of SATS-Simultaneously Moving Aircraft (SATS-SMA) |
| 107 | -- | 131 | Yi-Chin Wu, Vasumathi Raman, Blake C. Rawlings, Stéphane Lafortune, Sanjit A. Seshia. Synthesis of Obfuscation Policies to Ensure Privacy and Utility |